Results 61 to 70 of about 493,809 (298)
04351 Summary -- Spatial Representation: Discrete vs. Continuous Computational Models [PDF]
, 2005 Topological notions and methods are used in various areas of the physical sciences and engineering, and therefore computer processing of topological data is important.
Kopperman, Ralph +4 more
core +1 more source
De-linearizing Linearity: Projective Quantum Axiomatics From Strong Compact Closure [PDF]
, 2007 Elaborating on our joint work with Abramsky in [S. Abramsky, B. Coecke, B. (2004) A categorical semantics of quantum protocols. Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science (LiCS'04), IEEE Computer Science Press.
Coecke, Bob
core +2 more sources
A 14‐Year Study of Serum Glial Fibrillary Acidic Protein and Total Tau in Premanifest Huntington's
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT There is a pressing need for blood biomarkers that can identify Huntington's disease (HD) gene carriers' proximity to manifest disease. We previously examined serial serum neurofilament light (NfL) concentrations in 21 premanifest HD gene carriers and 14 controls over 14 years, finding that NfL demonstrates high prognostic value and distinct ...
Natalia E. Owen +8 more
wiley +1 more source
Serret-Frenet Frame and Curvatures of Bézier Curves
Mathematics, 2018 The aim of this study is to view the role of Bézier curves in both the Euclidean plane E 2 and Euclidean space E 3 with the help of the fundamental algorithm which is commonly used in Computer Science and Applied Mathematics and without ...
Esra Erkan, Salim Yüce
doaj +1 more source
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective People with HIV (PWH) on antiretroviral therapy (ART) still experience neurocognitive dysfunction and accelerated brain volume loss. To assess whether the serotonergic and dopaminergic systems are affected, we used [11C]DASB positron emission tomography (PET) to assess presynaptic serotonergic function and [18F]FDOPA PET to measure ...
Chuen‐Yen Lau +12 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
On More or Less Appropriate Notions of ‘Computation’
South African Computer Journal, 2018 Half a century after the emergence of computer science (a.k.a. informatics) as an academic discipline, the notion of “computation” is not yet “settled”. On the contrary: recent developments in the natural sciences, in mathematics, as well as in computer ...
Stefan Gruner, Andrew (Andy) Gravell
doaj +1 more source
The global environmental agenda urgently needs a semantic web of knowledge
Environmental Evidence, 2022 Progress in key social-ecological challenges of the global environmental agenda (e.g., climate change, biodiversity conservation, Sustainable Development Goals) is hampered by a lack of integration and synthesis of existing scientific evidence.
Stefano Balbi +6 more
doaj +1 more source
From Semantics to Computer Science: Determinacy in a synchronous π-calculus
, 2009 The Sπ-calculus is a synchronous π-calculus which is based on the SL model. The latter is a relaxation of the Esterel model where the reaction to the absence of a signal within an instant can only happen at the next instant.
R. Amadio, M. Dogguy
semanticscholar +1 more source
A Case‐Based Reasoning Approach to Model Manufacturing Constraints for Impact Extrusion
Advanced Engineering Materials, EarlyView.A hybrid modeling approach is presented that combines constraint‐based process modeling and case‐based reasoning. The model formalizes manufacturing constraints and integrates simulation data to model complex manufacturing processes. The approach supports manufacturability analysis during product design through an adaptive modeling environment.
Kevin Herrmann +5 more
wiley +1 more source