GeoContra: From Fluent GIS Code to Verifiable Spatial Analysis with Geography-Grounded Repair

Get full text

Design and Analysis of Quantum Dual-Containing CSS LDPC Codes based on Quasi-Dyadic Matrices

Get full text

SWE-WebDevBench: Evaluating Coding Agent Application Platforms as Virtual Software Agencies

Get full text

Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers

Get full text

Emergent Communication for Co-constructed Emotion Between Embodied Agents via Collective Predictive Coding

Get full text

Correct-by-Construction G-Code Generation: A Neuro-Symbolic Approach via Separation Logic

Get full text

PyDislocDyn: A Python code for calculating dislocation drag and other crystal properties

Get full text

Lazy lossless compression by symbol lookahead invalidation in universal adaptive stream-based entropy coding

Get full text

Finite-Time Leader–Follower Tracking Control of Multiple Euler–Lagrange Systems via Sliding Mode Under Switching Topologies

Get full text

Sensorless Speed Control of a PMSM Using Super-Twisting Sliding Mode Control for Three-Wheel Electric Vehicle Propulsion

Get full text

Birthing balls and peanut balls for labor pain, delivery duration, and mode of delivery: a meta-analysis of randomized controlled trials

Get full text

Time-Variant Reliability Analysis of Satellite Solar Panel Deployment Mechanism Under Multiple Failure Modes Using SILK Model

Get full text

Gemi finansmanında paradigma değişimi: Alman KG krizinden çıkarılan dersler ışığında Türkiye için bir GSYF modeli önerisi

Get full text

Common-Mode Voltage Reduction in Three-Level T-Type Converters Using a Quadruple Reference Voltage-Based PWM Technique

Get full text

Parameter‐Adaptive Control Method in Left‐Side Power Point Tracking Mode for Single‐Stage Photovoltaic Power Generation Systems

Get full text

Analisa Kerusakan Transmisi Otomatis dengan Metode Failures Mode and Effects Analysis (FMEA) dan Logic Tree Anaysis (LTA)

Get full text

FAULT-TOLERANT CONTROL OF LOW-ALTITUDE UNMANNED AERIAL VEHICLE SWARMS USING A REDUCED-ORDER SLIDING MODE OBSERVER

Get full text

SURFACE ENERGY CHARACTERIZATION OF A SINGLE MICROSPHERE PARTICLE USING PEAKFORCE QUANTITATIVE NANOMECHANICAL MAPPING MODE OF ATOMIC FORCE MICROSCOPE

Get full text

A Matrix-Free Galerkin Multigrid Solver and Failure-Mode Screen for Single-GPU 3D SIMP Linear Systems

Get full text