2024    2023    2022    2021    2020    2019    2018    2017    2016   


   
   


   

Revenir à la liste complète des publications pour l'année en cours


Consultez nos publications en libre accès sur HAL.

2022


299 publication(s) :

Rapports de recherche

271 - 
Characterization of the fluctuations of an ultrasonic wave passing through a complex environment in order to simplify the modeling
Mirella Aoun, Clément Berger, Jean Cazalis, Thierry Gonon, David Lassounon
[Research Report] IP Paris. 2022. ⟨hal-03607816v2⟩
BibTex sert à gérer et traiter des bases bibliographiques
Fichier PDF
 Reprint request: Subject to availability
272 - 
Generalized Keisler Theorems for Atomic and Molecular Logics
Guillaume Aucher
Université de Rennes 1. 2022.
BibTex sert à gérer et traiter des bases bibliographiques
Fichier PDF
 Reprint request: Subject to availability
273 - 
Generalized Keisler Theorems for First-order Logic and Protologics
Guillaume Aucher
Université de Rennes 1 (UR1). 2022.
BibTex sert à gérer et traiter des bases bibliographiques
Fichier PDF
 Reprint request: Subject to availability
274 - 
Display and Hilbert Calculi for Atomic and Molecular Logics
Guillaume Aucher
[Research Report] Université de Rennes 1. 2022.
BibTex sert à gérer et traiter des bases bibliographiques
Fichier PDF
 Reprint request: Subject to availability
275 - 
Correspondence Theory for Atomic Logics
Guillaume Aucher
[Research Report] Université de Rennes 1. 2022.
BibTex sert à gérer et traiter des bases bibliographiques
Fichier PDF
 Reprint request: Subject to availability
276 - 
A Characterization of Properly Displayable Atomic and Molecular Logics
Guillaume Aucher
[Research Report] Université de Rennes 1. 2022.
BibTex sert à gérer et traiter des bases bibliographiques
Fichier PDF
 Reprint request: Subject to availability
277 - 
Report SEME for SCALIAN Rapport SEME pour SCALIAN
Grégoire Barrué, Riccardo Di Dio, Zakarya El Khiyati, Yann Guguen, Roméo Tayewo
Report SEME for SCALIAN. [Research Report] IRMAR - Université Rennes 1; Université Bretagne Sud; Université Cote d'Azur. 2022, pp.1-4.
BibTex sert à gérer et traiter des bases bibliographiques
Fichier PDF
 Reprint request: Subject to availability
278 - 
Black-box optimization under constraints: simple selection algorithms and heuristic criteria
Étienne Bellin, Quentin Chauleur, Samuel Guilluy, Rima Khouja, Ahmadou Sylla
[Research Report] IRMAR - Université Rennes 1. 2022.
BibTex sert à gérer et traiter des bases bibliographiques
Fichier PDF
 Reprint request: Subject to availability

Thèses

279 - 
Approximation diffusion pour des équations dispersives Approximation diffusion for dispersive equations
Grégoire Barrué Barrué
Approximation diffusion pour des équations dispersives. Equations aux dérivées partielles [math.AP]. École normale supérieure de Rennes, 2022. Français. ⟨NNT : 2022ENSR0033⟩.
BibTex sert à gérer et traiter des bases bibliographiques
Fichier PDF
 Reprint request: Subject to availability
280 - 
Contrôlabilité d'équations aux dérivées partielles non linéaire Controllability of nonlinear partial differential equations
Mégane Bournissou
Contrôlabilité d'équations aux dérivées partielles non linéaire. Equations aux dérivées partielles [math.AP]. École normale supérieure de Rennes, 2022. Français. ⟨NNT : 2022ENSR0032⟩.
BibTex sert à gérer et traiter des bases bibliographiques
Fichier PDF
 Reprint request: Subject to availability


Exporter les données affichées en CSV Exporter les données affichées en RTF