Results 81 to 90 of about 23,557 (297)

Bounded Model Checking of ETL Cooperating with Finite and Looping Automata Connectives [PDF]

Journal of Applied Mathematics, 2013
As a complementary technique of the BDD-based approach, bounded model checking (BMC) has been successfully applied to LTL symbolic model checking. However, the expressiveness of LTL is rather limited, and some important properties cannot be captured by such logic.
Rui Wang 0019, Wanwei Liu, Tun Li 0002, Xiaoguang Mao, Ji Wang 0001   +4 more
openaire   +3 more sources

Multi-agent motion planning for nonlinear Gaussian systems

, 2013
In this paper, a multi-agent motion planner is developed for nonlinear Gaussian systems using a combination of probabilistic approaches and a rapidly exploring random tree (RRT) algorithm.
Postlethwaite, Ian, Kothari, Mangal
core   +1 more source

Brainstem and Cerebellar Volume Loss and Associated Clinical Features in Progressive Supranuclear Palsy

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Introduction Progressive Supranuclear Palsy (PSP) is a neurodegenerative ‘tauopathy’ with predominating pathology in the basal ganglia and midbrain. Caudal tau spread frequently implicates the cerebellum; however, the pattern of atrophy remains equivocal.
Chloe Spiegel, Timothy P. Siejka, Cassandra Marotta, Josh J. Y. Lee, Kelly Bertram, Terence J. O'Brien, Meng Law, Lucy Vivash, Ian H. Harding   +8 more
wiley   +1 more source

Advancing Age Modulates Associations Between Cognitive Impairment and Brain Volumes in Early MS

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Introduction Cognitive impairment is common in multiple sclerosis (MS), but manifestations following the first demyelinating event are relatively unexplored. We investigated cross‐sectional associations between magnetic resonance imaging (MRI)–derived brain volumes and the presence of cognitive impairment outcomes five years after the first ...
Piriyankan Ananthavarathan, Marco Pitteri, Michael Foster, Sara Collorone, Sara Salama, Elisa Colato, Ferran Prados, Baris Kanber, Marios Yiannakas, Claudia A. M. Gandini Wheeler‐Kingshott, Indran Davagnanam, Frederik Barkhof, Declan Chard, Olga Ciccarelli, Ahmed Toosy   +14 more
wiley   +1 more source

MOGAD Is the Most Common Cause of Isolated Optic Neuritis in Children

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objectives The study aimed to characterize the clinical features, etiologies, and outcomes of isolated, first‐time pediatric ON in the post‐MOG‐IgG era. Methods This was a single‐center retrospective cohort study at Texas Children's Hospital of patients diagnosed with first‐time ON between 2018–2024, with follow‐up data collected through 2025.
Chaitanya Aduru, Akansha Chandrasekar, Kyla Blasingame, Jonathan Rosen, Jesse M. Levine, Karla Salazar, Madhuri Chilakapati, Rod Foroozan, Victoria Hardwick, Jonathan M. Yarimi, Nikita Shukla, Timothy E. Lotze, Kristen S. Fisher, Alexander J. Sandweiss   +13 more
wiley   +1 more source

Integrating Loop Acceleration Into Bounded Model Checking

AbstractBounded Model Checking (BMC) is a powerful technique for proving unsafety. However, finding deep counterexamples that require a large bound is challenging for BMC. On the other hand, acceleration techniques compute “shortcuts” that “compress” many execution steps into a single one.
Florian Frohn, Jürgen Giesl
openaire   +3 more sources

Projeto da arquitetura de software embarcado de um veículo aéreo não tripulado [PDF]

, 2014
Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Engenharia de Automação e Sistemas, Florianópolis, 2014.O projeto de Veículos Aéreos Não Tripulados (VANTs) é um processo complexo, pois ...
Gonçalves, Fernando Silvano
core  

Subclinical Optic Nerve Involvement in Radiologically Isolated Syndrome: Multimodal Detection and Diagnostic Impact

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objectives We aimed to determine the frequency of subclinical optic nerve (ON) lesions using MRI, optical coherence tomography (OCT), and visual evoked potentials (VEP) in radiologically isolated syndrome (RIS), and to assess their diagnostic and prognostic significance.
Christine Lebrun‐Frenay, Cassandre Landes‐Château, Lydiane Mondot, Mikael Cohen, Margherita Popolo, Jérôme de Seze, Bertrand Bourre, Françoise Durand‐Dubief, Olivier Casez, Orhun H. Kantarci, Aksel Siva, Stephanie Baillif, Darin T. Okuda, Letizia Leocani   +13 more
wiley   +1 more source

Run-time loop parallelization with efficient dependency checking on GPU-accelerated platforms

, 2011
General-Purpose computing on Graphics Processing Units (GPGPU) has attracted a lot of attention recently. Exciting results have been reported in using GPUs to accelerate applications in various domains such as scientific simulations, data mining, bio ...
Zhang, Chenggang, 张呈刚
core   +1 more source

Artificial Intelligence in Systemic Sclerosis: Clinical Applications, Challenges, and Future Directions

Arthritis Care &Research, EarlyView.
Systemic sclerosis (SSc) is a rare autoimmune disease defined by immune dysregulation, vasculopathy, and progressive fibrosis of the skin and internal organs. Despite advances in care, major complications such as interstitial lung disease (ILD) and myocardial involvement remain the leading causes of morbidity and mortality.
Cristiana Sieiro Santos, José Miguel Sequí‐Sabater, Diego Benavent   +2 more
wiley   +1 more source