Results 141 to 150 of about 135,609 (263)

Formal verification of bioinformatics software using model checking and theorem proving. [PDF]

Brief Bioinform
Weerasena H, Jayasena A, Boucher C, Mishra P.   +3 more
europepmc   +1 more source

Formal Verification of the NASA Runway Safety Monitor

, 2005
Radu I. Siminiceanu, Gianfranco Ciardo
openalex   +1 more source

Low Incidence of Relapses After Vaccination in Anti‐Aquaporin‐4 Antibody‐Positive NMOSD

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Patients with neuromyelitis optica spectrum disorder (NMOSD) may experience increased signs and symptoms of their underlying disease when vaccinated against meningococcal disease before receiving complement component 5 inhibitor therapies. This retrospective analysis indicated an overall low relapse incidence (mean [range], 3.3% [0.7%–10.6 ...
Sean J. Pittock, Jin Nakahara, Becky Parks, Kerstin Allen, Sami Fam   +4 more
wiley   +1 more source

Towards robust electronic health record systems: integrating formal verification and process modeling techniques. [PDF]

BMC Med Res Methodol
Khan S, Akhtar N, Mushtaq MF, Abdel Samee N, Mahmoud NF, Ashraf I.   +5 more
europepmc   +1 more source

Formal verification: will the seedling ever flower? [PDF]

Philos Trans A Math Phys Eng Sci, 2017
White N, Matthews S, Chapman R.
europepmc   +1 more source

Formal Verification Of A Multicast Protocol In Mobile Networks

, 2007
Mohammad Reza Matash Borujerdi, S.M. Mirzababaei   +1 more
openalex   +2 more sources

Onasemnogene Abeparvovec in Type I Spinal Muscular Atrophy: 24‐Month Follow‐Up From the Italian Registry

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Onasemnogene abeparvovec (OA) is an AAV9‐based gene therapy for spinal muscular atrophy type I (SMA I). Real‐world outcomes show increased response variability compared to clinical trials, and follow‐up data beyond 12–18 months are limited.
Marika Pane, Giorgia Coratti, Chiara Cutrì, Antonio Varone, Riccardo Masson, Adele D'Amico, Valeria Sansone, Sonia Messina, Federica Ricci, Chiara Ticci, Claudio Bruno, Caterina Agosto, Francesca Benedetti, Antonella Pini, Sabrina Siliquini, Massimiliano Filosto, Alberto Zambon, Ilaria Bitetti, Maria Rosaria Manna, Claudia Dosi, Riccardo Zanin, Stefano Parravicini, Roberto De Sanctis, Giulia Stanca, Michela Catteruccia, Michele Tosi, Irene Mizzoni, Emilio Albamonte, Valentina Franchino, Maria Sframeli, Ilaria Cavallina, Elena Procopio, Michele Sacchini, Simone Morando, Noemi Brolatti, Federica Trucco, Gaia Scarpini, Elena Briganti, Beatrice Berti, Concetta Palermo, Daniela Leone, Stefano C. Previtali, Eugenio Mercuri, the ITASMAC working group   +43 more
wiley   +1 more source

E-SPARK: Automated Generation of Provably Correct Code from Formally Verified Designs

, 2012
Rajiv Murali, Andrew Ireland
openalex   +1 more source

Cracking the Code: Genotype–Phenotype Correlation Models in Sarcoglycanopathies

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Sarcoglycanopathies are among the most severe limb‐girdle muscular dystrophies (LGMD), though milder presentations have been described. These diseases are primarily caused by missense variants, but the limited predictability of their effect on protein maturation, complex formation, and transport has hindered reliable genotype ...
Leonela Luce, Goknur Selen Kocak, José Verdú‐Díaz, Jorge Alonso‐Pérez, Kristl G. Claeys, Tanya Stojkovic, Gorka Fernández‐Eulate, Pascal Laforêt, Najoua Miladi, Filipe Di Pace, Cristiane Araujo Martins Moreno, Edmar Zanoteli, Conrad C. Weihl, Volker Straub, Ana Töpf, Jordi Díaz‐Manera, Sarcoglycan European Cohort Consortium, Adele D′Amico, Adolfo López de Munain, Alicia Alonso‐Jiménez, Ana Camacho‐Salas, Andrea Gangfuß, Andrés Nascimento, Anna Sarkozy, Anneke J. van der Kooi, Arturo Fraga‐Bau, Béla Melegh, Benedikt Schoser, Bjarne Udd, Blaz Koritnik, Carlos Ortez, Chiara Marini Bettolo, Chiara Panicucci, Claudia Weiss, Claudio Bruno, Claudio Semplicini, Cristina Dominguez‐González, Cristina Garrido, David Gómez‐Andrés, Edoardo Malfatti, Elena Pegoraro, Elke De Vos, Francina Munell, Gabriele Dekomien, Giacomo Pietro Comi, Giorgio Tasca, Isabelle Richard, Jan L. De Bleecker, Jana Haberlová, Jesper Helbo Storgaard, Johanna Palmio, John Vissing, Juan Carlos de Leon‐Hernández, Kinga Hadzsiev, Laura Costa‐Comellas, Lea Leonardis, Leroy ten Dam, Lidia González‐Quereda, Luca Bello, Luisa Politano, Manuela Santos, Marianne de Visser, Marie Rohlenová, Matteo Garibaldi, Michela Guglieri, Nicolas Deconinck, Nicoline Løkken, Omar Abdel‐Mannan, Pia Gallano, Roberto Fernández‐Torrón, Ulrike Schara‐Schmidt, Vincenzo Nigro, Vittoria Zangaro   +72 more
wiley   +1 more source

Dynamics simulations of hypoxia inducible factor-1 regulatory network in cancer using formal verification techniques. [PDF]

Front Mol Biosci
Azhar HMF, Saeed MT, Jabeen I.
europepmc   +1 more source