Results 111 to 120 of about 1,423 (254)
Peano: learning formal mathematical reasoning. [PDF]
Philos Trans A Math Phys Eng Sci, 2023 Poesia G, Goodman ND.
europepmc +1 more source
Scaling Invariant Generation Using State Space Embeddings and GPU Streaming
Concurrency and Computation: Practice and Experience, Volume 37, Issue 25-26, 30 November 2025.ABSTRACT The formal verification of railway control systems can ensure the safety of complex scheme plans through techniques such as induction‐based model checking. While inductive verification performs well in complex settings, it often produces false positives due to its consideration of transitions from unreachable safe states to unsafe states ...
Ben Lloyd‐Roberts +4 more
wiley +1 more source
Direct Data‐Driven State‐Feedback Control of Linear Parameter‐Varying Systems
International Journal of Robust and Nonlinear Control, Volume 35, Issue 16, Page 6955-6977, 10 November 2025.ABSTRACT The framework of linear parameter‐varying (LPV) systems has shown to be a powerful tool for the design of controllers for complex nonlinear systems using linear tools. In this work, we derive novel methods that allow us to synthesize LPV state‐feedback controllers directly from only a single sequence of data and guarantee stability and ...
Chris Verhoek +2 more
wiley +1 more source
Discussion of ‘Robust distance covariance’ by S. Leyder, J. Raymaekers and P. J. Rousseeuw
International Statistical Review, EarlyView.
Hallin Marc +3 more
wiley +1 more source
Kinematic Limit Analysis of Roof Stability for Elliptical Tunnels in Rock Masses
International Journal for Numerical and Analytical Methods in Geomechanics, Volume 49, Issue 16, Page 3880-3896, November 2025.ABSTRACT Noncircular cross‐sections are commonly encountered in engineering practice; however, primary attempts to analyze roof stability have focused on circular and rectangular configurations. This study investigates the roof stability of elliptical tunnels with varying aspect ratios, employing two semi‐analytical approaches: piecewise linear and ...
Tae‐Won Seo, Dowon Park
wiley +1 more source
Advanced Theory and Simulations, Volume 8, Issue 10, October 2025.The seal louse Echinophthirius horridus has uniquely shaped setae that may reduce drag during its host's dives. Using numerical simulations, this study demonstrates that their natural inclination promotes vortex formation, minimizing friction and energy loss. These findings provide insights into biological surface adaptations and may inspire the design
Anika Preuss +3 more
wiley +1 more source
Evolution of Cement Concrete Modeling: A Review of Conventional Modeling Techniques and Application
Engineering Reports, Volume 7, Issue 10, October 2025.This review explores the evolution of cement concrete modeling, comparing the traditional methods such as analytical and empirical models with modern methods like finite element analysis, simulation, and machine learning, identifying gaps and fostering improvement and understanding of concrete's structural behavior and predictability. ABSTRACT Modeling
Habert Ayesiga +2 more
wiley +1 more source
Generative Language Modeling for Automated Theorem Proving
, 2020 Stanislas Polu, Ilya Sutskever
openalex +2 more sources
Engineering Reports, Volume 7, Issue 10, October 2025.Machine learning‐enhanced NIDS, integrating diverse data sources and rigorous feature selection, achieves near‐perfect detection of sophisticated evasive cyber threats—including APTs, DDoS, zero‐day exploits, and MitM attacks—surpassing industry benchmarks in accuracy, precision, recall, and F1$$ {\mathrm{F}}_1 $$‐score. ABSTRACT Advanced cyber threats
Khandakar Md Shafin +2 more
wiley +1 more source