Category
2,463 papers
This paper reports the pedagogical rationale, the design decisions carried over from the validated precedent, and this first evidence that the pipeline runs end to end; a classroom trial is future work.
Autonomous surface vehicles (ASVs) must comply with the International Regulations for Preventing Collisions at Sea (COLREGS) to operate safely in shared maritime environments at open sea. While simulation-based testing is widely used to assess compliance, existing approaches lack a complete and scalable assurance workf...
This paper presents a preliminary integrated approach that operationalizes an architecture metamodel across the four stages of an MBT framework pipeline: Modeling, Test Case Generation, Test Script Generation, and Test Execution.
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...
Reach audiences
Advertise in front of researchers, engineers, and readers.
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...
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...
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.
GPT-Lab
· gpt-lab.eu
Sep 23, 2026
Requirements in large systems rarely exist in isolation. Their meaning depends on the wider project context - other requirements, policies, decisions, tests, and implementation details. That becomes especially important when AI is used for review, because spotting a possible conflict or gap is only the beginning. ReqSpace explores how AI, visualisation, and connected project context can help reviewers understand those findings, trace the relationships behind them, and focus on the questions that…
GPT-Lab
· gpt-lab.eu
Sep 17, 2026
AI is making software generation faster, but speed does not remove the need for expertise. As more work is delegated to AI, tacit knowledge may become one of the most important human advantages in software engineering. The post Beyond Prompt Engineering: The Role of Tacit Knowledge in Software Engineering appeared first on GPT-Lab.
We’re launching agentic video understanding across our latest Gemini models for improved accuracy and lower costs and token usage.
In his latest book, Professor Eugene Fitzgerald examines the forces that turn breakthroughs into value — and why innovation resists simple formulas.
We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.
