Zobrazeno 1 - 10
of 15
pro vyhledávání: '"Férée, Hugo"'
The uniform interpolation property in a given logic can be understood as the definability of propositional quantifiers. We mechanise the computation of these quantifiers and prove correctness in the Coq proof assistant for three modal logics, namely:
Externí odkaz:
http://arxiv.org/abs/2402.10494
Autor:
Férée, Hugo
Alors que la complexité des fonctions d'ordre 1 est bien définie et étudiée, il n'existe pas de notion satisfaisante à tout ordre. Une telle théorie existe déjà à l'ordre 2 et permet de définir une classe analogue aux fonctions calculables
Externí odkaz:
http://www.theses.fr/2014LORR0173/document
Publikováno v:
In Theoretical Computer Science 20 June 2015 585:41-54
Software veri?cation tools that build machine-checked proofs of functional correctness usually focus on the algorithmic content of the code. Their proofs are not grounded in a formal semantic model of the environment that the program runs in, or the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=core_ac_uk__::fd1e3b70a5498a6abe2ae8627d79d298
https://kar.kent.ac.uk/71298/1/paper_11.pdf
https://kar.kent.ac.uk/71298/1/paper_11.pdf
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:
Férée, Hugo, Hoyrup, Mathieu
Publikováno v:
CCA-10th International Conference on Computability and Complexity in Analysis-2013
CCA-10th International Conference on Computability and Complexity in Analysis-2013, Jul 2013, Nancy, France
CCA-10th International Conference on Computability and Complexity in Analysis-2013, Jul 2013, Nancy, France
International audience; We present ongoing work on the development of complexity theory in analysis. Kawamura and Cook recently showed how to carry out complexity theory on the space C[0,1] of continuous real functions on the unit interval. It is don
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::967868028f19f28f0456c0cd1e40f277
https://hal.inria.fr/hal-00915973/file/final.pdf
https://hal.inria.fr/hal-00915973/file/final.pdf
Autor:
Férée, Hugo, Alliez, Pierre
Publikováno v:
[Research Report] RR-8123, INRIA. 2012
Surface mesh generation through Delaunay refinement is considered as a relevant alternative to the common marching cubes algorithm. One distinctive feature lies into the fact that it interleaves shape probing (through intersection with Voronoi edges)
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______165::8b77c7e479917fe59e7ff655e38cb535
https://inria.hal.science/hal-00747344/document
https://inria.hal.science/hal-00747344/document
Autor:
Férée, Hugo, Ziegler, Martin
Publikováno v:
Mathematical Aspects of Computer & Information Sciences; 2016, p489-504, 16p
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.