Zobrazeno 1 - 9
of 9
pro vyhledávání: '"Algorithmes paramétrés"'
Autor:
Goharshady, Amir
Publikováno v:
Programming Languages [cs.PL]. Institute of Science and Technology Austria, 2020. English
In this thesis, we consider several of the most classical and fundamental problems in static analysis and formal verification, including invariant generation, reachability analysis, termination analysis of probabilistic programs, data-flow analysis,
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______212::cfd15e86bead1a1fc05cc20c95592776
https://hal.archives-ouvertes.fr/tel-03153209/document
https://hal.archives-ouvertes.fr/tel-03153209/document
Autor:
Montealegre Barba, Pedro
Cette thèse porte sur des aspects structuraux et algorithmiques des graphes. Elle est divisée en deux parties, qui comportent deux études différentes : une partie sur des algorithmes centralisés-séquentiels, et une autre sur des algorithmes dis
Externí odkaz:
http://www.theses.fr/2017ORLE2001/document
Autor:
Cochefert, Manfred
Dans cette thèse, nous nous intéressons à la résolution exacte de problèmes NP-difficiles sur les graphes et les hypergraphes. Les problèmes que nous étudions regroupent dans un premier temps des variantes du problème classique du nombre chro
Externí odkaz:
http://www.theses.fr/2014LORR0336/document
Autor:
Cochefert, Manfred
In this thesis, we are interested in the exact computation of np-hard problems on graphs and hypergraphs. Firstly, we study several variants of colorings. Those variants appear harder than the famous chromatic number problem, by adding difficulty in
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______166::6027ea3bc03556a00e18d22ba15b4d6f
https://hal.univ-lorraine.fr/tel-01751574
https://hal.univ-lorraine.fr/tel-01751574
Autor:
Bulteau, Laurent
Dans cette thèse, nous explorons la complexité algorithmique de plusieurs problèmes issus de la génomique comparative, et nous apportons des solutions à certains de ces problèmes sous la forme d'algorithmes d'approximation ou paramétrés. Le d
Externí odkaz:
http://tel.archives-ouvertes.fr/tel-00906929
http://tel.archives-ouvertes.fr/docs/00/90/69/29/PDF/manuscrit-these-Bulteau.pdf
http://tel.archives-ouvertes.fr/docs/00/90/69/29/PDF/manuscrit-these-Bulteau.pdf
Autor:
Laurent Bulteau
Publikováno v:
Data Structures and Algorithms [cs.DS]. Université de Nantes, 2013. English
HAL
HAL
In this thesis, we explore the algorithmical complexity of several problems stemming from comparative genomics, and we provide solutions for some of these problems in the form of parameterized or approximation algorithms. The problems we consider hav
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::fa3e3cda2955b947eaa165759f4ebb01
https://tel.archives-ouvertes.fr/tel-00906929
https://tel.archives-ouvertes.fr/tel-00906929
Autor:
Daligault, Jean
Dans cette thèse, nous abordons des problèmes NP-difficiles à l'aide de techniques combinatoires, en se focalisant sur le domaine de la complexité paramétrée. Les principaux problèmes que nous considérons sont les problèmes de Multicoupe et
Externí odkaz:
http://tel.archives-ouvertes.fr/tel-00804206
http://tel.archives-ouvertes.fr/docs/00/80/42/06/PDF/these.pdf
http://tel.archives-ouvertes.fr/docs/00/80/42/06/PDF/these.pdf
Autor:
Guillemot, Sylvain
Cette thèse étudie d'un point de vue algorithmique diverses méthodes de consensus portant sur des collections d'objets étiquetés. Les problèmes étudiés impliquent des objets étiquetés sans répétition d'étiquettes ; ces objets peuvent êt
Externí odkaz:
http://tel.archives-ouvertes.fr/tel-00401456
http://tel.archives-ouvertes.fr/docs/00/40/14/56/PDF/These.guillemot.pdf
http://tel.archives-ouvertes.fr/docs/00/40/14/56/PDF/These.guillemot.pdf
Autor:
Guillemot, Sylvain
This thesis studies from an algorithmic point of view various consensus methods on collections of labeled objects. The problems under study involve labeled objects without repetition of labels ; these objects may be rooted trees or sequences, with ap
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______166::4b9f850bd00d28c60d58f6cdb992c765
https://theses.hal.science/tel-00401456
https://theses.hal.science/tel-00401456