Results 61 to 70 of about 566,633 (340)

LeGESD: A framework oriented to the specification and formal validation of concurrent and distributed systems based on a graphical language and its process algebra semantics

Revista Facultad de Ingeniería Universidad de Antioquia, 2012
The specification and formal verification of distributed systems is usually a complex task. It requires extensive knowledge of algorithm theory and modeling of distributed or concurrent systems.
Jorge Cortés Galicia, Felipe M. Menchaca García, Rolando Menchaca Méndez   +2 more
doaj   +1 more source

A Survey of Languages for Specifying Dynamics: A Knowledge Engineering Perspective [PDF]

, 2000
A number of formal specification languages for knowledge-based systems has been developed. Characteristics for knowledge-based systems are a complex knowledge base and an inference engine which uses this knowledge to solve a given problem.
Engelfriet, Joeri, Fensel, Dieter, van Eck, Pascal, van Harmelen, Frank, Venema, Yde, Willems, M., Willems, Mark   +6 more
core   +7 more sources

Prediction of Myasthenia Gravis Worsening: A Machine Learning Algorithm Using Wearables and Patient‐Reported Measures

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Background Myasthenia gravis (MG) is a rare disorder characterized by fluctuating muscle weakness with potential life‐threatening crises. Timely interventions may be delayed by limited access to care and fragmented documentation. Our objective was to develop predictive algorithms for MG deterioration using multimodal telemedicine data ...
Maike Stein, Haoqi Sun, Sophie Lehnerer, Lea Gerischer, Maximilian Mönch, Christian Meisel, Andreas Meisel, Pushpa Narayanaswami   +7 more
wiley   +1 more source

Natural Hoare Logic: Towards formal verification of programs from logical forms of natural language specifications [PDF]

, 2021
Jayaraj Poroor
openalex   +1 more source

Association of Corticospinal Tract Asymmetry With Ambulatory Ability After Intracerebral Hemorrhage

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Background Ambulatory ability after intracerebral hemorrhage (ICH) is important to patients. We tested whether asymmetry between ipsi‐ and contra‐lesional corticospinal tracts (CSTs) assessed by diffusion tensor imaging (DTI) is associated with post‐ICH ambulation.
Yasmin N. Aziz, Carl D. Langefeld, Mary E. Comeau, Miranda C. Marion, Tyler P. Behymer, Lee A. Gilkerson, Padmini Sekar, Weihong Yuan, Vivek Khandwala, Brady J. Williamson, Thomas Maloney, Achala Vagal, Pierce Boyne, Kari Dunning, Matthew L. Flaherty, Steven J. Kittner, Prachi Mehndiratta, Gunjan Y. Parikh, Michael L. James, David Roh, Fernando D. Testai, Farhaan S. Vahidy, James Thornton, Ranjit Bagga, Daniel Woo, Stacie L. Demel   +25 more
wiley   +1 more source

Representation and processing of mass and count nouns: A review.

Frontiers in Psychology, 2014
Comprehension and/or production of noun phrases and sentences requires the selection of lexical-syntactic attributes of nouns. These lexical-syntactic attributes include grammatical gender (masculine/feminine/neuter), number (singular/plural) and ...
Nora eFieder, Lyndsey eNickels, Britta eBiedermann   +2 more
doaj   +1 more source

Architecture Diagrams: A Graphical Language for Architecture Style Specification [PDF]

Electronic Proceedings in Theoretical Computer Science, 2016
Architecture styles characterise families of architectures sharing common characteristics. We have recently proposed configuration logics for architecture style specification.
Anastasia Mavridou, Eduard Baranov, Simon Bliudze, Joseph Sifakis   +3 more
doaj   +1 more source

Specification Techniques for Multi-Modal Dialogues in the U-Wish Project [PDF]

, 2000
In this paper we describe the development of a specification\ud technique for specifying interactive web-based services. We\ud wanted to design a language that can be a means of\ud communication between designers and developers of interactive services ...
Dijk, E.M.A.G. van, Donk, O., Nijholt, A.   +2 more
core   +2 more sources

Effectiveness and Safety of Nusinersen and Risdiplam in Spinal Muscular Atrophy: A Systematic Review

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Spinal Muscular Atrophy (SMA) is a rare genetic disorder marked by progressive muscle weakness and mobility loss. It has a profound physical, emotional and social impact on patients and caregivers, requiring comprehensive medical and supportive care.
Amin Mehrabian, Peter Auguste, Amy Grove, Anna Brown, Janette Parr, Mubarak Patel, Furqan Butt, Jeremiah Donoghue, Mehdi Yousefi, Jo Parsons   +9 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