Category
2,998 papers
We present an EOS-driven extension of the NSCool thermal evolution code that enables complete tabulated equations of state to be treated within a single composition-based input structure. The generalized NEW interface includes additional baryonic fractions, a bosonic composition variable, the hadronic volume fraction,...
By automating document retrieval and evidence localization while preserving reviewer oversight, RefVerifier provides first indicators for the feasibility of semi-automated integrity checks in scholarly publishing.
Long Period Variables (LPVs) are Asymptotic Giant Branch stars with periods>100 days. Around one third to half of LPVs display a Long Secondary Period (LSP) that is 5-10 times the length of the main periods. The exact cause of LSPs are unknown, with one potential explanation lying in cross-harmonics caused by the inter...
This paper proposes Agent ATO (Agentic Trajectory Observer), a tool for visualizing AI coding agent interaction timelines from console logs and provides filtered timelines that emphasize file discovery, file reading, file editing, and execution while preserving surrounding context.
Reach audiences
Advertise in front of researchers, engineers, and readers.
A bold attempt to detect privacy violations of AVP applications from network traffic through automatic testing on AVP devices with design and implementation of AVP-Inspect, an automatic dynamic analysis framework for AVP applications.
It is shown that LLM-based fault injection extends the behavioral coverage of fixed fault models without establishing general superiority, and that practical adoption still requires controlled generation, runtime validation, system-level oracles, and reproducible experimental provenance.
Conventional stacked-plate buffers (SPBs) generate trailing-echoes that can obscure defect responses in ultrasonic phased-array imaging. This study proposes a metasurface-enhanced stacked-plate buffer (MESPB) and a hardware–software framework for reducing these effects without increasing the buffer dimensions. A semi...
Differential fuzzing reveals complementary bugs in the manual and LLM porting of security-critical C libraries to idiomatic Rust and translates these findings into concrete practical guidance for teams planning a similar migration.
Financial management behavior reflects how individuals independently handle, utilize, and organize their financial resources. This study aims to determine the influence of financial literacy, fintech payment usage, and a hedonistic lifestyle on the financial management behavior of Generation Z in Cimahi City, both part...
Results were generally consistent with previous studies, but FR prevalence in this cohort was comparatively higher and further studies incorporating objective paraclinical assessments to confirm the diagnosis are warranted.
This study aimed to look into the correlation between the use of Instagram and TikTok and mental clutter among students of Al Ain University. The descriptive-correlational design was used, and the data were gathered by questionnaire from 70 students. The results indicated that students used Instagram and TikTok moderat...
The generation of Dead Hot Maps (DHMs) is an important part of PHENIX data analysis, as it helps reduce detector-related biases. During this step, detector units with abnormal behavior are identified, such as dead, hot, or extremely hot channels. Removing these channels from the analysis prevents detector effects from...
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.
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 use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.
