A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Filters
The Regulation of Coenzyme Q Biosynthesis in Eukaryotic Cells: All That Yeast Can Tell Us
2014
Molecular Syndromology
Preserved Fulltext
In general, the induction of COQ gene expression produced by metabolic changes or stress is modulated downstream by other regulatory mechanisms such as the protein import to mitochondria, the assembly ...
The activity of Coq8p, probably as kinase, allows the formation of an initial pre-complex containing all Coq proteins with the exception of Coq7p. ...
Spanish Ministerio de Ciencia y Tecnología, Spanish PI11/00078, Junta de Andalucía P08-CTS-03988 and by the International Q 10 Association 'Phosphorylation based regulation of coenzyme Q biosynthesis in ...
doi:10.1159/000362897
pmid:25126044
pmcid:PMC4112530
fatcat:e7xageifh5canis3fnkrmoawqi
ESR and monolayer study of the localization of coenzyme Q10 in artificial membranes
2005
General Physiology and Biophysics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The presence of CoQ10 in the hydrophobic core has further implications on the properties of membrane intrinsic domain. ...
The data obtained from the ESR experiments show a complex, depth dependent effect of CoQ10 on the lipid molecules mobility in the bilayer. ...
We conclude therefore that, in DMPC and DPPC monolayers, CoQ 10 molecules are probably organized in some kind of clusters (probably with their tails interacting together laying over the shorter tails of ...
pmid:16474188
fatcat:t52ggezr25acdilr4dwux6nrie
Formalization of Quantum Protocols using Coq
2015
Electronic Proceedings in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
Other Versions
We provide a Coq library for quantum bits (qubits), quantum gates, and quantum measurement. ...
The building of practical, general purpose Quantum Computers may be some years into the future. However, Quantum Communication and Quantum Cryptography are well developed. ...
Future work will aim to look at simplifying some definitions, improving the specifications and enhancing the general readability of the Coq code. ...
doi:10.4204/eptcs.195.6
fatcat:lcghcjetvbhmnbb7gzlube2qpm
Genetic bases and clinical manifestations of coenzyme Q10 (CoQ10) deficiency
2014
Journal of Inherited Metabolic Disease
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Coenzyme Q 10 is a remarkable lipid involved in many cellular processes such as energy production through the mitochondrial respiratory chain (RC), beta-oxidation of fatty acids, and pyrimidine biosynthesis ...
of the CoQ 10 biosynthetic complex, increased degradation of CoQ 10 or a general impairment of mitochondrial function. ...
The antioxidant effect of CoQ 10 is probably highly relevant, in fact renal involvement correlates with increased ROS production in this tissue (Quinzii et al 2013) . ...
doi:10.1007/s10545-014-9749-9
pmid:25091424
fatcat:f4l5ywbhmbh5vlko64nhbp4omm
Automatically Proving Mathematical Theorems with Evolutionary Algorithms and Proof Assistants
[article]
2016
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Other Versions
Ten simple theorems from various branches of mathematics were proven, and most of these theorems cannot be proven by using the tactic auto alone in Coq, the adopted proof assistant. ...
Thanks to the transformation from logic to computation, it is now possible to generate or search for formal proofs directly in the realm of computation. ...
ACKNOWLEDGMENTS The work was supported in part by the Ministry of Science and Technology of Taiwan under Grant MOST 104-2221-E-009-126. ...
arXiv:1602.07455v2
fatcat:mjo5352fkjfpdma3kbe5dqzmx4
Certifying the True Error: Machine Learning in Coq with Verified Generalization Guarantees
2019
PROCEEDINGS OF THE THIRTIETH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE AND THE TWENTY-EIGHTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
MLCERT is practical in that we extract learning procedures defined in Coq to executable code; thus procedures with proved generalization bounds can be trained and deployed in real systems. ...
MLCERT is mechanized in that we prove generalization bounds inside the theorem prover Coq; thus the bounds are machine checked by Coq's proof checker. ...
Any opinions, findings, and conclusions or recommendations expressed in this material are those of the authors and do not necessarily reflect the views of the NSF or of OFRN. ...
doi:10.1609/aaai.v33i01.33012662
fatcat:74lsnkwiyvanzldlcm6ch7mcou
Position Paper: Thoughts on Programming with Proof Assistants
2007
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
My purpose in this position paper is to make the general claim that Coq is already quite useful today for non-trivial certified programming tasks, as well as to highlight some reasons why you might want ...
to consider using it as a base for your next project in dependently-typed programming. ...
The auto tactic probably generates proof terms that aren't as nice to read as those I've used here. ...
doi:10.1016/j.entcs.2006.10.035
fatcat:d7cpjqwofvg4vmcayekhvpfx4m
Cerebellar ataxia with coenzyme Q10 deficiency: Diagnosis and follow-up after coenzyme Q10 supplementation
2006
Journal of the Neurological Sciences
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Conclusions: Cerebellar ataxia associated with CoQ deficiency in our case might be allocated in the transprenylation pathway or in the metabolic steps after condensation of 4-hydroxybenzoate and the prenyl ...
CoQ concentration in muscle was decreased (56 nmol/g of protein: reference values: 157 -488 nmol/g protein). ...
phosphorylation dysfunction, and probably, a reduction in ATP synthesis. ...
doi:10.1016/j.jns.2006.01.021
pmid:16677673
fatcat:oozrzjoc25gzppp6z4tvzrlsom
Metabolism and function of coenzyme Q
2004
Biochimica et Biophysica Acta - Biomembranes
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The biosynthesis of CoQ is studied in great detail in bacteria and yeast but only to a limited extent in animal tissues and therefore the informations available is restricted. ...
Coenzyme Q (CoQ) is present in all cells and membranes and in addition to be a member of the mitochondrial respiratory chain it has also several other functions of great importance for the cellular metabolism ...
Species difference is probably a deciding factor as in mice dietary CoQ appear in various organs [231] . ...
doi:10.1016/j.bbamem.2003.11.012
fatcat:r4slxrt33fctpcs67n4z6z55pa
Cost of Quality in Crowdsourcing
2014
Human Computation
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
A well-defined methodology is needed to estimate these impacts in order to manage the crowdsourcing process effectively and efficiently. ...
However, due to loose worker-employer relationships, skill diversity of the crowd and anonymity of participants, it tends to result in lower quality compared to traditional ways of doing work. ...
CoQ Calculations Probability values in Table 6 are used for CoQ calculations. ...
doi:10.15346/hc.v1i2.14
dblp:journals/hc/IrenB14
fatcat:i5hoc3q5tze2tnqabsrwu4qzqi
Towards Autoformalization of Mathematics and Code Correctness: Experiments with Elementary Proofs
[article]
2023
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2023; you can also visit the original URL.
The file type is application/pdf.
of the Coq interactive theorem prover. ...
Experiments on a limited domain of artificial and human-written proofs show that the models generalize well to intermediate lengths not seen during training and variations in natural language. ...
Letting V c denote the Coq vocabulary, X denote the input sequence of LaTeX tokens, and X denote the collection of unique tokens in X, we calculate the probability of producing y t as: p(y t ) = ...
arXiv:2301.02195v1
fatcat:ovznxqhdrja6dnmdzo3lmswyvu
Coenzyme Q-10 improves preservation of mitochondrial functionality and actin structure of cryopreserved stallion sperm
2021
Animal Reproduction
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
For cryopreservation, each ejaculate was divided in three treatments: 1) Botucrio® diluent (control); 2) 50 μmol CoQ-10 added to Botucrio® diluent; 3) 1 mmol CoQ-10 added to Botucrio® diluent. ...
It was concluded that the addition of 1 mmol CoQ-10 to the freezing diluent was more effective in preserving mitochondria functionality and cytoskeleton of sperm cells submitted to cryopreservation process ...
, and a spermatozoon without energy or in oxidative stress, probably will not be successful in fertilization. ...
doi:10.1590/1984-3143-ar2020-0218
pmid:33936294
pmcid:PMC8078863
fatcat:ijnukchbwrey5mytgh3mwnqddm
A Formally Certified End-to-End Implementation of Shor's Factorization Algorithm
[article]
2022
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Quantum computing technology may soon deliver revolutionary improvements in algorithmic performance, but these are only useful if computed answers are correct. ...
quantum programming, we present the first formally certified end-to-end implementation of Shor's prime factorization algorithm, developed as part of a novel framework for applying the certified approach to general ...
Any opinions, findings, conclusions, or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of these agencies. ...
arXiv:2204.07112v1
fatcat:7guc72okn5gkboopsiop4zn2l4
Hormonal Influence on Coenzyme Q10 Levels in Blood Plasma
2011
International Journal of Molecular Sciences
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Due to these two actions, CoQ 10 is commonly used in clinical practice in chronic heart failure, male infertility, and neurodegenerative disease. ...
Coenzyme Q 10 (CoQ 10 ), also known as ubiquinone for its presence in all body cells, is an essential part of the cell energy-producing system. ...
Growth hormone probably influences CoQ 10 consumption, due to accelerated metabolism, as in the case of hyperthyroidism. ...
doi:10.3390/ijms12129216
pmid:22272129
pmcid:PMC3257126
fatcat:t5gw5b4x6fgptapdm55dfw2wza
Verified Correctness and Security of mbedTLS HMAC-DRBG
2017
Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security - CCS '17
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Other Versions
All proofs (hybrid games, C program verification, compiler, and their composition) are machine-checked in the Coq proof assistant. ...
This research was supported in part by DARPA agreement FA8750-12-2-0293 and by NSF Grant CCF-1521602. The U.S. ...
Coq-speci c proofs Working in Coq requires doing many proofs of program and game equivalence. These program equivalence proofs are generally elided, by choice or by accident, in paper proofs. ...
doi:10.1145/3133956.3133974
dblp:conf/ccs/YeGSBPA17
fatcat:ob5xnocvrvc2vftmnv73bwrc3i
« Previous
Showing results 1 — 15 out of 10,340 results