Results 161 to 170 of about 4,463,103 (324)

Impact of Stress‐Induced Hyperglycemia on In‐Hospital Medical Complications in Patients With Acute Stroke: From a Large‐Scale Nationwide Longitudinal Registry

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Aims This study aimed to explore the relationship between stress‐induced hyperglycemia (SIH) and in‐hospital medical complications in patients with acute stroke. Methods We enrolled 865,765 patients with acute stroke from the Chinese Stroke Center Alliance cohort.
Xintong Song, Yi Ju, Hongqiu Gu, Zhikai Zhu, Zixiao Li, Qian Zhang, Xingquan Zhao   +6 more
wiley   +1 more source

The HACMS program: using formal methods to eliminate exploitable bugs. [PDF]

Philos Trans A Math Phys Eng Sci, 2017
Fisher K, Launchbury J, Richards R.
europepmc   +1 more source

The Relationship Between Inflammation and Central Nervous System in Multiple Sclerosis

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Aim Multiple sclerosis is an autoimmune demyelination disease that is seen especially in the young population and has a progressive course, causing motor, sensory, and cognitive deficits. In the literature, the pathogenesis of MS disease and the interconnection between the immune and central nervous system in the disease have not been fully ...
Gamze Ansen, Ali Behram Salar, Abdulkadir Ermis, Erkingul Birday, Lutfu Hanoglu, Bayram Ufuk Sakul   +5 more
wiley   +1 more source

Biosensor characterization: formal methods from the perspective of proteome fractions. [PDF]

Synth Biol (Oxf)
Vaccari NA, Zevallos-Aliaga D, Peeters T, Guerra DG.   +3 more
europepmc   +1 more source

Editorial: Computational Methods for Understanding Complexity: The Use of Formal Methods in Biology. [PDF]

Front Bioeng Biotechnol, 2016
Rosenblueth DA.
europepmc   +1 more source

Lessons Learned: Quality Analysis of Optical Coherence Tomography in Neuromyelitis Optica

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Introduction Optical coherence tomography (OCT)‐derived retina measurements are markers for neuroaxonal visual pathway status. High‐quality OCT scans are essential for reliable measurements, but their acquisition is particularly challenging in eyes with severe visual impairment, as often observed in neuromyelitis optica spectrum disorders ...
Hadi Salih, Sara Samadzadeh, Charlotte Bereuter, Seyedamirhosein Motamedi, Claudia Chien, Pablo Villoslada, Hadas Stiebel‐Kalish, Nasrin Asgari, Yang Mao‐Draayer, Marius Ringelstein, Joachim Havla, Marco Aurélio Lana Peixoto, Ho Jin Kim, Jacqueline Palace, Maria Isabel Leite, Srilakshmi M. Sharma, Fereshteh Ashtari, Rahele Kafieh, Lekha Pandit, Orhan Aktas, Philipp Albrecht, Letizia Leocani, Itay Lotan, Sasitorn Siritho, Jérôme de Seze, Romain Marignier, Caroline Froment Tilikete, Denis Bernardi Bichuetti, Ivan Maynart Tavares, Ayse Altintas, Anu Jacob, Saif Huda, Ibis Soto de Castillo, Lawrence J. Cook, Michael R. Yeaman, Axel Petzold, Alexander U. Brandt, Friedemann Paul, Frederike C. Oertel, Hanna G. Zimmermann, with the Guthy Jackson Charitable Foundation—International Clinical Consortium and CROCTINO Collaborators   +40 more
wiley   +1 more source

Radiomics and 256-slice-dual-energy CT in the automated diagnosis of mild acute pancreatitis: the innovation of formal methods and high-resolution CT. [PDF]

Radiol Med
Rocca A, Brunese MC, Santone A, Varriano G, Viganò L, Caiazzo C, Vallone G, Brunese L, Romano L, Di Serafino M, R O I Segmentation Collaborative Group.   +10 more
europepmc   +1 more source

Using formal methods to scope performance challenges for Smart Manufacturing Systems: focus on agility. [PDF]

Concurr Eng Res Appl, 2015
Jung K, Morris KC, Lyons KW, Leong S, Cho H.   +4 more
europepmc   +1 more source

Tools for Integrating Formal Methods into the Java Software Development Process (An Extended Abstract) [PDF]

, 1999
Sriram Sankar
openalex   +1 more source

Network Localization of Fatigue in Multiple Sclerosis

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Background Fatigue is among the most common symptoms and one of the main factors determining the quality of life in multiple sclerosis (MS). However, the neurobiological mechanisms underlying fatigue are not fully understood. Here we studied lesion locations and their connections in individuals with MS, aiming to identify brain networks ...
Olli Likitalo, Jaakko Kungshamn, Albert Bellmunt‐Gil, Silvia Tommasin, Abhineet Ojha, Matias Viitala, Juho Aaltonen, Jyrki Lötjönen, Juha Koikkalainen, Pauli Ylikotila, Patrizia Pantano, Merja Soilu‐Hänninen, Juho Joutsa   +12 more
wiley   +1 more source