Results 111 to 120 of about 1,997,974 (296)

Proceedings of the 25th Conference on Formal Methods in Computer-Aided Design, FMCAD 2025 [PDF]

The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system verification.
Formal Methods in Computer Aided Design
core   +1 more source

Endothelial Cell Proteins as Biomarkers in Susac Syndrome

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Susac syndrome (SS) is a rare CD8+ T cell–mediated microangiopathy affecting the brain, retina, and auditory labyrinth. Endothelial injury is thought to be a central mechanism; however, no circulating disease biomarkers are known. We performed targeted proteomic profiling to identify circulating endothelial‐associated proteins as ...
Rohit Benjamin, Yue Andy Qi, Ying Hao, Catherine DeMarino, Samuel Darko, Irene Cortese, Daniel S. Reich, María I. Gaitán, Steven Jacobson, Bridgett J. Billioux, Bryan Smith, Avindra Nath   +11 more
wiley   +1 more source

Cross-sector collaborative activities to promote modern languages in Scotland [PDF]

, 2008
The study was commissioned by The Higher Education Academy Subject Centre for Languages, Linguistics and Area Studies (LLAS). It replicates the study by Davis (2006) on cross-sector activities to promote the study of modern languages in England and Wales,
, Subject Centre Languages, Linguistics and Area Studies (Funder), Doughty, Hannah, Subject Centre Languages, Linguistics and Area Studies (Funder)   +2 more
core   +2 more sources

SpecRep: Adversary Emulation Based on Attack Objective Specification in Heterogeneous Infrastructures

Sensors
Cybercriminals have become an imperative threat because they target the most valuable resource on earth, data. Organizations prepare against cyber attacks by creating Cyber Security Incident Response Teams (CSIRTs) that use various technologies to ...
Radu Marian Portase, Adrian Colesa, Gheorghe Sebestyen   +2 more
doaj   +1 more source

Neurological, Neurodevelopmental and Treatment Outcomes in Patients With Pyruvate Dehydrogenase Complex Deficiency

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective The aim of this study was to characterize intellectual and motor function, neurological features including epilepsy, treatment response, and adaptive behavior in patients with pyruvate dehydrogenase complex deficiency (PDCD) in Sweden.
Antri Savvidou, Colin Reilly, Kalliopi Sofou, Sofia Ygberg, Erik A. Eklund, Karin Naess, Niklas Darin   +6 more
wiley   +1 more source

Evaluating a formal modelling language

, 1994
Formal knowledge modelling languages have a number of advantages over informal languages, such as their precise meaning and the possibility to derive properties through formal proofs. However, these formal languages also suffer from problems which limit their practical usefulness: they are often not expressive enough to deal with real world ...
Fidel Ruiz, Frank van Harmelen, Manfred Aben, Joke van de Plassche   +3 more
openaire   +2 more sources

Data‐Driven SuStaIn Model of Disability Progression in Amyotrophic Lateral Sclerosis

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective To determine whether ordinal Subtype and Stage Inference (SuStaIn) applied to routine ALSFRS‐R item scores can identify reproducible disability progression patterns in amyotrophic lateral sclerosis (ALS) and provide clinically meaningful staging.
Giammarco Milella, Veria Vacchiano, Vittorio Velucci, Stefano Zoccolella, Rocco Liguori, Giovanni Defazio   +5 more
wiley   +1 more source

Weak Monotone Fixed Points for Positive–Negative Guarded Language Systems in a Length-Based Ultrametric Space

Axioms
We study positive–negative guarded systems of language equations over a fixed finite alphabet. The ambient space is the complete ultrametric space of all formal languages equipped with a length-based distance, where two languages are close whenever they ...
Laura Ajeti, Hristo Hristov, Atanas Ilchev, Boyan Zlatanov   +3 more
doaj   +1 more source

Retractions in Rheumatology: Trends, Causes, and Implications for Research Integrity

Arthritis Care &Research, EarlyView.
Objective We aimed to describe the trends and main reasons for study retraction in rheumatology literature. Methods We reviewed the Retraction Watch database to identify retracted articles in rheumatology. We recorded the main study characteristics, authors’ countries, reasons for retraction, time from publication to retraction, and trends over time ...
Anna Maria Vettori, Michele Iudici
wiley   +1 more source

Kannada through the lens of the NP/DP parameter [PDF]

Boškovi?’s (2008, 2012) NP/DP parameter suggests that languages with definite articles are DP language and languages without definite articles are NP languages.
Dees, Joshua
core   +1 more source