Results 121 to 130 of about 1,858,056 (293)

Two Algebraic Process Semantics for Contextual Nets

, 2001
We show that the so-called 'Petri nets are monoids' approach initiated by Meseguer and Montanari can be extended from ordinary place/transition Petri nets to contextual nets by considering suitable non-free monoids of places.
SASSONE V., Roberto Bruni, BRUNI, ROBERTO, Bruni, R., Vladimiro Sassone, Sassone, V.   +5 more
core   +1 more source

Asymptotic stability for neural networks with mixed time-delays: The discrete-time case [PDF]

, 2009
This is the post print version of the article. The official published version can be obtained from the link - Copyright 2009 Elsevier LtdThis paper is concerned with the stability analysis problem for a new class of discrete-time recurrent neural ...
Liu, Y, Liu, X, Wang, Z, Liu, Xiaohui., Wang, Zidong., Yurong Liu (9814022), Z Wang (81545), X Liu (7756691), Liu, Yurong.   +8 more
core   +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

Progressive Parkinsonism in PPP2R5D‐Related Neurodevelopmental Disorder

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT PPP2R5D‐related neurodevelopmental disorder (Houge–Janssens syndrome type 1) is a rare autosomal dominant condition characterized by macrocephaly, intellectual disability, and epilepsy. Progressive parkinsonism is an emerging adult phenotype that neurologists should be aware of since timely genetic diagnosis opens the door to disease‐modifying
Katerina Bernardi, Enrique Gonzalez Saez‐Diez, Joshua Rong, Beril Ay, Shabbir Merchant, Kathryn Yang, Darius Ebrahimi‐Fakhari   +6 more
wiley   +1 more source

A predictive SD‐WAN traffic management method for IoT networks in multi‐datacenters using deep RNN

IET Communications
Deploying the Internet of Things (IoT) in integrated edge‐cloud environments exposes the IoT traffic data to performance issues such as delay, bandwidth limitation etc.
Zeinab Nazemi Absardi, Reza Javidan
doaj   +1 more source

Arterial Spin‐Labeling MRI at the Cortical‐CSF Interface: A Novel Biomarker in Alzheimer Disease

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Background/Objective Arterial spin‐labeling (ASL) MRI can measure perfusion signal adjacent to CSF spaces and may provide information regarding CSF‐adjacent water transport physiology. We developed an automated pipeline to extract cortical‐CSF interface (IF) perfusion for comparison between Alzheimer disease (AD) and cognitively normal ...
Mona Asghariahmadabad, Pouya Metanat, Michael Thomas, Luke W. Bonham, Tyson Lam, Mehmet Kurt, Hong Nguyen, Tara Ellingson, Mauro Zucchelli, Stefano Casagranda, Quin Lu, Andreas M. Rauschecker, Leo Sugrue, Luis E. Savastano, Christopher P. Hess, Kamalini Ranasinghe, S. Andrew Josephson, Bruce L. Miller, Jennifer S. Yokoyama, Gil D. Rabinovici, Peter A. Ljubenkov, Lawren VandeVrede, Kambiz Nael   +22 more
wiley   +1 more source

Cerebrospinal Fluid Over Plasma Links Analytes to Cognitive Decline in Older Adults at Risk for Alzheimer's Disease

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective To identify inflammatory analytes in cerebrospinal fluid (CSF) and plasma associated with cognitive decline in cognitively normal (CN) older adults at risk for Alzheimer's disease (AD). Methods In a longitudinal study of 118 CN older adults (65–80 years, 54% APOE ε4, 26% preclinical AD), 1331 CSF and 1501 plasma analytes were ...
Jagan A. Pillai, Audrey Zhu, Chunxuan Ma, Ming Wang, Yifan Yang, Lynn M. Bekris, Maria Khrestian, Frank P. DiFilippo, Mikhail Nasrallah, Aaron Burberry, James B. Leverenz, Yuan Hou, Feixiong Cheng, Stephen M. Rao   +13 more
wiley   +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

Toward AI-Augmented Formal Verification: A Preliminary Investigation of ENGRU and Its Challenges

IEEE Access
State-space graphs and automata serve as fundamental tools for modeling and analyzing the behavior of computational systems. Recurrent neural networks (RNNs) and language models are deeply intertwined, as RNNS provide the foundational architecture that ...
Chanon Dechsupa, Teerapong Panboonyuen, Wiwat Vatanawood, Praisan Padungweang, Chakchai So-In   +4 more
doaj   +1 more source

Determinants of Body Mass Index in Early Systemic Sclerosis: Implications for Nutritional Risk Stratification

Arthritis Care &Research, EarlyView.
Objective Gastrointestinal (GI) involvement can lead to malnutrition in patients with systemic sclerosis (SSc). Body mass index (BMI) remains the most widely used marker to screen nutritional status. We aimed to identify predictors of lower BMI in patients with SSc. Methods Patients with SSc from a prospective US cohort meeting 2013 American College of
Ali Y. Ayla, Meng Zhang, Bingrui Chen, Claudia Pedroza, Brian Skaug, Maureen Mayes, Michael Hughes, Shervin Assassi, Zsuzsanna H. McMahan   +8 more
wiley   +1 more source