software testing

A software for seismic soil liquefaction risk classification based on Standard Penetration Test

Refined State-Error-Based Model Predictive Control and Flight Testing of Eagle of Taihu 10: A Canard-Configured Tail-Sitter Technology Demonstrator

As the size of tail-sitter electric vertical take-off and landing (eVTOL) aircraft increases, significant challenges have arisen due to a lower thrust-to-weight ratio, more nonlinear aerodynamics during transition, and slower control response. To support the design and implementation of the flight control system for th...

Impact of Surgical Resection on Tumor Growth Dynamics in Pediatric Pilocytic Astrocytomas

INTRODUCTION Pilocytic astrocytoma (PA) is the most common pediatric brain tumor and generally exhibits slow growth and favorable outcomes. However, postoperative growth behavior of residual or recurrent tumors remains variable and not well quantified. This retrospective study aims to quantify the tumor growth velocity...

Research Notes on ζ(9): Constructions, Computations, and Open Problems

Version 0.1 is a work-in-progress research note on the irrationality of ζ(9), documenting research conducted on 24–25 September 2026. This note does not claim a proof of the irrationality of ζ(9). The record documents nine research rounds, including rational-function constructions of linear forms A·ζ(9)+B, a Gram-deter...

DendroGeo: Küresel Ağaç Envanteri ve Karbon Veri Sistemi

🌲 DendroGeo v3.0.0 — Küresel Ağaç Envanteri ve Karbon Veri Sistemi Açık kaynak web CBS + PWA · dendrogeo.org · github.com/snansrin/dendrogeo · Lisans: CC BY-NC 4.0 DendroGeo; sahada GPS ile toplanan ağaç ölçümlerini allometrik biyokütle ve karbon hesaplarına, park kimliği bazlı toplulaştırmalara ve 10 m çözünürlüklü a...

Mission Authority Conservation: Executable Research Profile and Conformance Corpus

Software-only reference and executable conformance corpus for delegated allocation, temporal action-bound approvals and uncertain resource effects. The final local evaluation records 98 passing tests: 83 original contract tests, six spawned-process cases and nine evidence regressions. Four selected source mutations eac...

《Civilization Continuity at the Limit: Engineering Worlds That Survive Their Platforms》 is a flagship-scale research volume exploring one of the deepest engineering questions facing long-duration digital civilization:

《Civilization Continuity at the Limit: Engineering Worlds That Survive Their Platforms》 is a flagship-scale research volume exploring one of the deepest engineering questions facing long-duration digital civilization: Can a civilization remain itself after the technologies that originally supported it disappear? A pl...

《Digital Identity for Humans and AI: Identity, Credentials, Recovery, and Portable Citizenship》 is a flagship-scale research volume exploring how identity infrastructure may evolve for a future shared by humans, artificial intelligence, autonomous agents, and persistent digital worlds.

《Digital Identity for Humans and AI: Identity, Credentials, Recovery, and Portable Citizenship》 is a flagship-scale research volume exploring how identity infrastructure may evolve for a future shared by humans, artificial intelligence, autonomous agents, and persistent digital worlds. The central question is: What d...

Moderate to Late Preterm Birth and Cognitive Differences From Childhood to Midlife

This dataset contains the numerical source data underlying the figures in the manuscript “Moderate to Late Preterm Birth and Cognitive Differences From Childhood to Midlife.” It includes separate Microsoft Excel workbooks for Figures 1–4 and eFigures 1–6.The source-data files contain aggregate, non-disclosive values us...

Local Mesh Density of Maxillary First Molar Occlusal Surfaces in an Intraoral Scanning and ROI-Processing Workflow

Background/Objectives: Local mesh density characterizes the polygonal representation of digital surface models; however, reference values and clinically relevant thresholds for posterior occlusal meshes generated through intraoral scanning and subsequent software processing have not been established. This study aimed t...

Reef-fish RF-DETR: reproducible computer-vision workflow for spatiotemporal reef-fish monitoring

This record provides the versioned reproducibility package supporting the manuscript “Scaling spatiotemporal reef-fish monitoring with computer vision in the southern Gulf of Mexico.” The study develops and evaluates a computer-vision workflow for processing sustained underwater imagery of reef-fish communities. An RF-...

AppliedMath LexFlow: Deterministic Lexicographic Flow Allocation on Lossy Capacitated Trees

Exact, reproducible software for deterministic lexicographic flow allocation on lossy, capacitated rooted trees, and for the inverse rehabilitation-design problem posed on the same model. The allocation module implements the three-stage lexicographic model of the AppliedMath article Three-Stage Lexicographic Allocation...