Results 101 to 110 of about 8,430 (314)

MIO-BDT: Construction of Basic Models and Formal Verification of Building Digital Twins That Supports Multiple Interactive Objects

Smart Cities
As a high-fidelity digital mapping of the physical built environment, the Building Digital Twin (BDT) relies on physical–virtual interaction as a core enabler for lifecycle management.
Rongwei Zou, Qiliang Yang, Qizhen Zhou, Chao Mou, Zhiwei Zhang   +4 more
doaj   +1 more source

Discovery and Targeted Proteomic Studies Reveal Striatal Markers Validated for Huntington's Disease

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Clinical trials for Huntington's disease (HD) enrolling persons before clinical motor diagnosis (CMD) lack validated biomarkers. This study aimed to conduct an unbiased discovery analysis and a targeted examination of proteomic biomarkers scrutinized by clinical validation. Methods Cerebrospinal fluid was obtained from PREDICT‐HD and
Daniel Chelsky, Cara Joyce, H. Jeremy Bockholt, Paul A. Rudnick, William H. Adams, Fiona McAllister, Justin W. Smock, Michael A. Newton, Jane S. Paulsen   +8 more
wiley   +1 more source

Language Emptiness of Continuous-Time Parametric Timed Automata

, 2015
Parametric timed automata extend the standard timed automata with the possibility to use parameters in the clock guards. In general, if the parameters are real-valued, the problem of language emptiness of such automata is undecidable even for various ...
Aleksandra Jovanović, Beatrice Bérard, Daniel Bundala, E Kuzmin, F Wang, Gerd Behrmann, Joseph S Miller, L Bozzelli, L Doyen, P Bouyer, R Alur, Sergio Feo-Arenis, Thomas Hune, Véronique Bruyère, É André   +14 more
core   +1 more source

Remote Monitoring in Myasthenia Gravis: Exploring Symptom Variability

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Background Myasthenia gravis (MG) is a rare, autoimmune disorder characterized by fluctuating muscle weakness and potential life‐threatening crises. While continuous specialized care is essential, access barriers often delay timely interventions. To address this, we developed MyaLink, a telemedical platform for MG patients.
Maike Stein, Maximilian Mönch, Meret Herdick, Frauke Stascheit, Sarah Hoffmann, Hannah Preßler, Philipp Mergenthaler, Carla Dusemund, Paolo Doksani, Haoqi Sun, Pushpa Narayanaswami, Andreas Meisel, Lea Gerischer, Sophie Lehnerer   +13 more
wiley   +1 more source

Timed Automata Semantics for Visual e-Contracts

, 2011
C-O Diagrams have been introduced as a means to have a more visual representation of electronic contracts, where it is possible to represent the obligations, permissions and prohibitions of the different signatories, as well as what are the penalties in ...
C. Prisacariu, E. Martinez, E. Martínez, Enrique Martínez, Ernesto Pimentel, G. Behrmann, Gerardo Schneider, Gregorio Díaz, J. C. Okika, K. G. Larsen, M. Emilia Cambronero, P. McNamara, R. Alur, R. Alur, Valentín Valero   +14 more
core   +3 more sources

Real‐World Performance of CSF Kappa Free Light Chains in the 2024 McDonald Criteria

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Kappa free light chains (KFLCs) in the cerebrospinal fluid (CSF) have a similar performance to CSF‐restricted oligoclonal bands (OCB) for multiple sclerosis (MS) diagnosis. To help with implementation, we set out to resolve several remaining uncertainties: (1) performance in a real‐world cohort and the 2024 McDonald criteria; (2 ...
Maya M. Leibowitz, Ryan Cooper, Stefania Kaninia, Kathryn I. Challis, Will Greenway, Maria Bonello, Mahmoud Elbahnasawi, Deborah T. Shode, Dominika Gajdasik, Victor Iliev, Alison M. E. Whitelegg, Ian Galea   +11 more
wiley   +1 more source

Development of a Prediction Model for Progression Risk in High‐Grade Gliomas Based on Habitat Radiomics and Pathomics

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective To investigate the value of constructing models based on habitat radiomics and pathomics for predicting the risk of progression in high‐grade gliomas. Methods This study conducted a retrospective analysis of preoperative magnetic resonance (MR) images and pathological sections from 72 patients diagnosed with high‐grade gliomas (52 ...
Yuchen Zhu, Yuxi Gong, Weilin Xu, Xingjian Sun, Gefei Jiang, Lei Qiu, Kexin Shi, Mengxing Wu, Yinjiao Fei, Jinling Yuan, Jinyan Luo, Yurong Li, Yuandong Cao, Minhong Pan, Shu Zhou   +14 more
wiley   +1 more source

Broadcast Propagation Time in SpaceFibre Networks with Various Types of Spatial Redundancy. [PDF]

Sensors (Basel), 2023
Olenev V, Suvorova E, Chumakova N.
europepmc   +1 more source

USE OF AN AUTOMATON MODEL FOR THE DESIGNING OF REAL-TIME INFORMATION SYSTEMS IN THE RAILWAY STATIONS [PDF]

, 2018
Igor Zhukovytskyy
openalex   +1 more source

Feasibility and Tolerability of Performing Portable MRI for Neurological Disorders in an Outpatient Neurology Clinic: A Prospective Cohort

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Background Accessing brain magnetic resonance imaging (MRI) can be challenging, especially for underserved patients, which may lead to disparities in neurological diagnosis. Method This mixed‐methods study enrolled adults with one of four neurological disorders: mild cognitive impairment or dementia of the Alzheimer type, multiple sclerosis ...
Maya L. Mastick, Nomin Enkhtsetseg, Joseph Sadok, Matheus Mochetti, Annabel Sorby Adams, Jennifer Guo, Cristina Trapaga Hacker, Isabella Gomez Hjerthen, Seungwon Lee, Siddharth Satish, Andrew S. Ham, Justin Hill, Denis Balaban, Kevin Kyle, Rebecca L. Gillani, Marcelo Matiello, Aleksandar Videnovic, Eric C. Klawiter, W. Taylor Kimberly, Farrah J. Mateen   +19 more
wiley   +1 more source