Results 121 to 130 of about 3,877,335 (299)

Binary Decision Diagrams for First Order Predicate Logic

, 1995
We present an extension of Binary Decision Diagrams (BDDs) such that they can be used for predicate logic.
Groote, J.F.
core  

Binary Decision Diagrams for Random Boolean Functions [PDF]

, 1999
Binary Decision Diagrams (BDDs) sind eine Datenstruktur für Boolesche Funktionen, die auch unter dem Namen branching program bekannt ist. In ordered binary decision diagrams (OBDDs) müssen die Tests einer festen Variablenordnung genügen.
Gröpl, C., Gröpl, Clemens
core   +1 more source

Dysregulated Cholesterol Metabolism, Chronic Inflammation, and Disability in Severe Progressive Multiple Sclerosis

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Background Dysregulated lipid metabolism, which can affect remyelination and neural repair, has not been extensively investigated in progressive multiple sclerosis (PMS). The goal was to examine whether dysregulated cholesterol metabolism was associated with disability in PMS. Methods The study sample comprised 53 Severe PMS patients (Expanded
Taylor R. Wicks, Mujeeb Shittu, Anna Wolska, Diala Ghazal, Bianca Weinstock‐Guttman, Alexander Burnham, Alan T. Remaley, Robert Zivadinov, Murali Ramanathan   +8 more
wiley   +1 more source

Axial Function Reflects Global Severity in Inherited Ataxias: The Upright Stability Score in Ambulatory Friedreich vs. Spinocerebellar Ataxia

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Inherited ataxias are clinically diverse neurodegenerative diseases, complicating the choice of outcome measures for trials. In spinocerebellar ataxia (SCA), regulatory concerns about the Scale for the Assessment and Rating of Ataxia (SARA) caused a shift toward functional SARA (f‐SARA), contributing to pivotal trial failure.
Christian Rummey, S. H. Subramony, David R. Lynch, Louise A. Corben, Martin B. Delatycki, Jörg B. Schulz, Kathrin Reetz, Massimo Pandolfo, Matthis Synofzik, Theresa Zesiewicz, Antoine Duquette, Matthew Burns, Martin Vyhnálek, Lucie Stovickova, Sinead M. Murphy, Petya Bogdanova‐Mihaylova, Mary Kearney, Richard Walsh, Richard H. Roxburgh, Khalaf Bushara, Marie Y. Davis, Enrico S. Bertini, Gessica Vasco, Shweta Sahni, Mohammed Faruq, Achal K. Srivastava, Bart van de Warrenburg, Elisabetta Indelicato, Sylvia Boesch, Andrew Billnitzer, Tetsuo Ashizawa, Anoopum S. Gupta, Grace Yoon, Georgios Koutsis, Chrysoula Koniari, Zofia Fleszar, Christopher M. Gomez, Andrea Martinuzzi, Gabriella Paparella, Ali G. Hamedani, Puneet Opal, Rizwan S. Akhtar, Caterina Mariotti, Henry Paulson, Peter Todd, Sharan R. Srinivasan, George Wilmot, Ludger Schöls, Susan Perlman, Jeremy D. Schmahmann, Sheng‐Han Kuo, Liana S. Rosenthal, Vikram G. Shakkottai   +52 more
wiley   +1 more source

Disentangling the Genetic Relationship Between Sleep and Epilepsy

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective A bidirectional relationship between sleep and epilepsy is well recognised, yet the biological mechanisms linking them remain poorly understood. Both have a genetic basis, with genome‐wide association studies (GWAS) capturing polygenic contributions.
Khang N. Le, Victoria E. Jackson, Rachel E. Stirling, Zachary F. Gerring, Remi Stevelink, Samuel F. Berkovic, Ingrid E. Scheffer, Philippa J. Karoly, Melanie Bahlo, Karen L. Oliver   +9 more
wiley   +1 more source

Automatic Lesion Morphometrics Reliably Predict Sensorimotor Recovery After Spinal Cord Injury: A Longitudinal, Multicenter Neuroimaging Study

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective To evaluate automatic magnetic resonance imaging (MRI)‐derived lesion morphometrics against manual measurements and their prognostic value for characterizing distinct acute to chronic neurological recovery trajectories after spinal cord injury (SCI). Methods We studied a retrospective, multicenter cohort of cervical and thoracolumbar
Dario Pfyffer, Jan Valošek, Lynn Farner, Enamundram Naga Karthik, Gergely David, Norbert Weidner, Rainer Abel, Doris Maier, Armin Curt, Margret Hund‐Georgiadis, Mirko Aach, Michael Baumberger, Julien Cohen‐Adad, Patrick Freund, the Nogo Inhibition in Spinal Cord Injury Study Group, Rainer Abel, Kerstin Rehahn, Mirko Aach, Klaus Röhl, Norbert Weidner, Marion Saur, Nikolaus Weiskopf, Doris Maier, Andreas Badke, Margret Hund‐Georgiadis, Michael Baumberger, Armin Curt, Jesus Benito‐Penalva, Jiri Kriz   +28 more
wiley   +1 more source

Short‐Term Response to Biologic Therapy in Psoriatic Arthritis Is Not Influenced by Disease Duration at Initiation of Therapy

Arthritis Care &Research, EarlyView.
Objective We aimed to determine whether the short‐term response to biologics in biologic‐naive psoriatic arthritis (PsA) is better in patients initiating biologic treatment early in the disease course. Methods Patients with PsA who started on biologic therapy from the year 2000 to 2025 were included for analysis.
Sung Min Cho, Shangyi Gao, Daniel Pereira, Richard J. Cook, Dafna D. Gladman   +4 more
wiley   +1 more source

Microvascular Damage Is Associated With Carotid Wall Structural Changes in Systemic Sclerosis: A Capillaroscopy and Ultrasound‐Based Observational Study

Arthritis Care &Research, EarlyView.
Objective Systemic sclerosis (SSc) is characterized by cardiovascular risk excess not fully explained by traditional factors. Whether the severity of microvascular damage correlates with structural subclinical atherosclerosis remains unclear. We investigated the relationship between nailfold videocapillaroscopy (NVC) abnormalities and carotid ...
Eugenio Capparelli, Luca Clerici, Francesco Lapia, Giusy C. Moltisanti, Eleonora Zaccara, Greta Pellegrino, Daniela Bompane, Francesca Capelli, Letizia Ferrami, Laura Castelnovo, Antonio Tamburello, Maria Sole Chimenti, Paola Faggioli, Antonino Mazzone   +13 more
wiley   +1 more source

Degeneralization Algorithm for Generation of Büchi Automata Based on Contented Situation

Journal of Applied Mathematics, 2015
We present on-the-fly degeneralization algorithm used to transform generalized Büchi automata (GBA) into Büchi Automata (BA) different from the standard degeneralization algorithm.
Laixiang Shan, Jun Qin, Mingshi Chen, Zheng Qin   +3 more
doaj   +1 more source

Building free Binary Decision Diagrams using SAT solvers

, 2007
Free Binary Decision Diagrams (FBDDs) are a data structure for the representation of Boolean functions. In contrast to Ordered Binary Decision Diagrams (OBDDs) FBDDs allow different variable orderings along each path.
Görschwin Fey, Rolf Drechsler, Robert Wille   +2 more
core   +1 more source