SeraEdit is local-first research software for scoped, source-bound MusicXML editing through ScorePatch transactions, deterministic validation and reversible execution. This SoftwareX R1 revision corrects fixture reproducibility and source-archive completeness, and includes saved DeepSeek three-condition outputs, a 200-...
Yuan Gao· Zenodo (CERN European Organi...· 0 citations
Documentation-only v2.0 methodological note in the existing Σ-AFO/HM version family. This original English PDF derives a bounded adaptive-routing rule in which human authority, evidence and risk are mandatory gates rather than compensable scores. Nineteen local finite synthetic tests passed. They do not establish gener...
Riccardo Giudici· Zenodo (CERN European Organi...· 0 citations
# MSFK MATLAB implementation and reproducible validation This package accompanies **Modified Stockwell Frequency-Wavenumber Workflow for Surface-Wave Dispersion Representation** by Hanbing Ai, Jiangtao Li, Yunus Levent Ekinci, Yang Hu, Ling Ning, and Yingwei Yan. The MSFK algorithm was developed by **Hanbing Ai**. It s...
Hanbing Ai, Jiangtao Li, Yunus Levent Ekinci et al.· Zenodo (CERN European Organi...· 0 citations
An automated comparison harness and the complete 150-trial dataset supporting the evaluation of COSPEC, Spec-Driven Development using GitHub Spec Kit, and vibe coding. The dataset contains five conditions, two cross-model Maker/Director pairs (Claude and Codex), three Maker reasoning-effort levels, and five repetitions...
Yongjin Seo· Zenodo (CERN European Organi...· 0 citations
Reach audiences
Advertise in front of researchers, engineers, and readers.
Abstract Prompt injection (PI) attacks threaten novel software applications, which have LLM-based functionality. Prompt leakage, a variant of prompt injection, constitutes a serious confidentiality risk to those applications. Existing defenses against PI attacks currently cannot identify prompt leaks precisely. Moreove...
Valerii Gakh, Hayretdin Bahşi· International Journal of Inf...· 0 citations
DRIFT ist ein vorgeschlagenes, zielrelatives Entscheidungsframework zur Beurteilung, ob eine statistische Inferenz für eine konkrete Zielaussage unter den vorgegebenen Annahmen und der verfügbaren Evidenz hinreichend unterstützt ist. Das Framework integriert fünf getrennte Prüfbereiche: Matching (M), Observability (O),...
Bernd von Mallinckrodt· Zenodo (CERN European Organi...· 0 citations
DRIFT ist ein vorgeschlagenes, zielrelatives Entscheidungsframework zur Beurteilung, ob eine statistische Inferenz für eine konkrete Zielaussage unter den vorgegebenen Annahmen und der verfügbaren Evidenz hinreichend unterstützt ist. Das Framework integriert fünf getrennte Prüfbereiche: Matching (M), Observability (O),...
Bernd von Mallinckrodt· Zenodo (CERN European Organi...· 0 citations
StatsToolkit is a free, privacy-first web application that helps students, researchers, and educators make sound statistical decisions without installing any software. It runs entirely in the browser: any data a user provides is processed locally on their own device and is never uploaded or stored. It provides five too...
Andrew J. Callaway· Zenodo (CERN European Organi...· 0 citations
# Phantom Vision Lab — a computational instrument for perturbing an image-analysis pipeline and measuring how its output changes **A deterministic structured-light stimulus generator paired with a fixed classical computer-vision pipeline, used to measure how much the pipeline's own output moves when 11 computational pa...
Phantom Vision Lab contributors· Zenodo (CERN European Organi...· 0 citations
QERRA-v2 Classical is an open-source, experimental three-layer execution guard and research middleware for autonomous robots and AI systems. Built upon the SEMEV-12 framework, the QERRA-HSR physical safety companion, and the QERRA-THRIVE value-ranking architecture, it investigates explainable, deterministic alternative...
MAROUSO METOCHARAKI· Zenodo (CERN European Organi...· 0 citations
Modern software supply chains face increasing risks from vulnerable and anomalous dependencies, necessitating automated and interpretable detection methods integrated within Continuous Integration and Continuous Deployment (CI/CD) workflows. Open-source software (OSS) ecosystems are increasingly targeted by sophist...
A. Alzahrani, Muhammad Zubair Asghar· Scientific Reports· 0 citations
Abstract (English) Background: Kosmyna et al. (2025) reported differences in directed EEG functional connectivity during essay writing with an LLM, a search engine, or no external tool. These measurements are not alpha/beta power or a general measure of cognitive decline. Objective: This ongoing narrative research exam...
Lukas Geiger· Zenodo (CERN European Organi...· 0 citations
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.
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…
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.
