Results 121 to 130 of about 117,504 (308)

Interleukin‐6 as a Key Biomarker in Facioscapulohumeral Dystrophy: Evidence From Longitudinal Analyses

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Facioscapulohumeral muscular dystrophy type 1 (FSHD1) is a progressive neuromuscular disorder with no approved treatments. Identifying reliable biomarkers is critical to monitor disease severity, activity, and progression. Interleukin‐6 (IL‐6) has been proposed as a candidate biomarker, but longitudinal validation is limited ...
Jonathan Pini, Emanuela Martinuzzi, Sandra Dhifallah, Abderhmane Slioui, Angela Puma, Luisa Villa, Michele Cavalli, Andra Ezaru, Jérémy Garcia, Manuela Gambella, Federico Torre, Luca Jacopo Pavan, Nicolas Glaichenhaus, Sabrina Sacconi   +13 more
wiley   +1 more source

FACTIS - A Formal Definition of Verified Environmental Information

Carlsson, Raul, Carlsson, Raul
openalex   +2 more sources

A Comprehensive Overview of the Clinical, Electrophysiological, and Neuroimaging Features of BPAN: Insights From a New Case Series

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Background Neurodegeneration with brain iron accumulation (NBIA) comprises a genetically and clinically heterogeneous group of rare neurological disorders characterized particularly by iron accumulation in the basal ganglia. To date, 15 genes have been associated with NBIA.
Seda Susgun, Ozgu Kizek, Sibel Aylin Ugur Iseri, Ibrahim Kamaci, Ayse Deniz Elmali, Pinar Iscen, Berfin Gulkaya Guzel, Gul Yalcin Cakmakli, Bulent Elibol, Berril Donmez, Raif Cakmur, Pinar Topaloglu, Turkish NBIA Study Group, Abdullah Acar, Ahmet Acarer, Arzu Karabay, Asuman Ali, Ayla Barlas, Aysegul Gunduz, Banu Ozen Barut, Baris Baslo, Bilge Kocer, Bilgehan Mus, Birsen Karaman, Burcu Gokce Cokal, Cem Ismail Kucukali, Cenk Akbostanci, Ceyhun Sayman, Cagla Turan, Dilek Ince Gunal, Ebru Bilge Dirik, Ebru Erzurumluoglu, Elif Kocasoy Orhan, Enes Demiryurek, Emrah Yucesan, Ercan Kose, Erdem Tuzun, Esen Saka Topcuoglu, Esra Okuyucu, Fatma Betul Ozdilek, Feriha Ozer, Gencer Genc, Gozde Unal, Gulay Kenangil, Gullu Tarhan, Gunes Kiziltan, Halil Onder, Hamit Genc, Hasmet Hanagasi, Hatice Yuksel, Hulya Apaydin, Koray Kirimtay, Mehmet Guney Senol, Melisa Kilic, Meltem Demirkiran, Mert Karaca, Miray Erdem, Muhammet Bilgehan Mus, Murat Gultekin, Nalan Capan, Nazan Karagoz Sakalli, Nazli Basak, Nihan Hande Akcakaya, Ozan Ezer, Ozge Uygun, Ozge Yilmaz Kuspeci, Ozgur Oztop Cakmak, Pervin Iseri, Petek Ballar Kirmizibayrak, Pinar Elkoca, Recep Alp, Remzi Yigiter, Rezzak Yilmaz, Sadika Ozdemir, Selda Keskin, Selen Ilhan Alp, Selen Soylu, Serdar Ceylaner, Serhat Ozkan, Sevda Erer Ozbek, Sevgin Gundogan, Sevil Yasufli, Sezin Alpaydin Baslo, Sibel Ertan, Sultan Cagirici, Seyma Aykac, Vuslat Yilmaz, Yaprak Secil, Yasar Kutukcu, Yeliz Ciftci, Yesim Sucullu Karadag, Yildiz Değirmenci, Zeliha Matur, Nerses Bebek, Murat Emre, Zuhal Yapici   +95 more
wiley   +1 more source

Invulnerability invariants for software controlled speculation

Electronics Letters
Spectre class of transient execution security attacks on modern microprocessors rely on speculative execution. Software Controlled Speculation (SCS) was proposed as a microarchitecture‐level defense in the original Spectre paper and has also been adopted
Nimish Mathure, Sudarshan K. Srinivasan, Kushal K. Ponugoti   +2 more
doaj   +1 more source

Decreased Serum 5‐HT: Clinical Correlates and Regulatory Role in NMJ of MG

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Although 5‐Hydroxytryptamine (5‐HT) indirectly stimulates muscle contraction and participates in regulating Acetylcholine receptor (AChR) cluster homeostasis in cellular, animal, and clinical studies, evidence regarding its potential to modulate muscle contraction in myasthenia gravis (MG) remains limited.
Xinru Shen, Jing Zhang, Xinyue Zhou, Xiaoxiao Yu, Haodong Shang, Shufan Chen, Lulu Zhen, Jinru Wu, Guanlian Hu, Xiaoyan Zhu, Zhan Sun, Yiren Wang, Jiahui Wang, Jie Lv, Xue Zhao, Yingna Zhang, Wei Guo, Ying Peng, Feng Gao   +18 more
wiley   +1 more source

Formal verification of a concurrent file system based on lock guarantee conditions extended concurrent separation logic

Tongxin xuebao
During the formal verification, logic is relied to formally specify and reason about the properties that the file system must satisfy. Concurrent separation logic (CSL) is used in the formal verification of concurrent file systems and to prove the ...
ZHENG Xinmin, LI Mingshu, YANG Qiusong, LI Wenbo   +3 more
doaj  

Plasma Proteomic Signatures for Alzheimer's Disease: Comparable Accuracy to ATN Biomarkers and Cross‐Platform Validation

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Background There is growing recognition of the potential of plasma proteomics for Alzheimer's Disease (AD) risk assessment and disease characterization. However, differences between proteomics platforms introduce uncertainties regarding cross‐platform applicability.
Manyue Hu, Oliver Robinson, Christina M. Lill, Anna Matton, Raquel Puerta, Pilar Sanz, Merce Boada, Agustín Ruiz, Lefkos Middleton, for the Alzheimer's Disease Neuroimaging Initiative   +9 more
wiley   +1 more source

Automatic construction and verification algorithm for smart contracts based on formal verification

AIP Advances
As an emerging technology, blockchain demonstrates strong potential for applications in digital finance. As a core component of blockchain, the security and reliability of smart contracts is crucial.
Rui Xie, Xuejiao Zhong, Xin Chen, Shaohui Xu, Haiyang Yu, Xinyuan Guo   +5 more
doaj   +1 more source

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

Formal Verification Of A Multicast Protocol In Mobile Networks

, 2007
Mohammad Reza Matash Borujerdi, S.M. Mirzababaei   +1 more
openalex   +2 more sources