Results 61 to 70 of about 1,200,969 (291)

Preface of Special Issue on "Computer Security: Foundations and Automated Reasoning"

, 2011
Preface of Special Issue on "Computer Security: Foundations and Automated ...
Bauer Lujo, VIGANO', Luca, Etalle Sandro, den Hartog Jerry   +3 more
core   +1 more source

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

Computer Science and Metaphysics: A Cross-Fertilization

Open Philosophy, 2019
Computational philosophy is the use of mechanized computational techniques to unearth philosophical insights that are either difficult or impossible to find using traditional philosophical methods.
Kirchner Daniel, Benzmüller Christoph, Zalta Edward N.   +2 more
doaj   +1 more source

Peripheral Neutrophil Activation and Extracellular Trap Formation in Amyotrophic Lateral Sclerosis

Annals of Clinical and Translational Neurology, EarlyView.
Markers of neutrophil activation are increased in plasma during ALS, and markers of NET formation associate with ALS survival. ABSTRACT Objectives Peripheral neutrophil levels in amyotrophic lateral sclerosis (ALS) inversely correlate with survival, suggesting a role for neutrophils in disease progression.
Lillia A. Baird, Haley McQuown, Jihyun Park, Samuel J. Teener, Ian F. Webber‐Davis, Andrew D. Carter, Dae‐Gyu Jang, Eva L. Feldman, Stephen A. Goutman, Benjamin J. Murdock   +9 more
wiley   +1 more source

Subclinical Optic Nerve Involvement in Radiologically Isolated Syndrome: Multimodal Detection and Diagnostic Impact

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objectives We aimed to determine the frequency of subclinical optic nerve (ON) lesions using MRI, optical coherence tomography (OCT), and visual evoked potentials (VEP) in radiologically isolated syndrome (RIS), and to assess their diagnostic and prognostic significance.
Christine Lebrun‐Frenay, Cassandre Landes‐Château, Lydiane Mondot, Mikael Cohen, Margherita Popolo, Jérôme de Seze, Bertrand Bourre, Françoise Durand‐Dubief, Olivier Casez, Orhun H. Kantarci, Aksel Siva, Stephanie Baillif, Darin T. Okuda, Letizia Leocani   +13 more
wiley   +1 more source

Digital Cognitive Phenotyping for Differential Diagnosis and Monitoring in Neurological Conditions

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective To assess the utility, accessibility, and equivalence to supervised scales of online cognitive assessment in older individuals with cognitive impairment. Methods Patients with Alzheimer's disease (AD, n = 31), idiopathic normal pressure hydrocephalus (iNPH, n = 26), and traumatic brain injury (TBI, n = 23) completed online cognitive ...
Martina Del Giovane, Valentina Giunchiglia, Michael C. B. David, Magdalena A. Kolanko, William R. Trender, Peter J. Hellyer, Harmeena Kaur, David J. Sharp, Christopher Carswell, Paresh A. Malhotra, Adam Hampshire   +10 more
wiley   +1 more source

Deep Learning Pose Estimation for Phenotyping of Co‐Occurring Hyperkinetic Movement Disorders

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective To explore whether routine outpatient video combined with deep learning‐based pose estimation and clinically interpretable kinematic features can support multi‐label phenotyping of co‐occurring hyperkinetic movement disorders (HMDs).
Laura Cif, Diane Demailly, Gabriella A. Horvàth, Juan Dario Ortigoza Escobar, Nathalie Dorison, Mayté Castro Jiménez, Cécile A. Hubsch, Thomas Wirth, Gun‐Marie Hariz, Sophie Huby, Morgan Dornadic, Zohra Souei, Muhammad Mushhood Ur Rehman, Simone Hemm, Mehdi Boulaymen, Eduardo M. Moraud, Jocelyne Bloch, Xavier Vasques   +17 more
wiley   +1 more source

Reasoning about Auctions

, 2022
In the ForMaRE project formal mathematical reasoning is applied to economics. After an initial exploratory phase, it focused on auction theory and has produced, as its first results, formalized theorems and certified executable ...
Kerber, Manfred, Lange, Christoph, Caminati, Marco B., Rowat, Colin   +3 more
core   +1 more source

Using ConceptNet to Teach Common Sense to an Automated Theorem Prover [PDF]

Electronic Proceedings in Theoretical Computer Science, 2019
The CoRg system is a system to solve commonsense reasoning problems. The core of the CoRg system is the automated theorem prover Hyper that is fed with large amounts of background knowledge.
Claudia Schon, Sophie Siebert, Frieder Stolzenburg   +2 more
doaj   +1 more source

White Matter and Perivascular Imaging Changes in Alzheimer's Disease and Cerebral Amyloid Angiopathy

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Peak‐width of skeletonized mean diffusivity (PSMD) and diffusion tensor imaging–analysis along the perivascular space (DTI‐ALPS), reflecting white matter integrity and glymphatic function, are altered in Alzheimer's disease (AD).
Debina Laishram, Guangwei Du, Sangam Kanekar, Nandakumar Nagaraja   +3 more
wiley   +1 more source