Results 91 to 100 of about 4,785,942 (298)

Formalization of Matrix Theory in HOL4

Advances in Mechanical Engineering, 2014
Matrix theory plays an important role in modeling linear systems in engineering and science. To model and analyze the intricate behavior of complex systems, it is imperative to formalize matrix theory in a metalogic setting.
Zhiping Shi, Yan Zhang, Zhenke Liu, Xinan Kang, Yong Guan, Jie Zhang, Xiaoyu Song   +6 more
doaj   +1 more source

SPG4 and Dementia: Expanding the Clinical Spectrum

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Hereditary spastic paraplegia (HSP) is a group of disorders characterized by progressive spasticity and lower limb weakness, with mutations in SPG4/SPAST being the most common cause. Detailed studies and clinical and molecular comparisons across different populations are missing.
Emanuele Panza, Arun Meyyazhagan, Eliseo Picchi, Gustavo Ribas, Ingrid Faber, Ryosuke Miyamoto, Preethi Basavaraju, Paolo Eusebi, Haripriya Kuchi Bhotla, Mario Stasi, Fabrizio Gaudiello, Francesco Patti, Filippo Maria Santorelli, Marcondes Cavalcante França Jr, José Luiz Pedroso, Orlando Graziani Povoas Barsottini, Hélio Afonso Ghizoni Teive, Peter Henry St George‐Hyslop, Toshitaka Kawarai, Antonio Orlacchio   +19 more
wiley   +1 more source

Clinical Outcomes of SEEG‐Guided Radiofrequency Thermocoagulation in Children With Focal Drug‐Resistant Epilepsy: A Multicenter Real‐World Study

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Stereoelectroencephalography‐guided radiofrequency thermocoagulation (SEEG‐RFTC) has emerged as a safe and effective minimally invasive treatment for children with drug‐resistant focal epilepsy. Although evidence from real‐world studies remains limited, numerous pediatric cases have demonstrated promising outcomes. This retrospective
Weitao Chen, Stéphane Jean, Weihong Liu, Yihai Dai, Xinrong Fang, Xiaoqiang Wei, Shan Chen, Shiwei Song   +7 more
wiley   +1 more source

Optimization of S-N curve fitting based on neighborhood rough set reduction with improved firefly algorithm

Fracture and Structural Integrity, 2023
S-N curve fatigue samples of titanium alloy welded joints have such a comparatively significant scatter, that results in the issue that the fatigue life prediction accuracy is not optimal.
Yangjinyu Li, Li Zou, Zhengjie Zhu
doaj  

Software reliability model of open source software based on the decreasing trend of fault introduction. [PDF]

PLoS One, 2022
Wang J, Zhang C, Yang J.
europepmc   +1 more source

Choroid Plexus Enlargement and USPIO‐Based Inflammatory Feature in Cerebral Small Vessel Disease

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective The choroid plexus (CP) is a key component of the blood–cerebrospinal fluid barrier (BCSFB), but its mechanism of action in cerebral small vessel disease (CSVD) remains unclear. This study investigated CP volume (CPV) alterations and their association with conventional imaging markers in CSVD and explored the underlying role of ...
Yongqiang Qu, Xiaoning Ren, Cuihua Fan, Chun Li, Lijie Zhang, Zaiqiang Zhang, Shaowu Li, Zhongmeng Lai, Bin Cai, Ying Fu, Yi Lin, Zhibao Zhu   +11 more
wiley   +1 more source

Software Reliability in Semantic Web Service Composition Applications [PDF]

Web Service Composition allows the development of easily reconfigurable applications that can be quickly adapted to business changes. Due to the shift in paradigm from traditional systems, new approaches are needed in order to evaluate the reliability of
Andreea DIOSTEANU, Liviu Adrian COTFAS
core  

Modeling Uncertainties in the Estimation of Software Reliability – A Pragmatic Approach

, 2010
The increasing usage of computer based systems for safety critical operations in applications such as nuclear, space, and automotive systems demands a systematic way of estimating software reliability. The high reliability requirements of safety critical
Aleksandar Dimov, Sasikumar Punnekkat, Dimov, Aleksandar,, Senthil Kumar Chandran, Punnekkat, Sasikumar,, Chandran, Senthil Kumar,   +5 more
core   +1 more source

White Matter Hyperintensity Burden and Short‐Interval Change Associated With Sleep Apnoea in the UK Biobank

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Background and Purpose White matter hyperintensities (WMH) are a core neuroimaging marker of cerebral small vessel disease (CSVD). Sleep apnoea (SA) is a recognized vascular risk factor, but its associations with regional WMH burden, short‐interval WMH change and cognitive performance in population‐based cohorts remain incompletely defined. We
Peng Cheng, Diego Z. Carvalho, Shahid Karim, Anwar Chahal, Virend K. Somers   +4 more
wiley   +1 more source

Influenza Vaccination Responses in Disabled Stroke Patients: A Single‐Center Prospective Observational Study

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective This study aimed to investigate the immunological response to influenza vaccination, the incidence and severity of influenza infection, and the side effects of the vaccination in patients with ischemic stroke. Methods This prospective observational study was conducted between 2023 and 2024 at Ramathibodi Hospital.
Achiraya Pakngao, Sureerat Suwatcharangoon, Pintip Ngamjanyapron, Kobporn Boonnak, Thanitta Suangtamai, Porpon Rotjanapan   +5 more
wiley   +1 more source