Relevant bibliographies by topics / Alector ou le coq

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers
  6. Reports

Academic literature on the topic 'Alector ou le coq'

Author: Grafiati
Published: 4 June 2021
Last updated: 9 February 2022

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Alector ou le coq.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Alector ou le coq"

1

Bowen, Barbara C., Barthelemy Aneau, and Marie Madeleine Fontaine. "Alector ou le coq: Histoire fabuleuse." Sixteenth Century Journal 28, no. 3 (1997): 928. http://dx.doi.org/10.2307/2543046.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Meyer, Jenny. "Barthélemy Aneau’s Alector ou le coq and the Paradox of Renaissance Cosmopolitanism." Renaissance and Reformation 38, no. 1 (2015): 5–26. http://dx.doi.org/10.33137/rr.v38i1.22780.

Full text
Abstract:
Barthélemy Aneau’s histoire fabuleuse, Alector ou le coq (1560) epitomizes a burgeoning sixteenth-century awareness of the globe and its scope. New possibilities for envisioning global space went hand in hand with the development of cosmopolitan sympathies among Renaissance humanists; namely, enthusiasm for the ideal of a world republic. In this article, I show how Aneau’s fictional narrative demonstrates an idealized vision of the French monarch’s global role. I argue that Alector is written in the spirit of the princely manual, with a singular emphasis on the monarch’s obligatory mastery of
APA, Harvard, Vancouver, ISO, and other styles
3

BAMFORTH, S. J. "Review. Alector, ou le Coq: Histoire fabuleuse. Edite par Marie-Madeleine Fontaine. Aneau, Barthelemy." French Studies 52, no. 3 (1998): 334. http://dx.doi.org/10.1093/fs/52.3.334.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Servet, Pierre. "Alector et le roman d'aventures médiéval." Bulletin de l'Association d'étude sur l'humanisme, la réforme et la renaissance 39, no. 1 (1994): 45–73. http://dx.doi.org/10.3406/rhren.1994.1990.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Sozeau, Matthieu, Simon Boulier, Yannick Forster, Nicolas Tabareau, and Théo Winterhalter. "Coq Coq correct! verification of type checking and erasure for Coq, in Coq." Proceedings of the ACM on Programming Languages 4, POPL (2020): 1–28. http://dx.doi.org/10.1145/3371076.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Price, Roger D., and K. C. Emerson. "NEW MALLOPHAGA FROM THE BLACK CURASSOW (GALLIFORMES: CRACIDAE) IN VENEZUELA1." Journal of Entomological Science 21, no. 4 (1986): 309–14. http://dx.doi.org/10.18474/0749-8004-21.4.309.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

PROUS, MARKO, MIKK HEIDEMAA, and VILLU SOON. "Empria longicornis species group: taxonomic revision with notes on phylogeny and ecology (Hymenoptera, Tenthredinidae)." Zootaxa 2756, no. 1 (2011): 1. http://dx.doi.org/10.11646/zootaxa.2756.1.1.

Full text
Abstract:
The Empria longicornis species group (Hymenoptera, Tenthredinidae) is revised. Empria japonica Heidemaa & Prous, sp. nov. is described from Japan. The lectotypes of Empria gussakovskii Dovnar-Zapolskij, 1929, E. konowi Dovnar-Zapolskij, 1929, Poecilosoma longicornis Thomson, 1871, P. mongolica Konow, 1895, and P. tridens Konow, 1896 are designated. Empria konowi Dovnar-Zapolskij, 1929 (syn. nov.) and E. gussakovskii Dovnar-Zapolskij, 1929 (syn. nov.) are synonymized with E. tridens (Konow, 1896), and Empria waldstaetterense Liston, 1980 (syn. nov.) with E. alector Benson, 1938. Empria alpi
APA, Harvard, Vancouver, ISO, and other styles
8

Awad, Agape M., Michelle C. Bradley, Lucía Fernández-del-Río, Anish Nag, Hui S. Tsui, and Catherine F. Clarke. "Coenzyme Q10 deficiencies: pathways in yeast and humans." Essays in Biochemistry 62, no. 3 (2018): 361–76. http://dx.doi.org/10.1042/ebc20170106.

Full text
Abstract:
Coenzyme Q (ubiquinone or CoQ) is an essential lipid that plays a role in mitochondrial respiratory electron transport and serves as an important antioxidant. In human and yeast cells, CoQ synthesis derives from aromatic ring precursors and the isoprene biosynthetic pathway. Saccharomyces cerevisiae coq mutants provide a powerful model for our understanding of CoQ biosynthesis. This review focusses on the biosynthesis of CoQ in yeast and the relevance of this model to CoQ biosynthesis in human cells. The COQ1–COQ11 yeast genes are required for efficient biosynthesis of yeast CoQ. Expression of
APA, Harvard, Vancouver, ISO, and other styles
9

Paredes-Fuentes, Abraham J., Raquel Montero, Anna Codina, et al. "Coenzyme Q10 Treatment Monitoring in Different Human Biological Samples." Antioxidants 9, no. 10 (2020): 979. http://dx.doi.org/10.3390/antiox9100979.

Full text
Abstract:
Coenzyme Q10 (CoQ) treatment monitoring is a matter of debate since CoQ distribution from plasma to blood cells and tissues is not fully understood. We aimed to analyze the CoQ levels in a wide set of human biological samples (plasma, blood mononuclear cells (BMCs), platelets, urinary cells, and skeletal muscle) from a group of 11 healthy male runners before and after CoQ supplementation. The CoQ content in the different samples was analyzed by HPLC coupled to electrochemical detection. No significant differences were observed in the CoQ levels measured in the BMCs, platelets, and urine after
APA, Harvard, Vancouver, ISO, and other styles
10

Subramanian, Kelly, Adam Jochem, Maxence Le Vasseur, et al. "Coenzyme Q biosynthetic proteins assemble in a substrate-dependent manner into domains at ER–mitochondria contacts." Journal of Cell Biology 218, no. 4 (2019): 1353–69. http://dx.doi.org/10.1083/jcb.201808044.

Full text
Abstract:
Coenzyme Q (CoQ) lipids are ancient electron carriers that, in eukaryotes, function in the mitochondrial respiratory chain. In mitochondria, CoQ lipids are built by an inner membrane–associated, multicomponent, biosynthetic pathway via successive steps of isoprenyl tail polymerization, 4-hydroxybenzoate head-to-tail attachment, and head modification, resulting in the production of CoQ. In yeast, we discovered that head-modifying CoQ pathway components selectively colocalize to multiple resolvable domains in vivo, representing supramolecular assemblies. In cells engineered with conditional ON o
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Alector ou le coq"

1

Soares, Dos Santos Greis Yvone. "Alector, Histoire fabuleuse (1560) : traduction en portugais de l'histoire fabuleuse de Barthélémy Aneau et étude critique de la ville imaginaire d'Orbe." Thesis, Tours, 2013. http://www.theses.fr/2013TOUR2026.

Full text
Abstract:
L'objectif de cette thèse est de présenter la traduction en portugais d’Alector, histoire fabuleuse, de Barthélemy Aneau, œuvre publiée en 1560 à Lyon par Pierre Fradin. Cette thèse s’organise en deux parties. Partie A: étude critique de la ville imaginaire d’Orbe développée en trois étapes: a) l’analyse des aspects généraux du texte, en particulier le jugement d’Alector; b) la dimension utopique de la ville orbitaine; et, c) sa dimension religieuse. Partie B: étude qui a préparé la traduction et contient deux chapitres: le premier vise à caractériser le travail, à discuter le sens du choix de
APA, Harvard, Vancouver, ISO, and other styles
2

Lundstedt, Anders. "Realizability in Coq." Thesis, KTH, Matematik (Avd.), 2015. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-174109.

Full text
Abstract:
This thesis describes a Coq formalization of realizability interpretations of arithmetic. The realizability interpretations are based on partial combinatory algebras—to each partial combinatory algebra there is an associated realizability interpretation. I construct two partial combinatory algebras. One of these gives a realizability interpretation equivalent to Kleene’s original one, without involving the usual recursion-theoretic machinery.<br>Den här uppsatsen beskriver en Coq-formalisering av realiserbarhetstolkningar av aritmetik. Realiserbarhetstolkningarna baseras på partiella kombinato
APA, Harvard, Vancouver, ISO, and other styles
3

Claret, Guillaume. "Program in Coq." Thesis, Sorbonne Paris Cité, 2018. http://www.theses.fr/2018USPCC068/document.

Full text
Abstract:
Dans cette thèse, nous cherchons à développer de nouvelles techniques pour écrire plus simplement des programmes formellement vérifiés. Nous procédons en étudiant l'utilisation de Coq en tant que langage de programmation dans différents environnements. Coq étant un langage purement fonctionnel, nous nous concentrons surtout sur la représentation et la spécification d'effets impurs, tel que les exceptions, les références mutables, les entrées-sorties et la concurrence.Nous travaillons premièrement sur deux projets préliminaires qui nous aident à comprendre les défis existants dans la programmat
APA, Harvard, Vancouver, ISO, and other styles
4

Jakubiec, Line. "Vérification de circuits dans Coq." Aix-Marseille 1, 1999. http://www.theses.fr/1999AIX11030.

Full text
Abstract:
La verification formelle de circuits integres garantit de facon rigoureuse leur fiabilite. Pour ce faire, les assistants de preuve sont de plus en plus utilises. Le systeme coq, base sur le calcul des constructions inductives avec types co-inductifs, presente des particularites interessantes et originales. Nous etudions ce que ce systeme peut apporter dans le domaine de la specification et de la verification de circuits. Apres avoir montre l'interet des types dependants pour donner des specifications de circuits precises et donc fiables, nous utilisons le mecanisme d'extraction coq pour synthe
APA, Harvard, Vancouver, ISO, and other styles
5

Glondu, Stéphane. "Vers une certification de l'extraction de coq." Paris 7, 2012. http://www.theses.fr/2012PA077089.

Full text
Abstract:
L'assistant de preuve Coq permet de s'assurer mécaniquement de la correction de chaque étape de raisonnement dans une preuve. Ce système peut également servir au développement de programmes certifiés. En effet, Coq utilise en interne un langage typé dérivé du lambda-calcul, le calcul des constructions inductives (CIC). Ce langage est directement utilisable pour programmer, et un mécanisme, l'extraction, permet de traduire les programmes CIC vers des langages à plus large audience tels qu'OCaml, Haskell ou Scheme. L'extraction n'est pas un simple changement de syntaxe: CIC dispose d'un système
APA, Harvard, Vancouver, ISO, and other styles
6

Vinogradova, Polina. "Formalizing Abstract Computability: Turing Categories in Coq." Thesis, Université d'Ottawa / University of Ottawa, 2017. http://hdl.handle.net/10393/36354.

Full text
Abstract:
The concept of a recursive function has been extensively studied using traditional tools of computability theory. However, with the development of category-theoretic methods it has become possible to study recursion in a more general (abstract) sense. The particular model this thesis is structured around is known as a Turing category. The structure within a Turing category models the notion of partiality as well as recursive computation, and equips us with the tools of category theory to study these concepts. The goal of this work is to build a formal language description of this computation m
APA, Harvard, Vancouver, ISO, and other styles
7

Ledovskaya, Yulia. "Marketing plan for Le Coq Sportif Russia." Master's thesis, NSBE - UNL, 2014. http://hdl.handle.net/10362/11904.

Full text
Abstract:
A Work Project, presented as part of the requirements for the Award of a Masters Degree in Management from the NOVA – School of Business and Economics<br>I am going to take the position of the Head Office in France and look at the Russian business performance as a part of the global business. Results of several researches indicate a clear picture of the challenges on the Russian market, as low awareness of the brand, low penetration of the brand and complexity with the marketing mix implementation due to wide differences in terms of behavior, overall environment in the cities and climate betw
APA, Harvard, Vancouver, ISO, and other styles
8

Narboux, Julien. "Formalisation et automatisation du raisonnement géométrique en Coq." Phd thesis, Université Paris Sud - Paris XI, 2006. http://tel.archives-ouvertes.fr/tel-00118806.

Full text
Abstract:
L'objet de cette thèse est la formalisation et l'automatisation du raisonnement géométrique au sein de l'assistant de preuve Coq.<br />Dans une première partie, nous réalisons un tour d'horizon des principales axiomatiques de la géométrie puis nous présentons une formalisation des huit premiers chapitres du livre de Schwabäuser, Szmielew et Tarski: Metamathematische Methoden in der Geometrie.<br />Dans la seconde partie, nous présentons l'implantation en Coq d'une procédure de décision pour la géométrie affine plane : la méthode des aires de Chou, Gao et Zhang. Cette méthode produit des preuve
APA, Harvard, Vancouver, ISO, and other styles
9

Erbsen, Andres. "Crafting certified elliptic curve cryptography implementations in Coq." Thesis, Massachusetts Institute of Technology, 2017. http://hdl.handle.net/1721.1/112843.

Full text
Abstract:
Thesis: M. Eng., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 2017.<br>This electronic version was submitted by the student author. The certified thesis is available in the Institute Archives and Special Collections.<br>Cataloged from student-submitted PDF version of thesis.<br>Includes bibliographical references (pages 103-106).<br>Elliptic curve cryptography has become a de-facto standard for protecting the privacy and integrity of internet communications. To minimize the operational cost and enable near-universal adoption, increasingly s
APA, Harvard, Vancouver, ISO, and other styles
10

Philipoom, Jade (Jade D. ). "Correct-by-construction finite field arithmetic in Coq." Thesis, Massachusetts Institute of Technology, 2018. http://hdl.handle.net/1721.1/119582.

Full text
Abstract:
Thesis: M. Eng., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 2018.<br>This electronic version was submitted by the student author. The certified thesis is available in the Institute Archives and Special Collections.<br>Cataloged from student-submitted PDF version of thesis.<br>Includes bibliographical references (pages 73-74).<br>Elliptic-curve cryptography code, although based on elegant and concise mathematical procedures, often becomes long and complex due to speed optimizations. This statement is especially true for the specialized fin
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Alector ou le coq"

1

Aneau, Barthélemy. Alector, ou, Le coq: Histoire fabuleuse. Librarie Droz, 1996.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Aneau, Barthélemy. Alector, ou, Le coq: Histoire fabuleuse. Librarie Droz, 1996.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

Aneau, Barthelemy. Alector, ou Le coq: Histoire fabuleuse. Librairie Droz, 1996.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

Sarraute, Claude. Maman coq. J'ai Lu, 1989.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Gélinas, Gratien. Tit-Coq. Leméac, 1987.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

Brancusi, Constantin. Le coq. Centre Georges Pompidou, 1990.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

Papa coq. Ecole des loisirs, 2007.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

Saint-Hilaire, Paul de. Le coq. Philippe Lebaud, 1995.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

Guillou, Jan. Coq Rouge. Norstedt, 1987.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

Laurène, Petit, ed. Le coq. Créalivres, 1986.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "Alector ou le coq"

1

Théry, Laurent, Pierre Letouzey, and Georges Gonthier. "Coq." In The Seventeen Provers of the World. Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11542384_6.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Strub, Pierre-Yves. "Coq Modulo Theory." In Computer Science Logic. Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-15205-4_40.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Freire Nistal, José L., José E. Freire Brañas, Antonio Blanco Ferro, and Juan J. Sánchez Penas. "Fusion in Coq." In Computer Aided Systems Theory — EUROCAST 2001. Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-45654-6_45.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Maksimović, Petar, and Alan Schmitt. "HOCore in Coq." In Interactive Theorem Proving. Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-22102-1_19.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Murata, Kosuke, and Kento Emoto. "Recursion Schemes in Coq." In Programming Languages and Systems. Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-34175-6_11.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Verma, Kumar Neeraj, Jean Goubault-Larrecq, Sanjiva Prasad, and S. Arun-Kumar. "Reflecting BDDs in Coq." In Advances in Computing Science — ASIAN 2000. Springer Berlin Heidelberg, 2000. http://dx.doi.org/10.1007/3-540-44464-5_13.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Sozeau, Matthieu, and Nicolas Tabareau. "Universe Polymorphism in Coq." In Interactive Theorem Proving. Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-08970-6_32.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Kirst, Dominik, and Dominique Larchey-Wendling. "Trakhtenbrot’s Theorem in Coq." In Automated Reasoning. Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-51054-1_5.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Tesson, Julien, Hideki Hashimoto, Zhenjiang Hu, Frédéric Loulergue, and Masato Takeichi. "Program Calculation in Coq." In Algebraic Methodology and Software Technology. Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-17796-5_10.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Honsell, Furio, and Ivan Scagnetto. "Mobility Types in Coq." In Lecture Notes in Computer Science. Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/978-3-540-24849-1_21.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Alector ou le coq"

1

Kennedy, Andrew, Nick Benton, Jonas B. Jensen, and Pierre-Evariste Dagand. "Coq." In the 15th Symposium. ACM Press, 2013. http://dx.doi.org/10.1145/2505879.2505897.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Lenglet, Sergueï, та Alan Schmitt. "HOπ in Coq". У the 7th ACM SIGPLAN International Conference. ACM Press, 2018. http://dx.doi.org/10.1145/3176245.3167083.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Lenglet, Sergueï, та Alan Schmitt. "HOπ in Coq". У CPP '18: Certified Proofs and Programs. ACM, 2018. http://dx.doi.org/10.1145/3167083.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Verbruggen, Wendy, Edsko de Vries, and Arthur Hughes. "Polytypic programming in COQ." In the ACM SIGPLAN workshop. ACM Press, 2008. http://dx.doi.org/10.1145/1411318.1411326.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Celik, Ahmet, Karl Palmskog, Marinela Parovic, Emilio Jesus Gallego Arias, and Milos Gligoric. "Mutation Analysis for Coq." In 2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE). IEEE, 2019. http://dx.doi.org/10.1109/ase.2019.00057.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Madlener, Ken, and Sjaak Smetsers. "GSOS Formalized in Coq." In 2013 International Symposium on Theoretical Aspects of Software Engineering (TASE). IEEE, 2013. http://dx.doi.org/10.1109/tase.2013.34.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Silva, Rafael Castro G., Cristiano Vasconcellos, and Karina Girardi Roggia. "Monadic W in Coq." In SBLP '20: 24th Brazilian Symposium on Programming Languages. ACM, 2020. http://dx.doi.org/10.1145/3427081.3427085.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Morrisett, Greg. "Challenges in compiling Coq." In PPDP '16: 18th International Symposium on Principles and Practice of Declarative Programming. ACM, 2016. http://dx.doi.org/10.1145/2967973.2970379.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Philippe, Jolan, and Frédéric Loulergue. "Parallel programming with Coq." In SAC '19: The 34th ACM/SIGAPP Symposium on Applied Computing. ACM, 2019. http://dx.doi.org/10.1145/3297280.3299742.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Bergeron, Raymond McCarthy. "La lune et le coq." In ACM SIGGRAPH 2012 Computer Animation Festival. ACM Press, 2012. http://dx.doi.org/10.1145/2341836.2341872.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Alector ou le coq"

1

Wolfe, Michael D. Development of the 'City of Quality (Coq)' Group Decision Support System. Defense Technical Information Center, 1990. http://dx.doi.org/10.21236/ada226744.

Full text
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Alector ou le coq' for particular source types:
Journal articles Dissertations / Theses Books
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography