Results 21 to 30 of about 231,992 (188)
Elevated Connectivity During Language Processing Is Associated With Cognitive Performance in SeLECTS
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
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
An Automated Semantic Annotation Tool Supported by an Ontology in the Computer Science Domain
The annotation of documents can be performed manually, semi-assisted or automated, also it can use the help of different knowledge resources as a set of rules or ontology. In this paper, we show the design of a semantic annotation tool that works automatically on power in order to efficiently manage academic documents in spanish produced in ...
Rodrigo Espinoza, Andrés Melgar
openaire +1 more source
Topological models, computer science semantics and applications of logic in AI [PDF]
Αυτή η διδακτορική διατριβή είναι ένα έργο έρευνας σε ένα ευρύ φάσμα διαφορετικών πεδίων με τη συμβολική λογική να χρησιμεύει ως σημείο εκκίνησης. Ξεκινάμε αυτήν την εισαγωγή με αντίστροφη σειρά, έτσι ώστε η διεπιστημονική φύση της διατριβής να γίνει σαφέστερη. Το τρίτο και τελευταίο μέρος της διατριβής ασχολείται με την επεξηγηματική τεχνητή νοημοσύνη
openaire +1 more source
Memory and Resting‐State Connectivity in Acute Transient Global Amnesia: A Case–Control fMRI Study
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
Problematic Internet Use in Frontotemporal Dementia: A Case Series
ABSTRACT The present study investigated problematic internet use (PIU) among 61 patients with frontotemporal dementia (FTD) compared to a cohort of 354 patients with mild cognitive impairment (MCI) and Alzheimer's dementia. PIU was identified in 22.9% of FTD patients compared to only 0.8% of AD patients (p < 0.001). Behaviors included compulsive social
Daniele Urso +9 more
wiley +1 more source
Dynamic-Epistemic reasoning on distributed systems [PDF]
We propose a new logic designed for modelling and reasoning about information flow and information exchange between spatially located (but potentially mobile), interconnected agents witnessing a distributed computation.
Mardare, Radu
core
Screening Routine Clinical Notes for Epilepsy Surgery Candidates Using Large Language Models
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 +9 more
wiley +1 more source
What Do Large Language Models Know About Materials?
If large language models (LLMs) are to be used inside the material discovery and engineering process, they must be benchmarked for the accurateness of intrinsic material knowledge. The current work introduces 1) a reasoning process through the processing–structure–property–performance chain and 2) a tool for benchmarking knowledge of LLMs concerning ...
Adrian Ehrenhofer +2 more
wiley +1 more source
TRX: A Formally Verified Parser Interpreter
Parsing is an important problem in computer science and yet surprisingly little attention has been devoted to its formal verification. In this paper, we present TRX: a parser interpreter formally developed in the proof assistant Coq, capable of producing
Adam Koprowski +7 more
core +2 more sources

