Results 61 to 70 of about 229,528 (288)
Representing Isabelle in LF [PDF]
, 2010 LF has been designed and successfully used as a meta-logical framework to represent and reason about object logics. Here we design a representation of the Isabelle logical framework in LF using the recently introduced module system for LF.
Florian Rabe
core +1 more source
Subjective Cognitive Concerns and Cognitive Trajectories in Parkinson's Disease: Biomarker Impact
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective To examine the relationship of subjective cognitive concerns (SCC) with biomarkers of Alzheimer's disease (AD), neurodegeneration, and Parkinson's disease (PD) and domain‐specific cognitive trajectories among cognitively unimpaired persons with de novo PD. Method Cognitively unimpaired participants with SCC (n = 294) and without SCC (
Francesca V. Lopez +5 more
wiley +1 more source
Stevens-Johnson Syndrome and Its Manifestation in Oral Cavity
Česká Stomatologie a Praktické Zubní Lékařství, 2010 Stevens-Johnson syndrome (SJS) is a disease with typical dermal and mucosal manifestations. The etiology is multifactorial. The characteristic skin manifestation is the occurrence of brick-red stains or papular dermatitis with central decrease, sc.
J. Vokurka +5 more
doaj +1 more source
Small Proof Witnesses for LF [PDF]
, 2005 We instrument a higher-order logic programming search procedure to generate and check small proof witnesses for the Twelf system, an implementation of the logical framework LF. In particular, we extend and generalize ideas from Necula and Rahul [16] in two main ways: 1) We consider the full fragment of LF including dependent types and higher-order ...
Susmit Sarkar +2 more
openaire +2 more sources
Arthritis Care &Research, EarlyView.Objective The objective of this article is to identify perceptions of patients with systemic lupus erythematosus (SLE) regarding artificial intelligence (AI)–based online symptom assessment tools, and the potential of these tools to address diagnostic barriers.
Olivia A. Stein +7 more
wiley +1 more source
Diabetes Mellitus and Oral Health
Česká Stomatologie a Praktické Zubní Lékařství, 2014 Background: This review summarizes the current state of knowledge about the relationship between diabetes mellitus (DM) and diseases of the oral cavity tissues.
H. Poskerová +4 more
doaj +1 more source
Electronic Notes in Theoretical Computer Science, 2008 AbstractWe present a type system extending the dependent type theory LF, whose terms are more amenable to compact representation. This is achieved by carefully omitting certain subterms which are redundant in the sense that they can be recovered from the types of other subterms.
openaire +1 more source
Arthritis Care &Research, EarlyView.Objective Systemic sclerosis (SSc) is characterized by cardiovascular risk excess not fully explained by traditional factors. Whether the severity of microvascular damage correlates with structural subclinical atherosclerosis remains unclear. We investigated the relationship between nailfold videocapillaroscopy (NVC) abnormalities and carotid ...
Eugenio Capparelli +13 more
wiley +1 more source
The Occurrence of Streptococcus Mutans and Oral Health Condition in Pregnant Women
Česká Stomatologie a Praktické Zubní Lékařství, 2012 Introduction: Occurrence of cariogenic microorganisms in the oral cavity is considered as a major etiologic factor causing dental caries. Cariogenic SM streptococcal exposure is significantly affected both by carbohydrates in diet and saliva buffer ...
H. Hecová +3 more
doaj +1 more source
Arthritis Care &Research, Accepted Article.Objective High body mass index (BMI≥27 kg/m2) and aberrant gait biomechanics are primary risk factors for knee osteoarthritis (KOA), yet the specific loading patterns linked to clinical disease features remain unclear. Unsupervised machine learning (ML) was used to identify vertical ground reaction force (vGRF) waveform modes of variation and ...
Ashley N. Buck +10 more
wiley +1 more source