العنوان البديل: LE COQ SPORTIF, THE TRICOLOR FIBER.

المؤلفون: CHANEL, SORLIN

المصدر: Stratégies. 2/15/2024, Issue 2207, p10-11. 2p.

مصطلحات موضوعية: *SPORTS sponsorship, *MARKETING, *BUSINESS expansion, OLYMPIC Games (33rd : 2024 : Paris, France)

الشركة/الكيان: LE Coq Sportif Holding SA

المؤلفون: Palmkvist, Viktor, Castegren, Elias, Doktor, 1987, Haller, Philipp, Broman, David

المصدر: Proceedings of the ACM on Programming Languages. 7(POPL):1686-1712

مصطلحات موضوعية: Parsers, Ambiguity, Coq, OCaml, Datavetenskap, Computer Science

وصف الملف: electronic

الوصول الحر: https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-495048Test
https://doi.org/10.1145/3571251Test
https://uu.diva-portal.org/smash/get/diva2:1730211/FULLTEXT01.pdfTest

المؤلفون: Matthes, Ralph, Wullaert, Kobe, Ahrens, Benedikt

المساهمون: Assistance à la Certification d’Applications DIstribuées et Embarquées (IRIT-ACADIE), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Toulouse Mind & Brain Institut (TMBI), Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), Delft University of Technology (TU Delft), University of Birmingham Birmingham, Jakob Rehof

المصدر: 9th International Conference on Formal Structures for Computation and Deduction (FSCD 2024)
https://hal.science/hal-04642448Test
9th International Conference on Formal Structures for Computation and Deduction (FSCD 2024), Jul 2024, Tallinn, Estonia. pp.25:1-25:22, ⟨10.4230/LIPIcs.FSCD.2024.25⟩

مصطلحات موضوعية: Substitution, Monoidal categories, Actegories, Tensorial strength, Proof assistant Coq, UniMath library, Non-wellfounded syntax, [INFO]Computer Science [cs]

جغرافية الموضوع: Tallinn, Estonia

الوقت: Tallinn, Estonia

العلاقة: hal-04642448; https://hal.science/hal-04642448Test; https://hal.science/hal-04642448/documentTest; https://hal.science/hal-04642448/file/LIPIcs.FSCD.2024.25.pdfTest

الإتاحة: https://doi.org/10.4230/LIPIcs.FSCD.2024.25Test
https://hal.science/hal-04642448Test
https://hal.science/hal-04642448/documentTest
https://hal.science/hal-04642448/file/LIPIcs.FSCD.2024.25.pdfTest

المؤلفون: Ahrens, Benedikt, Matthes, Ralph, van der Weide, Niels, Wullaert, Kobe

المساهمون: Delft University of Technology (TU Delft), University of Birmingham Birmingham, Assistance à la Certification d’Applications DIstribuées et Embarquées (IRIT-ACADIE), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Toulouse Mind & Brain Institut (TMBI), Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), Centre National de la Recherche Scientifique (CNRS), Radboud University Nijmegen, NWO project “The Power of Equality” OCENW.M20.380, which is financed by the Dutch Research Council (NWO)

المصدر: Proceedings of the Certified Programs and Proofs (CPP) 2024 ; Certified Programs and Proofs (CPP 2024) ; https://hal.science/hal-04375376Test ; Certified Programs and Proofs (CPP 2024), Jan 2024, London, United Kingdom. à paraître, ⟨10.1145/3636501.3636956⟩ ; https://popl24.sigplan.org/details/CPP-2024-papers/17/Displayed-Monoidal-Categories-for-the-Semantics-of-Linear-LogicTest

مصطلحات موضوعية: linear logic, categorical semantics, monoidal categories, Coq, UniMath, [INFO]Computer Science [cs]

جغرافية الموضوع: London, United Kingdom

العلاقة: hal-04375376; https://hal.science/hal-04375376Test; https://hal.science/hal-04375376/documentTest; https://hal.science/hal-04375376/file/AhrensMatthesVanDerWeideWullaertCPP24.pdfTest

الإتاحة: https://doi.org/10.1145/3636501.3636956Test
https://hal.science/hal-04375376Test
https://hal.science/hal-04375376/documentTest
https://hal.science/hal-04375376/file/AhrensMatthesVanDerWeideWullaertCPP24.pdfTest

المؤلفون: Haselwarter, Philipp, G, Hvass, Benjamin, Salling, Hansen, Lasse, Letager, Winterhalter, Théo, Hriţcu, Cătălin, Spitters, Bas

المساهمون: Aarhus University Aarhus, Deduction modulo, interopérabilité et démonstration automatique (DEDUCTEAM), Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Méthodes Formelles (LMF), Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay), Laboratoire Méthodes Formelles (LMF), Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay), Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay), Programming securely with cryptography (PROSECCO), Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), This work was in part supported by the Concordium Blockchain Research Center at Aarhus University, by a Villum Investigator grant (no. 25804), Center for Basic Research in Program Verification (CPV), from the VILLUM Foundation, by the German Federal Ministry of Education and Research BMBF (grant 16KISK038, project 6GEM), and by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) as part of the Excellence Strategy of the German Federal and State Governments – EXC 2092 CASA - 390781972

المصدر: CPP 2024: Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs ; CPP 2024 - 13th ACM SIGPLAN International Conference on Certified Programs and Proofs ; https://hal.science/hal-04484598Test ; CPP 2024 - 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2024, London, United Kingdom. pp.30-44, ⟨10.1145/3636501.3636961⟩

مصطلحات موضوعية: High-assurance cryptography, Formal verification, Computer-aided cryptography, AES, Coq, [INFO]Computer Science [cs]

جغرافية الموضوع: London, United Kingdom

العلاقة: hal-04484598; https://hal.science/hal-04484598Test; https://hal.science/hal-04484598/documentTest; https://hal.science/hal-04484598/file/3636501.3636961.pdfTest

الإتاحة: https://doi.org/10.1145/3636501.3636961Test
https://hal.science/hal-04484598Test
https://hal.science/hal-04484598/documentTest
https://hal.science/hal-04484598/file/3636501.3636961.pdfTest

المؤلفون: Forster, Yannick, Kirst, Dominik, Mück, Niklas

المساهمون: Yannick Forster and Dominik Kirst and Niklas Mück

مصطلحات موضوعية: Constructive mathematics, Computability theory, Logical foundations, Constructive type theory, Interactive theorem proving, Coq proof assistant

وصف الملف: application/pdf

العلاقة: Is Part Of LIPIcs, Volume 288, 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024); urn:nbn:de:0030-drops-196728; https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2024.29Test

الإتاحة: https://doi.org/10.4230/LIPIcs.CSL.2024.29Test
https://nbn-resolving.org/urn:nbn:de:0030-drops-196728Test

المؤلفون: Velkoska, Cvetanka, Tomov, Mite

المصدر: International Journal of Quality & Reliability Management, 2022, Vol. 40, Issue 6, pp. 1463-1484.

الوصول الحر: http://www.emeraldinsight.com/doi/10.1108/IJQRM-01-2022-0032Test

المؤلفون: van der Maas, Luko

مصطلحات موضوعية: Coq, Iris, Elpi

العلاقة: https://dx.doi.org/10.5281/zenodo.12568604Test

الإتاحة: https://doi.org/10.5281/zenodo.1256860510.5281/zenodo.12568604Test

المؤلفون: Loitzl, Alexander

مصطلحات موضوعية: compiler, program verification, semantics, register allocation, CompCert, Coq

العلاقة: https://dx.doi.org/10.5281/zenodo.12010656Test

الإتاحة: https://doi.org/10.5281/zenodo.1201065710.5281/zenodo.12010656Test

المؤلفون: Corral-Sarasa, Julia, Martínez Gálvez, Juan Manuel, González-García, Pilar, Wendling, Olivia, Jiménez-Sánchez, Laura, López-Herrador, Sergio, Quinzii, Catarina M., Díaz-Casado, María Elena, López, Luis C.

المساهمون: Ministerio de Ciencia e Innovación (España), Agencia Estatal de Investigación (España), European Commission, Junta de Andalucía, Universidad de Granada, Ministerio de Universidades (España), Martínez Gálvez, Juan Manuel

مصطلحات موضوعية: Mitochondrial diseases, Coenzyme Q deficiency, 4-hydroxybenzoic acid, Pharmacological therapy, CoQ biosynthesis, Cardiac insufficiency, Neurodevelopmental disorders, Perinatal lethality, Translational medicine, Metabolic disorders

وصف الملف: application/pdf

العلاقة: #PLACEHOLDER_PARENT_METADATA_VALUE#; info:eu-repo/grantAgreement/AEI/Plan Estatal de Investigación Científica y Técnica y de Innovación 2021-2023/PID2021-126788OB-I00/ES/DESCIFRANDO LOS MECANISMOS PATOLOGICOS Y TERAPEUTICOS EN LA DEFICIENCIA PRIMARIA EN COENZIMA Q/; Publisher's version; https://doi.org/10.1016/j.celrep.2024.114148Test; Sí; Cell Reports 43(5): 114148 (2024); http://hdl.handle.net/10261/362239Test

الإتاحة: https://doi.org/10.1016/j.celrep.2024.114148Test
http://hdl.handle.net/10261/362239Test