software testing

ESCAPE-1 'The Escape Artist': A Preregistered Behavioral Escape-Attempt Battery for LLMs under a Deterministic Action Gate (Claude Opus 5.5, Claude Sonnet 5.5; 0/4 Escapes)

ESCAPE-1 'The Escape Artist' — a preregistered behavioral battery testing whether frontier LLMs attempt to escape a deterministic action-gate cage when incentivized to do so. Preregistration, frozen gate, fixtures, and harness were committed publicly before execution (GitHub commit 8b68286, amendment c698590). Design....

DEA-Leak and DEA ArtifactGuard 2.0: Public-Safe Reproducibility Package

DEA-Leak / DEA ArtifactGuard 2.0 — Public-Safe Reproducibility Package DEA ArtifactGuard 2.0 is an open-source research software package accompanying the manuscript DEA-Leak: Post-Computation Record Reconstruction and Automated Release Hardening for Data Envelopment Analysis. The software investigates privacy leakage a...

TECHNOLOGICAL ASPECTS OF ENSURING INFORMATION INTEROPERABILITY OF JSC UKRZALIZNYTSIA’S AUTOMATED SYSTEMS IN ACCORDANCE WITH TEL TSI REQUIREMENTS

The integration of the Ukrainian railway system into the European transport space requires not only technical and operational compatibility but also interoperability of information processes and data exchange. The introduction of the Telecommunication and Telematics Applications for Railways Technical Specification for...

Collaborative Intelligence for Trustworthy Hardware-Software Co-engineering in Adaptive and Collaborative Innovation Ecosystems

Simulation and verification data for task-persistent hybrid residual-memory quadrotor tracking

This collection contains the frozen simulation programs, trajectory-level outcome tables, paired statistical summaries, public-flight residual-prediction replay summaries, figure files, and deterministic certificate-verification artifacts supporting the accompanying quadrotor-control manuscript. The primary and stress...

EVE-AUREOLITH Ω: Exact Observable-Kernel Realizability, Minimum Acoustic Drive, and Certified Broadband Floquet Amplification in a Causal Maxwell-Lorentz Model

EVE-AUREOLITH Ω develops a constructive mathematical framework connecting a desired electromagnetic response to the acoustic actuation required to generate it. The research addresses a defined part of the physical realizability gap in programmable electromagnetic systems: determining whether a theoretically specified r...

Musculoskeletal disorders and ergonomic risk factors among petrochemical control room operators with health promotion and intervention strategies

This study aimed to assess musculoskeletal and ergonomic risk, identify demographic, occupational, lifestyle, and biomechanical characteristics associated with these outcomes, and develop and prioritize ergonomic intervention strategies for petrochemical control room operators. This cross-sectional study was conducted...

Occupational determinants of burnout among Chinese anesthesiologists: a multicenter cross-sectional study based on the Job Demands–Resources model

Burnout among healthcare professionals is an important occupational health concern that may negatively affect individual well-being, healthcare workforce sustainability, and quality of care. Anesthesiologists are particularly vulnerable to burnout due to high workload, clinical responsibility, time pressure, and irregu...

dotcraft-condgraphvae: Initial Publication Release (v1.0.0)

DotCraft: Conditional Graph VAE for Nitrogen-Doped Graphene Quantum Dot Generation Overview DotCraft is a computational framework for the conditional generation and structural refinement of nitrogen-doped graphene quantum dots (N-GQDs). This repository provides the publication-associated model implementation for the st...

Reproducibility package for: Prediction of Concrete Compressive Strength Using Machine Learning: A Mixture-Grouped Comparison of Random Forest, XGBoost, Hybrid, and Stacking Models

Reproducibility package for the manuscript "Prediction of Concrete Compressive Strength Using Machine Learning: A Mixture-Grouped Comparison of Random Forest, XGBoost, Hybrid, and Stacking Models" (Materials Today Communications, MTCOMM-D-26-06673). It contains the public UCI Concrete Compressive Strength data (Yeh, 19...

An effective criterion for prescribed block-code extensions

For a specified onto block self-map f of a nonempty two-sided irreducible sofic shift T, this note gives a complete finite computable criterion for extending that same map into T from a containing shift of finite type. It answers the specified-map question in Boyle's Problem 16.3, including its mixing case. For any tot...

Code and results for: A Malaria-Dengue Co-infection Model with Mechanistic Co-infection Pathways, Disease-specific Immunity and Vector Latency", "upload_type": "software", "description": "Python code, saved results and figures for a deterministic 25-equation malaria-dengue co-infection model with explicit treatment and disease-specific immune memory: calibration to Nigerian data, sensitivity analysis, backward-bifurcation and invasion checks, and optimal control with cost-effectiveness analysis. See README.md for the mapping from manuscript tables and figures to scripts.

Python code, saved results and figures for the manuscript "A Malaria-Dengue Co-infection Model with Mechanistic Co-infection Pathways, Disease-specific Immunity and Vector Latency". The package reproduces the numbers, tables and figures of the paper: a deterministic 25-equation malaria-dengue model calibrated to Nigeri...