Zobrazeno 1 - 10
of 28
pro vyhledávání: '"Ordres partiels"'
Autor:
Mlodecki, Hugo
Publikováno v:
Combinatoire [math.CO]. Université Paris-Saclay, 2022. Français. ⟨NNT : 2022UPASG088⟩
This work is founded on the theory of bidendriform bialgebras, developped by Foissy, which are particular Hopf algebras where the product and the coproduct can be split into two parts. His main theorem is: A bidendriform bialgebra is freely generated
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______165::f9f13a7f06ed22dd42cdb6f4ff5d258f
https://theses.hal.science/tel-03926980/document
https://theses.hal.science/tel-03926980/document
Autor:
Combe, Camille
Publikováno v:
Combinatorics [math.CO]. Université de Strasbourg, 2020. English
This thesis is in the field of algebraic combinatorics and deals with the study of partial orders admitting a particular geometric realization, called cubic realization.After having introduced the cubic coordinates, we endow the set of these objects
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::00fd374aff859a082ca742c59ed332cd
https://tel.archives-ouvertes.fr/tel-02994460/document
https://tel.archives-ouvertes.fr/tel-02994460/document
Autor:
Combe, Camille
Publikováno v:
Combinatorics [math.CO]. Université de Strasbourg, 2020. English
This thesis is in the field of algebraic combinatorics and deals with the study of partial orders admitting a particular geometric realization, called cubic realization. After having introduced the cubic coordinates, we endow the set of these objects
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::994bba77e2367435e77bfac2459998cb
https://theses.hal.science/tel-02994460v5
https://theses.hal.science/tel-02994460v5
Autor:
Martori Adrian, Jordi
Les systèmes distribués ont réussi à étendre la technologie de l’information à un public plus large, en termes d’emplacement et de nombre. Cependant, ces systèmes géo-répliqués doivent être évolutifs afin de répondre aux demandes tou
Externí odkaz:
http://www.theses.fr/2017LORR0040/document
Autor:
Dusart, Jérémie
Publikováno v:
Computer Science [cs]. Université Denis Diderot Paris 7, 2014. English
This thesis contains a global study on graph searches, introducing a new formal madel to study graph search.But also we study the applications of known graph searches such as LBFS (Lexicographic Breadth First Search), LDFS (Lexicographic Depth First
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2592::8e8e371bb69adcd55cf9872c6f93bcec
https://hal.inria.fr/tel-01273352/file/thesisJDusart.pdf
https://hal.inria.fr/tel-01273352/file/thesisJDusart.pdf
Autor:
Dusart, Jérémie
Publikováno v:
Computer Science [cs]. Université Denis Diderot Paris 7, 2014. English
This thesis contains a global study on graph searches, introducing a new formal madel to study graph search.But also we study the applications of known graph searches such as LBFS (Lexicographic Breadth First Search), LDFS (Lexicographic Depth First
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::8e8e371bb69adcd55cf9872c6f93bcec
https://hal.inria.fr/tel-01273352
https://hal.inria.fr/tel-01273352
Autor:
Hélouët, Loïc
Les automates d'ordres, plus connus sous le nom de Message sequence Charts (MSC), ont connu une énorme popularité depuis les années 1990. Ce succès est à la fois académique et industriel. Les raisons de ce succès sont multiples : le modèle es
Externí odkaz:
http://tel.archives-ouvertes.fr/tel-00926742
http://tel.archives-ouvertes.fr/docs/00/92/67/42/PDF/habil_V0.2.pdf
http://tel.archives-ouvertes.fr/docs/00/92/67/42/PDF/habil_V0.2.pdf
Autor:
Balaguer, Sandie
Cette thèse s'intéresse à la modélisation et à l'analyse dessystèmes temps-réel distribués.Un système distribué est constitué de plusieurs composantsqui évoluent de manière partiellement indépendante. Lorsque des actionsexécutables par
Externí odkaz:
http://www.theses.fr/2012DENS0071/document
Autor:
Balaguer, Sandie
Publikováno v:
Other [cs.OH]. École normale supérieure de Cachan-ENS Cachan, 2012. English. ⟨NNT : 2012DENS0071⟩
This thesis is concerned with the modeling and the analysis of distributedreal-time systems. In distributed systems, components evolve partlyindependently: concurrent actions may be performed in any order, withoutinfluencing each other and the state
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2592::18fd72fc97aa95adedfdad6a555b7d7c
https://tel.archives-ouvertes.fr/tel-00821978/document
https://tel.archives-ouvertes.fr/tel-00821978/document
Autor:
Malinowski, Janusz
Nous avons étudié dans cette thèse une approche discrète de la synthèse de contrôleurs pour les systèmes hybrides permettant la manipulation de dynamiques non-linéaires : les états sont regroupés dans une partition finie au prix d'une sur-a
Externí odkaz:
http://www.theses.fr/2012AIXM4780/document