Results 91 to 100 of about 1,240,536 (266)
Proof Planning for Maintainable Configuration Systems [PDF]
, 1998 Configuration is a complex task generally involving varying measures of constraint satisfaction, optimization, and the management of soft constraints.
Pechoucek, M., Bundy, Alan, Lowe, H.
core
Progressive Parkinsonism in PPP2R5D‐Related Neurodevelopmental Disorder
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT PPP2R5D‐related neurodevelopmental disorder (Houge–Janssens syndrome type 1) is a rare autosomal dominant condition characterized by macrocephaly, intellectual disability, and epilepsy. Progressive parkinsonism is an emerging adult phenotype that neurologists should be aware of since timely genetic diagnosis opens the door to disease‐modifying
Katerina Bernardi +6 more
wiley +1 more source
An interactive assistant for the definition of proof certificates [PDF]
, 2016 The Foundational Proof Certificate (FPC) approach to proof evidence offers a flexible framework for the formal definition of proof semantics, described through its relationship to focused proof systems.
Chihani, Zakaria, Blanco, Roberto
core
Why are Proof Complexity Lower Bounds Hard [PDF]
, 2020 We formalize and study the question of whether there are inherent difficulties to showing lower bounds on propositional proof complexity. We establish the following unconditional result: Propositional proof systems cannot efficiently show that truth ...
Pich, Jan
core
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Multisystemic smooth muscle dysfunction syndrome (MSMDS) is an ultra‐rare, ACTA2‐related disorder characterized by severe cerebrovascular disease, aortic aneurysms, and smooth muscle dysfunction. Using molecular dynamics simulations and in silico drug screening, we identified that sapropterin dihydrochloride (Kuvan) is a candidate capable of ...
Moran Hausman‐Kedem +9 more
wiley +1 more source
Arthritis Care &Research, EarlyView.Systemic sclerosis (SSc) is a rare autoimmune disease defined by immune dysregulation, vasculopathy, and progressive fibrosis of the skin and internal organs. Despite advances in care, major complications such as interstitial lung disease (ILD) and myocardial involvement remain the leading causes of morbidity and mortality.
Cristiana Sieiro Santos +2 more
wiley +1 more source
Proof-theoretic analysis of termination proofs
Annals of Pure and Applied Logic, 1995 \textit{E. A. Cichoń} [in: Proof theory, Int. Summer School and Conf., Leeds, UK, 1990, 173-193 (1992; Zbl 0793.03057)] raised the question whether there is a relation between the order type of a termination ordering \(\prec\) and the lengths of reduction sequences in a rewrite system reducing under \(\prec\). \textit{D. Hofbauer} [Theor. Comput.
openaire +2 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
Teaching Geometric Reasoning: Proof by Pictures? [PDF]
, 2007 The purpose of this study was to investigate students' understanding of proof and proof writing using a new three-column method. The new three-column method consists of the traditional "statements" and "reasons" columns but also contains a "picture ...
Hawkins, Matthew Lee
core
International Journal of Adaptive Control and Signal Processing, EarlyView.This article proposes a convergent adaptive observer for a damped wave PDE and an infinite‐dimensional ODE coupled in cascade using sampled‐in‐space ODE state measurements. The proposed observer estimates the distributed states of the PDE and ODE along with unknown PDE parameters and spatial input.
Zehor Belkhatir +2 more
wiley +1 more source