Results 51 to 60 of about 42,644,411 (279)

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, Emmanuel Barbeau, Béatrice Lemesle, Emilie Milongo‐Rigal, Sophie Fernandez, Sandrine Charpentier, Jean‐François Albucher, Nicolas Raposo, Fabrice Bonneville, Patrice Péran, Jérémie Pariente   +10 more
wiley   +1 more source

Structural operational semantics for stochastic and weighted transition systems

, 2013
We introduce weighted GSOS, a general syntactic framework to specify well-behaved transition systems where transitions are equipped with weights coming from a commutative monoid.
Klin, Bartek, Sassone, Vladimiro
core   +1 more source

Formal Semantics of ABN Framework

, 2008
This technical document extend upon and give formal meaning to the syntactic definitions presented in [7] and forwards the formal semantics of our argumentation-based negotiation (ABN) dialogue game protocol, which allows agents to argue, negotiate and ...
Karunatillake, Nishan C, Karunatillake, Nishan C., Karunatillake, N., Rahwan, I. ; https://orcid.org/, Jennings, Nicholas R., Jennings, Nicholas R, McBurney, Peter, McBurney, P., Rahwan, Iyad, Jennings, N.   +9 more
core   +2 more sources

Reasoning about modular datatypes with Mendler induction [PDF]

Electronic Proceedings in Theoretical Computer Science, 2015
In functional programming, datatypes a la carte provide a convenient modular representation of recursive datatypes, based on their initial algebra semantics.
Paolo Torrini, Tom Schrijvers
doaj   +1 more source

Exploiting labels in Structural Operational Semantics

Proceedings of the 2004 ACM symposium on Applied computing, 2004
Structural Operational Semantics (SOS) allows transitions to be labelled. This is fully exploited in SOS descriptions of concurrent systems, but usually not at all in conventional descriptions of sequential programming languages.<br /> <br />This paper shows how the use of labels can provide significantly simpler and more modular ...
openaire   +8 more sources

Screening Routine Clinical Notes for Epilepsy Surgery Candidates Using Large Language Models

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Epilepsy surgery is severely underutilized despite proven efficacy, with substantial under‐referral of eligible patients in routine clinical practice. This study evaluated the potential role of large language models (LLMs) as decision‐support tools for screening unstructured clinical notes to identify epilepsy surgery candidates and ...
Uriel Fennig, Nadav Amir, Maya Schiller, Roni Loebenstein, Johnatan Nissan, Marina Boxer, Shany Guly Gofrit, Gal Goshen, Sándor Beniczky, Nicola Maggio   +9 more
wiley   +1 more source

Cognitive and Neuroimaging Divergence Between Juvenile and Adult FUS Amyotrophic Lateral Sclerosis

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Amyotrophic lateral sclerosis (ALS) is a neurodegenerative disorder characterized by progressive motor neuron degeneration. Fused in sarcoma (FUS)‐associated juvenile ALS (jALS) represents a distinct and aggressive subgroup with rapid deterioration and poor prognosis.
Alexandra V. Jürs, Marcel Naumann, Annaliis Lehto, Hanna Schön, Jens Kurth, Johannes Prudlo, Andreas Hermann, Elisabeth Kasper   +7 more
wiley   +1 more source

Establishment of Ship-Motion-Based Operational Limiting Criteria for Safe and Efficient Offshore Cable-Laying Operations

Journal of Marine Science and Engineering
As offshore wind projects are located further and deeper in the ocean, time-intensive and costly cable laying plays an increasingly critical role in offshore wind farm construction.
Xu Han, Zhibo Xu, Xin Li, Wei Shi, Zhipeng Leng   +4 more
doaj   +1 more source

Stage‐Dependent β‐Synuclein Links MRI and Cognitive Decline in Alzheimer's Disease

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Synaptic degeneration drives cognitive decline in Alzheimer's disease (AD), but synaptic biomarkers are scarce. Brain‐enriched β‐synuclein emerged as a synaptic damage marker. We investigated its diagnostic, prognostic, and structural correlates across the AD continuum.
Ulaş Ay, Merve Alaylioglu, Erdi Sahin, Sanem Sultan Yoruk Oner, Gulce Iskan, Gulce Cosku Yilmaz Cakan, Gozde Kizilates‐Evin, Emre Hari, Elif Kurt, Erdinc Dursun, Basar Bilgic, Hasmet Hanagasi, Hakan Gurvit, Tamer Demiralp, Duygu Gezen‐Ak, Bedia Samanci   +15 more
wiley   +1 more source

Well-behaved translations between structural operational semantics [PDF]

, 2002
We examine two versions of maps between distributive laws as candidates for wellbehaved translations between structural operational semantics, and validate that by using simple coalgebraic arguments.
Hiroshi Watanabe, Watanabe, Hiroshi
core   +1 more source