Category
3,195 papers
The geometrical design of the airbox for an internal combustion engine has a significant effect on the pressure loss in the entire inlet tract. Due to the location of the airbox, its size and shape is usually limited as a result of the proximity to other under-bonnet features. The shape is also limited by manufacturing...
Food fraud is an economically motivated concept that has occurred within the food supply system since trading began. It has been defined as the deliberate and intentional substitution, addition, tampering or misrepresentation of food, food ingredients and food packaging for an economic gain. It is in many cases close t...
This software release provides the executable and reproducibility infrastructure for the preregistered B1 Gray–Scott driven-pattern baseline within the Theory of Everything Research Programme. The package implements the frozen version 1.1.0 confirmatory protocol associated with OSF preregistration DOI 10.17605/OSF.IO/G...
Property-based testing of C programs can be automated by synthesizing random input generators from separation-logic specifications. Existing work in this space, such as the Bennet testing tool, uses randomized backtracking search, generating random values and checking them against constraints, backtracking on failure....
Reach audiences
Advertise in front of researchers, engineers, and readers.
Test cases are valuable assets for maintaining software quality. State-of-the-art automated test generation techniques typically focus on maximizing program branch coverage or translating focal methods into test code. However, in contrast to branch coverage or code-to-test translation, practical tests are written out o...
AI-INTERPRETED QUANTUM HEALTH, METROLOGY & REPRODUCIBLE INFRASTRUCTURE AT THE LIMITAI Denoising, Quantum Machine Learning, Provenance, Calibration, Reference Standards, Manufacturing Variation, Versioning, and Reproducible Measurement Feng Cheng-en (33) x Starli If AI repairs, denoises, classifies, calibrates, and inte...
Reproducibility materials for the manuscript “When kinematic constraints conflict with rocket telemetry: sparse trajectory reconstruction across two real-flight datasets” by Kağan Yurtkölesi. This v1.0.0 archive is the source snapshot of the GitHub v1.0.0 release, including the updated manuscript and Supplementary Info...
Professional commitment among special school teachers is a cornerstone for the successful fulfillment of special needs education rights. This study aims to analyze the simultaneous and partial effects of Personal Value, Organizational Culture, and Self-Efficacy on Teachers' Professional Commitment. This quantitative re...
AI-INTERPRETED QUANTUM HEALTH, METROLOGY & REPRODUCIBLE INFRASTRUCTURE AT THE LIMITAI Denoising, Quantum Machine Learning, Provenance, Calibration, Reference Standards, Manufacturing Variation, Versioning, and Reproducible Measurement Feng Cheng-en (33) x Starli If AI repairs, denoises, classifies, calibrates, and inte...
Reproducibility materials for the manuscript “When kinematic constraints conflict with rocket telemetry: sparse trajectory reconstruction across two real-flight datasets” by Kağan Yurtkölesi. This v1.0.0 archive is the source snapshot of the GitHub v1.0.0 release, including the updated manuscript and Supplementary Info...
Data and analysis code accompanying the manuscript “The feasibility gap of magnitude-threshold traffic-light schemes for induced seismicity in the southern Sichuan Basin: root causes and operational alternatives” (Qi Deng, submitted to Journal of Seismology). The study asks how much advance warning a conventional magni...
Understanding the modular structure of source code is a major challenge in software maintenance. Clustering classes into modules can assist reverse engineering, but its effectiveness depends on feature selection. This study compares the contribution of structural and semantic features to the cohesion of clustering resu...
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.
