Results 81 to 90 of about 33,434 (310)

Generalizing the Discrete Timed Automaton [PDF]

, 2001
We describe a general automata-theoretic approach for analyzing the verification problems (binary reachability, safety, etc.) of discrete timed automata augmented with various data structures. We give examples of such data structures and exhibit some new properties of discrete timed automata that can be verified.
Oscar H. Ibarra, Jianwen Su
openaire   +1 more source

Comparing the Effect of Semi‐Immersive Virtual Reality, Computerized Cognitive Training, and Traditional Rehabilitation on Cognitive Function in Multiple Sclerosis: A Randomized Clinical Trial

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Background Cognitive impairment is a common non‐motor symptom in Multiple Sclerosis (MS), negatively affecting autonomy and Quality of Life (QoL). Innovative rehabilitation strategies, such as semi‐immersive virtual reality (VR) and computerized cognitive training (CCT), may offer advantages over traditional cognitive rehabilitation (TCR ...
Maria Grazia Maggio, Desiree Latella, Lilla Bonanno, Paulo Cezar Rocha dos Santos, Marcos Maldonado‐Díaz, Meir Plotnik, Rosaria De Luca, Angelo Quartarone, Rocco Salvatore Calabrò   +8 more
wiley   +1 more source

Floquet insulators and lattice fermions beyond naive time discretization

Physical Review Research
Periodically driven quantum systems known as Floquet insulators can host topologically protected bound states known as “π modes” that exhibit response at half the frequency of the drive. Such states can also appear in undriven lattice field theories when
Thomas Iadecola, Srimoyee Sen, Lars Sivertsen   +2 more
doaj   +1 more source

Spatial and Volumetric Characteristics of Glioblastoma: Associations With Clinical Presentation and Survival

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective We aim to comprehensively analyze how regional tumor and edema characteristics are associated with clinical presentations and survival outcomes in a large cohort of glioblastoma patients. Methods Patients with IDH‐wildtype glioblastoma who received brain MRI from 2010 to 2023 were included.
Daniel J. Zhou, Marc Jaskir, Julian Gal, Yombe Fonkeu, Christos Davatzikos, MacLean P. Nasrallah, Jose Garcia, Rubo Xing, Stephen J. Bagley, Arati Desai, Richard E. Phillips, Steven Tobochnik, Colin A. Ellis, James J. Gugger, Nishant Sinha, Joel M. Stein, Kathryn A. Davis   +16 more
wiley   +1 more source

Time discretization and Markovian iteration for coupled FBSDEs [PDF]

, 2006
In this paper we lay the foundation for a numerical algorithm to simulate high-dimensional coupled FBSDEs under weak coupling or monotonicity conditions. In particular we prove convergence of a time discretization and a Markovian iteration. The iteration
Bender, Christian, Zhang, Jianfeng
core   +1 more source

Paramagnetic Rim Lesions and Choroid Plexus Volume at Diagnosis Are Associated With Cognitive Progression Independent of Relapse and MRI Activity in Early Relapsing–Remitting Multiple Sclerosis

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Paramagnetic rim lesions (PRLs) and choroid plexus (CP) enlargement reflect smoldering inflammation in multiple sclerosis. Their role in cognitive progression remains unexplored. Eighty‐seven early relapsing–remitting MS patients were enrolled at diagnosis and followed longitudinally.
Stefano Ziccardi, Damiano Marastoni, Agnese Tamanti, Pietro Biasi, Valentina Visani, Annalisa Colombi, Tom A. Fuchs, Monica Sicchieri, Chiara Eccher, Francesco Guarnaccia, Milena Calderone, Valentina Camera, Francesca Benedetta Pizzini, Roberta Magliozzi, Marco Castellaro, Massimiliano Calabrese   +15 more
wiley   +1 more source

A variational time discretization for compressible Euler equations

, 2019
We introduce a variational time discretization for the multi-dimensional gas dynamics equations, in the spirit of minimizing movements for curves of maximal slope.
Sedjro, Marc, Westdickenberg, Michael, Cavalletti, Fabio   +2 more
core   +1 more source

Using Time-Space Double Radial Basis Function Method to Solve High-Dimensional PDEs Arising from Multiasset Option Pricing

Discrete Dynamics in Nature and Society
This paper develops a time-space double radial basis function (TSDRBF) method to solve PDEs arising from multiasset option pricing. By TSDRBF discretization for the high-dimensional PDEs, a linear system (LS) is obtained.
Zhiqiang Zhou, Hongying Wu, Caijuan Kang, You Wu   +3 more
doaj   +1 more source

Thalamo‐Lesional Connectivity Signatures of Bilateral Tonic–Clonic Seizures in Focal Cortical Dysplasia‐Related Epilepsy

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objectives Focal cortical dysplasia (FCD) is the most common etiology of drug‐resistant epilepsy in children. Focal to bilateral tonic–clonic seizures (FBTCS) mark a high risk of drug‐resistant epilepsy and involve thalamocortical circuitry in their generation and propagation.
Hua Xie, Xiaotong Li, Venkata Sita Priyanka Illapani, Leigh N. Sepeta, Jason Schroeder, Chima O. Oluigbo, Madison M. Berl, William D. Gaillard, Nathan T. Cohen   +8 more
wiley   +1 more source

Gravity‐Dependent Modulation of Downbeat Nystagmus: Insights From Velocity‐Storage Dysfunction

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Downbeat nystagmus varies with head position, a phenomenon termed gravity‐dependent modulation. We aimed to clarify its mechanism using a velocity‐storage model. Methods In 10 patients with downbeat nystagmus due to cerebellar disorders, we recorded eye movements at different pitch‐ and roll‐axis head positions.
Ji‐Hyung Park, Eun‐Hyuk Choi, Jorge Otero‐Millan, David S. Zee, Jeong‐Yoon Choi, Ji‐Soo Kim   +5 more
wiley   +1 more source