Results 71 to 80 of about 1,643,554 (351)

Automatic Formal Specification and Its Verification of Assembly-Level Sequential Statement Blocks [PDF]

Jisuanji gongcheng, 2019
Formal verification of software is an important means to guarantee the provability,reliability and security of software, but the generation process of traditional formal verification script is complex and requires a lot of manual verification of formal ...
QI Longyun, Lü Xiaoliang, LU Hong, HUANG Hao
doaj   +1 more source

Cutaneous Phosphorylated Alpha‐Synuclein in Lewy Body Dementia

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective To determine the test performance of cutaneous phosphorylated alpha‐synuclein (P‐SYN) in dementia with Lewy bodies (DLB), individuals with reduced Montreal Cognitive Assessment (MoCA) and healthy controls. Methods This is the first subgroup analysis of the Synuclein‐One study, a prospective, blinded study evaluating P‐SYN detection ...
Christopher H. Gibbons, Todd Levine, Charles H. Adler, Bailey Bellaire, Ningshan Wang, Pinky Agarwal, Georgina M. Aldridge, Alexandru Barboi, Daniel Claassen, Virgilio G. H. Evidente, Douglas Galasko, Alejandra Gonzalez‐Duarte, Ramon Gil, Mark Gudesblatt, Stuart H. Isaacson, Horacio Kaufmann, Pravin Khemani, Rajeev Kumar, Guillaume Lamotte, Andy J. Liu, Nikolaus R. McFarland, Mitchell G. Miglis, Adam Reynolds, Gregory A. Sahagian, Marie‐Helene Saint‐Hilaire, Julie B. Schwartzbard, Wolfgang Singer, Michael J. Soileau, Steven Vernino, Patricio Millar Vernetti, Oleg Yerstein, Roy Freeman   +31 more
wiley   +1 more source

Model‐based validation of diagnostic software with application in automotive systems

IET Cyber-systems and Robotics, 2021
Software validation aims to ensure that a particular software product fulfils its intended purpose, and needs to be performed against both software requirement as well as its implementation (i.e. product). However, for diagnostic software (i.e.
Jun Chen, Ramesh S
doaj   +1 more source

Remote Monitoring in Myasthenia Gravis: Exploring Symptom Variability

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Background Myasthenia gravis (MG) is a rare, autoimmune disorder characterized by fluctuating muscle weakness and potential life‐threatening crises. While continuous specialized care is essential, access barriers often delay timely interventions. To address this, we developed MyaLink, a telemedical platform for MG patients.
Maike Stein, Maximilian Mönch, Meret Herdick, Frauke Stascheit, Sarah Hoffmann, Hannah Preßler, Philipp Mergenthaler, Carla Dusemund, Paolo Doksani, Haoqi Sun, Pushpa Narayanaswami, Andreas Meisel, Lea Gerischer, Sophie Lehnerer   +13 more
wiley   +1 more source

Applying an Ethical Lens to the Treatment of People With Multiple Sclerosis

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT The practice of neurology requires an understanding of clinical ethics for decision‐making. In multiple sclerosis (MS) care, there are a wide range of ethical considerations that may arise. These involve shared decision‐making around selection of a disease‐modifying therapy (DMT), risks and benefits of well‐studied medications in comparison to
Methma Udawatta, Farrah J. Mateen
wiley   +1 more source

Formal Specifications for Java's Synchronisation Classes

2014 22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, 2014
This paper discusses formal specification and verification of the synchronisation classes of the Java API. In many verification systems for concurrent programs, synchronisation is treated as a primitive operation. As a result, verification rules for synchronisation are hard-coded in the logic, and not verified.
Amighi, A. and Blom, S.C.C. and Huisman, M. and Mostowski, W.I. and Zaharieva-Stojanovski, M.   +5 more
openaire   +3 more sources

Remote Assessment of Ataxia Severity in SCA3 Across Multiple Centers and Time Points

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Spinocerebellar ataxia type 3 (SCA3) is a genetically defined ataxia. The Scale for Assessment and Rating of Ataxia (SARA) is a clinician‐reported outcome that measures ataxia severity at a single time point. In its standard application, SARA fails to capture short‐term fluctuations, limiting its sensitivity in trials.
Marcus Grobe‐Einsler, Vivian Maas, Arian Taheri Amin, Jennifer Faber, Tamara Schaprian, Katharina Hill, Matthis Synofzik, Lisa H. Graf, Heike Jacobi, Manuela Lima, Ana F. Ferreira, Bart P. van de Warrenburg, Ilse H. J. Willemse, Dagmar Timmann, Andreas Thieme, Paola Giunti, Hector Garcia‐Moreno, Magda M. Santana, Jeannette Hübener‐Schmid, Elin H. Davies, Thomas Klockgether   +20 more
wiley   +1 more source

InnoChain: a Distributed Ledger for Industry with Formal Verification on all Implementation Levels

Моделирование и анализ информационных систем, 2020
The extent of formal verification methods applied to industrial projects has always been limited. The proliferation of distributed ledger systems (DLS), also known as blockchain, is rapidly changing the situation. Since the main area of DLSs' application
Vladimir Aleksandrovich Kukharenko, Kirill Viktorovich Ziborov, Rafael Faritovich Sadykov, Alexandr Vladimirovich Naumchev, Ruslan Maratovich Rezin, Leonid Albertovich Merkin-Janson   +5 more
doaj   +1 more source

A Scoping Review on Artificial Intelligence–Supported Interventions for Nonpharmacologic Management of Chronic Rheumatic Diseases

Arthritis Care &Research, EarlyView.
This review summarizes artificial intelligence (AI)‐supported nonpharmacological interventions for adults with chronic rheumatic diseases, detailing their components, purpose, and current evidence base. We searched Embase, PubMed, Cochrane, and Scopus databases for studies describing AI‐supported interventions for adults with chronic rheumatic diseases.
Nirali Shah, Alexis Castellanos, Yen Chen, John Piette, Amy Bucher, Susan Murphy   +5 more
wiley   +1 more source

Development of a Personalized Visualization and Analysis Tool to Improve Clinical Care in Complex Multisystem Diseases With Application to Scleroderma

Arthritis Care &Research, EarlyView.
Objective In complex diseases, it is challenging to assess a patient's disease state, trajectory, treatment exposures, and risk of multiple outcomes simultaneously, efficiently, and at the point of care. Methods We developed an interactive patient‐level data visualization and analysis tool (VAT) that automates illustration of the trajectory of a ...
Ji Soo Kim, John Scott, Lauren Fisher, Lauren N. Smith, Willie Stewart, Adrianne Woods, Rob Smithwright, Diane Koher, Parastoo Aslanbeik, Aalok B. Shah, Brad Tibbils, Samantha I. Pitts, Ayse P. Gurses, Yushi Yang, Ana‐Maria Orbai, Antony Rosen, Laura K. Hummers, Scott L. Zeger, Ami A. Shah   +18 more
wiley   +1 more source