Results 131 to 140 of about 135,609 (263)

Formal verification of a concurrent file system based on lock guarantee conditions extended concurrent separation logic

Tongxin xuebao
During the formal verification, logic is relied to formally specify and reason about the properties that the file system must satisfy. Concurrent separation logic (CSL) is used in the formal verification of concurrent file systems and to prove the ...
ZHENG Xinmin, LI Mingshu, YANG Qiusong, LI Wenbo   +3 more
doaj  

Contribution to the Formal Specification and Verification of a Multi-Agent Robotic System [PDF]

, 2015
Nadeem Akhtar, Malik Muhammad Saad Missen   +1 more
openalex   +1 more source

Complementarity of Long‐Reads and Optical Mapping in Parkinson's Disease for Structural Variants

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Long‐read sequencing and optical genome mapping technologies have the ability to detect large and complex structural variants. This has led to the discovery of novel pathogenic variants in neurodegenerative movement disorders. Thus, we aimed to systematically compare the SV detection capabilities of OGM and ONT in Parkinson's disease.
André Fienemann, Theresa Lüth, Susen Schaake, Carolin Gabbert, Marius Möller, Hauke Busch, Katja Lohmann, Jonas A. Gustafson, Danny E. Miller, Kensuke Daida, Manabu Funayama, Nobutaka Hattori, Samia Ben Sassi, Faycel Hentati, Matthew J. Farrer, Kristian K. Ullrich, Christine Klein, Joanne Trinh   +17 more
wiley   +1 more source

Vestibular Patient Journey: Insights From Vestibular Disorders Association (VeDA) Registry

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Vestibular symptoms impose a high burden of disability. Understanding real‐world diagnostic and treatment pathways can identify care gaps and guide interventions. We aimed to characterize symptom profiles, diagnostic trends, provider involvement, and treatment patterns in vestibular disorders.
Ali Rafati, Sami I. Nassar, Shaun A. Nguyen, Patricia L. Gerend, Michael C. Schubert, Michael T. Teixido, Frederick A. Godley, Joel A. Goebel, Cynthia A. Ryan, Habib G. Rizk, Amir Kheradmand   +10 more
wiley   +1 more source

A Systematic Review and Meta‐Analysis of the Recurrence of Autoimmune Encephalitis

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Autoimmune encephalitis (AE) is a disease with a potential for recurrence, and patients receive immunotherapy to prevent it. However, there is no consensus on the duration of immunotherapy. This study aimed to determine the recurrence rate and identify the risk factors for AE to provide guidance on the duration of immunotherapy ...
Shangkai Bai, Sen Zhang, Haipei Zhang, Yating Zhang, Junhong Guo, Xiaoyan Yang   +5 more
wiley   +1 more source

FACTIS - A Formal Definition of Verified Environmental Information

Carlsson, Raul, Carlsson, Raul
openalex   +2 more sources

Formal verification of safety properties of epoch processing in Beacon Chain. [PDF]

Sci Rep
Rashid M, Rasool I, Afzaal H, Zafar NA.
europepmc   +1 more source

Formal Verification for Task Description Languages. A Petri Net Approach. [PDF]

Sensors (Basel), 2019
López J, Santana-Alonso A, Díaz-Cacho Medina M.   +2 more
europepmc   +1 more source

Lessons from Formally Verified Deployed Software Systems

Li Huang, Yeguo Wang, Alexander Kogtenkov, Bertrand Meyer, Yinling Liu   +4 more
openalex   +1 more source

Multidimensional Profiling of MRI‐Negative Temporal Lobe Epilepsy Uncovers Distinct Phenotypes

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Although hippocampal sclerosis (TLE‐HS) represents the most frequent cause of temporal lobe epilepsy (TLE), up to 30% of patients show no lesion on visual MRI inspection (TLE‐MRIneg). These cases pose diagnostic and therapeutic challenges and are underrepresented in surgical series.
Alice Ballerini, Alessia Casarini, Niccolò Biagioli, Laura Mirandola, Daniela Ballotta, Paul Summers, Simona Scolastico, Laura Madrassi, Maurilio Genovese, Marcella Malagoli, Gaetano Cantalupo, Giada Giovannini, Matteo Pugnaghi, Niccolò Orlandi, Laura Tassi, Valeria Cuccarini, Domenico Aquino, Elena Tartara, Fulvia Palesi, Giuseppe Didato, Paolo Vitali, the 3TLE Study Group, Roberta Di Giacomo, Fabio Doniselli, Federica Mazzi, Carlo Andrea Galimberti, Claudia A. M. Gandini Wheeler‐Kingshott, Stefano Meletti, Anna Elisabetta Vaudano   +28 more
wiley   +1 more source