Category
3,118 papers
Purpose: This article sets out an operating model for AI in software development with two separate duties. One AI instance creates the application change from specifications and requirements. A second AI instance counter-checks the resulting source code in the pull request against a fixed standards catalogue. The pace...
AI-enabled smart wearable learning systems can be regarded as a new innovative way of offering personalized and adaptive learning experiences by using the sensing and learning analytics capabilities. In the current research, the impact of the AI-enabled smart wearable learning systems on engagement, learning achievemen...
**Elyon-Sol** is a deterministic, fail-closed HTTP admission gate derived from a formal admissibility specification. The canonical model is unchanged from v0.9.8.4: **G(I) = AC³ ∧ T²⁶ ∧ CCS** — Authority and Coverage are the two per-request set-containment checks against a SHA-256-pinned manifest, and Continuity is the...
The article presents calculations of the estimated safety factor F and the overdesign factor, ODF, for the front embankment body of the Lake Druzno reservoir in Nowe Dolno. The rehabilitation of low flood-protection levees in the Elbląg Żuławy region was almost exclusively performed using various local organic soils ob...
Reach audiences
Advertise in front of researchers, engineers, and readers.
Description: This record contains the software and data accompanying the article "Evidence-Bound Action Warrants for Agentic Security Operations: A Deterministic Gateway Enforcing Evidence Freshness, Calibrated Confidence, and Response Deadlines" (D. Prokopovych-Tkachenko, submitted to Inventions, MDPI, 2026). Agentic...
Abstract — This research is motivated by the need for a more efficient, accurate, and automated internship attendance system at the Bank Indonesia Representative Office in North Sulawesi Province. The main objective is to design and develop an internship attendance system based on Radio Frequency Identification that is...
Document 179 // SPEC-383 // Morandi Monograph Series Author: Marius Egerhei Torjusen (ORCID: 0009-0006-0431-6637)Affiliation: ReismannPoint Systems // Brahman Ventures, Risør, NorwayLocus: MorandiEngine Core Architecture Group (Locus Zero, Risør, Norge) Abstract Classical control theory and reinforcement learning presu...
Validation datasets, figures and analysis code for a vendor-neutral embedded control architecture for safety-critical human–robot collaboration.This deposit accompanies the article Vendor-Neutral Embedded Control Architecture for Safety-Critical Human–Robot Collaboration: Hardware Abstraction, Bounded-Latency Execution...
# A multi-modal imaging dataset for Garden classification of femoral neck fractures ## Dataset Overview This is a clinically validated, fully anonymized multi-modal imaging dataset for femoral neck fracture Garden classification, addressing the critical lack of public, expert-annotated orthopedic imaging resources. It...
Simulation-based calibration (SBC) checking is a method to ensure that the inference machinery for a Bayesian statistical analysis is functioning in a correct and unbiased manner. Typically, SBC begins with sampling parameter values from the model priors (prior SBC). However, it has been shown that prior SBC can miss p...
The effectiveness of aviation communication systems is a crucial determinant in ensuring air traffic operational safety amidst the widespread potential for spoken instruction confirmation errors. These operational issues trigger fatal miscommunication vulnerabilities between air traffic controllers and pilots in the fi...
Code and results of the article Height Area Graphs for Automated Preliminary Road Alignment in Hilly Terrain (in preparation). The software (code, tests and build scripts) and the data (results, tables and figures) were written and produced solely by Ioana-Alexandra Șomîtcă and Ștefan-Eduard Deaconu, who hold all copyr...
“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.
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.
