Zobrazeno 1 - 10
of 37
pro vyhledávání: '"cartes combinatoires"'
Autor:
Pascual, Romain
In this thesis, we present a formalization of geometric modeling operations as rules from the theory of graph transformation.First, we investigate the construction of a dedicated rule-based language. We describe the combinatorial models of generalize
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______166::2d29a31adeafef19ae12831b4cb451ed
https://theses.hal.science/tel-03976461
https://theses.hal.science/tel-03976461
Autor:
Louf, Baptiste
Publikováno v:
Computation and Language [cs.CL]. Université de Paris, 2020. English. ⟨NNT : 2020UNIP7020⟩
This thesis focuses on combinatorial maps, which are defined as embeddings of graphs on surfaces, or equivalently as gluing of polygons. The genus g of the map is defined as the number of handles of the surface on which it is embedded.In addition to
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::a5c1cedcc61d982c0704598441240df5
https://tel.archives-ouvertes.fr/tel-03170319
https://tel.archives-ouvertes.fr/tel-03170319
Autor:
Louf, Baptiste
Publikováno v:
Computation and Language [cs.CL]. Université de Paris, 2020. English. ⟨NNT : 2020UNIP7020⟩
This thesis focuses on combinatorial maps, which are defined as embeddings of graphs on surfaces, or equivalently as gluing of polygons. The genus g of the map is defined as the number of handles of the surface on which it is embedded.In addition to
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______212::a5c1cedcc61d982c0704598441240df5
https://tel.archives-ouvertes.fr/tel-03170319
https://tel.archives-ouvertes.fr/tel-03170319
Autor:
Lepoutre, Mathias
Les cartes combinatoires sont des dessins de graphes sur des surfaces (orientable ou non), considérés à déformation près. On propose une méthode bijective de découpage d'une carte, appelée ouverture, qui à une carte associe une autre carte,
Externí odkaz:
http://www.theses.fr/2019SACLX067/document
Autor:
Lepoutre, Mathias
Publikováno v:
Combinatorics [math.CO]. Université Paris Saclay (COmUE), 2019. English. ⟨NNT : 2019SACLX067⟩
A combinatorial map is the embedding of a graph on a surface (orientable or not), considered up to deformation. We describe a bijective method, called opening, that allows to reduce a map into a smaller map on the same surface, with only one face, al
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::69cea2defab66ce94c349e0b141b3c3c
https://tel.archives-ouvertes.fr/tel-02326948
https://tel.archives-ouvertes.fr/tel-02326948
Autor:
Genestier, Richard
Le problème général de la preuve de propriétés de programmes impératifs est indécidable. Pour deslangages de programmation et de propriétés plus restrictifs, des sous-problèmes décidables sontconnus. En pratique, grâce à des heuristiques
Externí odkaz:
http://www.theses.fr/2016BESA2041/document
Autor:
Fang, Wenjie
Le sujet de cette thèse est l'étude énumérative des cartes combinatoires et ses applications à l'énumération des autres objet s combinatoires.Les cartes combinatoires, aussi appelées simplement « cartes », sont un modèle combinatoire riche
Externí odkaz:
http://www.theses.fr/2016USPCC312/document
Autor:
Genestier, Richard
Publikováno v:
Approches Formelles dans l'Assistance au Développement de Logiciels
Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2016, Besançon, France
Performance et fiabilité [cs.PF]. Université de Franche-Comté, 2016. Français. ⟨NNT : 2016BESA2041⟩
Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2016, Besançon, France
Performance et fiabilité [cs.PF]. Université de Franche-Comté, 2016. Français. ⟨NNT : 2016BESA2041⟩
The general problem of proving properties of imperative programs is undecidable. Some subproblems– restricting the languages of programs and properties – are known to be decidable. Inpractice, thanks to heuristics, program proving tools sometimes
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::09b0a8799e85f462b1bbf43438f6a408
https://hal.archives-ouvertes.fr/hal-02991582
https://hal.archives-ouvertes.fr/hal-02991582
Autor:
Diakité, Abdoulaye Abou
Les modèles 3D de bâtiment sont largement utilisés dans l'industrie de la construction et sont nécessités par plusieurs applications telles que la représentation architecturale et les processus de simulation. Malheureusement, ces modèles manqu
Externí odkaz:
http://www.theses.fr/2015LYO10281/document
Autor:
Diakité, Abdoulaye Abou
Publikováno v:
Modélisation et simulation. Université Claude Bernard-Lyon I, 2015. Français. 〈NNT : 2015LYO10281〉
Modélisation et simulation. Université Claude Bernard-Lyon I, 2015. Français. ⟨NNT : 2015LYO10281⟩
Modélisation et simulation. Université Claude Bernard-Lyon I, 2015. Français. ⟨NNT : 2015LYO10281⟩
3D building models are widely used in the civil engineering industry. While the models are needed by several applications, such as architectural representations and simulation processes, they often lack of information that are of major importance for
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::962c38ac40952244a8efcca7b6e1be52
https://tel.archives-ouvertes.fr/tel-01314440/document
https://tel.archives-ouvertes.fr/tel-01314440/document