AI may democratise code-based innovation in ways not seen since the creation of the modern spreadsheet. Research software is part of this new shift. But tools that broaden automation beyond specialist programmers are evolving quickly, and sensible ways to use them are still emerging. This is especially important in the...
Sparks Michael, Shoaib Sufi, Aleksandra Nenadić· Zenodo (CERN European Organi...· 0 citations
We give a connected chordal graph on 15 vertices and 30 edges with Roman domination number 7 and double Roman domination number 10. It refutes the candidate inequality (3/2) gamma_R(G) <= gamma_dR(G) recorded at rank 67 of AutoGraphForge's public audit, together with its equivalent rank-68 restatement. The graph consis...
Einleitung – Deutsch Die fortschreitende Digitalisierung von Wissenschaft, Kultur, Kommunikation und Gesundheit eröffnet die Möglichkeit, Wissensbereiche miteinander zu verbinden, die bislang überwiegend getrennt erforscht und vermittelt wurden. Kommunikation, künstliche Intelligenz, Kunst- und Kreativitätsforschung, d...
Liedtke Dieter· Zenodo (CERN European Organi...· 0 citations
Einleitung – Deutsch Die fortschreitende Digitalisierung von Wissenschaft, Kultur, Kommunikation und Gesundheit eröffnet die Möglichkeit, Wissensbereiche miteinander zu verbinden, die bislang überwiegend getrennt erforscht und vermittelt wurden. Kommunikation, künstliche Intelligenz, Kunst- und Kreativitätsforschung, d...
Liedtke Dieter· Zenodo (CERN European Organi...· 0 citations
Reach audiences
Advertise in front of researchers, engineers, and readers.
The NeuroDraft software standardizes and quantifies qualitative Luria's syndromic analysis, mitigating human-error bias and reducing the medical reporting cycle to 5-10 minutes, which provides reproducible cognitive profiling suitable for routine clinical workflows.
We construct a connected graph on 15 vertices with burning number 4 and Slater number 2, refuting the candidate inequality b(G) <= s(G) + 1 recorded in AutoGraphForge's public conjecture audit. The graph consists of a clique K7 joined by one edge to a path on eight new vertices. Its Slater number is determined by its t...
A near-universal test of independence: the three-pole calibrated envelope, its joint null law, and dependent-null higher-criticism attainment William J. Dwyer, MD, MPH, FAAP — Department of Mathematics and Statistics, University of Massachusetts Lowell. ORCID 0009-0004-0855-7222. Concept DOI (always resolves to the lat...
William Dwyer· Zenodo (CERN European Organi...· 0 citations
Whether consciousness can emerge in artificial systems is a central open problem of cognitive science. We report a complete pure-software simulation, executed on a single personal computer, built on the desire-driven ASMF-DE (Adaptive Symbolic-Spiking Hybrid Architecture): a spiking neural agent endowed with an L0 inte...
Tiphis Jia· Zenodo (CERN European Organi...· 0 citations
This software package accompanies the manuscript Exhaustive Reassignment Reveals Identity Dependence in MOS Gas Sensor Correction Tables by Yibo Wang, Zhixian Zhao, and Yu Tang. Software and reproduction The package reproduces the numerical results for exhaustive reassignment of fixed metal-oxide-semiconductor (MOS) ga...
This preprint proves that, for every finite simple graph without isolated vertices, the power domination number is at most half the Roman domination number, rounded down. More strongly, any Roman dominating function of weight w yields a sensor set of size at most floor(w/2) that observes the graph after initial dominat...
This dataset provides held-out testing and production-model provenance analysis for the Pt–C–O fourth-generation neuroevolution potential (NEP4) used in the manuscript “Species-Dependent Interfacial Aggregation and Local Graphene Lifting on Pt(111)”. It supplements the main computational dataset available at [PARENT DA...
Electronics education at vocational high schools (SMK) in Indonesia often faces a gap between curriculum requirements and limited laboratory infrastructure. This situation makes it difficult for students to develop an understanding of abstract electrical concepts. This study evaluates the effectiveness of integrating t...
Ulfah Mediaty Arief, Sri Sukamta, Tatyantoro Andrasto et al.· Frontiers in Education· 0 citations
AI agents can generate code at a scale that’s hard for humans to review line-by-line. PDD Kit helps ensure the code is doing what the developer intended by creating formal specifications and testing against them. It converts developer intent into a Verus specification, proves AI-generated code meets it for every input, and uses tests where proofs aren't practical. Developers review intent, not every line. The post Formally verifying agent-written full-stack web apps with PDD Kit appeared first o…
Is your company’s AI sovereign? A practical guide for CIOs on AI vendor lock-in, EU Data Act switching, cloud sovereignty, and testing your exit plan before you need it. The post Sovereignty Is the Option to Leave appeared first on GPT-Lab.
Microsoft Research Blog· microsoft.comOct 30, 2026
Evaluating Microsoft Copilot at enterprise scale requires test data that captures the full complexity of real organizations, yet real enterprise data contains sensitive information that cannot be used for evaluation under any circumstances. The post From synthetic enterprise data evaluations to real Microsoft Copilot AI confidence appeared first on Microsoft Research.
Microsoft Research Blog· microsoft.comOct 29, 2026
Host Sowbhagya Suresh shares some of the latest news and cutting-edge research from across Microsoft—from understanding the challenges facing coding agents to uncovering how people use AI at work and improving extended-range weather forecasting. The post Microsoft Research Focus – Edition #97 appeared first on Microsoft Research.
