Skip to Main content
Skip to Navigation
Toggle navigation
HAL
HAL
HALSHS
TEL
MédiHAL
Liste des portails
AURéHAL
API
Data
Documentation
Episciences.org
Episciences.org
Journals
Documentation
Sciencesconf.org
Support
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 structure
By year
Domain list
By document type
Browse last submissions
Search
Services
HalTools
Search
Les Filtres
Filters
Sub-domain level 1 ×
All ×
11437 results
save search
Document types
Minimize
Reports
(6829)
Conference papers
(2647)
Journal articles
(825)
Theses
(764)
Book sections
(176)
Directions of work or proceedings
(44)
Books
(37)
Preprints, Working Papers, ...
(32)
Other publications
(30)
Habilitation à diriger des recherches
(22)
Lectures
(12)
Poster communications
(8)
Patents
(5)
Documents associated with scientific events
(3)
Master thesis
(2)
Videos
(1)
Author
Minimize
Frédéric Alexandre
(59)
Eitan Altman
(77)
Nicholas Ayache
(65)
François Baccelli
(80)
Michel Banâtre
(34)
Abdel Belaïd
(51)
Albert Benveniste
(85)
Florence Le Ber
(38)
Marie-Odile Berger
(49)
Michel Bernadou
(31)
Alexander Bockmayr
(37)
Jean-Daniel Boissonnat
(50)
J. Frederic Bonnans
(58)
Gérard Boudol
(34)
Olivier Bournez
(44)
Benoît Caillaud
(38)
Dominique Cansell
(38)
Gilles Celeux
(39)
François Charpillet
(75)
Guy Chavent
(32)
Vincent Chevrier
(32)
Isabelle Chrisment
(32)
Philippe Darondeau
(30)
Amos Abayomi David
(33)
Rachid Deriche
(44)
Alain Dervieux
(59)
Xavier Descombes
(31)
Jean-Antoine Desideri
(34)
Frédéric Desprez
(35)
Olivier Devillers
(71)
Chaabane Djeraba
(32)
Christine Eisenbeis
(32)
Olivier Faugeras
(79)
Olivier Festor
(92)
Philippe Flajolet
(97)
Eric Fleury
(35)
Dominique Fohr
(54)
Didier Galmiche
(41)
Bruno Gaujal
(69)
Blaise Genest
(30)
Paul-Louis George
(39)
Claude Godart
(69)
Paul Le Guernic
(41)
Jens Gustedt
(37)
Isabelle Guérin-Lassous
(31)
Stefan Haar
(61)
Jean-Paul Haton
(73)
Philippe Jacquet
(75)
Claude Jard
(57)
Emmanuel Jeannot
(33)
Patrick Joly
(63)
Hélène Kirchner
(74)
Claude Kirchner
(73)
Ralf Klasing
(44)
Gregory Kucherov
(43)
Jean-Charles Lamirel
(33)
Yves Laprie
(37)
Christian Laugier
(45)
Sylvain Lazard
(37)
Jean Lieber
(34)
Zhen Liu
(47)
Jean-Yves Marion
(39)
Pascal Molli
(57)
Christine Morin
(45)
Jean-Michel Muller
(97)
Dominique Méry
(49)
Philippe Nain
(38)
Amedeo Napoli
(103)
Nicolas Navet
(53)
Gérald Oster
(40)
Marie-Claude Portmann
(66)
Thierry Priol
(43)
Jean-Marie Proth
(85)
Stéphane Pérennes
(31)
Michel Raynal
(104)
Christophe Ringeissen
(32)
Yves Robert
(32)
Erven Rohou
(55)
Laurent Romary
(49)
Fabrice Rouillier
(34)
Michaël Rusinowitch
(70)
Bruno Salvy
(44)
Bruno Sericola
(34)
André Seznec
(55)
Marc Shapiro
(40)
Gilles Simon
(33)
Françoise Simonot-Lion
(101)
Hala Skaf-Molli
(44)
Kamel Smaïli
(44)
Ye-Qiong Song
(81)
Jeanine Souquières
(50)
Radu State
(36)
Antoine Tabbone
(31)
Jean-Pierre Thomesse
(72)
Sid Touati
(30)
Brigitte Trousse
(30)
Thierry Viéville
(56)
Laurent Wendling
(30)
Josiane Zerubia
(69)
Paul Zimmermann
(63)
Subject field
Minimize
Computer Science [cs]
(11437)
Mathematics [math]
(95)
Engineering Sciences [physics]
(54)
Humanities and Social Sciences
(46)
Life Sciences [q-bio]
(38)
Statistics [stat]
(12)
Physics [physics]
(7)
Cognitive science
(5)
domain_stic
(3)
domain_other
(2)
Environmental Sciences
(2)
Laboratory
Minimize
Laboratoire Lorrain de Recherche en Informatique et ses Applications
(3564)
INRIA Lorraine
(3085)
Inria Sophia Antipolis - Méditerranée
(1973)
Institut de Recherche en Informatique et Systèmes Aléatoires
(1566)
Inria Paris-Rocquencourt
(1523)
Inria Grenoble - Rhône-Alpes
(1060)
INRIA Rocquencourt
(1027)
INRIA Rennes
(791)
Inria Rennes – Bretagne Atlantique
(736)
Laboratoire de l'Informatique du Parallélisme
(408)
Inria Saclay - Ile de France
(352)
Laboratoire Bordelais de Recherche en Informatique
(280)
Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis
(235)
Laboratoire d'informatique GRAphique, VIsion et Robotique de Grenoble
(221)
Inria Bordeaux - Sud-Ouest
(217)
Laboratoire d'Informatique Fondamentale de Lille
(211)
Inria Nancy - Grand Est
(161)
Laboratoire d'Informatique de Paris 6
(148)
Département d'informatique de l'École normale supérieure
(142)
Laboratoire d'Informatique de Grenoble
(133)
Inria Lille - Nord Europe
(101)
Laboratoire de Recherche en Informatique
(97)
Laboratoire Spécification et Vérification [Cachan]
(83)
Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174)
(79)
Laboratoire de Biométrie et Biologie Evolutive - UMR 5558
(71)
CITI Centre of Innovation in Telecommunications and Integration of services
(63)
no affiliation
(57)
INRIA Futurs
(49)
Informatique et Distribution
(38)
Laboratoire d'informatique de l'École polytechnique [Palaiseau]
(37)
Department of Computer Science
(36)
Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
(36)
Institut de recherche en informatique de Toulouse
(35)
Laboratoire Jean Alexandre Dieudonné
(35)
Centre de Mathématiques Appliquées
(34)
Institut des Maladies Neurodégénératives [Bordeaux]
(31)
Institut Élie Cartan de Nancy
(30)
Laboratoire d'Informatique de Nantes Atlantique
(30)
Inria de Paris
(27)
LA ou URA 227 - INRIA Rennes
(27)
Mathématiques, Informatique et STatistique pour l'Environnement et l'Agronomie
(26)
Laboratoire d'informatique Algorithmique : Fondements et Applications
(25)
Parallélisme, Réseaux, Systèmes, Modélisation
(25)
Centre d'Enseignement et de Recherche en Mathématiques, Informatique et Calcul Scientifique
(24)
Laboratoire d'océanographie de Villefranche
(23)
Institut de Mathématiques de Bordeaux
(22)
Laboratoire d'informatique de l'école normale supérieure
(22)
Laboratoire Jacques-Louis Lions
(21)
Institut de Recherche en Communications et en Cybernétique de Nantes
(20)
Institut Charles Delaunay
(19)
Institut de Recherche Mathématique de Rennes
(19)
PSA Peugeot - Citroën
(17)
Department of Computer Science [Santa Barbara]
(16)
Laboratoire de Mathématiques d'Orsay
(16)
Centrum voor Wiskunde en Informatica
(15)
Laboratoire Jean Kuntzmann
(15)
Laboratoire des Sciences de l'Image, de l'Informatique et de la Télédétection
(14)
University of Rhode Island
(14)
Department of Computer Science [Calgary]
(13)
Inria Siège
(13)
Laboratoire de Biotechnologie de l'Environnement [Narbonne]
(13)
School of computer science [Ottawa]
(13)
VERIMAG
(13)
Department of Mathematics [Baton Rouge]
(12)
Institut de Recherche Mathématique Avancée
(12)
Laboratoire de Mathématiques et Applications de Metz
(12)
Centro de Investigação em Informática e Tecnologias da Informação
(11)
Department of Mathematics and Computer Science [Odense]
(11)
Digital Arithmetic and Reconfigurable Architecture Laboratory
(11)
Institut Élie Cartan de Lorraine
(11)
Laboratoire Hubert Curien [Saint Etienne]
(11)
Laboratoire d'analyse et d'architecture des systèmes
(11)
Physics Laboratory
(11)
Sciences et Technologies de la Musique et du Son
(11)
Analyse des Systèmes et Biométrie
(10)
CEntre de REcherches en MAthématiques de la DEcision
(10)
Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189
(10)
Dipartimento di Informatica [Italy]
(10)
Laboratoire d'Informatique Fondamentale d'Orléans
(10)
Max-Planck-Institut für Informatik
(10)
Department of Computing and Information Sciences [Kansas]
(9)
Department of Information Engineering and Computer Science
(9)
France Télécom Recherche & Développement
(9)
Instituto de Matematicas [México]
(9)
LINA
(9)
Microsoft Research [Cambridge]
(9)
Department of Computer Science [Amherst]
(8)
Dipartimento Ingegneria Aerospaziale "Lucio Lazzarino"
(8)
Dipartimento di Elettronica, Informazione e Bioingegneria
(8)
Dipartimento di Matematica e Informatica [Perugia]
(8)
Département de Mathématiques [Montpellier]
(8)
Laboratoire Méthodes Mathématiques pour l'Analyse des Systèmes
(8)
Laboratoire d'Informatique Gaspard-Monge
(8)
Laboratoire d'informatique Fondamentale de Marseille - UMR 6166
(8)
Laboratoire de Semio-Linguistique, Didactique et Informatique
(8)
Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance
(8)
Analyse et Traitement Informatique de la Langue Française
(7)
Bremer Institut für Produktion und Logistik GmbH
(7)
CEGELEC
(7)
Centre de Recherche en Automatique de Nancy
(7)
Department of Computer Science [Ioannina]
(7)
Laboratoire d'Imagerie Paramétrique
(7)
Laboratoire d'Informatique, de Modélisation et d'optimisation des Systèmes
(7)
Laboratoire de Mathématiques
(7)
Amélioration génétique et adaptation des plantes méditerranéennes et tropicales
(6)
Centre Scientifique et Technique du Bâtiment
(6)
General Electric Medical Systems [Buc]
(6)
Groupe de Recherche en Apprentissage Automatique
(6)
IT4Innovations - National Supercomputing Center [Ostrava]
(6)
Institute of Computer Science
(6)
Instituto de Informática da UFRGS
(6)
Intelligent Systems Research Laboratory
(6)
Istituto di Scienza e Tecnologie dell'Informazione “A. Faedo"
(6)
Laboratoire Informatique d'Avignon
(6)
Laboratoire Photonique, Numérique et Nanosciences
(6)
Laboratoire d'Algorithmique Complexité et Logique
(6)
Laboratoire d'Arithmétique et d'Algèbre
(6)
Laboratoire d'Informatique de Paris-Nord
(6)
Laboratoire de Génie Industriel et de Production Mécanique
(6)
Laboratoire de Génie Informatique
(6)
Laboratoire de Modélisation Mathématique et Numérique dans les Sciences de l'Ingénieur [Tunis]
(6)
Mathématiques - Analyse, Probabilités, Modélisation - Orléans
(6)
Microsoft Research [Redmond]
(6)
Botanique et Modélisation de l'Architecture des Plantes et des Végétations
(5)
Centre Inter universitaire de Calcul de Bretagne
(5)
Centre de Mathématiques et de Leurs Applications
(5)
Computer Science Department [Los Angeles]
(5)
Courant Institute of Mathematical Sciences [New York]
(5)
Departamento de Informática
(5)
Departamento de Informática [Minho]
(5)
Department of Computer and Information Science - Linköping University
(5)
Department of Mathematics
(5)
Department of mathematics and computing science [Eindhoven]
(5)
Dipartimento di Matematica Pura e Applicata [Padova]
(5)
Distributed Programming Laboratory
(5)
Eco-informatics
(5)
Fondazione Centro San Raffaele del Monte Tabor [Milan]
(5)
Institut de Mathématiques et de Modélisation de Montpellier
(5)
Institute for Information Systems - ETH Zurich
(5)
Institute for Logic, Language and Computation
(5)
Institute for Mathematical Optimization
(5)
Institute of Applied Mathematics
(5)
Laboratoire d'Intégration des Systèmes et des Technologies
(5)
Laboratoire de recherche en Génie Logiciel, Applications distribuées, Systèmes décisionnels et Imagerie intelligente [Manouba]
(5)
Laboratoire des Sciences du Numérique de Nantes
(5)
No Magic Europe
(5)
ONERA - The French Aerospace Lab [Châtillon]
(5)
School of Computing - Soongsil University, Séoul
(5)
Service de neurochirurgie [Brest]
(5)
Vytsoka Skola Ekonomicka v Praze
(5)
Abteilung Informatik und angewandte Kognitionswissenschaft [Duisburg]
(4)
Alcatel Lucent Bell Labs
(4)
Alcatel-Lucent Bell Labs France [Nozay]
(4)
Centre d'Enseignement et de Recherche en Informatique, Communication et Systèmes
(4)
Centre de Robotique
(4)
Clique Strategic Research Cluster
(4)
Computer Science and Engineering Department [Alexandria]
(4)
Departamento de Informática y Sistemas [Murcia]
(4)
Department of Computer Science [Oxford]
(4)
Department of Computer Science and Engineering [Bombay]
(4)
Department of Computer Science and Engineering [Colombus]
(4)
Department of Computer Science. University of Tennessee
(4)
Department of Computer and Information Science
(4)
Department of Electrical Engineering and Computer Science [Berkeley]
(4)
Department of Electrical and Computer Engineering [Blacksburg]
(4)
Department of Informatics [Oslo]
(4)
Department of Mechanical and Industrial Engineering [Baton Rouge]
(4)
Dipartimento di Informatica [Torino]
(4)
Dynamique Du Langage
(4)
Ecole supérieure d'ingénieurs de Beyrouth
(4)
Equipe d'Entomologie et de lutte biologique
(4)
Image & Pervasive Access Lab
(4)
Institut de Mathématiques Appliquées de Grenoble [Grenoble]
(4)
Institut des Sciences de la Communication du CNRS
(4)
Institute of Computer Engineering [Vienna]
(4)
Laboratoire Analyse, Géométrie et Applications
(4)
Laboratoire Logiciels Systèmes Réseaux
(4)
Laboratoire d'Automatique de Tlemcen
(4)
Laboratoire d'Automatique, Génie Informatique et Signal
(4)
Laboratoire d'InfoRmatique en Image et Systèmes d'information
(4)
Laboratoire d'intelligence artificielle
(4)
Laboratory for Information and Decision Systems - Massachusetts Institute of Technology
(4)
Maturation des ARN et enzymologie moléculaire
(4)
Mechanical Engineering Department
(4)
Microsoft Research - Inria Joint Centre
(4)
Panasonic Speech Technology Laboratory
(4)
School of computing [Singapore]
(4)
Sciences Techniques Éducation Formation
(4)
Service de neurochirurgie [Rennes]
(4)
Alcatel-Thalès III-V lab
(3)
Association Enseignement Public et Informatique
(3)
CNET
(3)
Centre Européen de Recherche et de Formation Avancée en Calcul Scientifique
(3)
Centre d'Ecologie Végétale et d'Hydrologie
(3)
Centre d'études et de recherche en informatique et communications
(3)
Centre de Recherche Public Henri Tudor [Headquarters]
(3)
Centre de Recherche en Informatique de Nancy
(3)
Centro de Modelamiento Matemático [Santiago]
(3)
Computer Laboratory [Cambridge]
(3)
Computer Science Department [UCLA]
(3)
Language
Minimize
English
(8619)
French
(2740)
Interlingue
(67)
Spanish
(6)
German
(2)
Chinese
(2)
Italian
(1)
Keyword
Minimize
Réécriture
(116)
Scheduling
(112)
Rewriting
(102)
Ordonnancement
(88)
COMPUTATIONAL GEOMETRY
(67)
Classification
(62)
Neural networks
(60)
Complexity
(58)
Simulation
(55)
Modélisation
(54)
Temps réel
(54)
Réseaux de neurones
(53)
Non disponible sur le PDF
(52)
OPTIMIZATION
(48)
Validation
(48)
Real-time
(47)
SCHEDULING
(47)
Complexité
(46)
Linear logic
(45)
Parallelism
(45)
Parallélisme
(45)
Uml
(44)
Fouille de données
(42)
Security
(42)
Sécurité
(42)
Xml
(42)
Data mining
(41)
Logique linéaire
(41)
Apprentissage par renforcement
(38)
TCP
(38)
Verification
(38)
Vérification
(37)
Automated deduction
(36)
Reinforcement learning
(36)
Semantics
(36)
Speech recognition
(36)
Adaptation
(35)
Floating-point arithmetic
(35)
Apprentissage
(34)
Performance evaluation
(34)
VERIFICATION
(34)
COQ
(33)
Optimization
(33)
Reconnaissance automatique de la parole
(33)
Reconnaissance de la parole
(33)
Network management
(31)
Optimisation
(31)
Raisonnement à partir de cas
(31)
Strategy
(31)
Case-based reasoning
(30)
JAVA
(30)
PERFORMANCE EVALUATION
(30)
Refinement
(30)
SIMULATION
(30)
Spécification
(30)
XML
(30)
COMPUTER ARITHMETIC
(29)
Systèmes embarqués
(29)
Termination
(29)
Contraintes
(28)
Cooperation
(28)
Raffinement
(28)
Speech
(28)
Connexionnisme
(27)
Constraints
(27)
Coordination
(27)
M
(27)
Multicast
(27)
Parole
(27)
Preuve
(27)
STABILITY
(27)
Stratégie
(27)
Sémantique
(27)
Term rewriting
(27)
Workflow
(27)
Augmented reality
(26)
Bioinformatics
(26)
Bioinformatique
(26)
COMPLEXITY
(26)
Compilation
(26)
Computer arithmetic
(26)
Hmm
(26)
Induction
(26)
K-firm
(26)
Learning
(26)
Modelling
(26)
Web services
(26)
B method
(25)
Java
(25)
MPI
(25)
Petri nets
(25)
Real time
(25)
Terminaison
(25)
CLUSTER
(24)
Distributed systems
(24)
GRID COMPUTING
(24)
Matching
(24)
OPTIMAL CONTROL
(24)
Proof
(24)
Qualité de service
(24)
Type of deposit
Minimize
Fulltext
(8365)
Notice
(3066)
Annex
(6)
Year
Minimize
2021
(2)
2020
(32)
2019
(33)
2018
(41)
2017
(59)
2016
(60)
2015
(97)
2014
(136)
2013
(190)
2012
(165)
2011
(193)
2010
(209)
2009
(192)
2008
(183)
2007
(187)
2006
(391)
2005
(482)
2004
(919)
2003
(933)
2002
(862)
2001
(656)
2000
(667)
1999
(625)
1998
(613)
1997
(271)
1996
(326)
1995
(308)
1994
(296)
1993
(335)
1992
(266)
1991
(223)
1990
(221)
1989
(203)
1988
(191)
1987
(199)
1986
(140)
1985
(140)
1984
(101)
1983
(91)
1982
(84)
1981
(65)
1980
(50)
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
RTF
Advanced export...
Syndicated feeds
RSS
ATOM
hal-00308150
v1
Journal articles
Sylvain Coulonges
,
Arnaud Pêcher
,
Annegret K. Wagler
.
Characterizing and bounding the imperfection ratio for some classes of graphs
Mathematical Programming, Series A
, Springer, 2009, 118 (1), pp.37-46.
⟨10.1007/s10107-007-0182-9⟩
ensl-00086707
v1
Books
Jean-Michel Muller
.
Arithmétique des ordinateurs
Masson, pp.214, 1989, 2-225-81689-1
inria-00576472
v1
Reports
C. Mouton
.
Configuration File Parser Library
[Technical Report] 2009, pp.12
inria-00576469
v1
Reports
C. Mouton
.
Linear Algebra Libraries
[Technical Report] 2009, pp.35
tel-00007765
v1
Theses
Nicolas Ollinger
.
Automates cellulaires : structures
Autre [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2002. Français
hal-01556289
v1
Book sections
Martin Serrano
,
Amelie Gyrard
,
Michael Boniface
,
Paul Grace
,
Nikolaos Georgantas
et al.
Cross-Domain Interoperability Using Federated Interoperable Semantic IoT/Cloud Testbeds and Applications: The FIESTA-IoT Approach
Building the Future Internet through FIRE 2016 FIRE Book: A Research and Experiment based Approach
,
River Publishers
, 2017, 978-87-93519-11-4
tel-01746842
v1
Theses
Olivier Fissore
.
Terminaison de la réécriture sous stratégies
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2003. Français.
⟨NNT : 2003NAN10176⟩
inria-00589508
v1
Reports
Alireza Esna Ashari
,
Laurent Mevel
.
Optimal Input Design for Subspace-Based Fault Detection and Identification
[Research Report] RR-7609, INRIA. 2010, pp.20
tel-01754599
v1
Theses
Ons Sassi
.
Planification de la recharge et optimisation des tournées dans le cas de flottes captives
Autre [cs.OH]. Université de Lorraine, 2015. Français.
⟨NNT : 2015LORR0303⟩
tel-01748094
v1
Theses
Daniela Grigori
.
Eléments de flexibilité des systèmes de workflow pour la définition et l'exécution de procédés coopératifs
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2001. Français.
⟨NNT : 2001NAN10241⟩
tel-01751318
v1
Theses
Adrien Krähenbühl
.
Segmentation et analyse géométrique : application aux images tomodensitométriques de bois
Autre [cs.OH]. Université de Lorraine, 2014. Français.
⟨NNT : 2014LORR0276⟩
tel-01754283
v1
Theses
Laurent Fousse
.
Intégration numérique avec erreur bornée en précision arbitraire
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2006. Français.
⟨NNT : 2006NAN10164⟩
tel-01750475
v1
Theses
Guillaume Bonfante
.
Constructions d'ordres, analyse de la complexité
Autre [cs.OH]. Institut National Polytechnique de Lorraine, 2000. Français.
⟨NNT : 2000INPL102N⟩
tel-01752888
v1
Theses
Marco Gaboardi
.
Linearity : an analytic tool in the study of complexity and semantics of programming languages
Other. Institut National Polytechnique de Lorraine, 2007. English.
⟨NNT : 2007INPL099N⟩
tel-01752548
v1
Theses
Luciano Pereira dos Reis
.
Une architecture pour la collaboration synchrone à distance appliquée à la visualisation et à la modélisation dans les géosciences :
Autre. Institut National Polytechnique de Lorraine, 2006. Français.
⟨NNT : 2006INPL018N⟩
tel-01752907
v1
Theses
Zerouk Mouloua
.
Ordonnancements coopératifs pour les chaînes logistiques
Autre [cs.OH]. Institut National Polytechnique de Lorraine, 2007. Français.
⟨NNT : 2007INPL090N⟩
tel-01750586
v1
Theses
Jamila Ben Slimane
.
Allocation conjointe des canaux de fréquence et des créneaux de temps et routage avec QdS dans les réseaux de capteurs sans fil denses et étendus
Autre [cs.OH]. Université de Lorraine, 2013. Français.
⟨NNT : 2013LORR0224⟩
tel-01750479
v1
Theses
François Cuny
.
Radiosité à base d'ondelettes sur des surfaces paramétriques
Autre [cs.OH]. Institut National Polytechnique de Lorraine, 2000. Français.
⟨NNT : 2000INPL082N⟩
tel-01748200
v1
Theses
Nawal Guermouche
.
Etude des interactions temporisées dans la composition de services Web
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2010. Français.
⟨NNT : 2010NAN10033⟩
tel-01749790
v1
Theses
Rodolphe Charrier
.
L'intelligence en essaim sous l'angle des systèmes complexes : étude d'un système multi-agent réactif à base d'itérations logistiques couplées
Autre [cs.OH]. Université Nancy 2, 2009. Français.
⟨NNT : 2009NAN23001⟩
tel-01746242
v1
Theses
Tony Bourdier
.
Méthodes algébriques pour la formalisation et l'analyse de politiques de sécurité
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2011. Français.
⟨NNT : 2011NAN10096⟩
tel-01747107
v1
Theses
Christelle Scharff
.
Déduction avec contraintes et simplification dans les théories équationnelles
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 1999. Français.
⟨NNT : 1999NAN10271⟩
tel-01750679
v1
Theses
Thanh Ha Do
.
Sparse representations over learned dictionary for document analysis
Other [cs.OH]. Université de Lorraine, 2014. English.
⟨NNT : 2014LORR0021⟩
tel-01746173
v1
Theses
Thibault Cholez
.
Supervision des réseaux pair à pair structurés appliquée à la sécurité des contenus
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2011. Français.
⟨NNT : 2011NAN10036⟩
tel-01747519
v1
Theses
David Chamont
.
Architecture logicielle pour la simulation des transferts radiatifs
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 1997. Français.
⟨NNT : 1997NAN10254⟩
tel-01748392
v1
Theses
Najah Chridi
.
Contributions à la vérification automatique de protocoles de groupes
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2009. Français.
⟨NNT : 2009NAN10069⟩
tel-01747515
v1
Theses
Samuel Adesoye Ajila
.
Maintenance logicielle : analyse d'impact, problématique et mise en oeuvre
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 1995. Français.
⟨NNT : 1995NAN10029⟩
tel-01753530
v1
Theses
Malek Mouhoub
.
Contribution à l'étude des techniques de propagation de contraintes symboliques et numériques pour le raisonnement temporel
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 1996. Français.
⟨NNT : 1996NAN10320⟩
tel-01751259
v1
Theses
Manel Tagorti
.
Sur les abstractions et les projections des processus décisionnels de Markov de grande taille
Autre [cs.OH]. Université de Lorraine, 2015. Français.
⟨NNT : 2015LORR0005⟩
tel-01748451
v1
Theses
Olivier Christmann
.
Navigation dans de grands ensembles non structurés de documents visuels
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2008. Français.
⟨NNT : 2008NAN10046⟩
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
RTF
Advanced export...
Syndicated feeds
RSS
ATOM
Label
Save
Cancel
Compulsory field(s) not filled in.