Results 61 to 70 of about 239,048,002 (311)
Towards Provably Correct Code Generation via Horn Logical Continuation Semantics [PDF]
, 2005 Provably correct compilation is an important aspect in development of high assurance software systems. In this paper we explore approaches to provably correct code generation based on programming language semantics, particularly Horn logical semantics ...
Gopal Gupta +5 more
core +1 more source
Towards a Computational Theory of Semantic Memory [PDF]
, 1984 Memory is one of the most important functions of the human brain, yet its understanding — why and how it does what it does — has so far eluded us. Research in memory has been a frustrating task not least because of the intimate familiarity with what we are trying to understand, and partly also because the human cognitive system has developed as an ...
openaire +1 more source
Elevated Connectivity During Language Processing Is Associated With Cognitive Performance in SeLECTS
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective Self‐Limited Epilepsy with Centrotemporal Spikes (SeLECTS) is associated with language impairments despite seizures originating in the motor cortex, suggesting aberrant cross‐network interactions. Here we tested whether functional connectivity in SeLECTS during language tasks predicts language performance.
Wendy Qi +8 more
wiley +1 more source
A general theory of action languages [PDF]
, 1998 We present a general theory of action-based languages as a paradigm, for the description, of those computational systems which include elements of concurrency and networking, and extend this approach to describe dist.ributed systems and also t,o ...
Letichevsky, AA, Gilbert, D
core +4 more sources
The Power of the Lorentz Quantum Computer
EntropyWe analyze the power of the recently proposed Lorentz quantum computer (LQC), a theoretical model leveraging hyperbolic bits (hybits) governed by complex Lorentz transformations.
Qi Zhang, Biao Wu
doaj +1 more source
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Background Cognitive impairment is a common non‐motor symptom in Multiple Sclerosis (MS), negatively affecting autonomy and Quality of Life (QoL). Innovative rehabilitation strategies, such as semi‐immersive virtual reality (VR) and computerized cognitive training (CCT), may offer advantages over traditional cognitive rehabilitation (TCR ...
Maria Grazia Maggio +8 more
wiley +1 more source
How to compute worst-case execution time by optimization modulo theory and a clever encoding of program semantics [PDF]
ACM SIGPLAN Notices, 2014 In systems with hard real-time constraints, it is necessary to compute upper bounds on the worst-case execution time (WCET) of programs; the closer the bound to the real WCET, the better. This is especially the case of synchronous reactive control loops with a fixed clock; the WCET of the loop body must not exceed the clock period. We compute
Henry, Julien +3 more
openaire +4 more sources
P Systems with Evolutional Communication and Division Rules
Axioms, 2021 A widely studied field in the framework of membrane computing is computational complexity theory. While some types of P systems are only capable of efficiently solving problems from the class P, adding one or more syntactic or semantic ingredients to ...
David Orellana-Martín +2 more
doaj +1 more source
Memory and Resting‐State Connectivity in Acute Transient Global Amnesia: A Case–Control fMRI Study
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Background and Objectives Transient global amnesia (TGA) is a striking model of isolated amnesia. While hippocampal lesions are well described, the network‐level mechanisms and the precise neuropsychological profile remain debated. Our objective was thus to characterize functional and neuropsychological correlates of acute TGA and their ...
Elias El Otmani +10 more
wiley +1 more source
Truth theories, competence, and semantic computation
, 2012 Tolkningskomplexitet
openaire +3 more sources