Recherche - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu

Filtrer vos résultats

191 résultats
Type de document : Cours
Page :
triés par
Image document

Introduction à l'analyse mathématique des équations de Maxwell en régime transitoire

 Patrick Joly
École d'ingénieur. France. 1995
Cours cel-01529234v1
Image document

Ethique du numérique, données personnelles et données d’intérêt générale. Préparation à l’agrégation d’Informatique

 Roberto Di Cosmo
Master. France. 2023
Cours hal-03341559v2
Image document

Elements of mathematics and logic for computer program analysis

 Frédéric Blanqui
Master. Institute of Applied Mechanics and Informatics (IAMA) of the Vietnamese Academy of Sciences and Technology (VAST) at Ho Chi Minh City, Vietnam, 2013, pp.37
Cours cel-00934160v1
Image document

Deep Learning in Medical Imaging: What's Needed for Training Data?

 Francesca Galassi
École thématique. France. 2023
Cours hal-04233355v1
Image document

Turbulence modelling for CFD

 Remi Manceau
Master. Pau, France. 2023
Cours hal-03207433v6
Image document

La machine de Turing

 Olivier Ridoux
École d'ingénieur. France. 2020
Cours hal-02505869v1
Image document

Diviser pour régner Algèbre et analyse

 Philippe Dumas
Master. Centre International de Rencontres Mathématiques, Marseille, France. 2016, pp.80
Cours cel-01388741v1
Image document

TP Performance énergétique d'un code

 Gaël Guennebaud
Licence. Sensibilisation à l'écologie et à l'impact du numérique, France. 2022
Cours hal-04094791v1
Image document

Conception conjointe commande/ordonnancement et ordonnancement régulé

 Daniel Simon
École thématique. ÉCOLE D'ÉTÉ TEMPS RÉEL 2005 GdR Architecture, Réseaux et systèmes, Parallélisme (ARP) Thème Systèmes Temps-Réel et Qualité de Services (StrQdS) http://etr05.loria.fr/ Nancy, 13 - 16 Septembre 2005, 2005
Cours inria-00000757v1
Image document

Ecole chercheurs Modèles ressources-consommateurs

 Bertrand Cloez , Simon Boudsocq , Thomas Koffel , Jérôme Harmand , Claude Lobry , et al.
École thématique. Modèles Ressources-Consommateurs, Montpellier, France. 2015
Cours cel-01206385v2
Image document

Codes de calcul industriels pour la simulation des écoulements turbulents

 Remi Manceau
Master. Poitiers, France. 2024
Cours hal-03207435v6

Exploring Security

 Radu State
2004
Cours inria-00100241v1

Les réseaux programmables

 Olivier Festor , Isabelle Chrisment , Eric Fleury
1999
Cours inria-00098982v1
Image document

Outils élémentaires d'Analyse pour les Equations aux Dérivées Partielles (version 2006)

 Anne-Sophie Bonnet-Ben Dhia , Marc Lenoir
Engineering school. France. 2006
Cours hal-04083186v1
Image document

Algebraicity and transcendence of power series: combinatorial and computational aspects

 Alin Bostan
Doctoral. 3rd Algorithmic and Enumerative Combinatorics Summer School, Hagenberg, 2016 Austria. 2016
Cours cel-01391907v1
Image document

Code-based Cryptography: Lecture Notes

 Thomas Debris-Alazard
Doctoral. France. 2023
Cours hal-04311471v1
Image document

Formation EBAII Niveau 2 - Science ouverte et principes FAIR dans un projet de bioinformatique

 Thomas Denecker , Charlotte Berthelier
Master. Roscoff, France. 2023
Cours hal-04113112v1
Image document

Exploring the complexity of socio-environmental management for transitions, through participatory modeling and games

 Nils Ferrand , Julie Latune , Mariana Machado-Rios , Eliza Crouzet
Master. Tour du Valat, France. 2022, pp.28
Cours hal-04233736v1
Image document

Basic Concentration Properties of Real-Valued Distributions

 Odalric-Ambrym Maillard
Doctoral. France. 2017
Cours cel-01632228v1
Image document

Equations hyperboliques non-linéaires

 Jean-François Coulombel
DEA. Université de Lille 1, France. 2009, pp.66
Cours cel-00616496v1
Image document

Traitement statistique des données manquantes-Part II Numerical and non-numerical data

 Christophe Biernacki
Doctorat. France. 2021
Cours hal-03505650v1
Image document

Dynamique et contrôle des systèmes - exercices

 Nicolas Petit , Pierre Rouchon
Master. France. 2016
Cours cel-01454411v1
Image document

Une approche historico-culturelle de l'activité (CHAT) pour analyser les enjeux du numérique en éducation

 Margarida Romero , Barma Sylvie , Prevot Eloïse , Isaac Guillaume , Turcotte Jessy , et al.
Doctorat. Canada. 2023
Cours hal-04140492v1
Image document

Sliced Inverse Regression for datastreams: An introduction

 Stéphane Girard
Doctoral. France. 2015
Cours cel-02015159v1
Image document

Modélisation participative, Développement Durable et Concertation

 Nils Ferrand
Master. M2 Sciences Economiques et Sociales, Port-Vila, Vanuatu. 2021, pp.98
Cours hal-04233755v1
Image document

Ingénierie de la participation, accompagnement de négociations et pratiques décisionnelles pour l’engagement des acteurs dans des transitions

 Nils Ferrand
Master. Design des transitions, MSc Design des Transitions - Université Grenoble Alpes - Grenoble, France. 2022, pp.17
Cours hal-04233311v1
Image document

Efficient C++ finite element computing with Rheolef

 Pierre Saramito
Master. Grenoble, France, France. 2022, pp.279
Cours cel-00573970v16
Image document

Modelisation de la turbulence pour la CFD

 Remi Manceau
Master. Pau, France. 2023
Cours hal-03207437v6
Image document

Approches (m,k)-firm pour la gestion de la qualité de service temps réel

 Ye-Qiong Song
INPL-ENSEM, LORIA Nancy, 2005
Cours inria-00000790v1
Image document

CoInduction in Coq

 Yves Bertot
DEA. EU's coordination action Types Goteborg, 2005
Cours inria-00001174v1
Page :