HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am.
More information
Skip to Main content
Skip to Navigation
Toggle navigation
Sign in
Sign in
Sign in with ORCID
se connecter avec Fédération
Create account
Forgot your password?
Have you forgotten your login?
fr
en
Home
Browse
By authors
By research team
By year
Domain list
By document type
Browse last submissions
Search
Services
HalTools
Folder
CasuHALThon
Search
Les Filtres
Filters
Document type ×
All ×
5565 results
save search
Document types
Minimize
Theses
(5565)
Conference papers
(49894)
Journal articles
(36264)
Reports
(13146)
Preprints, Working Papers, ...
(4479)
Book sections
(3458)
Poster communications
(1450)
Directions of work or proceedings
(1148)
Other publications
(1108)
Books
(753)
Habilitation à diriger des recherches
(607)
Master thesis
(489)
Documents associated with scientific events
(396)
Patents
(248)
Lectures
(130)
Software
(99)
Videos
(45)
Notes de synthèse
(6)
Photos
(3)
Other reports
(1)
Author
Minimize
Arif Ahmed
(2)
Maxime Ambard
(2)
Marilisa Amoia
(2)
Arif Ali Anapparakkal
(2)
Elise Barelli
(2)
Guillaume Batog
(2)
Antoine Bautin
(2)
Camille Baysse
(2)
Anaël Beaugnon
(2)
Adrien Bellanger
(2)
David Bellot
(2)
Clara Bertolissi
(2)
Mathilde Boltenhagen
(2)
Mathilde Le Boudic-Jamin
(2)
Mohamed-Rafik Bouguelia
(2)
David Bourguignon
(2)
Ghazi Bouselmi
(2)
Lilia Brinza
(2)
Julien Bruneau
(2)
Julie Busset
(2)
Aymen Chakhari
(2)
Dong Cheng
(2)
Hacène Cherfi
(2)
Damien Clergeaud
(2)
Julien Cojan
(2)
Jean-René Courtault
(2)
Jin Cui
(2)
Francois Despaux
(2)
Guillaume Doyen
(2)
Matthieu Dreher
(2)
Amandine Dubois
(2)
Lucile Dupuy
(2)
François Durand
(2)
Marie Durand
(2)
Elias Egho
(2)
Laurent Fousse
(2)
Jörn Franke
(2)
Frédéric Gilbert
(2)
François Goichon
(2)
Dahmun Goudarzi
(2)
Fabien Grzeskowiak
(2)
Adnene Guabtni
(2)
Léo Henry
(2)
Benjamin Huynh-Kim-Bang
(2)
Heinrich Hördegen
(2)
Hassan Kallam
(2)
Louiza Khati
(2)
Edouard Klein
(2)
Eric Kow
(2)
Amrit Kumar
(2)
Marwa Kazdoghli Lagha
(2)
Junjie Lai
(2)
Engel Lefaucheux
(2)
Jian Li
(2)
Marine Louarn
(2)
Audrey Lucas
(2)
Gauthier Lyan
(2)
Ludmila Mangelinck
(2)
Felipe Galarce Marin
(2)
Ferdaouss Mattoussi
(2)
Baher Mawlawi
(2)
Antoine Miech
(2)
Léo Miolane
(2)
Jérémy Métairie
(2)
Anderson Santana de Oliveira
(2)
Jad Oueis
(2)
Florent Pompigne
(2)
Dalia-Georgiana Popescu
(2)
Alice Raeli
(2)
Mohamed Rahali
(2)
Charbel Rahhal
(2)
Joseph Razik
(2)
Cristian Rosa
(2)
Cédric Rose
(2)
Mihir Sahasrabudhe
(2)
Marie Samozino
(2)
Jordi Sanchez-Riera
(2)
Jean-Michel Sanner
(2)
Georges Schutz
(2)
Camille Sessegolo
(2)
Julien Siebert
(2)
Jamila Ben Slimane
(2)
Brij Mohan Lal Srivastava
(2)
Damien Stehlé
(2)
Matthieu Texier
(2)
Adrian Thillard
(2)
Juan Pablo Timpanaro
(2)
François Torregrossa
(2)
Duc-Khanh Tran
(2)
Mathieu Vallérian
(2)
Julien Vitay
(2)
Benjamin Wack
(2)
Gérard Wagener
(2)
Frédéric Wagner
(2)
Cyrille Wiedling
(2)
Cédric Wilwert
(2)
Eugen Zalinescu
(2)
Hanwei Zhang
(2)
Bo Zhang
(2)
Daniele Zucchelli
(2)
Subject field
Minimize
Computer Science [cs]
(4252)
Mathematics [math]
(953)
Engineering Sciences [physics]
(513)
Life Sciences [q-bio]
(389)
Statistics [stat]
(122)
Physics [physics]
(114)
Cognitive science
(85)
Humanities and Social Sciences
(68)
Sciences of the Universe [physics]
(26)
domain_stic
(18)
Chemical Sciences
(10)
Quantitative Finance [q-fin]
(9)
Environmental Sciences
(9)
domain_other
(4)
Nonlinear Sciences [physics]
(1)
Laboratory
Minimize
Institut de Recherche en Informatique et Systèmes Aléatoires
(916)
Inria Rennes – Bretagne Atlantique
(809)
Inria Sophia Antipolis - Méditerranée
(801)
Laboratoire Lorrain de Recherche en Informatique et ses Applications
(798)
Inria Grenoble - Rhône-Alpes
(724)
Inria Saclay - Ile de France
(403)
Inria Paris-Rocquencourt
(341)
Inria Nancy - Grand Est
(322)
Inria de Paris
(310)
Inria Bordeaux - Sud-Ouest
(299)
Inria Lille - Nord Europe
(253)
Laboratoire Jean Kuntzmann
(221)
Laboratoire de l'Informatique du Parallélisme
(194)
Laboratoire de Biométrie et Biologie Evolutive - UMR 5558
(185)
INRIA Lorraine
(161)
Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis
(153)
Laboratoire d'Informatique Fondamentale de Lille
(152)
Laboratoire Bordelais de Recherche en Informatique
(139)
Laboratoire d'Informatique de Grenoble
(132)
Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189
(122)
Laboratoire de Recherche en Informatique
(110)
CITI Centre of Innovation in Telecommunications and Integration of services
(105)
Laboratoire d'informatique GRAphique, VIsion et Robotique de Grenoble
(92)
Institut de Mathématiques de Bordeaux
(81)
Laboratoire Jacques-Louis Lions
(73)
Laboratoire d'informatique de l'École polytechnique [Palaiseau]
(64)
Laboratoire Jean Alexandre Dieudonné
(59)
Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
(59)
Centre d'Enseignement et de Recherche en Mathématiques, Informatique et Calcul Scientifique
(54)
Laboratoire d'Informatique de Nantes Atlantique
(49)
Centre de Mathématiques Appliquées - Ecole Polytechnique
(45)
Institut Élie Cartan de Nancy
(44)
Laboratoire d'Informatique de Paris 6
(39)
Institut Élie Cartan de Lorraine
(37)
Centre d'Enseignement et de Recherche en Mathématiques et Calcul Scientifique
(33)
Centre de vision numérique
(30)
Laboratoire de Mathématiques et de leurs Applications [Pau]
(30)
Laboratoire d'informatique de l'école normale supérieure
(29)
Informatique et Distribution
(28)
Laboratoire d'océanographie de Villefranche
(28)
Grenoble Images Parole Signal Automatique
(27)
LIP6
(24)
Service NEUROSPIN
(24)
Laboratoire Paul Painlevé - UMR 8524
(23)
Laboratoire de Mathématiques d'Orsay
(23)
Laboratoire des Sciences du Numérique de Nantes
(23)
Handicap et système nerveux :Action, communication, interaction: rétablissement de la fonction et de la participation [Bordeaux]
(21)
Institut Rhône-Alpin des systèmes complexes
(20)
Institut de Recherche Mathématique de Rennes
(20)
Laboratoire de Mathématiques et Applications de Metz
(20)
Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174)
(19)
INRIA Rocquencourt
(19)
Laboratoire d'Automatique, Génie Informatique et Signal
(18)
Institut de Recherche en Informatique Fondamentale
(17)
Laboratoire d'InfoRmatique en Image et Systèmes d'information
(17)
Centre de génétique et de physiologie moléculaire et cellulaire
(16)
Institut Camille Jordan [Villeurbanne]
(16)
Centre de Robotique
(15)
Institut de Recherche Mathématique Avancée
(15)
INRIA Futurs
(14)
Laboratoire d'Intégration des Systèmes et des Technologies
(14)
INRIA Rennes
(13)
Laboratoire Photonique, Numérique et Nanosciences
(13)
Max-Planck-Institut für Informatik
(13)
Dipartimento di Informatica - Scienza e Ingegneria [Bologna]
(12)
Institut de Biologie Valrose
(12)
Laboratoire des Sciences de l'Image, de l'Informatique et de la Télédétection
(12)
Laboratoire des sciences de l'ingénieur, de l'informatique et de l'imagerie
(12)
CEntre de REcherches en MAthématiques de la DEcision
(11)
Institut d'Informatique et de Mathématiques Appliquées de Grenoble
(11)
Parallélisme, Réseaux, Systèmes, Modélisation
(11)
Laboratoire Interdisciplinaire des Sciences du Numérique
(10)
Laboratoire Spécification et Vérification [Cachan]
(10)
Laboratoire de mécanique des solides
(10)
Microsoft Research - Inria Joint Centre
(10)
Technicolor R & I [Cesson Sévigné]
(10)
Amélioration génétique et adaptation des plantes méditerranéennes et tropicales
(9)
Bordeaux population health
(9)
Centre de Mathématiques Appliquées
(9)
Commissariat à l'énergie atomique et aux énergies alternatives - Laboratoire d'Electronique et de Technologie de l'Information
(9)
Département Composants et Systèmes
(9)
Institut des Maladies Neurodégénératives [Bordeaux]
(9)
Laboratoire Méthodes Formelles
(9)
Laboratory of Information, Network and Communication Sciences
(9)
Preuves, Programmes et Systèmes
(9)
Department of Computer Science and Engineering [Bologna]
(8)
Mathématiques Appliquées aux Systèmes - EA 4037
(8)
Evaluation des technologies de santé et des pratiques médicales - ULR 2694
(7)
Laboratoire Traitement et Communication de l'Information
(7)
Laboratoire d'Analyse, Topologie, Probabilités
(7)
Centre de Recherche en Automatique de Nancy
(6)
Centre de Recherche en Informatique de Nancy
(6)
IHU-LIRYC
(6)
Laboratoire d'Informatique pour la Mécanique et les Sciences de l'Ingénieur
(6)
Laboratoire d'informatique Algorithmique : Fondements et Applications
(6)
Laboratoire de sciences cognitives et psycholinguistique
(6)
Mathématiques, Informatique et STatistique pour l'Environnement et l'Agronomie
(6)
Centre d'Enseignement et de Recherche en Environnement Atmosphérique
(5)
Données et algorithmes pour une ville intelligente et durable - DAVID
(5)
Institut Charles Delaunay
(5)
Institut de Biologie Computationnelle
(5)
Laboratoire Adaptation et pathogénie des micro-organismes [Grenoble]
(5)
Laboratoire Franco-Chinois d'Informatique, d'Automatique et de Mathématiques Appliquées
(5)
Laboratoire de Recherche Opérationnelle de Décision et de Contrôle de Processus
(5)
Laboratoire des signaux et systèmes
(5)
Orange Labs [Meylan]
(5)
SUPELEC-Campus Metz
(5)
SUPELEC-Campus Rennes
(5)
Département de Modélisation des Systèmes et Structures
(4)
General Electric Medical Systems [Buc]
(4)
Graphes et Optimisation Mathématique [Bruxelles]
(4)
Groupe de Recherche en Apprentissage Automatique
(4)
Institut de recherche en informatique de Toulouse
(4)
Institut de recherche en santé, environnement et travail
(4)
Institut du Cerveau et de la Moëlle Epinière = Brain and Spine Institute
(4)
Laboratoire de Modélisation Mathématique et Numérique dans les Sciences de l'Ingénieur [Tunis]
(4)
Laboratoire de biologie et modélisation de la cellule
(4)
Unité de Mathématiques Pures et Appliquées
(4)
Centre Automatique et Systèmes
(3)
Centre for Digital Systems
(3)
France Télécom Recherche & Développement
(3)
GeoRessources
(3)
Groupe de Recherche en Informatique, Image et Instrumentation de Caen
(3)
Institut de Mathématiques de Bourgogne [Dijon]
(3)
Laboratoire International de Recherche en Informatique et Mathématiques Appliquées
(3)
Laboratoire Mouvement Sport Santé
(3)
Laboratoire de l'intégration, du matériau au système
(3)
Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance
(3)
Mécanique des Fluides, Energies et Environnement
(3)
Orange Labs [Lannion]
(3)
Simulation et Traitement de l'information pour l'Exploitation des systèmes de Production
(3)
TOTAL-Scientific and Technical Center Jean Féger
(3)
Techniques de l'Ingénierie Médicale et de la Complexité - Informatique, Mathématiques et Applications, Grenoble - UMR 5525
(3)
Analyse, Géométrie et Modélisation
(2)
Biologie Fonctionnelle, Insectes et Interactions
(2)
Centre d'études et de recherche en informatique et communications
(2)
Centre de Recherche en Économie et Statistique
(2)
Departamento de Ingeniería Matemática [Santiago]
(2)
Dipartimento di Informatica [Torino]
(2)
Dipartimento di Scienze dell'Informazione [Bologna]
(2)
Département Etude des Réacteurs
(2)
Département d'Informatique et de Recherche Opérationnelle [Montreal]
(2)
Facebook AI Research [Paris]
(2)
Hydrosciences Montpellier
(2)
IFR49 - Neurospin - CEA
(2)
Ingénierie des Agro-polymères et Technologies Émergentes
(2)
Institut Montpelliérain Alexander Grothendieck
(2)
Institut Sophia Agrobiotech
(2)
Institut de Mathématiques de Toulouse UMR5219
(2)
Institut de Mathématiques et de Modélisation de Montpellier
(2)
Institut de pharmacologie moléculaire et cellulaire
(2)
Instituto de Informática da UFRGS
(2)
Interdisciplinary Centre for Security, Reliability and Trust [Luxembourg]
(2)
LINA
(2)
Laboratoire Analyse, Géométrie et Applications
(2)
Laboratoire Chiffre
(2)
Laboratoire Informatique Théorique et Programmation
(2)
Laboratoire Leibniz
(2)
Laboratoire Navier
(2)
Laboratoire Pierre Aigrain
(2)
Laboratoire Traitement du Signal et de l'Image
(2)
Laboratoire d'Analyse Numérique et Informatique [Sénégal]
(2)
Laboratoire d'Analyse et de Mathématiques Appliquées
(2)
Laboratoire d'Ecologie Microbienne - UMR 5557
(2)
Laboratoire d'Electronique, Antennes et Télécommunications
(2)
Laboratoire d'Informatique Fondamentale d'Orléans
(2)
Laboratoire de Génie Industriel, de Production et de Maintenance
(2)
Laboratoire de Génie Informatique
(2)
Laboratoire de Mathématiques de Versailles
(2)
Laboratoire de Recherche en Informatique et Télécommunications [Rabat]
(2)
Laboratoire de physique de l'ENS - ENS Paris
(2)
Laboratoire de recherche en Génie Logiciel, Applications distribuées, Systèmes décisionnels et Imagerie intelligente [Manouba]
(2)
Laboratory of Advanced Software SYstems [Luxembourg]
(2)
Matière et Systèmes Complexes
(2)
Méthodes d'Analyse Stochastique des Codes et Traitements Numériques
(2)
ONERA - The French Aerospace Lab [Châtillon]
(2)
ONERA - The French Aerospace Lab [Palaiseau]
(2)
ONERA - The French Aerospace Lab [Toulouse]
(2)
Orange Labs R&D [Rennes]
(2)
Orange Labs [Chatillon]
(2)
Orange Labs [Paris]
(2)
Physiologie, Environnement et Génétique pour l'Animal et les Systèmes d'Elevage [Rennes]
(2)
Services répartis, Architectures, MOdélisation, Validation, Administration des Réseaux
(2)
Simulation Neutronique, Technologies de l’Information et Calcul Scientifique
(2)
Structure et Instrumentation Intégrée
(2)
Studio de Création et de Recherche en Informatique et Musique Électroacoustique
(2)
Supélec Sciences des Systèmes
(2)
THALES COMMUNICATIONS & SECURITY
(2)
Thales Airborne Systems
(2)
Thomson Multimedia R&D France
(2)
Unité de Recherche en Réseaux Radio Mobile Multimédia
(2)
XLIM
(2)
Xerox Research Centre Europe [Meylan]
(2)
laboratoire d'Etudes et de recherches en Statistiques et Développement
(2)
ALL4TEC RD [Laval]
(1)
ASHA Graphics and Animation Lab
(1)
Agro-Systèmes Territoires Ressources Mirecourt
(1)
Alcatel Lucent Bell Labs
(1)
Alcatel-Lucent Bell Labs France [Nozay]
(1)
Altran - Région Est
(1)
Language
Minimize
English
(3008)
French
(2547)
Spanish
(4)
Portuguese
(4)
Russian
(1)
Chinese
(1)
Keyword
Minimize
Machine learning
(155)
Modélisation
(132)
Optimisation
(116)
Vision par ordinateur
(108)
Computer vision
(104)
Scheduling
(95)
Apprentissage automatique
(93)
Ordonnancement
(93)
Optimization
(91)
Cryptographie
(87)
Simulation
(83)
Cryptography
(78)
Security
(71)
Modeling
(68)
Deep learning
(65)
Sécurité
(65)
Apprentissage profond
(63)
Classification
(62)
Bioinformatique
(57)
Parallélisme
(52)
Systèmes distribués
(52)
Apprentissage
(50)
Bioinformatics
(50)
Clustering
(47)
Distributed systems
(47)
Parallelism
(46)
Privacy
(46)
Robotique
(46)
Algorithmes
(42)
Apprentissage statistique
(42)
Réalité virtuelle
(42)
Informatique
(41)
Compilation
(40)
Méthodes formelles
(40)
Réécriture
(40)
Analyse statique
(39)
Intelligence artificielle
(39)
Machine Learning
(39)
Segmentation
(39)
Traitement du signal
(39)
Robotics
(37)
Modelling
(36)
Complexité
(35)
Static analysis
(34)
Web sémantique
(34)
Cloud computing
(33)
Coq
(33)
Virtual reality
(33)
Problème inverse
(32)
Algorithms
(31)
Inverse problem
(31)
Performance
(31)
Stabilité
(31)
Télécommunications
(31)
Formal methods
(30)
High performance computing
(30)
Image processing
(30)
Imagerie médicale
(30)
Routage
(30)
Apprentissage par renforcement
(29)
Calcul haute performance
(29)
Lambda-calcul
(29)
Vie privée
(29)
Visualisation
(29)
Vérification
(29)
Routing
(28)
Signal processing
(28)
Algorithm
(27)
Algorithme
(27)
Complexity
(27)
Optimal control
(27)
Robustesse
(27)
Graphes
(26)
Inverse problems
(26)
Localisation
(26)
Optimisation combinatoire
(26)
Qualité de service
(26)
Simulation numérique
(26)
Temps réel
(26)
Asservissement visuel
(25)
Cryptanalyse
(25)
FPGA
(25)
Neural networks
(25)
Problèmes inverses
(25)
Robustness
(25)
Stability
(25)
Computer graphics
(24)
Cryptanalysis
(24)
Fouille de données
(24)
Génie logiciel
(24)
Ingénierie dirigée par les modèles
(24)
Optimisation convexe
(24)
Visualization
(24)
IRM
(23)
Logique
(23)
Natural language processing
(23)
Numerical simulation
(23)
Semantic Web
(23)
Semantics
(23)
Systèmes embarqués
(23)
Type of deposit
Minimize
Fulltext
(5443)
Notice
(122)
Year
Minimize
2022
(29)
2021
(376)
2020
(349)
2019
(381)
2018
(367)
2017
(359)
2016
(368)
2015
(354)
2014
(349)
2013
(380)
2012
(279)
2011
(288)
2010
(264)
2009
(209)
2008
(189)
2007
(171)
2006
(150)
2005
(129)
2004
(112)
2003
(88)
2002
(68)
2001
(49)
2000
(52)
1999
(45)
1998
(47)
1997
(30)
1996
(23)
1995
(24)
1994
(8)
1993
(5)
1992
(6)
1991
(4)
1990
(5)
1989
(3)
1988
(2)
1987
(1)
1982
(1)
1978
(1)
Search
Help
Advanced Search…
Simple search…
Default search field (multi-criteria)
Default search field (multi-criteria)
Default search field (multi-criteria) + PDF full text
Titles
Subtitle
Work title
hal_serie_t
Abstract
Full text of PDF document
Keywords
All document identifiers
HAL submission identifier
Language of document (text)
Country (Text)
City
hal_inPress_bool
Author (multi-criteria)
Author: Full name
Author: Last name
Author: First name
Author: middle name
Author: funding institution
Author: IdHal (string)
Author: function
Author: idHal (integer)
Author: Identifier
Author: funding institution identifier
Author: Structure identifier
Thesis director
Publisher
Scientific editor
Series editor
Journals (multi-criteria)
Journal: Publisher
Journal: Abbreviated title
Journal: Title
Journal: Internal identifier
Journal: beginning publication date
Journal: online ISSN
Journal: ISSN
Journal: Publisher
Journal: SHERPA/RoMEO color
Journal: referential status
Conference (multi-criteria)
Conference: Title
Conference: Organiser
Conference: beginning date (Year)
Conference: end date (Year)
Invited communication (yes/no)
ANR project (multi-criteria)
ANR project: Acronym
hal_anrProjectAcronymProgram_t
ANR project: Code decision (reference)
ANR project: Name
ANR project: Internal identifier
ANR project: Referential Status
European project (multi-criteria)
European project: Acronym
European project: Call identifier
European project: Reference
European project: Name
European project: end date
European project: Funding
European project: beginning date
European project: Referential status
European project: Internal identifier
Structure (multi-criteria)
Structure: Acronym
Structure: Name
Structure: Code
Structure: Country
Structure: Type
Structure: Referential status
Structure: Internal structure identifier
Structure/research team: Country
Structure/department: Country
Structure/laboratory: Country
Structure/group of departments: State
Structure/institution: Country
Structure/group of institutions: Country
Publication date: year
Release date: year
hal_publicationDateY_i
Writing date: year
Date modified: year
Submission Date: year
Online Publication date: year
HAL Collection (multi-criteria)
HAL Collection: category
HAL Collection: Code
HAL Collection: Name
HAL Collection: Internal identifier
Contributor/author Internal identifier
Contributor/author Full name
Domains
Primary domain
Root domain
Sub-domain level 1
Sub-domain level 2
Sub-domain level 3
Status of document
Document version
Submission type
Document type
ISBN
Number - reference
Identifier: DOI
Classification
Audience
Vulgarization
Peer reviewing - text (yes or no)
Conference proceedings
Internal reference
Funding
Collaborations
Add
Successfully saved
My saved searches / my alerts
An error occurred while saving
1
2
3
4
5
6
7
8
9
10
Suivant
Dernière
Sort
Relevance
Author A→Z
Author Z→A
Title A→Z
Title Z→A
Date de publication croissante
Date de publication décroissante
Date de dépôt croissante
Date de dépôt décroissante
Number
30 results per page
50 results per page
100 results per page
×
Merci d'indiquer la raison de votre demande
Tools
o
Export
XML-TEI
BibTeX
EndNote
CSV
PDF
HTML
Advanced export...
Syndicated feeds
RSS
ATOM
tel-01727485
v1
Theses
Raymond A. Marie
.
Modélisation par réseaux de files d'attente
Réseaux et télécommunications [cs.NI]. Université de Rennes, 1978. Français
tel-00416558
v1
Theses
Luc Bougé
.
Modélisation de la notion de test de programmes; application à la production de jeux de tests
Génie logiciel [cs.SE]. Université Pierre et Marie Curie - Paris VI, 1982. Français
tel-00416184
v1
Theses
Luc Bougé
.
Modularité et symétrie pour les systèmes répartis; application au langage CSP
Génie logiciel [cs.SE]. Université Paris-Diderot - Paris VII, 1987. Français
tel-00172858
v1
Theses
Philippe Matherat
.
Contribution à l'augmentation de puissance des architectures de visus graphiques
Autre [cs.OH]. Université Pierre et Marie Curie - Paris VI, 1988. Français
tel-00772857
v1
Theses
Olivier Devillers
.
Méthodes d'optimisation du tracé de rayons
Synthèse d'image et réalité virtuelle [cs.GR]. Université Paris Sud - Paris XI, 1988. Français
tel-00431825
v1
Theses
Christine Paulin-Mohring
.
Extraction de programmes dans le Calcul des Constructions
Génie logiciel [cs.SE]. Université Paris-Diderot - Paris VII, 1989. Français
pastel-00838224
v1
Theses
Jean-Baptiste Pomet
.
Sur la commande adaptative des systèmes non linéaires
Automatique / Robotique. École Nationale Supérieure des Mines de Paris, 1989. Français.
⟨NNT : 1989ENMP0165⟩
tel-00004339
v1
Theses
Hubert Garavel
.
Compilation et vérification de programmes LOTOS
Autre [cs.OH]. Université Joseph-Fourier - Grenoble I, 1989. Français
tel-01754424
v1
Theses
Pierre Mousel
.
Syntaxe et sémantique dans un système de dialogue oral homme-machine finalisé en langage naturel
Informatique [cs]. Université Henri Poincaré - Nancy 1, 1990. Français.
⟨NNT : 1990NAN10038⟩
tel-01754366
v1
Theses
Frédéric Alexandre
.
Une modélisation fonctionnelle du cortex : La colonne corticale : aspects visuels et moteurs
Informatique [cs]. Université Henri Poincaré - Nancy 1, 1990. Français.
⟨NNT : 1990NAN10054⟩
tel-01754373
v1
Theses
Aristide Mégrelis
.
Algèbre galactique, un procédé de calcul formel, relatif aux semi-fonctions, à l'inclusion et à l'égalité
Matière Condensée [cond-mat]. Université Henri Poincaré - Nancy 1, 1990. Français.
⟨NNT : 1990NAN10396⟩
tel-00529718
v1
Theses
Xiao Chun Zhao Épouse Boury
.
Méthodologie de conception d'un système expert pour la généralisation cartographique
Interface homme-machine [cs.HC]. Ecole Nationale des Ponts et Chaussées, 1990. Français
tel-00432204
v1
Theses
Christine Morin
.
Protocole d'appel de multiprocédure à distance dans le système Gothic : définition et mise en oeuvre.
Informatique [cs]. Université Rennes 1, 1990. Français
tel-00523155
v1
Theses
Didier Chargy
.
Etude numérique d'écoulements réactifs transsoniques
Mécanique [physics.med-ph]. Ecole Nationale des Ponts et Chaussées, 1991. Français
tel-00410686
v1
Theses
Jean R Lobry
.
RE-EVALUATION DU MODELE DE CROISSANCE DE MONOD. EFFET DES ANTIBIOTIQUES SUR L'ENERGIE DE MAINTENANCE
Ecologie, Environnement. Université Claude Bernard - Lyon I, 1991. Français
tel-00519683
v1
Theses
Ghassan Chehaibar
.
Méthodes d'analyse hiérarchique des réseaux de Petri
Modélisation et simulation. Ecole Nationale des Ponts et Chaussées, 1991. Français
tel-00832312
v1
Theses
Monique Teillaud
.
Vers des algorithmes dynamiques randomisés en géométrie algorithmique
Géométrie algorithmique [cs.CG]. Université Paris Sud - Paris XI, 1991. Français
tel-00529467
v1
Theses
Xiaohua Le
.
Implémentation d'un modèle d'acteur, application au traitement de données partielles en audit thermique de bâtiment
Modélisation et simulation. Ecole Nationale des Ponts et Chaussées, 1992. Français
tel-00631474
v1
Theses
Isaac Cohen
.
Modèles déformables 2-D et 3-D : application à la segmentation d'images médicales
Interface homme-machine [cs.HC]. Université Paris Dauphine - Paris IX, 1992. Français
tel-01499951
v1
Theses
Xavier Leroy
.
Typage polymorphe d'un langage algorithmique
Langage de programmation [cs.PL]. Université Paris 7, 1992. Français
tel-01432876
v1
Theses
Stéfane Paris
.
Reconnaissance par indexation en vision par ordinateur
Multimédia [cs.MM]. INPL - INP de LORRAINE, 1992. Français
tel-00784857
v1
Theses
Yves Papegay
.
Outils Formels pour la Modélisation en Mécanique
Mécanique [physics.med-ph]. Université Nice Sophia Antipolis, 1992. Français
tel-00549134
v1
Theses
Quang-Tuan Luong
.
Matrice fondamentale et calibration visuelle sur l'environnement. Vers une plus grande autonomie des système robotiques.
Automatique / Robotique. Université Paris Sud - Paris XI, 1992. Français
tel-01739696
v1
Theses
Odile Mella
.
Contribution à l’identification automatique du locuteur sur des critères acoustiques et phonétiques
Informatique et langage [cs.CL]. Université de Nancy I, 1993. Français.
⟨NNT : 1993NAN10411⟩
tel-00614660
v1
Theses
Philippe Dumas
.
Récurrences mahlériennes, suites automatiques, études asymptotiques
Mathématiques [math]. Université Sciences et Technologies - Bordeaux I, 1993. Français
tel-00005126
v1
Theses
Jose Guadalupe Escamilla de los Santos
.
Shood : un modéle méta-circulaire de représentation de connaissances
Interface homme-machine [cs.HC]. Institut National Polytechnique de Grenoble - INPG, 1993. Français
tel-00572335
v1
Theses
Paulo Gonçalves
.
Représentations Temps-Fréquence et Temps-Echelle Bilinéaires: Synthèse et Contributions
Traitement du signal et de l'image [eess.SP]. Institut National Polytechnique de Grenoble - INPG, 1993. Français
tel-00723227
v1
Theses
Daniel Augot
.
Étude algèbrique des mots de poids minimum des codes cycliques, méthodes d'algèbre linéaire sur les corps finis.
Théorie de l'information [cs.IT]. Université Pierre et Marie Curie - Paris VI, 1993. Français
tel-00005114
v1
Theses
Jutta Willamowski
.
Modelisation de taches pour la resolution de problemes en cooperation systeme-utilisateur
Interface homme-machine [cs.HC]. Université Joseph-Fourier - Grenoble I, 1994. Français
tel-00196524
v2
Theses
Benjamin Werner
.
Une Théorie des Constructions Inductives
Génie logiciel [cs.SE]. Université Paris-Diderot - Paris VII, 1994. Français
1
2
3
4
5
6
7
8
9
10
Suivant
Dernière
Sort
Relevance
Author A→Z
Author Z→A
Title A→Z
Title Z→A
Date de publication croissante
Date de publication décroissante
Date de dépôt croissante
Date de dépôt décroissante
Number
30 results per page
50 results per page
100 results per page
Tools
o
Export
XML-TEI
BibTeX
EndNote
CSV
PDF
HTML
Advanced export...
Syndicated feeds
RSS
ATOM
Label
Save
Cancel
Compulsory field(s) not filled in.
Hosted by HAL : 