Results 151 to 160 of about 135,609 (263)

Formal Verification of Real-Time Systems with Data Processing

, 2017
Tamás Tóth, István Majzik
openalex   +2 more sources

Formal Specification and Verification of Ubiquitous and Pervasive Systems [PDF]

, 2011
Antonio Coronato, Giuseppe De Pietro
openalex   +1 more source

CSF Monoamine Metabolites and Cognitive Trajectory in Early Parkinson's Disease

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Background Imaging and postmortem studies indicate that abnormalities in monoaminergic neurotransmission contribute to cognitive impairment in Parkinson's disease (PD). However, it remains uncertain if cerebrospinal fluid (CSF) monoamine metabolites can serve as biomarkers of cognitive decline in early PD.
Jing‐Yu Shao, Rong Li, Yu‐Xiang Jiao, Kai Ma, Hong‐Qi Yang, Zheng‐Yu Sun, Jie‐Wen Zhang, Shuai Chen   +7 more
wiley   +1 more source

A fuzzy description logic based IoT framework: Formal verification and end user programming. [PDF]

PLoS One
Pérez-Gaspar M, Gomez J, Bárcenas E, Garcia F.   +3 more
europepmc   +1 more source

The Last Developer: App, Android, VBA, Matlab, and Embedded — How AI Collapsed Every Software Moat, and Why Formal Verification Is the Only Proof That Remains

Rajeshkumar Venugopal
openalex   +1 more source

Towards LLM-based Generation of Human-Readable Proofs in Polynomial Formal Verification [PDF]

Rolf Drechsler
openalex   +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, Katharine Lee, Kerry C. Nix, Miguel Menchaca, Xiwei Shé, Lorelei Santa Maria, Wei Wu, Zihuai He, Fiona M. Baumer   +8 more
wiley   +1 more source

IV Thrombolysis Facilitates Interventional Reperfusion in Non‐Cardioembolic but Not Cardioembolic Stroke

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Intravenous thrombolysis (IVT) before thrombectomy for ischemic stroke may alter clot structure and procedural performance. We investigated how IVT relates to thrombectomy metrics across stroke etiologies. Methods We performed a time‐to‐event analysis of consecutive patients with anterior circulation large vessel occlusion (acLVO ...
Annahita Sedghi, Daniel P. O. Kaiser, Martin Arndt, Norma J. Diel, Erik Simon, Witold H. Polanski, Volker Puetz, Hagen B. Huttner, Timo Siepmann   +8 more
wiley   +1 more source

ALDOA Promotes Glycolysis and NLRP3/GSDMD Pyroptosis to Accelerate ALS Progression

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Amyotrophic lateral sclerosis (ALS) is characterized by progressive motor neuron degeneration. Glycolytic dysregulation is implicated in disease progression, yet the underlying mechanisms remain unclear. This study investigates how Aldolase A (ALDOA) drives ALS progression through glycolysis‐mediated motor neuron pyroptosis.
Kaixin Yan, Yan Jiang, Yuxuan Yong, Tianshuo Zhang, Niannian Zhang, Qianqian Zeng, Xue Gong, Li Meng, Fangfang Bi, Yongmin Liu   +9 more
wiley   +1 more source

The Vinness Wagyu Theorem: On the Epistemic Independence of Direct Knowledge from Formal Verification

Vinness Aisingioro Ollervides
openalex   +1 more source