Results 71 to 80 of about 2,322,283 (342)

Practice Recommendations for Genetic Testing of Ataxias

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Over the past decade, significant advances in genetic testing for ataxia have improved diagnostic accuracy, informed clinical trial eligibility, guided treatment decisions, and enabled cascade testing of at‐risk relatives. While guidance exists for other neurogenetic conditions, there are no standardized guidelines on genetic ...
Sharan R. Srinivasan, Amy D. Mook, Michelle Rochman, Jin Yun Helen Chen, Weiyi Mu, George R. Wilmot, Liana S. Rosenthal, Wendy R. Uhlmann   +7 more
wiley   +1 more source

Formal Verification of Language-Based Concurrent Noninterference

Journal of Formalized Reasoning, 2013
We perform a formal analysis of compositionality techniques for proving possibilistic noninterference for a while language with parallel composition.
Andrei Popescu, Johannes Holzl, Tobias Nipkow   +2 more
doaj   +1 more source

Formal translations and Szilard languages

Information and Control, 1976
One of the methods for defining translations is the so called syntax-directed translation scheme which can be interpreted as a pair of rather similar grammars with the productions working in parallel. Because of the similarity of the grammars each of the two grammars “fits” the other in the sense that for each derivation process in one grammar leading ...
Hermann A. Maurer, Hans-Peter Kriegel
openaire   +3 more sources

Cognitive Impairment in Multiple Sclerosis: The Role of Clinical and Sociodemographic Factors ‐ A Systematic Review and Meta‐Analysis

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Cognitive impairment (CI) affects the quality of life in multiple sclerosis (MS). Identifying influencing factors is key to improving CI monitoring. This systematic review and meta‐analysis examines clinical and sociodemographic variables impacting the cognitive screening Symbol Digit Modalities Test (SDMT) performance across MS ...
Katalin Lugosi, Marie A. Engh, Tamás Kói, Zsolt Molnár, Gábor Csukly, Klaudia Horváth, Emma Hargitai, Péter Hegyi, Zsolt Mezei   +8 more
wiley   +1 more source

Analysis of Soluble Interleukin‐2 Receptor as a Prognostic Biomarker in NMOSD and MOGAD

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Soluble interleukin‐2 receptor (sIL‐2R) is a biomarker for T cell activity. T cells are involved in neuromyelitis optica spectrum disorders (NMOSD) and myelin oligodendrocyte glycoprotein antibody‐associated disease (MOGAD) pathogenesis. However, sIL‐2R has so far not been evaluated in these conditions.
Philipp Klyscz, Carolin Otto, Klemens Ruprecht, Susanna Asseyer, Hannes Ole Tiedt, Christian Meisel, Judith Bellmann‐Strobl, Friedemann Paul, Patrick Schindler   +8 more
wiley   +1 more source

Connotation, meaning, translation

Opera slavica, 2014
The paper deals with the problem of teaching Bulgarian to advanced students. It shows the gaps in teaching colloquial semantic fields and connotation. It represents the specifics in teaching Bulgarian to translators in European Parliament and European ...
Nadežda Staljanova, Vladislav Milanov
doaj  

Expanding Hereditary Spastic Paraplegias Limits: Biallelic SPAST Variants in Cerebral Palsy Mimics

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Hereditary spastic paraplegias (HSP) are rare neurodegenerative disorders marked by spasticity and lower limb weakness. The most common type, SPG4, is usually autosomal dominant and caused by SPAST gene variants, typically presenting as pure HSP.
Gregorio A. Nolasco, Mònica Roldán, Yalda Jamshidi, Ioannis Georvasilis, Rocío Jadraque Rodríguez, Reza Boostani, Ali Shoeibi, Lluís Armengol, Anna Codina, Ehsan Ghayoor Karimiani, Cristina Hernando‐Davalillo, Loreto Martorell, María Luisa Ramírez Almaraz, Jordi Muchart, Carlos Ortez, Andrés Nascimento, Roser Urreizti, Daniel Natera‐de Benito, Mercedes Serrano   +18 more
wiley   +1 more source

On the Expressive Power of Multiple Heads in CHR

, 2011
Constraint Handling Rules (CHR) is a committed-choice declarative language which has been originally designed for writing constraint solvers and which is nowadays a general purpose language.
Di Giusto, Cinzia, Gabbrielli, Maurizio, Meo, Maria Chiara   +2 more
core   +3 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

FORMAL MODELS OF LANGUAGE SYSTEMS [PDF]

Avtomobilʹnyj Transport (Harʹkov), 2009
The basic construction concepts of unifying two-digit and multi-valued means of processing symbolic data are considered. The present approach is based upon a single methodological and special purpose principle by applying the proposed methods of the ...
G. Chetverikov, T. Fedorova, I. Vechirskaya   +2 more
doaj