Results 61 to 70 of about 579,977 (276)
, 2016 Static analysers search for overapproximating proofs of safety commonly known as safety invariants. Conversely, static bug finders (e.g. Bounded Model Checking) give evidence for the failure of an assertion in the form of a counterexample trace. As opposed to safety invariants, the size of a counterexample is dependent on the depth of the bug, i.e ...
Cristina David +3 more
openaire +5 more sources
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Background Myasthenia gravis (MG) is a rare disorder characterized by fluctuating muscle weakness with potential life‐threatening crises. Timely interventions may be delayed by limited access to care and fragmented documentation. Our objective was to develop predictive algorithms for MG deterioration using multimodal telemedicine data ...
Maike Stein +7 more
wiley +1 more source
Frontiers in Education, 2023 IntroductionTeacher self-efficacy is understood as the set of beliefs regarding teachers’ ability to exercise their role and have a positive effect on the learning of their students.
Susana K. Lingán-Huamán +5 more
doaj +1 more source
Invariance under twisting for crossed products [PDF]
, 2010 We prove a result of the type ''invariance under twisting'' for Brzezinski's crossed products, as a common generalization of the invariance under twisting for twisted tensor products of algebras and the invariance under twisting for quasi-Hopf smash ...
Panaite, Florin
core
Arthritis Care &Research, EarlyView.Objective A leading cause of death among patients with scleroderma (SSc), interstitial lung disease (ILD) remains challenging to prognosticate. The discovery of biomarkers that accurately determine which patients would benefit from close monitoring and aggressive therapy would be an essential clinical tool.
Cristina M. Padilla +13 more
wiley +1 more source
A unifying causal framework for analyzing dataset shift-stable learning algorithms
Journal of Causal Inference, 2022 Recent interest in the external validity of prediction models (i.e., the problem of different train and test distributions, known as dataset shift) has produced many methods for finding predictive distributions that are invariant to dataset shifts and ...
Subbaswamy Adarsh +2 more
doaj +1 more source
Journal of Mathematical Analysis and Applications, 2002 Submitted for publication-20 pages.
openaire +2 more sources
Arthritis Care &Research, Accepted Article.Objective Somatic items used in depression assessments can potentially overlap with symptoms related to physical illness, including systemic sclerosis (SSc). No studies have looked at whether somatic depression items may be influenced by diffuse versus limited SSc disease subtypes, which are associated with varying degrees of symptom presentation.
Sophie Hu +109 more
wiley +1 more source
From dynamical scaling to local scale-invariance: a tutorial
, 2016 Dynamical scaling arises naturally in various many-body systems far from equilibrium. After a short historical overview, the elements of possible extensions of dynamical scaling to a local scale-invariance will be introduced.
A. Einstein +75 more
core +3 more sources
A Q‐Learning Algorithm to Solve the Two‐Player Zero‐Sum Game Problem for Nonlinear Systems
International Journal of Adaptive Control and Signal Processing, Volume 39, Issue 3, Page 566-581, March 2025.A Q‐learning algorithm to solve the two‐player zero‐sum game problem for nonlinear systems. ABSTRACT This paper deals with the two‐player zero‐sum game problem, which is a bounded L2$$ {L}_2 $$‐gain robust control problem. Finding an analytical solution to the complex Hamilton‐Jacobi‐Issacs (HJI) equation is a challenging task.
Afreen Islam +2 more
wiley +1 more source