Category
2,517 papers
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....
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...
Reach audiences
Advertise in front of researchers, engineers, and readers.
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...
This study aims to determine the effect of financial distress, firm size, and inventory intensity on tax avoidance in Food & Beverage subsector companies in the Consumer Non-Cyclicals sector listed on the Indonesia Stock Exchange (IDX) for the 2020–2024 period. The method used in this study is quantitative. The type of...
This study aims to analyze the effect of Tri Hita Karana-based Corporate Social Responsibility (CSR) disclosure on firm value, the effect of Good Corporate Governance (GCG) on firm value, and the role of GCG in moderating the relationship between Tri Hita Karana-based CSR and firm value. This study employed a quantitat...
🇬🇧 English Version Title HyperPSCA: A Unified Autopoietic Hypergraph Engine for Cross-Domain Scientific Discovery, Patent Screening, and Material/Biomedical Co-Evolution Description/Abstract This repository introduces the computational infrastructure of HyperPSCA, an executable, autopoietic semantic hypergraph engine i...
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.
