Results 121 to 130 of about 1,494,052 (317)

Model Predictive Control with Variational Autoencoders for Signal Temporal Logic Specifications

Sensors
This paper presents a control strategy synthesis method for dynamical systems with differential constraints, emphasizing the prioritization of specific rules.
Eunji Im, Minji Choi, Kyunghoon Cho
doaj   +1 more source

Introduction to Algebraic Specification. Part 1: Formal Methods for Software Development [PDF]

, 1992
Hartmut Ehrig, B. Mahr, Ingo Claßen, Fernando Orejas   +3 more
openalex   +1 more source

Continuous Monitoring of Bladder Dysfunction in People With Multiple Sclerosis: Wearables for the Bladder

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Background Bladder dysfunction affects over 85% of people with multiple sclerosis (PwMS), yet current assessment methods are limited to periodic in‐clinic evaluations or subjective patient reports, failing to capture real‐world symptom fluctuations.
Valerie J. Block, Shane Poole, Leah McIntyre, Nikki Sisodia, Chelyn Park, Gabby Joseph, Michelle E. Van Kuiken, Anne M. Suskind, Riley Bove   +8 more
wiley   +1 more source

A Dynamic Behavior Verification Method for Composite Smart Contracts Based on Model Checking

Mathematics
A composite smart contract can execute smart contracts that may belong to other owners or companies through external calls, bringing more security challenges to blockchain applications. Traditional static verification methods are inadequate for analyzing
Jun Jin, Wenhao Zhan, Haisheng Li, Yi Ding, Jie Li   +4 more
doaj   +1 more source

Formal methods for life-critical software [PDF]

, 1993
Ricky W. Butler, Sally C. Johnson
openalex   +1 more source

Timing and Predictive Value of Clinical Conditions Preceding Multiple Sclerosis in the UK Biobank

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objectives Multiple sclerosis (MS) patients often experience a higher incidence of clinical conditions before diagnosis, suggesting a prodromal phase. However, their predictive value and temporal trajectories remain underexplored. We investigated these aspects using the large UK Biobank's population‐based cohort, which provided clinical ...
Andrea Nova, Teresa Fazia, Giovanni Di Caprio, Davide Gentilini, Luisa Bernardinelli, Roberto Bergamaschi   +5 more
wiley   +1 more source

The Comparative Effectiveness and Tolerability of Sphingosine‐1‐Phosphate Receptor Modulators in Patients With Multiple Sclerosis: A Network Meta‐Analysis of Randomized Controlled Trials

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Background Sphingosine‐1‐phosphate receptor modulators (S1PRM) are used to treat relapsing multiple sclerosis (MS). Each drug has a different S1PR‐subtype selectivity. They target the G‐protein coupled S1P receptors and exert significant immunomodulatory effects, such as preventing the formation of new CNS lesions and the reactivation of pre ...
Faizan Shahzad, Taimoon Rasheed, Momina Riaz Siddiqui, Hamza Hamid, Marwah Bintay Khalid, Haroon Shabbir, Besher Shami, Abdullah, Syed Ijlal Ahmed   +8 more
wiley   +1 more source

Abstraction-Based Safe Control With Alternating Simulation-Based Shields and Its Application to Mobile Robots

IEEE Access
ion-based formal synthesis with a symbolic control barrier function is useful for obtaining a finite-state safe controller for an infinite system with sporadic disturbances.
Masashi Mizoguchi, Toshimitsu Ushio
doaj   +1 more source

Understanding Mechanisms of Whole Brain and Regional Grey Matter Atrophy in Children With MOGAD

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective To investigate the mechanisms driving whole brain and regional grey matter (GM) volume changes along with their clinical correlates in paediatric myelin oligodendrocyte glycoprotein antibody (MOG‐Ab)–associated disease (MOGAD). Methods One‐hundred‐nine paediatric MOGAD patients from two UK centres underwent MRI at attack nadir and ...
Ermelinda De Meo, Riccardo Nistri, Michael Eyre, Cheryl Hemingway, Ming Lim, Thomas Rossor, Asthik Biswas, Kshitij Mankad, Ata Siddiqui, Sniya Sudhakar, Declan Chard, Frederik Barkhof, Arman Eshaghi, Olga Ciccarelli, Yael Hacohen   +14 more
wiley   +1 more source

Formal Methods and Human Communication [PDF]

, 1996
Keith Stenning, Corin Gurr
openalex   +1 more source