Results 111 to 120 of about 699,995 (283)
Internal $\infty$-Categorical Models of Dependent Type Theory: Towards 2LTT Eating HoTT [PDF]
arXiv, 2020 Using dependent type theory to formalise the syntax of dependent type theory is a very active topic of study and goes under the name of "type theory eating itself" or "type theory in type theory." Most approaches are at least loosely based on Dybjer's categories with families (CwF's) and come with a type CON of contexts, a type family TY indexed over ...
arxiv
Histone Deacetylase 6 Brain PET in Amyotrophic Lateral Sclerosis‐Frontotemporal Spectrum Disorder
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective [18F]EKZ‐001 is a positron emission tomography (PET) tracer targeting histone deacetylase 6 (HDAC6), an enzyme responsible for intracellular transport and clearance of misfolded proteins. HDAC6 modulation is a promising treatment strategy in neurodegenerative disorders, including amyotrophic lateral sclerosis (ALS).
Greet Vanderlinden +15 more
wiley +1 more source
The Completeness of Propositional Resolution: A Simple and
Constructive
Proof
, 2006 It is well known that the resolution method (for propositional logic) is complete. However, completeness proofs found in the literature use an argument by contradiction showing that if a set of clauses is unsatisfiable, then it must have a resolution ...
Gallier, Jean
core +3 more sources
Extending the Applicability Condition in the Formal System $λδ$ [PDF]
arXiv, 2014 The formal system $\lambda\delta$ is a typed lambda calculus derived from $\Lambda_\infty$, aiming to support the foundations of Mathematics that require an underlying theory of expressions (for example the Minimal Type Theory). The system is developed in the context of the Hypertextual Electronic Library of Mathematics as a machine-checked digital ...
arxiv
Arthritis Care &Research, EarlyView.Objective Posttraumatic osteoarthritis (PTOA) accounts for nearly 12% of osteoarthritis incidences and often occurs after anterior cruciate ligament (ACL) tear. Ensuring the uptake of preventive treatments for PTOA requires that investigators and clinicians understand factors influencing patients to seek preventive therapies.
Lily M. Waddell +10 more
wiley +1 more source
Non-termination using Regular Languages [PDF]
, 2014 We describe a method for proving non-looping non-termination, that is, of term rewriting systems that do not admit looping reductions. As certificates of non-termination, we employ regular (tree) automata.Comment: Published at International Workshop on ...
Endrullis, Jörg, Zantema, Hans
core +1 more source
Collins Effect from Polarized SIDIS and $e^+e^-$ Data
, 2006 The recent data on the transverse single spin asymmetry $A_{UT}^{\sin(\phi_h+\phi_S)}$ from HERMES and COMPASS Collaborations are analysed within LO parton model with unintegrated parton distribution and fragmentation functions.
Prokudin, A., Turk, C.
core +2 more sources
Arthritis Care &Research, Accepted Article.Objective The Plants for Joints intervention (PFJ), including a whole‐food plant‐based diet, exercise, and stress reduction, reduced signs and symptoms of rheumatoid arthritis (RA) or metabolic syndrome‐associated hip or knee osteoarthritis (MSOA) compared to usual care. This study examined outcomes two years later. Methods After two 16‐week randomized
Carlijn A. Wagenaar +10 more
wiley +1 more source
Advanced Biology, EarlyView.In this randomized clinical trial conducted among 142 community‐dwelling older adults at high risk for falls over 12 months, a Dalcroze Eurhythmics exercise intervention (once weekly, group‐based) improved a variety of physical and cognitive/executive function outcomes compared with a multicomponent exercise intervention (twice weekly, group‐ and home ...
Mélany Hars +7 more
wiley +1 more source
How to build your own ASP-based system?! [PDF]
arXiv, 2020 Answer Set Programming (ASP) has become a popular and quite sophisticated approach to declarative problem solving. This is arguably due to its attractive modeling-grounding-solving workflow that provides an easy approach to problem solving, even for laypersons outside computer science.
arxiv