Results 51 to 60 of about 15,364 (243)

A comprehensible guide to a new unifier for CIC including universe polymorphism and overloading [PDF]

, 2017
International audienceUnification is a core component of every proof assistant or programming language featuring dependent types. In many cases, it must deal with higher order problems up to conversion. Since unification in such conditions is undecidable,
BETA ZILIANI, Sozeau, Matthieu, Ziliani, Luis Francisco, Ziliani, Beta, MATTHIEU SOZEAU   +4 more
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

Synchronization Abstraction in the BETA Programming Language

, 2008
: This paper argues that synchronization of processes need not be part of the core of a programming language, but that they can just as well be built from existing abstractions- provided these are sufficiently flexible and general.

core  

Network-aware Evaluation Environment for Reputation Systems

, 2013
Parties of reputation systems rate each other and use ratings to compute reputation scores that drive their interactions. When deciding which reputation model to deploy in a network environment, it is important to find the most suitable model and to ...
Nicola, Rocco,, Alessandro Celestini, De Nicola, Rocco, A. Celestini, Tiezzi, Francesco, Celestini, Alessandro, Rocco De Nicola, De Nicola, R, Francesco Tiezzi, R. De Nicola   +9 more
core   +1 more source

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

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

Cognitive and Neuroimaging Divergence Between Juvenile and Adult FUS Amyotrophic Lateral Sclerosis

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Amyotrophic lateral sclerosis (ALS) is a neurodegenerative disorder characterized by progressive motor neuron degeneration. Fused in sarcoma (FUS)‐associated juvenile ALS (jALS) represents a distinct and aggressive subgroup with rapid deterioration and poor prognosis.
Alexandra V. Jürs, Marcel Naumann, Annaliis Lehto, Hanna Schön, Jens Kurth, Johannes Prudlo, Andreas Hermann, Elisabeth Kasper   +7 more
wiley   +1 more source

Teaching object-oriented programming using BETA

, 1990
This paper describes the approach to teaching object-oriented programming at Aarhus University. This includes a brief discussion of the conceptual approach to teaching object-oriented programming. The BETA language is used as a basis for the teaching.
Nørgaard, Claus, Sandvad, Elmer, Knudsen, Jørgen Lindskov, Petersen, Lars Bak, Madsen, Ole Lehrmann   +4 more
core  

Effects of Add‐On Icosapent Ethyl With Standard Treatment on Functional Outcomes and Inflammatory Biomarkers in Acute Ischemic Stroke: A Blinded Randomized Controlled Trial

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Background Ischemic stroke, a major cause of mortality and long‐term disability, results from the abrupt cessation of cerebral blood flow due to vascular occlusion or rupture. Icosapent Ethyl (EPA‐EE), approved for hypertriglyceridemia, has anti‐inflammatory and antithrombotic properties that may lessen ischemic damage.
Mitra Mahmoudi Meymand, Seyed Hossein Aghamiri, Saeed Mohmammad Soleymani, Shadiyeh Bararpoor Poshkohi, Samaneh Masoudi, Hadi Esmaily   +5 more
wiley   +1 more source

BETA Language Development: Survey Report, 1. November 1976

, 1977
The report describes ongoing work within the Joint Language Project (JLP). Research workers from Aarhus aned Aalborg Universities. Denmark and the Norwegian Computing Center, Oslo, Norway participate in the project.
Nygaard, Kristen, Kristensen, Bent Bruun, Madsen, Ole Lehrmann   +2 more
core