Pre-registration of twenty-one tests bearing on the 20 GeV Galactic halo excess and on a Gaia-tracer / gamma-residual alignment, frozen before the corresponding data exist. It fixes the region of interest, the estimator (partial rank correlation with |b| and θ_GC controlled), two null generators with a fixed seed, and...
Olwyn Amser· Zenodo (CERN European Organi...· 0 citations
Abstract Quantum computations execute on noisy hardware whose effective noise is opaque and varies across platforms and over time. Complete descriptions of the underlying noise channel are often too detailed for reasoning, comparison, or analysis. We therefore study the semantic problem of constructing tractable abstra...
Anonymous author for peer review· Zenodo (CERN European Organi...· 0 citations
The research contends that data quality, controllability of generated outputs, and rigorous developer review are critical to the efficacy of AI-enhanced Test-Driven Development (TDD) methodology.
Vladyslav Pechenenko, O. Grinenko· ВИМІРЮВАЛЬНА ТА ОБЧИСЛЮВАЛЬН...· 0 citations
Artificial Intelligence (AI) has progressed from rule-based software and statistical prediction systems to highly capable foundation models, autonomous agents, multimodal systems, and AI-enabled tools that can plan and execute multi-step tasks. A particularly important development is the increasing ability of AI system...
R. Rajalakshmanan· Zenodo (CERN European Organi...· 0 citations
Reach audiences
Advertise in front of researchers, engineers, and readers.
We present an EOS-driven extension of the NSCool thermal evolution code that enables complete tabulated equations of state to be treated within a single composition-based input structure. The generalized NEW interface includes additional baryonic fractions, a bosonic composition variable, the hadronic volume fraction,...
By automating document retrieval and evidence localization while preserving reviewer oversight, RefVerifier provides first indicators for the feasibility of semi-automated integrity checks in scholarly publishing.
Stefania Mocan, Florian Angermeir, M. Kreitz· Proceedings of the 1st Inter...· 0 citations
Long Period Variables (LPVs) are Asymptotic Giant Branch stars with periods>100 days. Around one third to half of LPVs display a Long Secondary Period (LSP) that is 5-10 times the length of the main periods. The exact cause of LSPs are unknown, with one potential explanation lying in cross-harmonics caused by the inter...
G. Sherren, A. Cross, N. Steenken et al.· 0 citations
This paper proposes Agent ATO (Agentic Trajectory Observer), a tool for visualizing AI coding agent interaction timelines from console logs and provides filtered timelines that emphasize file discovery, file reading, file editing, and execution while preserving surrounding context.
Takuto Kawamoto, Yoshiki Hig, R. G. Kula· 0 citations
A bold attempt to detect privacy violations of AVP applications from network traffic through automatic testing on AVP devices with design and implementation of AVP-Inspect, an automatic dynamic analysis framework for AVP applications.
It is shown that LLM-based fault injection extends the behavioral coverage of fixed fault models without establishing general superiority, and that practical adoption still requires controlled generation, runtime validation, system-level oracles, and reproducible experimental provenance.
G. De Rosa, Pietro Liguori, D. Cotroneo· 0 citations
Conventional stacked-plate buffers (SPBs) generate trailing-echoes that can obscure defect responses in ultrasonic phased-array imaging. This study proposes a metasurface-enhanced stacked-plate buffer (MESPB) and a hardware–software framework for reducing these effects without increasing the buffer dimensions. A semi...
Yong-Feng Song, Hao-Nan He, Mao-Dan Yuan et al.· Smart materials and structur...· 0 citations
Differential fuzzing reveals complementary bugs in the manual and LLM porting of security-critical C libraries to idiomatic Rust and translates these findings into concrete practical guidance for teams planning a similar migration.
Marco Parrillo, Marco Grassi, Luigi Laura· Future Internet· 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.
