Results 11 to 20 of about 231,992 (188)
Semantic wiki for learning and teaching computer science
Je-LKS: Journal of E-Learning and Knowledge Society, 2013 This paper discusses the use of a collaborative learning environment, specifically designed for computer science education. In particular, we investigate how students (may) meaningfully learn computer science and how web technologies (may) support them in this process.
COCCOLI, MAURO +2 more
openaire +4 more sources
Immersive learning research [PDF]
, 2018 Editorial. Material for the special issue "Immersive Learning Research" of the Journal of Universal Computer Science.Welcome to the Journal of Universal Computer Science (J.UCS) special issue organized by the Immersive Learning Research Network (iLRN ...
Allison, Colin +3 more
core +2 more sources
TOR: modular search with hookable disjunction [PDF]
, 2014 Horn Clause Programs have a natural exhaustive depth-first procedural semantics. However, for many programs this semantics is ineffective. In order to compute useful solutions, one needs the ability to modify the search method that explores the ...
Demoen, Bart +3 more
core +1 more source
Tarski's influence on computer science
, 2006 The influence of Alfred Tarski on computer science was indirect but significant in a number of directions and was in certain respects fundamental. Here surveyed is the work of Tarski on the decision procedure for algebra and geometry, the method of ...
Prakash Panangaden, Solomon Feferman
core +2 more sources
Lambda theories of effective lambda models [PDF]
, 2007 A longstanding open problem is whether there exists a non-syntactical model of untyped lambda-calculus whose theory is exactly the least equational lambda-theory (=Lb).
Berline, Chantal +2 more
core +12 more sources
Semantics out of context: nominal absolute denotations for first-order logic and computation
, 2016 Call a semantics for a language with variables absolute when variables map to fixed entities in the denotation. That is, a semantics is absolute when the denotation of a variable a is a copy of itself in the denotation.
Gabbay, Murdoch J.
core +1 more source
Clustering Algorithm Reveals Dopamine‐Motor Mismatch in Cognitively Preserved Parkinson's Disease
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective To explore the relationship between dopaminergic denervation and motor impairment in two de novo Parkinson's disease (PD) cohorts. Methods n = 249 PD patients from Parkinson's Progression Markers Initiative (PPMI) and n = 84 from an external clinical cohort.
Rachele Malito +14 more
wiley +1 more source
Fluid Biomarkers of Disease Burden and Cognitive Dysfunction in Progressive Supranuclear Palsy
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective Identifying objective biomarkers for progressive supranuclear palsy (PSP) is crucial to improving diagnosis and establishing clinical trial and treatment endpoints. This study evaluated fluid biomarkers in PSP versus controls and their associations with regional 18F‐PI‐2620 tau‐PET, clinical, and cognitive outcomes.
Roxane Dilcher +10 more
wiley +1 more source
, 1958 In this thesis an operational semantics for a subset of the Java Virtual Machine (JVM) is developed and presented. The subset contains standard operations such as control flow, computation, and memory management.
Shimm, Melvin G.
core +1 more source
CSF Monoamine Metabolites and Cognitive Trajectory in Early Parkinson's Disease
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Background Imaging and postmortem studies indicate that abnormalities in monoaminergic neurotransmission contribute to cognitive impairment in Parkinson's disease (PD). However, it remains uncertain if cerebrospinal fluid (CSF) monoamine metabolites can serve as biomarkers of cognitive decline in early PD.
Jing‐Yu Shao +7 more
wiley +1 more source