Results 71 to 80 of about 533,253 (261)

Realising nondeterministic I/O in the Glasgow Haskell Compiler [PDF]

, 2003
In this paper we demonstrate how to relate the semantics given by the nondeterministic call-by-need calculus FUNDIO [SS03] to Haskell. After introducing new correct program transformations for FUNDIO, we translate the core language used in the Glasgow ...
Sabel, David
core   +1 more source

[18F]Fluorodeprenyl‐D2 PET as a Tool to Monitor Disease Activity in GAD65‐Ab Autoimmune Encephalitis

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective To evaluate [18F]fluorodeprenyl‐D2 ([18F]F‐DED) positron‐emission tomography (PET) imaging as a biomarker of disease activity in autoimmune encephalitis (AIE) associated with glutamic acid decarboxylase 65 (GAD65) antibodies. Methods [18F]F‐DED PET was performed in 25 GAD65‐AIE patients and 8 controls using dynamic (0–60 min) and ...
Julia S. Dorneich, Jonathan A. Gernert, Hanna Zimmermann, Lisa Tagnin, Marianthi Zeinaki, Laura Sanzo, Letizia Vogler, Elisabeth Kaufmann, Justina Dargvainiene, Frank Leypoldt, Gérard N. Bischof, Robert Perneczky, Boris‐Stephan Rauchmann, Simon Lindner, Günter U. Höglinger, Rudolf A. Werner, Martin Kerschensteiner, Tania Kümpfel, Matthias Brendel, Franziska S. Thaler   +19 more
wiley   +1 more source

On correctness of buffer implementations in a concurrent lambda calculus with futures [PDF]

, 2009
Motivated by the question of correctness of a specific implementation of concurrent buffers in the lambda calculus with futures underlying Alice ML, we prove that concurrent buffers and handled futures can correctly encode each other.
Niehren, Joachim, Sabel, David, Schmidt-Schauß, Manfred, Schwinghammer, Jan   +3 more
core   +2 more sources

Advancing Age Modulates Associations Between Cognitive Impairment and Brain Volumes in Early MS

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Introduction Cognitive impairment is common in multiple sclerosis (MS), but manifestations following the first demyelinating event are relatively unexplored. We investigated cross‐sectional associations between magnetic resonance imaging (MRI)–derived brain volumes and the presence of cognitive impairment outcomes five years after the first ...
Piriyankan Ananthavarathan, Marco Pitteri, Michael Foster, Sara Collorone, Sara Salama, Elisa Colato, Ferran Prados, Baris Kanber, Marios Yiannakas, Claudia A. M. Gandini Wheeler‐Kingshott, Indran Davagnanam, Frederik Barkhof, Declan Chard, Olga Ciccarelli, Ahmed Toosy   +14 more
wiley   +1 more source

Role of Serum and Ultrasonometric Markers in the Early Diagnosis of Malignant Transformation of Periductal Liver Fibrosis in Patients with Opisthorchis Felineus Infection

Российский журнал гастроэнтерологии, гепатологии, колопроктологии
Аim: to study the role of serum and ultrasonometric markers in the early diagnosis of malignant transformation of periductal fibrosis of the liver during the formation of cholangiocarcinoma against the background of chronic invasion of Opisthorchis ...
A. Е. Kovshirina, O. S. Fedorova, Yu. V. Kovshirina, V. A. Petrov   +3 more
doaj   +1 more source

On generic context lemmas for lambda calculi with sharing [PDF]

, 2007
This paper proves several generic variants of context lemmas and thus contributes to improving the tools to develop observational semantics that is based on a reduction semantics for a language.
Sabel, David, Schmidt-Schauß, Manfred
core   +2 more sources

Clinical Practice Guideline for Evaluation and Management of Peripheral Nervous System Manifestations in Sjögren's Disease

Arthritis Care &Research, EarlyView.
Objective Sjögren's disease is an autoimmune disorder that can impact multiple organ systems, including the peripheral nervous system (PNS). PNS manifestations, which can exist concurrently, include mononeuropathies, polyneuropathies, and autonomic nervous system neuropathies.
Anahita Deboo, Robert Fox, Katherine M. Hammitt, Julie Frantsve‐Hawley, Matthew C. Baker, Stamatina Danielides, Eduardo De Sousa, Brent P. Goodman, Jennifer K. King, Steven Mandel, Ghaith Noaiseh, Pantelis P. Pavlakis, George Sarka, R. Hal Scofield, Arun Varadhachary, Daniel J. Wallace, Matt Makara, Nancy Carteron, Steven Carsons, in collaboration with the Consensus Expert Panel (CEP) members, G. Alden Adkins, Brittany Adler, Hossein Ansari, Senada Arabelovic, Alan Baer, Denis Balaban, Shamik Bhattacharyya, Evelyn Bromet, Krishna Chaganti, Kamal Chemali, Melissa Cortez, Schartess Culpepper, Paul Dellaripa, Dana Direnzo, Daniel El Bogdadi, Robert Fearon, Mehrnez Fischbach, Judi Furlong, Christopher Gibbons, Rachael Gordon, Thomas Grader Beck, Syed Haider, Larry Hollenbeck, Chadwick R. Johr, Stuart S. Kassan, Brian King, Octavia Kincaid, Eugene Kissin, Vasileios Kyttaris, Lindsay Lally, Brandon M. Law, Janet Lewis, Scott M. Lieberman, Amanda Lusa, Joseph Lutt, Rashmi Maganti, Arthur M. Mandelin, Sara McCoy, Kerry Neall, Timothy Niewold, Anne Louise Oaklander, Ruben A. Peredo‐Wende, Lynn Petruzzi, Mark A. Porter, Guada Respicio Duque, Tania Reyna, Nathaniel M. Robbins, Elliot D. Rosenstein, Laura Rosow, Breanna Ruthrauff, Amit Sachdev, Nora Sandorfi, Sarah Schafer, Elena Schiopu, Chokkalingam Siva, Daniel Small, Sara M. Stern, Lauren Stiles, Susan Stoddard, Jinny Tavee, Donald Thomas, Edward L. Treadwell, Nagagopal Venna, Steven Vernino, Frederick B. Vivino, Brittany Weber, Sepideh Yadollahi, Huiying Yu, Scott Zashin   +88 more
wiley   +1 more source

An Embedded Rule-Based Diagnostic Expert System in Ada [PDF]

Ada is becoming an increasingly popular programming language for large Government-funded software projects. Ada with it portability, transportability, and maintainability lends itself well to today's complex programming environment.
Jones, Robert E., Liberman, Eugene M.
core   +1 more source

Cognitive Behavioral Therapy for Youth With Childhood‐Onset Lupus: A Randomized Clinical Trial

Arthritis Care &Research, EarlyView.
Objective Our objective was to determine the feasibility and acceptability of the Treatment and Education Approach for Childhood‐Onset Lupus (TEACH), a six‐session cognitive behavioral intervention addressing depressive, fatigue, and pain symptoms, delivered remotely to individual youth with lupus by a trained interventionist.
Natoshia R. Cunningham, Thea Senger‐Carpenter, Jocelyn Zuckerman, Michelle Adler, Mallet R. Reid, Ashley Danguecan, Luana Flores Pereira, Sarah I. Mossad, Samantha L. Ely, Khalid Abulaban, Elizabeth A. Kessler, Natalie Rosenwasser, Tamar B. Rubinstein, Ekemini A. Ogbu, Emily A. Smitherman, Alaina Miller, Taylor Abounader, Elizabeth Ross, Livie Timmerman, Dhriti Sharma, Jennifer N. Stinson, Stacy Allen, Kabita Nanda, Tala El Tal, Deborah M. Levy, Linda T. Hiraki, Hermine I. Brunner, Mathew Reeves, Steven J. Pierce, Andrea Knight   +29 more
wiley   +1 more source

Investigation of Intestinal Microbiota and Short-Chain Fatty Acids in Colorectal Cancer and Detection of Biomarkers

Pathogens
Colorectal cancer (CRC) is one of the most common cancers worldwide and a significant global health issue. The human gut microbiota, a complex ecosystem hosting numerous microorganisms such as bacteria, viruses, fungi, and protozoa, plays a crucial role.
Esra Saylam, Özben Özden, Fatma Hümeyra Yerlikaya, Abdullah Sivrikaya, Serdar Yormaz, Uğur Arslan, Mustafa Topkafa, Salih Maçin   +7 more
doaj   +1 more source