Results 81 to 90 of about 7,429,852 (332)
From Proof Nets to the Free *-Autonomous Category [PDF]
Logical Methods in Computer Science, 2006 In the first part of this paper we present a theory of proof nets for full multiplicative linear logic, including the two units. It naturally extends the well-known theory of unit-free multiplicative proof nets.
Francois Lamarche, Lutz Strassburger
doaj +1 more source
Choroid Plexus Enlargement and USPIO‐Based Inflammatory Feature in Cerebral Small Vessel Disease
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective The choroid plexus (CP) is a key component of the blood–cerebrospinal fluid barrier (BCSFB), but its mechanism of action in cerebral small vessel disease (CSVD) remains unclear. This study investigated CP volume (CPV) alterations and their association with conventional imaging markers in CSVD and explored the underlying role of ...
Yongqiang Qu +11 more
wiley +1 more source
ANALISIS KEMAMPUAN PEMBUKTIAN MATEMATIS PADA MATAKULIAH TEORI BILANGAN
Jurnal E-DuMath, 2018 The number theory course focuses on the activities of reasoning, reviewing, analyzing, and proving, which is a high level of cognitive ability. Especially for of a lot of proof errors are done by students.
Arfatin Nurrahmah, Abdul Karim
doaj +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
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
Karl Popper and the Mechanisms of Hydrogen Embrittlement
Advanced Engineering Materials, EarlyView.Representation of the beginning of loss of ductility rather than embrittlement. Small concentrations of hydrogen in a diffusible form within iron are well‐established to harm the mechanical integrity of steels. There are theories that attempt to explain the pernicious role of hydrogen.
H. K. D. H. Bhadeshia
wiley +1 more source
Experiments with proof plans for induction
, 1991 The technique of proof plans, is outlined. This technique is used to guideautomatic inference in order to avoid a combinatorial explosion. Empirical research to test this technique in the domain of theorem proving by mathematical induction is described ...
Bundy, Alan +9 more
core +1 more source
Proof theory and computational analysis
Electronic Notes in Theoretical Computer Science, 1997 In this survey paper we start with a discussion how functionals of finite type can be used for the proof-theoretic extraction of numerical data (e.g. effective<br />uniform bounds and rates of convergence) from non-constructive proofs in numerical analysis.
openaire +2 more sources
Influence of Test Temperature and Test Frequency on Fatigue Life of Aluminum Alloy EN AW‐2618A
Advanced Engineering Materials, EarlyView.The influence of test temperature and test frequency on the fatigue life of EN AW‐2618A is investigated. High‐cycle fatigue tests are performed at different test temperatures and frequencies on the 1000 h/230°C overaged state. Both test parameters reduce fatigue life due to time‐dependent damage mechanisms.
Ying Han +5 more
wiley +1 more source
Tools and techniques for formalising structural proof theory
, 2010 Whilst results from Structural Proof Theory can be couched in many formalisms, it is the sequent calculus which is the most amenable of the formalisms to metamathematical treatment.
Chapman, Peter
core