The word bug entered engineering usage with a precise referent: a substrate intrusion — a physical object occupying space in a mechanism whose designed geometry excluded it. Around defects of this kind, a measurement apparatus was built — statistical process control, defect density, process capability — whose load-bear...
Oliver Albrecht· Zenodo (CERN European Organi...· 0 citations
Twelve irreducible operations (P1-P12) with known physical implementations, and four without, as a basis for deciding which parts of a neural network belong in the analog domain. 114 algorithms are factored into these primes; the paper builds a compiler that decomposes a compute graph, assigns each prime to a domain, f...
Michael Bieg· Zenodo (CERN European Organi...· 0 citations
Reach audiences
Advertise in front of researchers, engineers, and readers.
This Zenodo record contains supplementary datasets and analysis outputs supporting the study “Pathogen-induced red pigmentation reveals floral defense in Asteraceae.” The deposit includes experimental source data, statistical test results, RNA-seq summaries, and processed LC–MS/MS metabolomics data for mock-inoculated...
Suraj Hassan Muralidhar, Jan van kan· Socio-Environmental Systems...· 0 citations
A system can accept an intervention without the intervention being justified, and can explain a justified correction without changing the affected outcome. This paper specifies a correction contract connecting four elements: the referent at issue, scoped authority, supporting evidence, and verified consequences. A fict...
mFLO 111· Zenodo (CERN European Organi...· 2 citations
Este whitepaper apresenta um estudo de caso aplicado sobre o uso de métodos formais e técnicas de formal assurance na análise de uma implementação de criptografia baseada em curvas elípticas. O trabalho foi conduzido no contexto de uma simulação de consultoria técnica independente, com foco na identificação de violaçõe...
Franciny Salles Rojas Marin· Zenodo (CERN European Organi...· 0 citations
This research preprint reports a focused pilot study of consistency–latency trade-offs among direct PostgreSQL access, TTL cache-aside, invalidate-on-write, and write-through caching implemented as a database update followed by a synchronous Redis update. The experiment comprises 20 measured runs, with five repetitions...
Tabish Ali· Zenodo (CERN European Organi...· 0 citations
Este whitepaper apresenta um estudo de caso aplicado sobre o uso de métodos formais e técnicas de formal assurance na análise de uma implementação de criptografia baseada em curvas elípticas. O trabalho foi conduzido no contexto de uma simulação de consultoria técnica independente, com foco na identificação de violaçõe...
Franciny Salles Rojas Marin· Zenodo (CERN European Organi...· 0 citations
Exposure to the selected harmonic sound files significantly enhanced fibroblast gap closure under the experimental conditions used in this study, and supports the potential biological relevance of harmonic sound frequencies as used within the Information Medicine approach.
Peter C. Dartsch, Renee Steinmann· Applied Cell Biology· 0 citations
This research preprint reports a focused pilot study of consistency–latency trade-offs among direct PostgreSQL access, TTL cache-aside, invalidate-on-write, and write-through caching implemented as a database update followed by a synchronous Redis update. The experiment comprises 20 measured runs, with five repetitions...
Tabish Ali· Zenodo (CERN European Organi...· 0 citations
This study demonstrates the importance of attending to nonverbal channels of communication in suicide assessments, especially those of the clinical interviewer and highlights the potential for automated coding to detect clinically meaningful information efficiently and objectively.
Ilana Gratch, Simon M. Li, Yu-Tong Zhu et al.· JMIR Formative Research· 0 citations
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.
“X-Hinges” helps design and 3D print items like lamps and gloves with an interactive twist: automatically embedded sensors that perceive and adaptively respond to human contact.
StudentSim is a research system for evaluating and improving AI tutoring tools before they are tested with learners. It models how individuals may engage with tutors, giving feedback to improve tutor performance across subjects like chess, writing, and mathematics. The post Simulating student learning for better AI tutoring appeared first on Microsoft Research.
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.