Results 71 to 80 of about 532,868 (319)

Application of formal methods in the design of a single window system

Журнал Белорусского государственного университета: Математика, информатика, 2021
This paper proposes an approach that demonstrates the development of single window document circulation systems at the early stage of their design, based on the use of formal methods in the specification of a system, the specification of metrics for its ...
Raman E. Sharykin
doaj   +1 more source

The Logic of the RAISE Specification Language

, 2007
Summary: This paper describes the logic of the RAISE Specification Language, RSL. It explains the particular logic chosen for RAISE, and motivates this choice as suitable for a wide spectrum language to be used for designs as well as initial specifications, and supporting imperative and concurrent specifications as well as applicative sequential ones ...
Chris George, Anne Elisabeth Haxthausen
openaire   +4 more sources

Fetal Akinesia/Hypokinesia and Arthrogryposis of Neuromuscular Origin: Etiologic Groups, Genetics, and Phenotypic Spectrum

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective To provide a comprehensive clinical and genetic characterization of individuals with arthrogryposis multiplex congenita (AMC), focusing on the distribution of genetic etiologies across the neuromuscular spectrum and comparing myogenic and neurogenic subtypes. Methods A total of 105 individuals with AMC were clinically and genetically
Florencia Pérez‐Vidarte, Berta Estévez‐Arias, Leslie Matalonga, Delia Yubero, Anna Codina, Carlos Ortez, Julita Medina, Lidia DeSena DeCabo, Laura Carrera‐García, Jesica Expósito‐Escudero, Cristina Jou, Eduardo F. Tizzano, Andres Nascimento, Daniel Natera‐de Benito   +13 more
wiley   +1 more source

SARS‐CoV‐2 Is Linked to Brain Volume Loss in Multiple Sclerosis

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective The impact of SARS‐CoV‐2 infection on brain and spinal cord pathology in patients with multiple sclerosis (pwMS) remains unclear. We aimed to describe changes in brain lesion activity and brain and spinal cord volumes following SARS‐CoV‐2 infection.
Tomas Uher, Dominika Stastna, Ingrid Menkyova, Vaclav Capek, Jiri Lindner, Petra Nytrova, Jan Krasensky, Eliza Varju, Miguel D'haeseleer, Eva Kubala Havrdova, Dana Horakova, Manuela Vaneckova, Niels Bergsland   +12 more
wiley   +1 more source

Describing Layered Communication Architecture in SDL Markup Language

Journal of Information and Organizational Sciences, 2010
Using Specification and Description Language (SDL) as a formal language for specification of requirements for the complex, real-time and distributed systems involving many concurrent activities, we have come to the idea of making the language independent
Marina Bagic Babac, Marijan Kunštić, Dragan Jevtić   +2 more
doaj  

Specification languages in algebraic compilers

Theoretical Computer Science, 2003
Algebraic compilers provide a powerful and convenient mechanism for specifying language translators. With each source language operation one associates a computation for constructing its target language image; these associated computations, called derived operations, are expressed in terms of operations from the target language.
openaire   +2 more sources

Remaining Burden of Spinal Muscular Atrophy Among Treated Patients: A Survey of Patients and Caregivers

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Spinal muscular atrophy (SMA) significantly impacts motor function. This study aimed to assess the persistent burden and unmet needs among currently treated patients with SMA and their caregivers. Methods Two complementary web‐based surveys were distributed in August 2024 among patients with SMA and their caregivers.
Julie A. Parsons, Natalie Land, Melissa Culhane Maravic, Claire Cagle, Amal Jamaleddine, Hemal Shah, Thomas Brown, Christabella Cherubino, Mouhamed Gueye   +8 more
wiley   +1 more source

Fault Localization in Web Applications via Model Finding [PDF]

Electronic Proceedings in Theoretical Computer Science, 2016
We describe a generic technique for fault localization independent from the nature of the object or the specification language used to declare its expected properties.
Sylvain Hallé, Oussama Beroual
doaj   +1 more source

Digital Activity Markers in Chronic Inflammatory Demyelinating Polyneuropathy

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective To evaluate the utility of smartwatch and smartphone‐based activity metrics for assessing disease severity and quality of life in patients with chronic inflammatory demyelinating polyneuropathy (CIDP). Methods In the electronic monitoring of disease activity in patients with CIDP (EMDA‐CIDP) trial, we performed a prospective ...
Lars Masanneck, Jan Voth, Noëmi Gmahl, Konstantin Jendretzky, Niklas Huntemann, Noah M. Werner, Linea Schmidt, Menekse Oeztuerk, Paula Quint, Christina B. Schroeter, Hans Peter Hartung, Thomas Skripuletz, Gerd Meyer zu Hörste, Tobias Ruck, Sven G. Meuth, Marc Pawlitzki   +15 more
wiley   +1 more source

Synthesizing Systems with Optimal Average-Case Behavior for Ratio Objectives [PDF]

Electronic Proceedings in Theoretical Computer Science, 2011
We show how to automatically construct a system that satisfies a given logical specification and has an optimal average behavior with respect to a specification with ratio costs.
Barbara Jobstmann, Christian von Essen
doaj   +1 more source