Results 81 to 90 of about 2,393,512 (361)
Clitic-doubling and (non-)configurationality [PDF]
, 2008 In this paper we investigate Greek, an optional clitic doubling language not subject to Kaynes generalization (Jaeggli 1982), and we argue that in this language, doubled DPs are in A-positions. We propose that Greek clitics are formal features that move,
Alexiadou, Artemis +1 more
core
Prototyping Formal System Models with Active Objects
, 2018 We propose active object languages as a development tool for formal system models of distributed systems. Additionally to a formalization based on a term rewriting system, we use established Software Engineering concepts, including software product lines
Hähnle, Reiner, Kamburjan, Eduard
core +1 more source
The Impact of Diabetes and Metabolic Syndrome Burden on Pain, Neuropathy Severity and Fiber Type
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective Determine the association between diabetes and metabolic syndrome (MetS) burden (number of MetS criteria fulfilled) and pain, neuropathy severity, and fiber type involvement in individuals with established polyneuropathy. Methods The Peripheral Neuropathy Research Registry was queried for individuals with type 1 and type 2 diabetes ...
Long Davalos +13 more
wiley +1 more source
CSF Biomarker‐Based Cognitive Trajectories in Parkinson's Disease‐Subjective Cognitive Decline
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective Cognitive complaints without objective cognitive impairment in Parkinson's Disease, termed Parkinson's Disease‐Subjective Cognitive Decline (PD‐SCD), have been associated with cognitive decline. However, its progression is heterogeneous, highlighting the need for improved identification of patients at greater risk for deterioration ...
Jon Rodriguez‐Antiguedad +7 more
wiley +1 more source
Formal Verification of Language-Based Concurrent Noninterference
Journal of Formalized Reasoning, 2013 We perform a formal analysis of compositionality techniques for proving possibilistic noninterference for a while language with parallel composition.
Andrei Popescu +2 more
doaj +1 more source
Formal Language Theory Meets Modern NLP [PDF]
arXiv, 2021 NLP is deeply intertwined with the formal study of language, both conceptually and historically. Arguably, this connection goes all the way back to Chomsky's Syntactic Structures in 1957. It also still holds true today, with a strand of recent works building formal analysis of modern neural networks methods in terms of formal languages.
arxiv
Formalization of the DE2 Language [PDF]
, 2005 We formalized the DE2 hierarchical, occurrence-oriented finite state machine (FSM) language, and have developed a proof theory allowing the mechanical verification of FSM descriptions. Using the ACL2 functional logic, we have defined a predicate for detecting the well-formedness of DE2 expressions.
Erik Reeber, Warren A. Hunt
openaire +1 more source
Precision‐Optimised Post‐Stroke Prognoses
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Background Current medicine cannot confidently predict who will recover from post‐stroke impairments. Researchers have sought to bridge this gap by treating the post‐stroke prognostic problem as a machine learning problem, reporting prediction error metrics across samples of patients whose outcomes are known.
Thomas M. H. Hope +4 more
wiley +1 more source
A formal language for cyclic operads
Higher Structures, 2017 We propose a $ $-calculus-style formal language, called the $ $-syntax, as a lightweight representation of the structure of cyclic operads. We illustrate the rewriting methods behind the formalism by giving a complete step-by-step proof of the equivalence between the unbiased and biased definitions of cyclic operads.
Curien, Pierre-Louis, Obradovic, Jovana
openaire +3 more sources
Phenotyping Healthcare Use 2–3 Decades Before the First Multiple Sclerosis Demyelinating Event
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective Phenotype hospital, physician, and emergency department (ED) visits by diagnoses and specialty up to 29 years pre‐multiple sclerosis (MS) onset versus a matched population without MS. Methods We identified people with MS (PwMS) using population‐based administrative data from Ontario, Canada (1991–2020).
Helen Tremlett +8 more
wiley +1 more source