Category
3,195 papers
Every programming language built to date separates the program from the proof about the program. The program is written; the proof is established separately, through testing, verification, or formal methods. This paper proposes that this separation is not a necessary feature of computation but an architectural choice a...
Healthcare AI Citation UX Review Kit gives product leaders, CTOs and design leads six evidence checks to use before commissioning or extending a healthcare AI knowledge product. This software deposit preserves the interactive worksheet, its review catalog and reproducible Markdown and JSON exports. A team can use it du...
We study an accuracy-oriented binary64 implementation of the positive-payoff integral for Black–Scholes–Merton option valuation. A locally frozen candidate and 288 new synthetic confirmation inputs are compared with an exact-binary multiprecision erfc reference, our previous prototype and an unchanged historical Jäckel...
QDL Research Suite QDL Research Suite is a free, open-source Python package that brings together tested computational tools from the Quantum Diverter Loop (QDL) research program. It is designed to help researchers verify, reproduce, inspect, and reuse advanced mathematical and computational results without rebuilding e...
Reach audiences
Advertise in front of researchers, engineers, and readers.
PCR-SAITS v1.0.0 First public release of PCR-SAITS. Included Public PCRSAITS and PCRBRITS APIs SAITS and BRITS backbone adapters Reusable PCR correction core Reproduction materials for the published study Example scripts and tests MIT License Citation Please see CITATION.cff for software and paper citation information.
This repository contains the source code and computational workflows accompanying the manuscript entitled: “Comparison of selected CNN and transformer models for choledocholithiasis classification and localization on MRCP” The codebase provides the computational pipeline used for the development, evaluation, comparison...
*** PREPRINT / AUTHOR-ACCEPTED VERSION ***This paper was presented at the conference and is the author-accepted camera-ready version. It is posted here for self-archiving purposes in accordance with the IEEE Author Posting Policy prior to official publication and indexing in IEEE Xplore. Abstract—Deepfake-as-a-Service...
Reproducibility Package This repository contains the reproducibility materials accompanying the manuscript “No Robust Evidence for a GDP–Methane Relationship in Africa, 1970–2024: A Multi-Specification Test Against the Environmental Kuznets Curve and STIRPAT Frameworks.” The package contains the analysis-ready country-...
General Behavior Calculus (GB-Calculus) represents an effort to formalize the mathematical language used within General Behavior into a consistent and extensible specification. The objective is not to claim that the calculus is complete or that every component has reached its final form. Rather, this work establishes a...
This repository contains the anonymized dataset and Python source code associated with the study “Within-Group Rank Effect Sizes Read as Intervention Effects: A Worked Example of Effect-Size Inversion in a Pre-Test/Post-Test Comparison-Group Design.” The materials are provided to support transparency, reproducibility,...
SUPER DNS ONE is a fully differentiable, three‑dimensional finite‑volume solver for the compressible Navier–Stokes equations. It is designed for high‑fidelity civilian research: Medical flows – cardiovascular haemodynamics, respiratory aerosol transport, micro‑fluidic drug delivery. Atmospheric and environmental physic...
Academic research poster announcing PANINIphy v1.0, the physical realization arm of the PANINI platform. PANINIphy extends a common, domain-agnostic computational spine rather than creating a second language, compiler, resolver, provenance system, artifact graph, verification framework, animation stack, or robotics-onl...
A Blog post by IBM Granite on Hugging Face
“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.
We’re giving developers, enterprises, scientists, and consumers access to Gemini 4 Argon, our latest frontier model.
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.
An ongoing survey tracks the latest AI accelerator systems to keep hardware relevant for Lincoln Laboratory staff and sponsors.
Writing as a participant and researcher, PhD student JS Tan SM ’22 has co-authored a new book about the rise of tech worker protests and the employer backlash that followed.
We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.
