"AV-Stack-Eval is a reproducible research dataset for comparing classical and AI-based methods across the autonomous vehicle (AV) software stack. It packages the inputs, source code, per-replicate results, summary statistics, tables and figures of twelve controlled experiments (E1\u2013E12). The experiments cover perce...
Background and Objectives: Spatial mapping retains the spatial distribution of radiomic features, but computational cost and fragmented software limit its use. We developed Flash-Radiomics with scalar extraction and spatial mapping, a central processing unit (CPU) backend, a hybrid Compute Unified Device Architecture (...
Shan-Li Ding, Yi-Yi Hu, Zi-Yu Fu et al.· 0 citations
We present FloatLib, a verified arbitrary-precision floating-point arithmetic library in Lean 4 that combines broad format coverage, machine-checked correctness, and efficient certified execution. To our knowledge, FloatLib is the first Lean library to unify IEEE binary and decimal arithmetic, arbitrary-width posits, P...
Robert Joseph George, W. Adkisson, Anima Anandkumar· 0 citations
The Clinical Risk Alert System for Suicide Risk Screening in Emergency Settings (CARES) project aims to lower the practical threshold for universal screening by developing a risk alert system software prototype for use among patients presenting to emergency care, prompting a brief, validated suicide risk screening and...
Montserrat López-Fernández, Raúl Rodríguez Valderas, Ana Portillo-Van Diest et al.· JMIR Research Protocols· 0 citations
Reach audiences
Advertise in front of researchers, engineers, and readers.
Underwater visuomotor policy learning has focused primarily on single manipulators, while bimanual imitation learning has been studied largely in air. We present ULOHA, an underwater bimanual robot learning platform that combines custom-designed leader--follower hardware with software extensions to LeRobot, integrating...
Technology ecosystems often reward whichever firm first controls a tightly held physical or infrastructural asset -the "anchor" -because that control reduces uncertainty, sets de facto standards, and buys market access for a higher-margin software, service, or workflow layer -the "expansion."Existing strategy research...
This cross-sectional study aimed to examine how reallocating time across different types of activities is associated with preschoolers’ physical fitness and to identify potential time thresholds that could inform kindergarten activity planning. A total of 337 Chinese preschoolers (168 boys, 169 girls; mean age 4.41 ± 0...
Delong CHEN, Bin Long, Guanggao Zhao et al.· Humanities and Social Scienc...· 0 citations
Reproducibility materials for “Mean-Preserving Thinning and Response Information in Causal Sets” by Yutong Bai. This software package accompanies a study of retarded scalar propagation on causal sets, distinguishing exact mean-response consistency under coordinated thinning from the reconstruction of realization-depend...
Y. Bai· Zenodo (CERN European Organi...· 0 citations
BionApp (beta) is a desktop application for laboratory management of GMO (OGM) samples. This edition runs fully locally (Electron and SQLite): no cloud account is required. Data stay in a folder chosen by the user. The software is under testing and is not a certified clinical system.
Juan José Domínguez-García· Zenodo (CERN European Organi...· 0 citations
This record contains the reproducible R analysis code and aggregate reference outputs supporting the manuscript “Relative fat mass and an obstructive sleep apnea-related symptom phenotype among U.S. adults: a cross-sectional NHANES study.” Version 2.0.0 is the code release accompanying the second revision. The package...
Zhuowen Wei· Zenodo (CERN European Organi...· 0 citations
This archive is the mcp-probe repository at version 0.1.2, and it is the replication package for arXiv:2609.10962, "What a Random Draw from the MCP Registry Contains, and What Tool-Use Benchmarks Contain Instead". What changed since the 16 September archive (10.5281/zenodo.22781122), which this supersedes. The software...
Haseeb Mohammed Afsar· Zenodo (CERN European Organi...· 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.
