Zobrazeno 1 - 9
of 9
pro vyhledávání: '"Cédric Rivière"'
Autor:
Emeline Coszach, Vincent Becue, Smail Khainaar, Patrizia Laudati, Isabelle De Smet, Jeremy Cenci, Cédric Rivière
Publikováno v:
WIT Transactions on Ecology and the Environment
WIT Transactions on Ecology and the Environment, WIT Press, 2021, 250, pp.197-208
WIT Transactions on Ecology and the Environment, WIT Press, 2021, 250, pp.197-208
International audience
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a79a0e8d58d1c8f47203cac6bb097bb1
https://doi.org/10.2495/wrm210171
https://doi.org/10.2495/wrm210171
Autor:
David Laplume, Sesil Koutra, Thomas Brihaye, Jeremy Cenci, Isabelle De Smet, Emeline Coszach, Vincent Becue, Hadrien Mélot, Cédric Rivière, Quentin Meurisse
Publikováno v:
SHS Web of Conferences, Vol 82, p 03004 (2020)
En vue d'une densification urbaine durable, un outil ayant pour but d'évaluer et d'assister la conception d'îlots urbains compacts pourvus d'une densité de population cible a été créé et testé dans le cadre du projet CoMod. Le concept de comp
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e9e2ee789691651d0d4f33cfa4412e85
https://doi.org/10.1051/shsconf/20208203004
https://doi.org/10.1051/shsconf/20208203004
Autor:
Cédric Rivière
Publikováno v:
Annals of Pure and Applied Logic. 159(1-2):100-110
In [T. Brihaye, C. Michaux, C. Riviere, Cell decomposition and dimension function in the theory of closed ordered differential fields, Ann. Pure Appl. Logic (in press).] the authors proved a cell decomposition theorem for the theory of closed ordered
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4b82150c994edc6133cc1244870ae238
Publikováno v:
Annals of Pure and Applied Logic. 159:111-128
In this paper we develop a differential analogue of o-minimal cell decomposition for the theory C O D F of closed ordered differential fields. Thanks to this differential cell decomposition we define a well-behaving dimension function on the class of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::09fea446ae4172b6785ec08dc9103ac3
https://doi.org/10.1016/j.apal.2008.09.029
https://doi.org/10.1016/j.apal.2008.09.029
Autor:
Cédric Rivière
Publikováno v:
Comptes Rendus Mathematique. 343:151-154
We generalize the work of M. Singer (1978) on the theory of closed ordered differential fields to the case of m-ODF, the theory of ordered fields equipped with m commuting derivations. We give an algebraic axiomatization of the model completion (deno
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b9fa993be2e839f7e7c027ac8a38e8bd
https://doi.org/10.1016/j.crma.2006.06.019
https://doi.org/10.1016/j.crma.2006.06.019
Autor:
Cédric Rivière
Publikováno v:
MLQ. 52:331-339
In his Ph.D. thesis [7], L. van den Dries studied the model theory of fields (more precisely domains) with finitely many orderings and valuations where all open sets according to the topology defined by an order or a valuation is globally dense accor
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ad11e9c32de6833c8a61e5ae487ef457
https://doi.org/10.1002/malq.200510037
https://doi.org/10.1002/malq.200510037
Autor:
Nicolas Guzy, Cédric Rivière
Publikováno v:
Notre Dame J. Formal Logic 47, no. 3 (2006), 331-341
In this paper we give a differential lifting principle which provides a general method to geometrically axiomatize the model companion (if it exists) of some theories of differential topological fields. The topological fields we consider here are in
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9ee00e6c4af94cd3f73497d35388701e
https://doi.org/10.1305/ndjfl/1163775440
https://doi.org/10.1305/ndjfl/1163775440
Autor:
Christian Michaux, Cédric Rivière
Publikováno v:
Bull. Belg. Math. Soc. Simon Stevin 12, no. 3 (2005), 341-348
Nous commençons par donner une axiomatisation de caractère géométrique de la théorie des corps ordonnés différentiellement clos (notée $CODF$) introduite par M.Singer en 1978. Nous nous basons pour cela sur une construction similaire de D. Pi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::302834064d88d0c75d00bb15ec0f7565
https://doi.org/10.36045/bbms/1126195339
https://doi.org/10.36045/bbms/1126195339
Publikováno v:
Hybrid Systems: Computation and Control ISBN: 9783540212591
HSCC
HSCC
This paper is driven by a general motto: bisimulate a hybrid system by a finite symbolic dynamical system. In the case of o-minimal hybrid systems, the continuous and discrete components can be decoupled, and hence, the problem reduces in building a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::15569c3792ea39105d66c0732659a267
https://doi.org/10.1007/978-3-540-24743-2_15
https://doi.org/10.1007/978-3-540-24743-2_15
