Results 111 to 120 of about 74,343 (191)

Coqs

Caramel, 2023
openaire   +2 more sources

Modal Linear Logic in Higher Order Logic, an experiment in Coq

, 2003
The sequent calculus of classical modal linear logic KDT 4lin is coded in the higher order logic using the proof assistant COQ. The encoding has been done using two-level meta reasoning in Coq.
Sadrzadeh, Mehrnoosh
core   +1 more source

Les dieux gaulois à la bourse

Gerión, 2009
Les attributs les plus fréquents du Mercure gaulois sont le caducée, la bourse, le coq et le bouc (ou le bélier). L'analyse de ces attributs, qui sont occasionnellement associés à d'autres divinités, montre que leurs functions concernaient le cycle de la
Adolfo Zavaroni
doaj  

Non-canonical role of natural quinones in mitochondrial nucleoid organization for maintaining respiration and protecting cardiac function. [PDF]

J Biochem
Pal S, Ishihara T, Setoyama D, Chen CL, Onoue K, Yonemura S, Ogasawara E, Ishihara N.   +7 more
europepmc   +1 more source

Elevated cellular accumulation of endogenous and exogenous CoQ by altered intracellular trafficking. [PDF]

J Biol Chem
Wang Y, Hekimi S.
europepmc   +1 more source

Case Report: Pediatric nephrology-expanding the genotypic spectrum of <i>COQ2</i>-related nephropathy with a novel splice site variant in CoQ10-responsive SRNS. [PDF]

Front Med (Lausanne)
Huang YR, Pal A, Tsai AC.
europepmc   +1 more source

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

Nat Metab
Strefeler A, Baker ZN, Chollet S, Foged MM, Guerra RM, Ivanisevic J, Gallart-Ayala H, Pagliarini DJ, Jourdain AA.   +8 more
europepmc   +1 more source

Program in Coq

, 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

Enzymes that generate and regulate intracellular persulfides and polysulfides: mechanistic insights and inhibitors. [PDF]

Front Physiol
Hirabayashi K, Sasaki E, Ohno H, Takayama O, Yamada S, Hanaoka K.   +5 more
europepmc   +1 more source

Navigating the complexities of ferroptosis in pancreatic ductal adenocarcinoma: roles, mechanisms and potential applications. [PDF]

Cell Death Discov
Xiao Y, Wang W, Wang G, Liu Y, Gong J.
europepmc   +1 more source