Results 51 to 60 of about 776,446 (291)
A Categorical Semantics of Signal Flow Graphs [PDF]
, 2014 We introduce \(\mathbb{IH}\), a sound and complete graphical theory of vector subspaces over the field of polynomial fractions, with relational composition. The theory is constructed in modular fashion, using Lack’s approach to composing PROPs with distributive laws.
Filippo Bonchi +2 more
openaire +4 more sources
Digital Cognitive Phenotyping for Differential Diagnosis and Monitoring in Neurological Conditions
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective To assess the utility, accessibility, and equivalence to supervised scales of online cognitive assessment in older individuals with cognitive impairment. Methods Patients with Alzheimer's disease (AD, n = 31), idiopathic normal pressure hydrocephalus (iNPH, n = 26), and traumatic brain injury (TBI, n = 23) completed online cognitive ...
Martina Del Giovane +10 more
wiley +1 more source
A Semantic Approach for Tweet Categorization
Procedia Computer Science, 2018 Abstract The explosion of social media and microblogging services has gradually increased the microblogging data and particularly tweets data. In microblogging services such as Twitter, the users may become overwhelmed by the rise of data. Although, Twitter allows people to micro-blog about a broad range of topics in real time, it is often hard to ...
Ben Ltaifa Ibtihel +2 more
openaire +2 more sources
A proposed categorical semantics for ML modules [PDF]
, 1995 We present a simple categorical semantics for ML signatures, structures and functors. Our approach relies on realizablity semantics in the category of assemblies. Signatures and structures are modelled as objects in slices of the category of assemblies. Instantiation of signatures to structures and hence functor application is modelled by pullback.
Fourman, Michael P., Thielecke, Hayo
openaire +2 more sources
, 2021 Lorenz A, Döring A-L, van Scherpenberg C, Pino D, Abdel Rahman R, Obrig H. On the relation of semantic context effects in picture naming and semantic categorization: Evidence from aphasia.
Abdel Rahman, Rasha +5 more
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
Facta Universitatis. Series: Mechanical Engineering, 2014 In this paper the method of semantic network analysis which enables semantic categorization of data in the network is presented. The main goal of network analysis is determination of the similarity of associations in semantic network based on similarity ...
Milan Trifunović +4 more
doaj
Semantic categorization in a linear order problem [PDF]
Memory & Cognition, 1979 The present investigation was conducted to determine whether subjects could use categorical codes based on semantic memory information (gender of names) to make rapid decisions about the order of names in a linear series. Subjects were taught linear order problems in which 12 names (six male and six female) were either randomly ordered or blocked by ...
R M, Pliske, K H, Smith
openaire +2 more sources
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Background Biallelic FIG4 variants classically cause distinct conditions characterized by peripheral neuropathy (Charcot‐Marie‐Tooth disease type 4J) or skeletal dysplasia (Yunis‐Varón syndrome). However, central nervous system involvement is increasingly recognized. The prevalence and specific characteristics of movement disorders within FIG4‐
Andrea Gangfuß +22 more
wiley +1 more source
A Categorical Semantics for Inductive-Inductive Definitions [PDF]
, 2011 Induction-induction is a principle for defining data types in Martin-Lof Type Theory. An inductive-inductive definition consists of a set A, together with an A-indexed family B : A → Set, where both A and B are inductively defined in such a way that the constructors for A can refer to B and vice versa.
Thorsten Altenkirch +3 more
openaire +4 more sources