Cédric RIVIERE
Nombre de publications : 32
2024
Colloques et congrès scientifiques/Communication orale non publiée/Abstract
- Meurisse, Q., Koutra, S., Mélot, H., Laplume, D., Becue, V., Brihaye, T., Cenci, J., Coszach, E., De Smet, I., & Rivière, C. (2024). "Building functionality assignment in dense and compact blocks using graph theory and game theory" [Paper presentation]. Urban Complex Systems 2021, Lyon, France.
Colloques et congrès scientifiques/Communication poster
- Vilain, L., Laplume, D., De smet, I., Rivière, C., & Lefort, B. (26 March 2024). "Définir des centralités villageoises en Wallonie : développement d'un outil d'aide à la décision" [Poster presentation]. Mardi des Chercheurs 2024, Mons, Belgium.
2023
Développements informatiques/Logiciel
- Vilain, L.* , Laplume, D., De smet, I., Rivière, C., & Lefort, B. (Other coll.). (2023). "Outil CRC - Outil d'aide à la densification compacte de centralités villageoises en Wallonie".
Développements informatiques/Autre
- Vilain, L.* , Rivière, C., Laplume, D., De smet, I., & Lefort, B. (Other coll.). (2023). "Questionnaire de recherche. Développement d'un outil d'aide à la densification de centralités villageoises en Wallonie (méthode de sélection)".
2022
Périodiques scientifiques/Article
- Bouyer, P., Brihaye, T., Randour, M., Rivière, C., & Vandenhove, P. (November 2022). Decisiveness of stochastic systems and its application to hybrid models. "Information and Computation, 289" (B), 104861. doi:10.1016/j.ic.2021.104861
Colloques et congrès scientifiques/Communication publiée dans un ouvrage
- Coszach, E., Becue, V., Cenci, J., De smet, I., laudati, P., & Rivière, C. (2022). For an inclusive and multi-benefit flood risk management overview of existing tools, preamble of an action methodology for a french-belgian cross-bor der case study. In "Conference theme Internationalizing Education for the Ecological Transition Challenge : New Stakes for Sharing Knowledge and Acting in a Changing World". Bordeaux, Unknown/unspecified: ENSAP.
Colloques et congrès scientifiques/Communication publiée dans un périodique
- De Smet, I., Meurisse, Q., Brihaye, T., Cenci, J., Laplume, D., Mélot, H., & Rivière, C. (2022). "Compacts typo-morphologies by use of local search methods" [Paper presentation]. ISUF 2019 XXVI International Seminar on Urban Form: Cities as Assemblages, Nicosia, Cyprus.
- Vilain, L.* , Laplume, D., De Smet, I., & Rivière, C. (2022). Development of a tool to help the reasoned densification of village cores in Wallonia. "WIT Transactions on Ecology and the Environment, Volume 258, 2022". doi:10.2495/SDP220171
Colloques et congrès scientifiques/Communication poster
- Vilain, L.* , Laplume, D., De Smet, I., & Rivière, C. (06 September 2022). "Développement d'un outil d'aide à la densification raisonnée des noyaux villageois en Wallonie" [Poster presentation]. 11th Mardi des Chercheurs 2022.
- Vilain, L.* , Laplume, D., De Smet, I., & Rivière, C. (2022). "Développement d'un outil d'aide à la densification raisonnée des noyaux villageois en Wallonie" [Poster presentation]. Printemps des Sciences 2022.
2021
Périodiques scientifiques/Article
- Coszach, E., Becue, V., Cenci, J., De Smet, I., Khainaar, S., LAUDATI, P., & Rivière, C. (2021). Towards an absorption strategy for the management of flood risk : study of the strategy of resistance and the artificialization of soils in the franco-belgian cross-border territory. "WIT: Transactions on the Built Environment".
Colloques et congrès scientifiques/Communication orale non publiée/Abstract
- Vilain, L.* , Laplume, D., De Smet, I., & Rivière, C. (01 December 2021). "The compactness in answer to urban sprawl: development of a tool to help the reasoned densification of village cores in Wallonia" [Paper presentation]. Designing cities in a changing world: towards an Urban One Health approach, Lausanne, Switzerland.
2020
Colloques et congrès scientifiques/Communication publiée dans un périodique
- Meurisse, Q., De Smet, I., Mélot, H., Laplume, D., Brihaye, T., Rivière, C., Coszach, E., Cenci, J., Koutra, S., & Becue, V. (2020). Recherche locale et théorie des jeux appliqués à la création de typo-morphologies compactes. "SHS Web of Conferences". doi:10.1051/shsconf/20208203004
- Bouyer, P., Brihaye, T., Randour, M., Rivière, C., & Vandenhove, P. (21 September 2020). Decisiveness of Stochastic Systems and its Application to Hybrid Models. "Electronic Proceedings in Theoretical Computer Science, 326", 149-165. doi:10.4204/EPTCS.326.10
2018
Documents pédagogiques/Notes de cours et syllabus
- Rivière, C. (2018). "Syllabus d'exercices pour le cours 'ntroduction Mathématique aux sciences de la vie'".
- Rivière, C. (2018). "Syllabus du cours Introduction Mathématique aux sciences de la vie".
- Rivière, C. (2018). "Syllabus du cours de Mathématiques appliquées I Parties 1 et 2".
- Rivière, C. (2018). "Syllabus du cours de Mathématiques Appliquées II, FA+U".
2015
Mémoires et thèses/Thèse de doctorat
- Estiévenart, M. (2015). "Verification and synthesis of MITL through alternating timed automata" [Doctoral thesis, Université de Mons]. ORBi UMONS-University of Mons. https://orbi.umons.ac.be/handle/20.500.12907/17931
2013
Colloques et congrès scientifiques/Communication orale non publiée/Abstract
- Rivière, C., & Brihaye, T. (17 July 2013). "Introduction à la théorie des jeux : Workshop 'Ville numérique et agriculture bio-high-tech', Cité des sciences de Paris" [Paper presentation]. Ville numérique et agriculture bio-high-tech, Paris, Cité des Sciences, France.
Mémoires et thèses/Thèse de doctorat
- De Pril, J. (2013). "Equilibria in Multiplayer Cost Games" [Doctoral thesis, Université de Mons]. ORBi UMONS-University of Mons. https://orbi.umons.ac.be/handle/20.500.12907/4247
2009
Périodiques scientifiques/Article
- Brihaye, T., Michaux, C., & Rivière, C. (01 May 2009). Cell decomposition and dimension function in the theory of closed ordered differential fields. "Annals of Pure and Applied Logic, 159" (Issues 1-2), 111-128. doi:10.1016/j.apal.2008.09.029
- Rivière, C. (01 May 2009). Further notes on cell decomposition in the theory of closed ordered differential fields. "Annals of Pure and Applied Logic, 159" (1-2), 100-110. doi:10.1016/j.apal.2008.11.002
2006
Périodiques scientifiques/Article
- Rivière, C. (01 October 2006). The model theory of m-ordered differential fields. "Mathematical Logic Quarterly, 52" (4), 331-339. doi:10.1002/malq.200510037
- Guzy, N., & Rivière, C. (01 August 2006). Geometrical axiomatization for model complete theories of differential topological fields. "Notre Dame Journal of Formal Logic, 47" (3), 331-341. doi:10.1305/ndjfl/1163775440
- Rivière, C. (01 August 2006). The theory of closed ordered differential fields with m commuting derivations. "Comptes Rendus. Mathématique, 343" (3), 151-154. doi:10.1016/j.crma.2006.06.019
2005
Périodiques scientifiques/Article
- Michaux, C., & Rivière, C. (01 September 2005). Quelques remarques concernant la théorie des corps ordonnés différentiellement clos. "Bulletin de la Société Mathématique de Belgique, 12" (3), 341-348.
2004
Périodiques scientifiques/Article
- Brihaye, T., Michaux, C., Rivière, C., & Troestler, C. (01 January 2004). On O-Minimal Hybrid Systems. "Lecture Notes in Computer Science, 2993", 133-138. doi:10.1007/978-3-540-24743-2_15
Colloques et congrès scientifiques/Communication orale non publiée/Abstract
- Rivière, C. (28 July 2004). "Dimension Function in the theory of closed ordered differential fields" [Paper presentation]. Logic Colloquium 2004, Torino, Italy.
1
Documents pédagogiques/Notes de cours et syllabus
- Rivière, C. (n.d.). "Syllabus du cours 'Mathématiques Appliquées aux Sciences de la Vie', FS".
- Rivière, C. (n.d.). "Syllabus d'exercices pour le cours 'Mathématiques Appliquées aux Sciences de la Vie', FS".
Conférences scientifiques dans des universités ou centres de recherche/Conférence scientifique dans des universités ou centres de recherche
- Rivière, C. (n.d.). "Une preuve modèle théorique du théorème d'Ax-Grothendieck : Brussels Summer School of Mathematics" [Paper presentation]. Brussels Summer School of Mathematics, Bruxelles, Belgium.