Profinite trees, through monads and the lambda-calculus

Authors: Moreau, Vincent

Subject Terms: Computer Science - Logic in Computer Science, Computer Science - Formal Languages and Automata Theory, Mathematics - Category Theory

Access URL: http://arxiv.org/abs/2402.13086

Syntactically and semantically regular languages of lambda-terms coincide through logical relations

Authors: Moreau, Vincent, Nguyên, Lê Thành Dũng

Subject Terms: Computer Science - Logic in Computer Science, Computer Science - Formal Languages and Automata Theory, Computer Science - Programming Languages

Access URL: http://arxiv.org/abs/2308.00198

Profinite lambda-terms and parametricity

Authors: van Gool, Sam, Melliès, Paul-André, Moreau, Vincent

Source: Electronic Notes in Theoretical Informatics and Computer Science, Volume 3 - Proceedings of MFPS XXXIX (November 23, 2023) entics:12280

Subject Terms: Computer Science - Logic in Computer Science

Access URL: http://arxiv.org/abs/2301.12475

Gen-IV pool reactors: Validation of sloshing CFD modelling and behavior under large seismic events

Authors: Moreau, Vincent ^⁎, Profir, Manuela

Source: In Nuclear Engineering and Design 15 April 2025 435

CSIMBA: Towards a Smart-Spectral Cubesat Constellation

Authors: Blommaert, Joris, Delaure, Bavo, Livens, Stefan, Nuyts, Dirk, Tack, Klaas, Lambrechts, Andy, Paola, Roberto Di, Moreau, Vincent, Callut, Eric, Habay, Gerard, Maresi, Luca, Strese, Helene, Marchi, Alessandro Zuccaro, Deper, Benoit, Viitala, Mikko

Source: IGARSS 2019 - 2019 IEEE International Geoscience and Remote Sensing Symposium Geoscience and Remote Sensing Symposium, IGARSS 2019 - 2019 IEEE International. :4614-4617 Jul, 2019

Relation: IGARSS 2019 - 2019 IEEE International Geoscience and Remote Sensing Symposium

Ariel: Enabling planetary science across light-years

Authors: Tinetti, Giovanna, Eccleston, Paul, Haswell, Carole, Lagage, Pierre-Olivier, Leconte, Jérémy, Lüftinger, Theresa, Micela, Giusi, Min, Michel, Pilbratt, Göran, Puig, Ludovic, Swain, Mark, Testi, Leonardo, Turrini, Diego, Vandenbussche, Bart, Osorio, Maria Rosa Zapatero, Aret, Anna, Beaulieu, Jean-Philippe, Buchhave, Lars, Ferus, Martin, Griffin, Matt, Guedel, Manuel, Hartogh, Paul, Machado, Pedro, Malaguti, Giuseppe, Pallé, Enric, Rataj, Mirek, Ray, Tom, Ribas, Ignasi, Szabó, Robert, Tan, Jonathan, Werner, Stephanie, Ratti, Francesco, Scharmberg, Carsten, Salvignol, Jean-Christophe, Boudin, Nathalie, Halain, Jean-Philippe, Haag, Martin, Crouzet, Pierre-Elie, Kohley, Ralf, Symonds, Kate, Renk, Florian, Caldwell, Andrew, Abreu, Manuel, Alonso, Gustavo, Amiaux, Jerome, Berthé, Michel, Bishop, Georgia, Bowles, Neil, Carmona, Manuel, Coffey, Deirdre, Colomé, Josep, Crook, Martin, Désjonqueres, Lucile, Díaz, José J., Drummond, Rachel, Focardi, Mauro, Gómez, Jose M., Holmes, Warren, Krijger, Matthijs, Kovacs, Zsolt, Hunt, Tom, Machado, Richardo, Morgante, Gianluca, Ollivier, Marc, Ottensamer, Roland, Pace, Emanuele, Pagano, Teresa, Pascale, Enzo, Pearson, Chris, Pedersen, Søren Møller, Pniel, Moshe, Roose, Stéphane, Savini, Giorgio, Stamper, Richard, Szirovicza, Peter, Szoke, Janos, Tosh, Ian, Vilardell, Francesc, Barstow, Joanna, Borsato, Luca, Casewell, Sarah, Changeat, Quentin, Charnay, Benjamin, Civiš, Svatopluk, Foresto, Vincent Coudé du, Coustenis, Athena, Cowan, Nicolas, Danielski, Camilla, Demangeon, Olivier, Drossart, Pierre, Edwards, Billy N., Gilli, Gabriella, Encrenaz, Therese, Kiss, Csaba, Kokori, Anastasia, Ikoma, Masahiro, Morales, Juan Carlos, Mendonça, João, Moneti, Andrea, Mugnai, Lorenzo, Muñoz, Antonio García, Helled, Ravit, Kama, Mihkel, Miguel, Yamila, Nikolaou, Nikos, Pagano, Isabella, Panic, Olja, Rengel, Miriam, Rickman, Hans, Rocchetto, Marco, Sarkar, Subhajit, Selsis, Franck, Tennyson, Jonathan, Tsiaras, Angelos, Venot, Olivia, Vida, Krisztián, Waldmann, Ingo P., Yurchenko, Sergey, Szabó, Gyula, Zellem, Rob, Al-Refaie, Ahmed, Alvarez, Javier Perez, Anisman, Lara, Arhancet, Axel, Ateca, Jaume, Baeyens, Robin, Barnes, John R., Bell, Taylor, Benatti, Serena, Biazzo, Katia, Błęcka, Maria, Bonomo, Aldo Stefano, Bosch, José, Bossini, Diego, Bourgalais, Jeremy, Brienza, Daniele, Brucalassi, Anna, Bruno, Giovanni, Caines, Hamish, Calcutt, Simon, Campante, Tiago, Canestrari, Rodolfo, Cann, Nick, Casali, Giada, Casas, Albert, Cassone, Giuseppe, Cara, Christophe, Carone, Ludmila, Carrasco, Nathalie, Chioetto, Paolo, Cortecchia, Fausto, Czupalla, Markus, Chubb, Katy L., Ciaravella, Angela, Claret, Antonio, Claudi, Riccardo, Codella, Claudio, Comas, Maya Garcia, Cracchiolo, Gianluca, Cubillos, Patricio, Da Peppo, Vania, Decin, Leen, Dejabrun, Clemence, Delgado-Mena, Elisa, Di Giorgio, Anna, Diolaiti, Emiliano, Dorn, Caroline, Doublier, Vanessa, Doumayrou, Eric, Dransfield, Georgina, Dumaye, Luc, Dunford, Emma, Escobar, Antonio Jimenez, Van Eylen, Vincent, Farina, Maria, Fedele, Davide, Fernández, Alejandro, Fleury, Benjamin, Fonte, Sergio, Fontignie, Jean, Fossati, Luca, Funke, Bernd, Galy, Camille, Garai, Zoltán, García, Andrés, García-Rigo, Alberto, Garufi, Antonio, Sacco, Giuseppe Germano, Giacobbe, Paolo, Gómez, Alejandro, Gonzalez, Arturo, Gonzalez-Galindo, Francisco, Grassi, Davide, Griffith, Caitlin, Guarcello, Mario Giuseppe, Goujon, Audrey, Gressier, Amélie, Grzegorczyk, Aleksandra, Guillot, Tristan, Guilluy, Gloria, Hargrave, Peter, Hellin, Marie-Laure, Herrero, Enrique, Hills, Matt, Horeau, Benoit, Ito, Yuichi, Jessen, Niels Christian, Kabath, Petr, Kálmán, Szilárd, Kawashima, Yui, Kimura, Tadahiro, Knížek, Antonín, Kreidberg, Laura, Kruid, Ronald, Kruijssen, Diederik J. M., Kubelík, Petr, Lara, Luisa, Lebonnois, Sebastien, Lee, David, Lefevre, Maxence, Lichtenberg, Tim, Locci, Daniele, Lombini, Matteo, Lopez, Alejandro Sanchez, Lorenzani, Andrea, MacDonald, Ryan, Magrini, Laura, Maldonado, Jesus, Marcq, Emmanuel, Migliorini, Alessandra, Modirrousta-Galian, Darius, Molaverdikhani, Karan, Molinari, Sergio, Mollière, Paul, Moreau, Vincent, Morello, Giuseppe, Morinaud, Gilles, Morvan, Mario, Moses, Julianne I., Mouzali, Salima, Nakhjiri, Nariman, Naponiello, Luca, Narita, Norio, Nascimbeni, Valerio, Nikolaou, Athanasia, Noce, Vladimiro, Oliva, Fabrizio, Palladino, Pietro, Papageorgiou, Andreas, Parmentier, Vivien, Peres, Giovanni, Pérez, Javier, Perez-Hoyos, Santiago, Perger, Manuel, Pestellini, Cesare Cecchi, Petralia, Antonino, Philippon, Anne, Piccialli, Arianna, Pignatari, Marco, Piotto, Giampaolo, Podio, Linda, Polenta, Gianluca, Preti, Giampaolo, Pribulla, Theodor, Puertas, Manuel Lopez, Rainer, Monica, Reess, Jean-Michel, Rimmer, Paul, Robert, Séverine, Rosich, Albert, Rossi, Loic, Rust, Duncan, Saleh, Ayman, Sanna, Nicoletta, Schisano, Eugenio, Schreiber, Laura, Schwartz, Victor, Scippa, Antonio, Seli, Bálint, Shibata, Sho, Simpson, Caroline, Shorttle, Oliver, Skaf, N., Skup, Konrad, Sobiecki, Mateusz, Sousa, Sergio, Sozzetti, Alessandro, Šponer, Judit, Steiger, Lukas, Tanga, Paolo, Tackley, Paul, Taylor, Jake, Tecza, Matthias, Terenzi, Luca, Tremblin, Pascal, Tozzi, Andrea, Triaud, Amaury, Trompet, Loïc, Tsai, Shang-Min, Tsantaki, Maria, Valencia, Diana, Vandaele, Ann Carine, Van der Swaelmen, Mathieu, Vardan, Adibekyan, Vasisht, Gautam, Vazan, Allona, Del Vecchio, Ciro, Waltham, Dave, Wawer, Piotr, Widemann, Thomas, Wolkenberg, Paulina, Yip, Gordon Hou, Yung, Yuk, Zilinskas, Mantas, Zingales, Tiziano, Zuppella, Paola

Subject Terms: Astrophysics - Instrumentation and Methods for Astrophysics, Astrophysics - Earth and Planetary Astrophysics

Access URL: http://arxiv.org/abs/2104.04824

How social practices inform the future as method: Describing personas in an energy transition while engaging with teleoaffectivities

Authors: Sahakian, Marlyne, Moynat, Orlane, Senn, Wladyslaw, Moreau, Vincent

Source: In Futures April 2023 148

The dual-blazed diffraction grating of the CHIME hyperspectral instrument: design, modelling, and breadboarding
International Conference on Space Optics — ICSO 2022

Authors: Borguet, Benoit, Moreau, Vincent, Renotte, Etienne, Lousberg, Gregory, Vandoolaeghe, Romain, Di Paola, Roberto, Maresi, Luca

Source: Proceedings of SPIE, the International Society for Optical Engineering. 12777:127772H-127772H-16

Availability: http://explore.bl.uk/primo_library/libweb/action/display.do?tabs=detailsTab&gathStatTab=true&ct=display&fn=search&doc=ETOCCN900070474&indx=1&recIds=ETOCCN900070474

Do rebound effects matter for Switzerland? Assessing the effectiveness of industrial energy efficiency improvements

Authors: Zimmermann, Michel, Vöhringer, Frank, Thalmann, Philippe, Moreau, Vincent

Source: In Energy Economics December 2021 104

Effects of CoCl2 on the regioselective tosylation of oligosaccharides

Authors: El-Abid, Jamal, Moreau, Vincent, Kovensky, José, Chagnault, Vincent

Source: In Journal of Molecular Structure 5 October 2021 1241

Production- and consumption-based energy use in the ASEAN: Lessons from the Tiger and the cubs

Authors: Lopez, Neil Stephen, Moreau, Vincent, Yu, Krista Danielle, Chiu, Anthony S.F., Xu, Ming

Source: In Journal of Cleaner Production 1 July 2021 304

Computational fluid dynamics modelling of lead natural convection and solidification in a pool type geometry

Authors: Achuthan, Narayanan, Melichar, Tomas, Profir, Manuela, Moreau, Vincent

Source: In Nuclear Engineering and Design May 2021 376

Numerical and experimental campaigns for lead solidification modelling and testing

Authors: Profir, Manuela, Moreau, Vincent, Melichar, Tomáš

Source: In Nuclear Engineering and Design 1 April 2020 359

Comparative binding and uptake of liposomes decorated with mannose oligosaccharides by cells expressing the mannose receptor or DC-SIGN

Authors: Gao, Haifei, Gonçalves, Cristine, Gallego, Téo, François-Heude, Marc, Malard, Virginie, Mateo, Véronique, Lemoine, François, Cendret, Virginie, Djedaini-Pilard, Florence, Moreau, Vincent, Pichon, Chantal, Midoux, Patrick

Source: In Carbohydrate Research January 2020 487

Is decoupling a red herring? The role of structural effects and energy policies in Europe

Authors: Moreau, Vincent, Neves, Catarina Amarante De Oliveira, Vuille, François

Source: In Energy Policy May 2019 128:243-252

Design Differences between the Pan-STARRS PS1 and PS2 Telescopes

Authors: Morgan, Jeffrey S., Kaiser, Nicholas, Moreau, Vincent, Anderson, David, Burgett, William

Subject Terms: Astrophysics - Instrumentation and Methods for Astrophysics

Access URL: http://arxiv.org/abs/1207.2513

Hire fast, fire slow: the employment benefits of energy transitions

Authors: Füllemann, Yann, Moreau, Vincent, Vielle, Marc, Vuille, François

Source: Economic systems research. 32(2):202-220

Availability: http://explore.bl.uk/primo_library/libweb/action/display.do?tabs=detailsTab&gathStatTab=true&ct=display&fn=search&doc=ETOCvdc_100110544329.0x000001&indx=1&recIds=ETOCvdc_100110544329.0x000001

Development of full-field deflectometry for characterization of free-form mirrors for space applications
International Conference on Space Optics — ICSO 2020

Authors: Vandenrijt, Jean-François, Bouwens, Arno, Boussemaere, Luc, Antoine, Philippe, Moreau, Vincent, Borguet, Benoït, Arts, Mathijs, Tomuta, Dana, Georges, Marc

Source: Proceedings of SPIE, the International Society for Optical Engineering. 11852:118526I-118526I-11

Availability: http://explore.bl.uk/primo_library/libweb/action/display.do?tabs=detailsTab&gathStatTab=true&ct=display&fn=search&doc=ETOCCN900034158&indx=1&recIds=ETOCCN900034158

The challenges of broadband performances within a compact imaging spectrometer: the ELOIS solution
International Conference on Space Optics — ICSO 2020

Authors: Borguet, Benoït, Moreau, Vincent, Santandrea, Stefano, Versluys, Jorg, Bourdoux, Arnuad

Source: Proceedings of SPIE, the International Society for Optical Engineering. 11852:118521E-118521E-11

Availability: http://explore.bl.uk/primo_library/libweb/action/display.do?tabs=detailsTab&gathStatTab=true&ct=display&fn=search&doc=ETOCCN900033982&indx=1&recIds=ETOCCN900033982

Decoupling energy use and economic growth: Counter evidence from structural effects and embodied energy in trade

Authors: Moreau, Vincent, Vuille, François

Source: In Applied Energy 1 April 2018 215:54-62