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

Filtrer vos résultats

304 résultats
keyword_s : Modélisation
Page :
triés par
Image document

Modélisation par réseaux de files d'attente

 Raymond Marie
Réseaux et télécommunications [cs.NI]. Université de Rennes, 1978. Français. ⟨NNT : ⟩
Thèse tel-01727485v1

Un élément de gestion des réseaux actifs

 Virginie Galtier
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2002, 21, pp.899-924
Article dans une revue inria-00101021v1

Modélisation et analyse de la documentation technique d'un système

 Dominique Cansell , Dominique Méry , Airy Weinzoepflen
Colloque Francophone sur la Modélisation des Systèmes Réactifs - MSR 2001, 2001, Toulouse, France, 16 p
Communication dans un congrès inria-00101089v1
Image document

AEE : un projet pour la conception des logiciels embarqués dans l'automobile

 Françoise Simonot-Lion
Journées ASPROM - UIMM " Logiciels et systèmes embarqués " 2001, ASPROM - UIMM, 2001, Paris/France, 51 p
Communication dans un congrès inria-00107543v1
Image document

An Architecture Description Language For In-Vehicle Embedded System Development

 Jean-Pierre Elloy , Françoise Simonot-Lion
[Intern report] A01-R-282 || elloy01a, 2001, 6 p
Rapport inria-00107546v1
Image document

Analysis of the determinants and modelisation of the post- vaccination immune response in experimental vaccine strategies

 Edouard Lhomme
Santé publique et épidémiologie. Université de bordeaux, 2019. English. ⟨NNT : ⟩
Thèse tel-02430642v1
Image document

Contributions to the automatic control of aerial vehicles

 Minh Duc Hua
Automatic. Université Nice Sophia Antipolis, 2009. English. ⟨NNT : ⟩
Thèse tel-00460801v2
Image document

Modélisation de l'expression génétique bactérienne dans un pi-calcul stochastique à objets concurrents

 Celine Kuttler
Modélisation et simulation. Université des Sciences et Technologie de Lille - Lille I, 2007. Français. ⟨NNT : ⟩
Thèse tel-00111653v2
Image document

Formalisation et test d'IPv6

 Abdelghani Benharref , Zineb Berbich , Mohamed Salah Bouassida , Rachida Dssouli , Isabelle Chrisment
[Contrat] A03-R-465 || benharref03a, 2003, 21 p
Rapport inria-00099471v1

Modélisation de composants matériels et exécutifs en vue de la validation d'architecture opérationelle par évaluation de performances. Rapport intermédiaire du contrat PSA 033

 Matthieu Courrier , Sébastien Wolf , Françoise Simonot-Lion , Ye-Qiong Song
[Contrat] 98-R-056 || courrier98a, 1998, 32 p
Rapport inria-00098544v1
Image document

Mathematical modeling of population dynamics, applications to vector control of Aedes spp. (Diptera:Culicidae)

 Martin Strugarek
Analysis of PDEs [math.AP]. Sorbonne Université UPMC, 2018. English. ⟨NNT : ⟩
Thèse tel-01879201v1
Image document

CONTRIBUTIONS A LA SIMULATION NUMERIQUE EN MECANIQUE DES FLUIDES ET A LA REDUCTION DE MODELE

 Michel Bergmann
Mécanique des fluides [physics.class-ph]. université de Bordeaux, 2014
HDR tel-01113058v1

À propos des mathématiques financières

 Agnès Sulem-Bialobroda , Joanna Jongwane
Interstices, 2008
Article dans une revue hal-01352614v1
Image document

Towards modelling the activity of design: An observational study on a specification stage

 Willemien Visser
IFAC/IFIP/IEA/IFORS Conference on Man-Machine Systems. Analysis, Design and Evaluation, IFAC/IFIP/IEA/IFORS, Jun 1988, Oulu, Finland
Communication dans un congrès hal-00641401v1
Image document

Etude d'un cheminement de conception : structure hypertextuelle des connaissances pour les traces d'un projet architectural

 Fabien Gandon , Catherine Barry , Régine Loisel
IC 1999, Journée francophones d'ingénierie des connaissances, Plateforme AFIA 1999, Jun 1999, Palaiseau, France
Communication dans un congrès hal-01145740v1
Image document

Interactive high-level models for 3D virtual shape creation & animation

 Damien Rohmer
Graphics [cs.GR]. Université Grenoble - Alpes, 2017
HDR tel-01587625v1
Image document

Simulation et contrôle de phénomènes physiques

 Pierre-Luc Manteaux
Synthèse d'image et réalité virtuelle [cs.GR]. Université Grenoble Alpes, 2016. Français. ⟨NNT : 2016GREAM062⟩
Thèse tel-01475023v1
Image document

Computational modeling of healthy and epileptic hippocampal oscillations

 Amélie Aussel
Neuroscience. Université de Lorraine, 2019. English. ⟨NNT : 2019LORR0202⟩
Thèse tel-02437326v1
Image document

Extensions modales des logiques de ressources : expressivité et calculs

 Pierre Kimmel
Logique en informatique [cs.LO]. Université de Lorraine, 2018. Français. ⟨NNT : 2018LORR0299⟩
Thèse tel-02096099v1
Image document

Gouvernance et étude de l'impact du changement des processus métiers sur les architectures orientées services : une approche dirigée par les modèles

 Karim Dahman
Architectures Matérielles [cs.AR]. Université de Lorraine, 2012. Français. ⟨NNT : 2012LORR0241⟩
Thèse tel-01749632v2
Image document

Le système urinaire inférieur : modélisation et validation expérimentale. Étude de son activation sélective.

 Jeremy Laforet
Automatique / Robotique. Université Montpellier II - Sciences et Techniques du Languedoc, 2009. Français. ⟨NNT : ⟩
Thèse tel-00454696v1

La simulation de Monte-Carlo

 Bruno Tuffin
Interstices, 2017
Article dans une revue hal-01533686v1
Image document

Quantitative properties of real algebraic varieties

 Lionel Alberti
Mathematics [math]. Université Nice Sophia Antipolis, 2008. English. ⟨NNT : ⟩
Thèse tel-00449506v1
Image document

Apprendre l'apprentissage automatique : un retour d'expérience

 Noëlie Debs , Sergio Peignier , Clément Douarre , Théo Jourdan , Christophe Rigotti , et al.
CETSIS 2021 - Colloque de l'Enseignement des Technologies et des Sciences de l'Information et des Systèmes, Jun 2021, Valenciennes, France. pp.1-5
Communication dans un congrès hal-03341954v1
Image document

Analyse temps-fréquence et modèles d'invariance d'échelle: Contribution à l'étude de systèmes complexes

 Paulo Gonçalves
Traitement du signal et de l'image [eess.SP]. Ecole normale supérieure de lyon - ENS LYON, 2010
HDR tel-00474532v1
Image document

Identification des éléments clefs du métabolisme des lipides et de leurs régulateurs

 Pierre Blavy
Interactions entre organismes. Université Rennes 1, 2010. Français. ⟨NNT : ⟩
Thèse tel-00541207v2
Image document

Effect of hydrodynamics on light utilization in large scale cultures of microalgae

 Philipp Hartmann
Other. Université Nice Sophia Antipolis, 2014. English. ⟨NNT : 2014NICE4022⟩
Thèse tel-01108529v1
Image document

Modelling the temperature effect on phytoplankton : from acclimation to adaptation

 Ghjuvan Micaelu Grimaud
Other. Université Nice Sophia Antipolis, 2016. English. ⟨NNT : 2016NICE4025⟩
Thèse tel-01383294v1
Image document

Interférence entre les processus mitotiques et la prise d'azote chez Thalassiosira weissflogii. Implications en modélisation et sur les flux globaux.

 Christophe Mocquet
Océan, Atmosphère. Université Pierre et Marie Curie - Paris VI, 2009. Français. ⟨NNT : ⟩
Thèse tel-00472581v1
Image document

Le traitement automatique des langues face à l'évolution des usages de la langue

 Cyril Grouin
Informatique et langage [cs.CL]. Université Paris-Saclay, 2023
HDR tel-04217062v1
Page :