Results 211 to 220 of about 14,100 (298)

Golem: a flexible and efficient solver for constrained Horn clauses. [PDF]

Form Methods Syst Des
Blicha M, Britikov K, Sharygina N.
europepmc   +1 more source

Deceptive Overgeneralization: When Adaptive Learning Enables Systematic Misapplication

Journal of Computer Assisted Learning, Volume 42, Issue 5, October 2026.
ABSTRACT Background Adaptive learning systems infer mastery from observed correctness, but this approach may fall short when learners exhibit ‘deceptive overgeneralization’—performing correct actions based on incomplete understanding. This phenomenon can mislead systems into prematurely stopping practice, leaving knowledge gaps unaddressed.
Marshall An, Bruce M. McLaren, John Stamper   +2 more
wiley   +1 more source

Developing a Fundamental Theoretical Definition for Athletic Injury: Metaphysics, Logic, and Mathematics. [PDF]

Sports Med
Kalkhoven JT.
europepmc   +1 more source

Making sociotechnical doable: Cross‐disciplinary translations into engineering education

Journal of Engineering Education, Volume 115, Issue 4, October 2026.
Abstract Background Engineering education research (EER) increasingly invokes the “sociotechnical,” yet the term travels across science and technology studies (STS), engineering studies, and EER in uneven ways. As EER faces shifting political and institutional pressures, understanding how concepts migrate across disciplinary boundaries offers insight ...
Desen S. Özkan, Kari Zacharias, Marie Stettler Kleine   +2 more
wiley   +1 more source

Recognizing distance-count matrices. [PDF]

PLoS One
Boldi P, Prezioso C, Furia F, Stewart I.
europepmc   +1 more source

On a Clique‐Building Game of Erdős

Journal of Graph Theory, Volume 113, Issue 2, Page 208-221, October 2026.
ABSTRACT The following game was introduced in a list of open problems from 1983 attributed to Erdős: two players take turns claiming edges of a K n
Alexandru Malekshahian, Sam Spiro
wiley   +1 more source

PRG4CNN: A Probabilistic Model Checking-Driven Robustness Guarantee Framework for CNNs. [PDF]

Entropy (Basel)
Liu Y, Fang A.
europepmc   +1 more source

Input–Output Finite‐Time Stability and Stabilization of Nonautonomous Nonlinear Quadratic Systems via State and Output Feedback

International Journal of Robust and Nonlinear Control, Volume 36, Issue 15, Page 7088-7101, October 2026.
ABSTRACT This paper presents novel results regarding the input–output finite‐time stability (IO‐FTS) of nonlinear quadratic systems (NLQSs), a class of dynamical models particularly useful for the study of robotic systems, biochemical reaction networks, and other processes of interest to the applied sciences.
Alessio Merola, Francesca Nesci, Donatella Dragone, Francesco Montefusco, Francesco Amato, Carlo Cosentino   +5 more
wiley   +1 more source

Albumin-corrected tCa/iCa ratio: are we still diagnosing citrate accumulation or predicting mortality? [PDF]

Crit Care
Chardon N, Payen D, Khadzhynov D, Rimmelé T, Bidar F.   +4 more
europepmc   +1 more source

The Concept of Harm in Medical Ethics

Bioethics, Volume 40, Issue 8, Page 871-877, October 2026.
ABSTRACT The concept of harm is central to medical ethics. In particular, it is frequently used in ethical deliberation about clinical cases and harm‐benefit analyses. Despite its significance, there has been surprisingly little discussion in practice about conceptual approaches and the nature of harm in medical ethics analyses.
Marie‐Christine Fritzsche, Charlotte Franziska Unruh   +1 more
wiley   +1 more source