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
Structure: Internal structure identifier ×
All ×
16282 results
save search
Document types
Minimize
Conference papers
(8843)
Journal articles
(3954)
Theses
(801)
Reports
(784)
Book sections
(514)
Preprints, Working Papers, ...
(396)
Poster communications
(274)
Directions of work or proceedings
(185)
Other publications
(145)
Habilitation à diriger des recherches
(95)
Books
(88)
Documents associated with scientific events
(82)
Master thesis
(63)
Patents
(30)
Software
(14)
Lectures
(8)
Notes de synthèse
(3)
Videos
(3)
Author
Minimize
Mathieu Acher
(69)
Emmanuelle Anceaume
(101)
Eric Anquetil
(92)
Gabriel Antoniu
(137)
Bruno Arnaldi
(76)
Anne Auger
(86)
Elise Bannier
(95)
Olivier Barais
(67)
Christian Barillot
(283)
Benoit Baudry
(96)
Michel Beaudouin-Lafon
(87)
Olivier Berder
(102)
Jean-Marie Bonnin
(83)
Islam Boussaada
(79)
Yann Busnel
(94)
Olivier Chapuis
(62)
François Chaumette
(231)
Daniel Chillet
(81)
Marc Christie
(63)
Vincent Claveau
(62)
Benoit Combemale
(85)
Olivier Commowick
(66)
Marie-Odile Cordier
(111)
Nicolas Courty
(70)
Bernard Cousin
(148)
Steven Derrien
(62)
Pierre Dragicevic
(83)
Gilles Edan
(67)
Jocelyne Erhel
(97)
Jean-Daniel Fekete
(200)
Jean-Christophe Ferré
(128)
Sébastien Ferré
(79)
Pierre-Alain Fouque
(62)
Matthieu Gautier
(67)
Jean-Yves Gauvrit
(68)
Paolo Robuffo Giordano
(80)
François Goasdoué
(92)
Valérie Gouranton
(88)
Annie Gravey
(71)
Guillaume Gravier
(62)
Rémi Gribonval
(170)
Christine Guillemot
(138)
Thomas Guyet
(76)
Isabelle Guyon
(71)
Yassine Hadjadj-Aoul
(104)
Nikolaus Hansen
(89)
Petra Isenberg
(92)
Tobias Isenberg
(113)
Anne-Marie Kermarrec
(207)
Adlen Ksentini
(107)
Xavier Lagrange
(87)
Samer Lahoud
(84)
Jean-Louis Lanet
(63)
Sébastien Lefèvre
(68)
Axel Legay
(208)
Fabrice Legeai
(70)
Anatole Lécuyer
(166)
Wendy E. Mackay
(85)
Patrick Maillé
(125)
Michael Malisoff
(73)
Ioana Manolescu
(140)
Maud Marchal
(86)
Eric Marchand
(142)
Frederic Mazenc
(171)
Olivier Le Meur
(75)
Nicolas Montavont
(63)
Christine Morin
(130)
Achour Mostefaoui
(66)
Franck Multon
(63)
Silviu-Iulian Niculescu
(269)
Loutfi Nuaymi
(63)
Sorin Olaru
(137)
Anne-Hélène Olivier
(83)
Flavio Oquendo
(123)
Anne-Cécile Orgerie
(64)
Georgios Papadopoulos
(66)
Nikos Paragios
(136)
Pierre Peterlongo
(63)
Julien Pettré
(102)
Jannin Pierre
(66)
Emmanuel Pietriga
(66)
Sébastien Pillement
(66)
Olivier Pivert
(154)
Yann Ponty
(67)
René Quiniou
(67)
Michel Raynal
(240)
Erven Rohou
(72)
Gerardo Rubino
(164)
Ferran Argelaguet Sanz
(65)
Marc Schoenauer
(151)
Michèle Sebag
(136)
Olivier Sentieys
(242)
Bruno Sericola
(108)
André Seznec
(87)
Anne Siegel
(89)
Gwendal Simon
(64)
Grégory Smits
(76)
François Taïani
(76)
Olivier Teytaud
(77)
Bruno Tuffin
(172)
Subject field
Minimize
Computer Science [cs]
(13736)
Engineering Sciences [physics]
(1604)
Life Sciences [q-bio]
(1207)
Mathematics [math]
(898)
Cognitive science
(348)
Statistics [stat]
(315)
Humanities and Social Sciences
(287)
Physics [physics]
(232)
Environmental Sciences
(88)
Sciences of the Universe [physics]
(70)
Chemical Sciences
(17)
Nonlinear Sciences [physics]
(7)
Quantitative Finance [q-fin]
(6)
Laboratory
Minimize
Institut de Recherche en Informatique et Systèmes Aléatoires
(11416)
Inria Rennes – Bretagne Atlantique
(8547)
Inria Saclay - Ile de France
(4149)
Laboratoire de Recherche en Informatique
(3458)
Inria Sophia Antipolis - Méditerranée
(933)
Laboratoire des signaux et systèmes
(909)
Inria Grenoble - Rhône-Alpes
(422)
Centre de vision numérique
(407)
Laboratoire d'informatique de l'École polytechnique [Palaiseau]
(402)
Laboratoire Lorrain de Recherche en Informatique et ses Applications
(239)
Inria Lille - Nord Europe
(236)
Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance
(229)
Inria Paris-Rocquencourt
(228)
Laboratoire d'Informatique Fondamentale de Lille
(220)
Institut d'Électronique et des Technologies du numéRique
(191)
Laboratoire Mouvement Sport Santé
(188)
Laboratoire Bordelais de Recherche en Informatique
(184)
Laboratoire d'Informatique de Nantes Atlantique
(182)
Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189
(178)
Inria Nancy - Grand Est
(178)
Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
(176)
Laboratoire de l'Informatique du Parallélisme
(174)
Laboratoire d'Informatique de Grenoble
(167)
Inria de Paris
(154)
Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis
(149)
Institut de recherche en informatique de Toulouse
(148)
Institut Universitaire de France
(126)
Laboratoire d'Informatique de Paris 6
(122)
Laboratoire Traitement et Communication de l'Information
(121)
Supélec Sciences des Systèmes
(119)
Laboratoire d'Intégration des Systèmes et des Technologies
(115)
Orange Labs [Lannion]
(115)
Laboratoire d'Informatique Gaspard-Monge
(110)
Département d'informatique de l'École normale supérieure
(109)
Service de radiologie et imagerie médicale [Rennes]
(109)
Laboratoire d'analyse et d'architecture des systèmes
(105)
Laboratoire Spécification et Vérification [Cachan]
(104)
Laboratoire d'Informatique pour la Mécanique et les Sciences de l'Ingénieur
(104)
Laboratoire des Sciences du Numérique de Nantes
(101)
Technicolor R & I [Cesson Sévigné]
(98)
Inria Bordeaux - Sud-Ouest
(93)
Laboratoire Traitement du Signal et de l'Image
(92)
Parallélisme, Réseaux, Systèmes, Modélisation
(91)
Département d'Informatique et de Recherche Opérationnelle [Montreal]
(88)
Microsoft Research - Inria Joint Centre
(87)
Laboratoire de l'Accélérateur Linéaire
(85)
Institut de Génétique, Environnement et Protection des Plantes
(84)
Laboratoire d'InfoRmatique en Image et Systèmes d'information
(74)
Service de neurochirurgie [Rennes]
(66)
DGA Maîtrise de l'information
(64)
Institut de Recherche Mathématique de Rennes
(64)
Laboratoire Jacques-Louis Lions
(62)
Mathématiques Appliquées aux Systèmes - EA 4037
(62)
Orange Labs [Cesson-Sévigné]
(61)
Laboratoire Jean Kuntzmann
(59)
Laboratoire des sciences de l'ingénieur, de l'informatique et de l'imagerie
(58)
Grenoble Images Parole Signal Automatique
(56)
CITI Centre of Innovation in Telecommunications and Integration of services
(55)
Centre d'études et de recherche en informatique et communications
(55)
Centre de Mathématiques Appliquées - Ecole Polytechnique
(55)
INRIA Lorraine
(51)
Department of Mathematics
(50)
Département de Radiologie [CHU de Rennes]
(49)
Groupe de Recherche en Informatique, Image, Automatique et Instrumentation de Caen
(49)
Laboratoire Hubert Curien [Saint Etienne]
(49)
Service de Neurologie [Rennes]
(49)
XLIM
(49)
Georgia Tech Lorraine [Metz]
(48)
Institut de Recherche en Communications et en Cybernétique de Nantes
(48)
Laboratory of Information, Network and Communication Sciences
(48)
Centre d'Investigation Clinique [Rennes]
(46)
Littoral, Environnement, Télédétection, Géomatique UMR 6554
(46)
SUPELEC-Campus Rennes
(45)
Service NEUROSPIN
(45)
INRIA Rennes
(43)
Géosciences Rennes
(42)
Department of Computer Science
(41)
Distributed Programming Laboratory
(41)
Informatique, Biologie Intégrative et Systèmes Complexes
(41)
Institut de recherche en santé, environnement et travail
(41)
Microsoft Research [Redmond]
(41)
Thales Research and Technology [Palaiseau]
(41)
LIP6
(40)
Commissariat à l'énergie atomique et aux énergies alternatives - Laboratoire d'Electronique et de Technologie de l'Information
(39)
Institut d'Electronique et de Télécommunications de Rennes
(39)
Laboratoire d'Informatique Fondamentale d'Orléans
(39)
Orange Labs [Issy les Moulineaux]
(39)
Physiologie, Environnement et Génétique pour l'Animal et les Systèmes d'Elevage [Rennes]
(39)
Technicolor [Cesson Sévigné]
(39)
Laboratoire de Biométrie et Biologie Evolutive - UMR 5558
(38)
Centre de Recherche en Automatique de Nancy
(37)
Instituto de Matematicas [México]
(37)
Orange Labs R&D [Rennes]
(37)
Services répartis, Architectures, MOdélisation, Validation, Administration des Réseaux
(37)
VERIMAG
(37)
Centre de Recherche en Archéologie, Archéosciences, Histoire
(36)
Computational Radiology Laboratory [Boston]
(35)
Institut de génétique et microbiologie [Orsay]
(35)
Service de neurologie [Rennes]
(35)
Institut Rhône-Alpin des systèmes complexes
(34)
NEC Europe Ltd., Network Laboratories
(34)
France Télécom Recherche & Développement
(33)
Institut des Systèmes Intelligents et de Robotique
(33)
Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174)
(32)
Interdisciplinary Centre for Security, Reliability and Trust [Luxembourg]
(31)
Laboratoire d'Electronique, Antennes et Télécommunications
(31)
Laboratoire d'analyse et modélisation de systèmes pour l'aide à la décision
(31)
Joint Laboratory for Petascale Computing [Illinois]
(30)
Laboratoire de Recherche Opérationnelle de Décision et de Contrôle de Processus
(30)
Ambiances, Architectures, Urbanités
(29)
Laboratoire Informatique d'Avignon
(29)
Laboratoire d'Informatique, de Traitement de l'Information et des Systèmes
(29)
Laboratoire d'informatique Algorithmique : Fondements et Applications
(29)
Mathématiques et Informatique pour la Complexité et les Systèmes
(29)
SUPELEC-Campus Metz
(29)
Centre de Recherche en Acquisition et Traitement de l'Image pour la Santé
(28)
Ecole supérieure d'ingénieurs de Beyrouth
(28)
Institut de Recherche en Informatique Fondamentale
(28)
Institut für informatik [Potsdam]
(28)
Laboratoire Jean Alexandre Dieudonné
(28)
Department of Computer Science [Calgary]
(27)
Equipes Traitement de l'Information et Systèmes
(27)
Inria Chile
(27)
Instituto de Matemática, Estatística e Computação Científica [Brésil]
(27)
PReCISE Research Centre in Information Systems Engineering
(27)
Sol Agro et hydrosystème Spatialisation
(27)
Computer Vision Center (Centre de visio per computador)
(26)
Genoscope - Centre national de séquençage [Evry]
(26)
Joseph Louis LAGRANGE
(26)
Center for Indlejrede Software Systemer
(25)
Centre de résonance magnétique biologique et médicale
(25)
Inria Siège
(25)
Laboratoire Informatique de l'Université de Pau et des Pays de l'Adour
(25)
Laboratoire d'océanographie de Villefranche
(25)
Laboratoire d'Informatique de Paris-Nord
(24)
Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (UMR 3192)
(24)
Middleware Laboratory
(24)
Centre de Recherche en Informatique
(23)
Institut du Cerveau et de la Moëlle Epinière = Brain and Spine Institute
(23)
Laboratoire d'Informatique Fondamentale et Appliquée de Tours
(23)
Laboratoire des sciences et matériaux pour l'électronique et d'automatique
(23)
Bernoulli Institute for Mathematics and Computer Science and Artificial Intelligence
(22)
Department of Electrical and Electronics Engineering
(22)
Fédération de Mathématiques de l'Ecole Centrale Paris
(22)
Modélisation, Information & Systèmes
(22)
School of Communication and Information Engineering [Shanghai]
(22)
Centre de Recherche en Informatique de Lens
(21)
INRIA Futurs
(21)
Institut Camille Jordan [Villeurbanne]
(21)
Laboratoire d'informatique de l'école normale supérieure
(21)
ONERA - The French Aerospace Lab [Palaiseau]
(21)
Computer Science and Artificial Intelligence Laboratory [Cambridge]
(20)
Max Planck Institute for Biological Cybernetics
(20)
Modèles, Dynamiques, Corpus
(20)
Amélioration génétique et adaptation des plantes méditerranéennes et tropicales
(19)
Comportement et noyaux gris centraux = Behavior and Basal Ganglia [Rennes]
(19)
Department of Mathematics [Burnaby]
(19)
Laboratoire de Physique Théorique d'Orsay [Orsay]
(19)
Laboratoire des Sciences de l'Image, de l'Informatique et de la Télédétection
(19)
Department of Computer Science [Lund]
(18)
Ecole Nationale de la Statistique et de l'Analyse de l'Information
(18)
Facebook AI Research [Paris]
(18)
Institut Élie Cartan de Nancy
(18)
Institute of Computer Science and Information Engineering [Taiwan]
(18)
Instituto de Computacion [Montevideo]
(18)
Laboratoire d'Informatique - Agrocampus Ouest
(18)
NTT Secure Platform Laboratories [Tokyo]
(18)
Centre de recherche des écoles de Saint-Cyr Coëtquidan [Guer]
(17)
Computer Science Department
(17)
Department of Computer Science and Engineering [Bombay]
(17)
Department of Electrical Engineering and Computer Science
(17)
Département Composants et Systèmes
(17)
Institut de Biologie Computationnelle
(17)
Laboratoire Interdisciplinaire des Sciences du Numérique
(17)
Laboratoire d'Informatique et Systèmes
(17)
Laboratoire de Biologie Intégrative des Modèles Marins
(17)
Recherche en Pharmaco-épidémiologie et Recours aux Soins
(17)
Technocentre Renault [Guyancourt]
(17)
Centre de Recherches en Psychologie Cognition et Communication
(16)
Computer Aided Medical Procedures & Augmented Reality
(16)
Department of Computer Science & Engineering
(16)
Génie et Microbiologie des Procédés Alimentaires
(16)
Hôpital Maison Blanche
(16)
Ingénierie des Agro-polymères et Technologies Émergentes
(16)
Institut interdisciplinaire de l’innovation
(16)
Laboratoire Spécification et Vérification
(16)
Laboratoire d'Énergétique Moléculaire et Macroscopique, Combustion
(16)
Mathématiques, Informatique et STatistique pour l'Environnement et l'Agronomie
(16)
RTRA DIGITEO
(16)
School of Mathematics and statistics [Sydney]
(16)
Security, Reliability and Trust Interdisciplibary Research Centre
(16)
ASTRIUM
(15)
Department of Computer Science [UIUC]
(15)
Ecosystèmes, biodiversité, évolution [Rennes]
(15)
Fonctions Optiques pour les Technologies de l'informatiON
(15)
Innovative Computing Laboratory [Knoxville]
(15)
Institut de Biologie François JACOB
(15)
Laboratoire d'Informatique Parallélisme Réseaux Algorithmes Distribués
(15)
Laboratoire d'Informatique, Systèmes, Traitement de l'Information et de la Connaissance
(15)
Laboratoire d'informatique Fondamentale de Marseille
(15)
Language
Minimize
English
(14673)
French
(1576)
Unknown or Invalid Language
(14)
Spanish
(8)
German
(5)
Portuguese
(3)
Chinese
(2)
Polish
(1)
Keyword
Minimize
Machine learning
(104)
Cloud computing
(91)
Optimization
(82)
Security
(79)
Simulation
(68)
Deep learning
(66)
Privacy
(66)
Visualization
(66)
Clustering
(60)
RDF
(57)
Stability
(56)
Bioinformatics
(55)
Classification
(54)
FPGA
(54)
Virtual reality
(47)
Machine Learning
(46)
Routing
(46)
IoT
(45)
MRI
(45)
Scheduling
(45)
Consensus
(44)
Scalability
(44)
Energy efficiency
(43)
Virtual Reality
(43)
Virtualization
(43)
Distributed systems
(42)
Cloud Computing
(41)
Interaction
(41)
MapReduce
(40)
Semantic Web
(39)
Asynchronous system
(38)
Delay
(38)
Verification
(38)
Evaluation
(37)
Performance
(36)
Visual Servoing
(36)
Visual servoing
(36)
Neural networks
(35)
Information visualization
(34)
Segmentation
(34)
Sparsity
(34)
EEG
(33)
Data mining
(32)
Distributed algorithm
(32)
Optimisation
(32)
XML
(32)
Algorithms
(31)
Game theory
(31)
Multiple sclerosis
(31)
Static analysis
(31)
Cloud
(30)
Computer vision
(30)
LTE
(30)
Monitoring
(30)
Peer-to-peer
(29)
Deep Learning
(28)
Fault-tolerance
(28)
Internet of Things
(28)
Prediction
(28)
QoS
(28)
Remote sensing
(28)
Asservissement visuel
(27)
Energy consumption
(27)
Asynchronous message-passing system
(26)
Big Data
(26)
Coq
(26)
Markov chains
(26)
Process crash
(26)
Robustness
(26)
Benchmarking
(25)
Big data
(25)
Bioinformatique
(25)
Concurrency
(25)
Formal verification
(25)
SPARQL
(25)
Software Architecture
(25)
Sécurité
(25)
Apprentissage automatique
(24)
Compilation
(24)
Compression
(24)
Crowdsourcing
(24)
Model checking
(24)
Modeling
(24)
Reproducibility
(24)
Robotics
(24)
Software engineering
(24)
Wait-freedom
(24)
Wireless sensor networks
(24)
Perception
(23)
Semantic web
(23)
Semantics
(23)
Stabilization
(23)
Vision par ordinateur
(23)
Artificial intelligence
(22)
Brain
(22)
Compilers
(22)
Design
(22)
Energy Efficiency
(22)
Navigation
(22)
Performance evaluation
(22)
Type of deposit
Minimize
Fulltext
(10819)
Notice
(5377)
Annex
(86)
Year
Minimize
2021
(160)
2020
(1080)
2019
(1290)
2018
(1366)
2017
(1387)
2016
(1526)
2015
(1510)
2014
(1539)
2013
(1459)
2012
(1127)
2011
(956)
2010
(858)
2009
(636)
2008
(423)
2007
(275)
2006
(227)
2005
(162)
2004
(98)
2003
(44)
2002
(34)
2001
(23)
2000
(26)
1999
(24)
1998
(16)
1997
(9)
1996
(4)
1995
(3)
1994
(8)
1993
(2)
1992
(1)
1991
(2)
1990
(4)
1988
(3)
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-01958231
v1
Journal articles
Peter Savadjiev
,
Jaron Chong
,
Anthony Dohan
,
Maria Vakalopoulou
,
Caroline Reinhold
et al.
Demystification of AI-driven medical image interpretation: past, present and future
European Radiology
, Springer Verlag, 2018,
⟨10.1007/s00330-018-5674-x⟩
in2p3-00869803
v1
Journal articles
Róbert Busa-Fekete
,
Balázs Kégl
,
Tamás Éltetõ
,
György Szarvas
.
Tune and mix: learning to rank using ensembles of calibrated multi-class classifiers
Machine Learning
, Springer Verlag, 2013, 93 (2-3), pp.261-292.
⟨10.1007/s10994-013-5360-9⟩
hal-01167861
v1
Journal articles
Eugene Belilovsky
,
Andreas Argyriou
,
Gaël Varoquaux
,
Matthew Blaschko
.
Convex relaxations of penalties for sparse correlated variables with bounded total variation
Machine Learning
, Springer Verlag, 2015, pp.1-21.
⟨10.1007/s10994-015-5511-2⟩
hal-01304366
v1
Journal articles
Mireille Regnier
,
Philippe Chassignet
.
Accurate prediction of the statistics of repetitions in random sequences: a case study in Archaea genomes
Frontiers in Bioengineering and Biotechnology
, Frontiers, 2016, 4,
⟨10.3389/fbioe.2016.00035⟩
hal-00737920
v1
Journal articles
Romain Vuillemot
.
Création et évaluation d'interfaces visuelles interactives à partir de services web
Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle
, Lavoisier, 2012, Extraction de connaissances et visualisation de grands réseaux, 26 (4/2012), pp.429-453.
⟨10.3166/ria.26.429-453⟩
hal-01217564
v1
Journal articles
Anh Tuan Giang
,
Anthony Busson
,
Alain Lambert
,
Dominique Gruyer
.
Capacity of IEEE 802.11p based VANET: models, simulations and experimentations
IEEE Transactions on Vehicular Technology
, Institute of Electrical and Electronics Engineers, 2015, 15p.
⟨10.1109/TVT.2015.2474156⟩
hal-00922261
v1
Conference papers
Anh Tuan Giang
,
Anthony Busson
,
Alain Lambert
,
Dominique Gruyer
.
Topology Control in VANET and Capacity Estimation
2013 IEEE Vehicular Networking Conference (VNC)
, Dec 2013, BOSTON, United States.
⟨10.1109/vnc.2013.6737600⟩
hal-02933477
v1
Conference papers
Adélaïde Genay
,
Anatole Lécuyer
,
Martin Hachet
.
Incarner un Avatar en Réalité Augmentée : Revue de la Littérature
WACAI 2020 - Workshop sur les Affects, Compagnons artificiels et Interactions
, CNRS, Université Toulouse Jean Jaurès, Université de Bordeaux, Jun 2020, Saint Pierre d'Oléron, France
inria-00187827
v1
Journal articles
Dominique Barth
,
Johanne Cohen
,
Alain Denise
,
Romain Rivière
.
Shuffling biological sequences with motif constraints.
Journal of Discrete Algorithms
, Elsevier, 2007,
⟨10.1016/j.jda.2007.06.001⟩
hal-00912660
v1
Journal articles
Carlile Lavor
,
Leo Liberti
,
Antonio Mucherino
.
The interval Branch & Prune Algorithm for the Discretizable Molecular Distance Geometry Problem with Inexact Distances
Journal of Global Optimization
, Springer Verlag, 2013, 56 (3), pp.855-871
hal-02105087
v1
Journal articles
Felipe Fidalgo
,
Douglas Gonçalves
,
Carlile Lavor
,
Leo Liberti
,
Antonio Mucherino
.
A symmetry-based splitting strategy for discretizable distance geometry problems
Journal of Global Optimization
, Springer Verlag, 2018, 71 (4), pp.717-733.
⟨10.1007/s10898-018-0610-9⟩
hal-01429540
v1
Journal articles
Douglas S. Gonçalves
,
Antonio Mucherino
,
Carlile Lavor
,
Leo Liberti
.
Recent Advances on the Interval Distance Geometry
Journal of Global Optimization
, Springer Verlag, 2017, 69 (3), pp.525-545
hal-02105295
v1
Journal articles
Douglas Gonçalves
,
Antonio Mucherino
,
Carlile Lavor
,
Leo Liberti
.
Recent advances on the interval distance geometry problem
Journal of Global Optimization
, Springer Verlag, 2017, 69 (3), pp.525-545.
⟨10.1007/s10898-016-0493-6⟩
hal-02946930
v2
Reports
Guillaume Ambal
,
Alan Schmitt
,
Sergueï Lenglet
.
Automatic Transformation of a Big-Step Skeletal Semantics into Small-Step
[Research Report] RR-9363, Inria Rennes - Bretagne Atlantique. 2020
hal-01242268
v1
Journal articles
Sébastien Gambs
,
Marc-Olivier Killijian
,
Miguel Nuñez del Prado Cortez
.
De-anonymization attack on geolocated data
Journal of Computer and System Sciences
, Elsevier, 2014, 80 (8), pp.1597-1614.
⟨10.1016/j.jcss.2014.04.024⟩
hal-02470547
v1
Journal articles
Leo Mendiboure
,
Mohamed Aymen Chalouf
,
Francine Krief
.
Edge Computing Based Applications in Vehicular Environments: Comparative Study and Main Issues
Journal of Computer Science and Technology
, Springer Verlag, 2019, 34 (4), pp.869-886.
⟨10.1007/s11390-019-1947-3⟩
inria-00543126
v1
Journal articles
Antonio Fernández
,
Ernesto Jiménez
,
Pilar Manzano
,
Michel Raynal
.
Eventual Leader election with weak assumptions on initial knowledge, communication reliability and synchrony.
Journal of Computer Science and Technology
, Springer Verlag, 2010, 25 (6), pp.1267-1281.
⟨10.1007/s11390-010-9404-3⟩
hal-00782467
v1
Journal articles
Nabil Nassif
,
Noha Makhoul-Karam
,
Yeran Soukiassian
.
Computation of blowing-up solutions for second-order differential equations using re-scaling techniques
Journal of Computational and Applied Mathematics
, Elsevier, 2009, 227 (1), pp.185-195.
⟨10.1016/j.cam.2008.07.020⟩
hal-01091189
v2
Journal articles
Pierre Roux
.
Formal Proofs of Rounding Error Bounds
Journal of Automated Reasoning
, Springer Verlag, 2015, pp.23.
⟨10.1007/s10817-015-9339-z⟩
hal-02536463
v2
Journal articles
Guillaume Ambal
,
Sergueï Lenglet
,
Alan Schmitt
.
HOπ in Coq
Journal of Automated Reasoning
, Springer Verlag, 2020,
⟨10.1007/s10817-020-09553-0⟩
inria-00567801
v1
Journal articles
Rémi Gribonval
,
Morten Nielsen
.
The restricted isometry property meets nonlinear approximation with redundant frames
Journal of Approximation Theory
, Elsevier, 2013, 165 (1), pp.1--19.
⟨10.1016/j.jat.2012.09.008⟩
hal-01493442
v1
Journal articles
Cérès Carton
,
Aurélie Lemaitre
,
Bertrand Coüasnon
.
Eyes Wide Open: an interactive learning method for the design of rule-based systems
International Journal on Document Analysis and Recognition
, Springer Verlag, 2017, 20 (2), pp.91-103.
⟨10.1007/s10032-017-0282-x⟩
hal-01858192
v1
Journal articles
Aurélie Lemaitre
,
Jean Camillerapp
,
Cérès Carton
,
Bertrand Coüasnon
.
A combined strategy of analysis for the localization of heterogeneous form fields in ancient pre-printed records
International Journal on Document Analysis and Recognition
, Springer Verlag, 2018, 21(4) (269-282),
⟨10.1007/s10032-018-0309-y⟩
hal-01093060
v1
Journal articles
Leo Liberti
,
Benoît Masson
,
Jon Lee
,
Carlile Lavor
,
Antonio Mucherino
.
On the Number of Realizations of Certain Henneberg Graphs arising in Protein Conformation
Discrete Applied Mathematics
, Elsevier, 2014, 165, pp.213-232
inria-00543100
v1
Journal articles
Yehuda Afek
,
Eli Gafni
,
Sergio Rajsbaum
,
Michel Raynal
,
Corentin Travers
.
The k-simultaneous consensus problem
Distributed Computing
, Springer Verlag, 2010, 22 (3), pp.185-196.
⟨10.1007/s00446-009-0090-8⟩
hal-00987988
v1
Journal articles
Philippe Darondeau
,
Hervé Marchand
,
Laurie S. L. Ricker
.
Enforcing Opacity of Regular Predicates on Modal Transition Systems
Discrete Event Dynamic Systems
, Springer Verlag, 2015, 25 ((1-2)), pp.251-270.
⟨10.1007/s10626-014-0193-7⟩
hal-01851306
v1
Journal articles
Tanja Blascheck
,
Lonni Besançon
,
Anastasia Bezerianos
,
Bongshin Lee
,
Petra Isenberg
.
Glanceable Visualization: Studies of Data Comparison Performance on Smartwatches
IEEE Transactions on Visualization and Computer Graphics
, Institute of Electrical and Electronics Engineers, 2019, 25 (1), pp.616--629.
⟨10.1109/TVCG.2018.2865142⟩
hal-00717503
v2
Journal articles
Luana Micallef
,
Pierre Dragicevic
,
Jean-Daniel Fekete
.
Assessing the Effect of Visualizations on Bayesian Reasoning Through Crowdsourcing
IEEE Transactions on Visualization and Computer Graphics
, Institute of Electrical and Electronics Engineers, 2012, 18 (12), pp.2536 - 2545.
⟨10.1109/TVCG.2012.199⟩
hal-01205821
v1
Journal articles
Benjamin Bach
,
Conglei Shi
,
Nicolas Heulot
,
Tara Madhyastha
,
Tom Grabowski
et al.
Time Curves: Folding Time to Visualize Patterns of Temporal Evolution in Data
IEEE Transactions on Visualization and Computer Graphics
, Institute of Electrical and Electronics Engineers, 2016, 22 (1),
⟨10.1109/TVCG.2015.2467851⟩
hal-01188973
v1
Journal articles
Jeremy Boy
,
Louis Eveillard
,
Françoise Detienne
,
Jean-Daniel Fekete
.
Suggested Interactivity: Seeking Perceived Affordances for Information Visualization
IEEE Transactions on Visualization and Computer Graphics
, Institute of Electrical and Electronics Engineers, 2016, 22 (1), pp.639-648.
⟨10.1109/TVCG.2015.2467201⟩
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.