Category
3,200 papers
This paper translates Rust code containing RISC-V inline assembly into pure Rust code by emulating each instruction using a machine model extracted from the official RISC-V Sail ISA specification, and demonstrates how each category is handled by the translation.
This work presents a methodology that lets us validate an abstract formal model against real hardware by generating test cases, executing them on real hardware to capture traces of observable behavior, and employing a synthesis approach to identify the internal microarchitectural steps that explain the observable behav...
KRAS, BRCA, and TP53 Mutations as Prognostic Biomarkers in Pancreatic Cancer: A Systematic Review and Meta-Analysis1. General InformationStudy Title: KRAS, BRCA, and TP53 Mutations as Prognostic Biomarkers in Pancreatic Cancer: A Systematic Review and Meta-Analysis of Survival OutcomesCorresponding Author: Wahby Mohamm...
Offline, standard-library-only verification software accompanying Seth Christopher's preprint “A Split-Graph Counterexample to a Roman–Double Roman Candidate Inequality”. Version 1.0.0; source-only publication revision figshare.1. This item contains Roman_Double_Roman_Verification_Software_v1.0.0.zip, including the byt...
Reach audiences
Advertise in front of researchers, engineers, and readers.
Methods Study design, population and setting We conducted a cross–sectional mixed methods study to describe the food environment in three South African public tertiary hospitals (hospitals A, B & C) in Johannesburg, Gauteng province, South Africa, between 1st July and 30th September 2024. Gauteng province has a populat...
ZERO-POINT COHERENCE AND STRUCTURED VACUUM RESONANCE The Zero-Point Coherence and Structured Vacuum Resonance paper presents a falsifiable experimental methodology for testing whether resonantly modulated quantum-vacuum boundary systems exhibit reproducible coherence structure beyond established classical and quantum-o...
This report documents Rubrica v0.1.5, a local application for grading scanned, handwritten exams against an instructor's rubric. Under the default local-Ollama configuration, cover-page extraction runs on the instructor's machine. Stored names, SIDs, and page 0 are excluded from external grading requests; those request...
Introduction: A highly motivated workforce is considered a fundamental determinant of societal development. Job satisfaction encompasses individuals’ perceptions and evaluations of their work and reflects the overall positive attitudes and feelings they hold towards their job. Recognizing issues, challenges, levels of...
This Zenodo record is a permanently preserved version of a PREreview. You can view the complete PREreview at https://prereview.org/reviews/22745390. What the paper claims The paper takes five decision operators from the D-POAF prioritization practice - business value, effort and risk, a combined prioritization score, a...
In static acrobatic gymnastics pyramids, maintaining stability in a multi-person system is critical, yet unconstrained floor baselines and base-to-top pairing mechanics remain poorly quantified. This study evaluated postural stability in shoulder-stand pyramids, examining the interplay of two specific top-athlete varia...
This dataset provides a comprehensive manifest of 201,549 SHA-256 hashes representing both malicious (malware) and benign (goodware) software samples. It is specifically designed to facilitate reproducibility in machine learning and artificial intelligence experiments for malware detection. The provided manifest.csv fi...
This is unedited work with Mistral Vibe. Quality/logic checked through multiple different instance reviews. Proceed with caution. This manual presents a novel methodology for detecting algorithmic bias in large language models (LLMs) by analyzing GPU power-line current fluctuations during inference. Unlike existing bia...
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.
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.
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.
We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.
