Category
3,195 papers
Large Language Models (LLMs) can assist developers and modelers in many software engineering activities. In the context of model-driven engineering, diagnosing and fixing errors in software specifications is a challenging task, even for human experts. Errors can be subtle, involving a combination of constraints and mod...
Academic compute is fragmented: allocations are granted per facility, and facilities differ in accelerators and software stacks, schedule jobs independently, and share neither a network nor a filesystem. We present a system that pools such allocations to pre-train a single language model across three supercomputers on...
EOS is an open-source software package for a variety of computational tasks in flavor physics. In this article, we describe new developments for version 1.1 of this software and discuss changes with respect to version 1.0. These developments and changes include theory predictions for additional decay and scattering pro...
This record contains source data and original software accompanying “Superquadratic histories and certified conditional training in hard leaky integrate-and-fire networks”. It retains construction records, feasible-history candidates and exact prices, frozen model and prediction arrays, numerical audit logs, figure sou...
Reach audiences
Advertise in front of researchers, engineers, and readers.
Reproducibility artifact for “Beyond Node Counts: Correlated-Failure Audits for Multi-Role Permissioned Ledgers” Version 1.0.0 accompanies the ETECOM 2026 paper by Son Huu Trung Dang, An Van Nguyen, and Tam Huu Tran. Beyond Node Counts examines how shared dependencies affect threshold availability in permissioned-ledge...
Brain blood flow is now measurable at the temple. But a level tells you where the flow is now. It does not tell you what is coming. This two-page concept note proposes a proactive layer. Watch how quickly the signal settles after small everyday bumps. When settling slows for a person, give a gentle prompt before they f...
SST Test is a browser-based implementation of the stop-signal task (SST), a widely used behavioral paradigm for measuring response inhibition. The software is designed for researchers in psychology, psychiatry, and cognitive neuroscience who need a simple, self-contained tool for collecting stop-signal data. The task d...
Offline Learning Portal is a Windows-based school LAN resource portal for locally hosting and organising authorised educational materials. NGINX serves the portal and its resources, while NSSM manages the Windows service. Teachers and learners access it through a browser on a device connected to the school’s LAN or Wi-...
This codebase contains the analysis code, locked protocol configurations, data schemas, integrity checks, and automated tests used for the study: Structure-based geroprotector classifiers systematically under-rank endpoint-positive compounds with higher quantitative estimates of drug-likeness: a benchmarking and explai...
Python code accompanying “Annual Min–Max Scaling Alters Trend Classification in a Remote-Sensing Ecological Index”. The analysis uses four Landsat components to compare standardization, PCA loadings and annual output scaling in the Yellow River Basin during 2015–2024. README.md contains installation instructions, publi...
The FADEC [ Full Authority Digital Engine Control ] Control Terminal is the operator-facing interface to the BN-40 micro-turbojet Software-in-the Loop (SITL) test bench. It presents a glass-cockpit, EFIS-style web page through which an operator can start, govern, and stop a high-fidelity real-time model of the engine,...
Version 4 (October 2026). Adds the robustness checks of the accompanying paper on the comparison of the flood model with the record of earlier flooding: the temporal test without ground flooded in every earlier event and outside ground the JRC record has seen under water (persistence_check.json), with 20 and 40 km bloc...
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.
