Results 191 to 200 of about 491,607 (366)

Decidability of inferring inductive invariants

ACM-SIGACT Symposium on Principles of Programming Languages, 2016
Oded Padon, N. Immerman, Sharon Shoham, Aleksandr Karbyshev, Shmuel Sagiv   +4 more
semanticscholar   +1 more source

Cystic Ovarian Teratoma: Clinical and Radiographic Insights Into Chronic Pelvic Pain

Aging and Cancer, EarlyView.
An incidental benign mature cystic ovarian teratoma on imaging and discuss common imaging modalities. ABSTRACT In this case report, we present the clinical course of an 88‐year‐old woman with chronic pelvic pain attributed to an incidental benign mature cystic ovarian teratoma on imaging and discuss common imaging modalities and discussions with ...
Hashim U. Ali, Fahad H. Malik, Mohammad M. Zia, Ashar Ahmed, Mahfujul Z. Haque, Masood Siddiqui   +5 more
wiley   +1 more source

Durable B‐Cell Impairment While Sparing IgA B Cells After Ocrelizumab Therapy in Multiple Sclerosis

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objectives Ocrelizumab (OCR), a humanized anti‐CD20 monoclonal antibody, is highly efficient in relapsing–remitting multiple sclerosis (RR‐MS). We assessed early cellular B‐cell profiles in patients prior to OCR treatment, on OCR treatment, and after 15 months of therapy discontinuation.
Alexandra Garcia, Stephane Rodriguez, Emilie Dugast, Christine Lebrun‐Frenay, Eric Thouvenot, Jérôme de Sèze, Emmanuelle Le Page, Sandra Vukusic, Inès Doghri, Eric Berger, Olivier Casez, Pierre Labauge, Aurélie Ruet, Catarina Raposo, Fabienne Le Frère, Arnaud B. Nicot, Sandrine Wiertlewski, Pierre‐Antoine Gourraud, Laure Michel, Laureline Berthelot, David‐Axel Laplaud   +20 more
wiley   +1 more source

Study on the Axial Compressive Behavior and Constitutive Relationship of Lightweight Mixed Ceramic Concrete. [PDF]

Materials (Basel)
Huang Y, Huang W, Huang Q, Tuo W, Feng Q.   +4 more
europepmc   +1 more source

A linear-time algorithm to decide whether a binary word contains an overlap [PDF]

, 1988
A. J. Kfoury
openalex   +1 more source

Decidability of Trace Equivalence for Protocols with Nonces

IEEE Computer Security Foundations Symposium, 2015
Rémy Chrétien, V. Cortier, S. Delaune
semanticscholar   +1 more source

Serum Neurofilament Light Chain in Multiple Sclerosis: Superiority of Age‐ and BMI‐Corrected Z Scores/Percentiles Over Absolute Cutoff Values for Prediction of Treatment Response

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Prognostication of disease course and prediction of treatment response in multiple sclerosis is an unmet need. We compared the performance of serum neurofilament light chain Z scores (age‐ and BMI‐adjusted) with absolute concentrations for the prediction of response to disease‐modifying therapy.
Maximilian Einsiedler, Aleksandra Maleska Maceski, Sofia Sandgren, Johanna Oechtering, Sabine Schaedelin, Lisa Hofer, Amar Zadic, Juan Francisco Vilchez Gomez, Lester Melie‐Garcia, Alessandro Cagol, Riccardo Galbusera, Sebastian Finkener, Patrice Lalive, Marjolaine Uginet, Stefanie Müller, Caroline Pot, Amandine Mathias, Renaud Du Pasquier, Robert Hoepner, Andrew Chan, Giulio Disanto, Chiara Zecca, Marcus D’Souza, Lars G. Hemkens, Tobias Derfuss, Özgür Yaldizli, Patrick Roth, Claudio Gobbi, David Brassat, Björn Tackenberg, Henrik Zetterberg, Tjalf Ziemssen, Heinz Wiendl, Klaus Berger, Marco Hermesdorf, Fredrik Piehl, Ludwig Kappos, Cristina Granziera, Ahmed Abdelhak, David Leppert, Eline A. J. Willemse, Pascal Benkert, Jens Kuhle, Swiss Multiple Sclerosis Cohort Study (SMSC)   +43 more
wiley   +1 more source

Ability and knowledge: from epistemic transition systems to labelled stit models. [PDF]

Auton Agent Multi Agent Syst
Kuncová A, Broersen J, Duijf H, Ramírez Abarca AI.   +3 more
europepmc   +1 more source

A decidable fragment of the elementary theory of the lattice of recursively enumerable sets [PDF]

, 1980
Manuel Lerman, Robert I. Soare
openalex   +1 more source

Decidability of the Reachability for a Family of Linear Vector Fields

Automated Technology for Verification and Analysis, 2015
Ting Gan, Mingshuai Chen, Liyun Dai, Bican Xia, N. Zhan   +4 more
semanticscholar   +1 more source