Results 121 to 130 of about 75,676 (211)

N-Acetylglucosamine Selectively Attenuates Neuroinflammation in a Mouse Model of Mitochondrial Dysfunction. [PDF]

open access: yesActa Physiol (Oxf)
Jiménez-Sánchez L   +12 more
europepmc   +1 more source

Program in Coq

open access: yes, 2018
In this thesis, we develop new techniques to conveniently write formally verified programs. To proceed, we study the use of Coq as a programming language in different settings. Coq being a purely functional language, we mainly focus on the representation and on the specification of impure effects, like exceptions, mutable references, inputs-outputs ...
openaire   +1 more source

Uridine-sensitized screening identifies demethoxy-coenzyme Q and NUDT5 as regulators of nucleotide synthesis. [PDF]

open access: yesNat Metab
Strefeler A   +8 more
europepmc   +1 more source

Home - About - Disclaimer - Privacy