Results 61 to 70 of about 553,982 (390)

Formal verification of a constant-time preserving C compiler

IACR Cryptology ePrint Archive, 2019
Timing side-channels are arguably one of the main sources of vulnerabilities in cryptographic implementations. One effective mitigation against timing side-channels is to write programs that do not perform secret-dependent branches and memory accesses ...
G. Barthe, Sandrine Blazy, B. Grégoire, R. Hutin, Vincent Laporte, David Pichardie, Alix Trieu   +6 more
semanticscholar   +1 more source

Pathway Analyses of Inherited Neuropathies Identify Putative Common Mechanisms of Axon Degeneration

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Inherited neuropathies (IN) are associated with over 100 different genetic mutations presenting with a variety of phenotypes. This complexity suggests multiple pathways may converge onto a limited number of downstream pathways to effect axonal injury.
Christopher R. Cashman, Craig Blackstone, Reza Sadjadi   +2 more
wiley   +1 more source

Phenotyping Healthcare Use 2–3 Decades Before the First Multiple Sclerosis Demyelinating Event

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Phenotype hospital, physician, and emergency department (ED) visits by diagnoses and specialty up to 29 years pre‐multiple sclerosis (MS) onset versus a matched population without MS. Methods We identified people with MS (PwMS) using population‐based administrative data from Ontario, Canada (1991–2020).
Helen Tremlett, Karl Everett, Colleen J. Maxwell, Feng Zhu, Ayesha Asaf, Ping Li, Kyla A. McKay, Yinshan Zhao, Ruth Ann Marrie   +8 more
wiley   +1 more source

Quadsim Version 2.1 Student Manual [PDF]

, 1993
Quadsim is an intermediate code simulator. It allows you to "run" programs that your compiler generates in intermediate code format. Its user interface is similar to most debuggers in that you can step through your program, instruction by instruction ...
Shaban, Marwan
core   +1 more source

A Systematic Clinical Framework for Postimplantation Monitoring in Thalamic Neuromodulation: Insights From Twiddler's Syndrome

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT This case described a 25‐year‐old pregnant woman with refractory multifocal epilepsy, diagnosed in 2020 and treated with bilateral thalamic deep brain stimulation (DBS) targeting the centromedian and pulvinar nuclei. Prior to DBS, she experienced daily focal seizures, often progressing to generalized tonic–clonic seizures despite optimal ...
Shalin Shah, Ganne Chaitanya, Jeston Chin, Nicholas Delcimmuto, Jay R. Gavvala   +4 more
wiley   +1 more source

High‐Efficacy Treatment in Neuromyelitis Optica Specturm Disorder Patients With Seropositive AQP4 Antibodies—A Real‐World Study

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective To compare the effectiveness of high‐efficacy treatments (HET) and low‐efficacy treatments (LET) in NMOSD patients with anti‐aquaporin‐4 antibodies (AQP4‐ab). Methods In this multi‐center study, we analyzed 183 AQP4‐ab seropositive NMOSD patients who received immunosuppressive treatments (IST).
Xiang Li, Binbin Xue, Jia Li, Dewei Xie, Juyuan Pan, Lanbing Zhu, Qiaowen Tong, Jing Lin, Xu Zhang, Junhui Xia, Jie Lin   +10 more
wiley   +1 more source

Classification and Evaluation of Sleep Disorders Using Random Forest Algorithm in Health and Lifestyle Dataset

Compiler
Sleep is a fundamental aspect of human life, accounting for approximately one-third of our existence and playing a crucial role in the restoration of physical health and overall quality of life.
Wiwiek Widyastuty, Mochammad Abdul Azis
doaj   +1 more source

Automated code generation for discontinuous Galerkin methods

, 2008
A compiler approach for generating low-level computer code from high-level input for discontinuous Galerkin finite element forms is presented. The input language mirrors conventional mathematical notation, and the compiler generates efficient code in a ...
Logg, Anders, Wells, Garth N., Ølgaard, Kristian B.   +2 more
core   +1 more source

COCOVILA – Compiler-Compiler for Visual Languages

Electronic Notes in Theoretical Computer Science, 2005
AbstractA compiler-compiler for visual languages is presented. It has been designed as a framework for building visual programming environments that translate schemas into textual representation as well as into programs representing the deep meaning of schemas.
Enn Tyugu, Pavel Grigorenko, Ando Saabas
openaire   +2 more sources

Thermokinetic Modeling Approach for Aluminide Diffusion Coatings on Molybdenum Substrates

Advanced Engineering Materials, EarlyView.
The advancement of innovative materials for protective coatings in high‐temperature environments relies on a detailed understanding of diffusion processes within these systems. This article presents findings from modeling approaches, supporting the development and optimization of coating materials by focusing on the prediction of diffusion‐driven ...
Jurica Filipovic, Katharina Beck, Christian Kontermann, Mathias Galetz, Matthias Oechsner   +4 more
wiley   +1 more source