Zobrazeno 1 - 10
of 18
pro vyhledávání: '"Dénès, Maxime"'
Autor:
Dénès, Maxime
Les méthodes formelles ont atteint un degré de maturité conduisant à la conception de systèmes de preuves généralistes, permettant à la fois de vérifier la correction de systèmes logiciels complexes ou de formaliser des mathématiques avanc
Externí odkaz:
http://www.theses.fr/2013NICE4103/document
Publikováno v:
Logical Methods in Computer Science, Volume 12, Issue 2 (June 22, 2016) lmcs:1639
This paper presents a Coq formalization of linear algebra over elementary divisor rings, that is, rings where every matrix is equivalent to a matrix in Smith normal form. The main results are the formalization that these rings support essential opera
Externí odkaz:
http://arxiv.org/abs/1601.07472
Autor:
Hritcu, Catalin, Lampropoulos, Leonidas, Spector-Zabusky, Antal, de Amorim, Arthur Azevedo, Dénès, Maxime, Hughes, John, Pierce, Benjamin C., Vytiniotis, Dimitrios
Publikováno v:
J. Funct. Prog. 26 (2016) e4
Information-flow control mechanisms are difficult both to design and to prove correct. To reduce the time wasted on doomed proof attempts due to broken definitions, we advocate modern random testing techniques for finding counterexamples during the d
Externí odkaz:
http://arxiv.org/abs/1409.0393
Autor:
Bonnasse-Gahot, Laurent, Dénès, Maxime, Dulac-Arnold, Gabriel, Girgin, Sertan, Husson, François, Iovene, Valentin, Josse, Julie, Kimmoun, Antoine, Landes, François, Nadal, Jean-Pierre, Primet, Romain, Quintao, Frederico, Raverdy, Pierre Guillaume, Rouvreau, Vincent, Teboul, Olivier, Yurchak, Roman
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9a4128b2caf0ac3890512ae21228dd82
Autor:
ICUBAM, Consortium, Bonnasse-Gahot, Laurent, Dénès, Maxime, Dulac-Arnold, Gabriel, Girgin, Sertan, Husson, François, Iovene, Valentin, Josse, Julie, Kimmoun, Antoine, Landes, François, Nadal, Jean-Pierre, Primet, Romain, Quintao, Frederico, Raverdy, Pierre Guillaume, Rouvreau, Vincent, Teboul, Olivier, Yurchak, Roman
Publikováno v:
Statistique et Société
Statistique et Société, 2022, ⟨10.1101/2020.05.18.20091264⟩
Statistique et Société, Société française de statistique, 2022, ⟨10.1101/2020.05.18.20091264⟩
Statistique et Société, 2022, ⟨10.1101/2020.05.18.20091264⟩
Statistique et Société, Société française de statistique, 2022, ⟨10.1101/2020.05.18.20091264⟩
Background: Reliable information is an essential component for responding to the COVID-19 epidemic, especially regarding the availability of critical care beds (CCBs). We propose three contributions: a) ICUBAM (ICU Bed Availability Monitor), a tool w
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ff044ad1578415d16fb1faa16f93d244
https://hal.archives-ouvertes.fr/hal-02620018/document
https://hal.archives-ouvertes.fr/hal-02620018/document
Autor:
Cano, Guillaume, Dénès, Maxime
Publikováno v:
JFLA-Journées francophones des langages applicatifs
JFLA-Journées francophones des langages applicatifs, Damien Pous and Christine Tasson, Feb 2013, Aussois, France
JFLA-Journées francophones des langages applicatifs, Damien Pous and Christine Tasson, Feb 2013, Aussois, France
International audience; Nous présentons une formalisation réalisée avec Coq visant essentiellement à prouver l'existence des formes matricielles canoniques de Frobenius et de Jordan, ainsi que leurs propriétés. Nous définissons formellement de
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::d3e0b9776b62a1176526fbb351609937
https://hal.inria.fr/hal-00779376
https://hal.inria.fr/hal-00779376
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Paraskevopoulou, Zoe, Hriţcu, Cătălin, Dénès, Maxime, Lampropoulos, Leonidas, Pierce, Benjamin C.
Publikováno v:
Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings; 2015, p325-343, 19p
Autor:
HRIŢ CU, CĂTĂLIN, LAMPROPOULOS, LEONIDAS, SPECTOR-ZABUSKY, ANTAL, DE AMORIM, ARTHUR AZEVEDO, DÉNÈS, MAXIME, HUGHES, JOHN, PIERCE, BENJAMIN C., VYTINIOTIS, DIMITRIOS
Publikováno v:
Journal of Functional Programming; 2016, Vol. 26, p1-62, 62p
Publikováno v:
Certified Programs & Proofs: Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings; 2013, p147-162, 16p