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
keyword_s ×
All ×
174 results
save search
Document types
Minimize
Journal articles
(65)
Conference papers
(43)
Theses
(27)
Reports
(17)
Preprints, Working Papers, ...
(10)
Habilitation à diriger des recherches
(4)
Book sections
(3)
Books
(3)
Directions of work or proceedings
(2)
Author
Minimize
Emmanuel Agullo
(3)
Mehdi Ahmed-Nacer
(2)
Guillaume Aupy
(7)
Nicholas Ayache
(3)
Anne Benoit
(5)
Jean-Claude Bermond
(4)
Alysson Bessani
(1)
F. Bidault
(2)
Pierre-Yves Bondiau
(3)
Alin Bostan
(10)
Xavier Caruso
(3)
Bertrand Caré
(1)
Aurélien Cavelan
(1)
Alain Celisse
(1)
Augustin Chaintreau
(1)
Cedric Chauve
(1)
Rayan Chikhi
(3)
Rayan Chikhi
(2)
Catalin Cocis
(1)
Nathann Cohen
(2)
Olivier Commowick
(3)
David Coudert
(7)
Adel Courdi
(1)
Alexandra Danilkina
(1)
Bruno Derudas
(1)
Frédéric Dhermain
(2)
Mohab Safey El Din
(2)
Guillaume Ducoffe
(2)
Louis Dumont
(2)
Pierre-Francois Dutot
(3)
André Galligo
(1)
Christophe Genolini
(1)
Christos Giatsidis
(1)
Luc Giraud
(2)
Frédéric Giroire
(4)
Isabelle Gnaedig
(2)
Aurélien Greuet
(1)
Michel Habib
(2)
Bernard Hanzon
(1)
Cengis Hasan
(1)
Charles Hoyt
(1)
Catharine van Ingen
(1)
Aurélie Isambert
(3)
Géraldine Jean
(2)
Claire Kenyon
(1)
Jean Kieffer
(2)
Christoph Koch
(1)
Vincent Lacroix
(2)
Pierre Lairez
(2)
Aurélien Lancin
(2)
Michel Leclère
(2)
Thierry Lecroq
(2)
Dimitri Lefkopoulos
(2)
Axel Legay
(1)
Viktor Levandovskyy
(2)
Grégoire Malandain
(4)
Antoine Mamcarz
(1)
Andrea Marino
(1)
Guillemette Marot
(2)
Dorian Mazauric
(4)
Tobias Metzlaff
(2)
Fatima Zahra Moataz
(2)
Khalil Ben Mohamed
(2)
Carol Moraga
(1)
Joanna Moulierac
(5)
Grégory Mounié
(2)
Marie-Laure Mugnier
(3)
Amedeo Napoli
(3)
Brice Onfroy
(2)
Aïda Ouangraoua
(2)
Apostolos Papadopoulos
(1)
Nicolas Pasquier
(2)
Andrzej Pelc
(1)
Pierre Peterlongo
(3)
Truong Khoa Phan
(2)
Yann Ponty
(2)
Bingqing Qu
(1)
Antoine Rault
(1)
Stephane Redon
(2)
Eric Rivals
(2)
Yves Robert
(9)
Bruno Salvy
(3)
Éric Schost
(4)
Alexander Schönhuth
(1)
Chen Sun
(1)
A Szanto
(1)
Laszlo Szathmary
(3)
Aurélien A. Sérandour
(1)
Eric Tannier
(2)
Jean-Philippe Thirion
(2)
Denis Trystram
(3)
Pascal Urso
(2)
Petko Valtchev
(2)
Frédéric Vivien
(5)
Agnès Voisard
(1)
Biing-Feng Wang
(1)
Andreas Weber
(1)
Dounia Zaidouni
(5)
Karim Zeid
(2)
Mawussi Zounon
(2)
Subject field
Minimize
Computer Science [cs]
(160)
Life Sciences [q-bio]
(24)
Mathematics [math]
(16)
Engineering Sciences [physics]
(9)
Physics [physics]
(3)
Statistics [stat]
(3)
Humanities and Social Sciences
(2)
Environmental Sciences
(1)
Laboratory
Minimize
Inria Sophia Antipolis - Méditerranée
(37)
Inria Grenoble - Rhône-Alpes
(36)
Inria Saclay - Ile de France
(26)
Laboratoire Lorrain de Recherche en Informatique et ses Applications
(22)
Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis
(20)
Laboratoire de l'Informatique du Parallélisme
(20)
Institut de Recherche en Informatique et Systèmes Aléatoires
(19)
Inria Rennes – Bretagne Atlantique
(16)
Inria Paris-Rocquencourt
(15)
Laboratoire de Recherche en Informatique
(14)
Inria Nancy - Grand Est
(12)
INRIA Lorraine
(11)
Inria Lille - Nord Europe
(11)
Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
(9)
Laboratoire de Biométrie et Biologie Evolutive - UMR 5558
(9)
Laboratoire d'informatique de l'École polytechnique [Palaiseau]
(8)
Inria Bordeaux - Sud-Ouest
(7)
Laboratoire d'Informatique de Paris 6
(7)
Inria de Paris
(6)
Laboratoire Bordelais de Recherche en Informatique
(5)
Laboratoire d'Informatique Fondamentale de Lille
(5)
Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189
(4)
Département d'informatique de l'École normale supérieure
(4)
Laboratoire Jean Kuntzmann
(4)
Laboratoire d'InfoRmatique en Image et Systèmes d'information
(4)
Laboratoire d'Informatique de Grenoble
(4)
Computational Radiology Laboratory [Boston]
(3)
Department of Computer Science
(3)
Department of Mathematics [Burnaby]
(3)
Institut de Biologie Computationnelle
(3)
Institut de Mathématiques de Bordeaux
(3)
Institut de Recherche Mathématique de Rennes
(3)
Laboratoire Paul Painlevé - UMR 8524
(3)
Laboratoire d'informatique Algorithmique : Fondements et Applications
(3)
Max-Planck-Institut für Informatik
(3)
CITI Centre of Innovation in Telecommunications and Integration of services
(2)
Computer Science Department
(2)
Evaluation des technologies de santé et des pratiques médicales - ULR 2694
(2)
Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174)
(2)
Informatique et Distribution
(2)
Inria Chile
(2)
Laboratoire Jean Alexandre Dieudonné
(2)
Laboratoire d'Informatique de Nantes Atlantique
(2)
Laboratoire d'Informatique, de Traitement de l'Information et des Systèmes
(2)
Laboratoire d'Intégration des Systèmes et des Technologies
(2)
Laboratoire des sciences de l'ingénieur, de l'informatique et de l'imagerie
(2)
Laboratory for Research on Technology for ECommerce
(2)
Aarhus School of Engineering
(1)
Advanced Computing for Science Department [LBNL Berkeley]
(1)
Amélioration des Plantes et Biotechnologies Végétales
(1)
Architecture et Réactivité de l'ARN
(1)
Athinoula A. Martinos Center for Biomedical Imaging
(1)
Bonn-Aachen International Center for Information Technology
(1)
Cardiovasculaire, métabolisme, diabétologie et nutrition
(1)
Center for Bioinformatics [Saarbrücken]
(1)
Centre de Mathématiques Appliquées
(1)
Centre de Recherche sur le Sport et le Mouvement
(1)
Centre de recherches de biochimie macromoléculaire
(1)
Centre de vision numérique
(1)
Centro de Investigação em Informática e Tecnologias da Informação
(1)
Computer Science & Engineering Department
(1)
Computer Science Department [Cluj-Napoca, Roumanie]
(1)
Coventry University (UK)
(1)
Departamento de Ciência da Computação [Minas Gerais]
(1)
Department of Biomedical Informatics [Columbus]
(1)
Department of Computer Science [Bath]
(1)
Department of Computer Science [Charlottesville]
(1)
Department of Computer Science [Haifa]
(1)
Department of Computer Science [Royal Holloway]
(1)
Department of Econometrics
(1)
Department of Landscape Architecture and Rural Systems Engineering
(1)
Department of Mathematics and Statistics [Christchurch]
(1)
Department of Mathematics and Statistics, McMaster University, Hamilton, Canada
(1)
Department of Mechanical Science and Engineering
(1)
Department of Medical Biophysics
(1)
Department of mathematics and computing science [Eindhoven]
(1)
Dept. Mathematics [Maastricht]
(1)
Dipartimento di Informatica
(1)
Dipartimento di Informatica - Scienza e Ingegneria [Bologna]
(1)
Dipartimento di Informatica [Pisa]
(1)
Dynamique des interactions membranaires normales et pathologiques
(1)
Département d'Informatique et d'Ingénierie
(1)
Epidémiologie et analyses en santé publique : risques, maladies chroniques et handicaps
(1)
Faculty of Mechanical Engineering [HCM University]
(1)
Gran Sasso Science Institute
(1)
INRIA Futurs
(1)
INRIA Rennes
(1)
Innovative Computing Laboratory [Knoxville]
(1)
Inria@SiliconValley
(1)
Institut Charles Delaunay
(1)
Institut Universitaire de France
(1)
Institut de Mathématiques de Bourgogne [Dijon]
(1)
Institut de Recherche Interdisciplinaire de Grenoble
(1)
Institut de Recherche en Informatique Fondamentale
(1)
Institut für Angewandte Informatik und Formale Beschreibungsverfahren [Karlsruhe]
(1)
Institut für Informatik II [Bonn]
(1)
Institut für Informatik [Berlin]
(1)
Institut interdisciplinaire de l’innovation
(1)
Institute for Computational and Mathematical Engineering [Stanford]
(1)
Institute for Digital Communication Joint Research Institute for Signal & Image Processing School of Engineering and Electronics - University of Edinburgh
(1)
Institute of Bioorganic Chemistry [Poznań]
(1)
Institute of Computing Science [Poznan]
(1)
Institute of Developmental Biology and Cancer
(1)
Institute of Evolutionary Biology [Edinburgh]
(1)
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa
(1)
Joint Institute for Nuclear Research
(1)
LIP6
(1)
LaSTIC Laboratory
(1)
Laboratoire Adaptation et pathogénie des micro-organismes [Grenoble]
(1)
Laboratoire Jacques-Louis Lions
(1)
Laboratoire Traitement et Communication de l'Information
(1)
Laboratoire d'Informatique de Marseille
(1)
Laboratoire d'Informatique, Systèmes, Traitement de l'Information et de la Connaissance
(1)
Laboratoire d'Informatique, de Modélisation et d'optimisation des Systèmes
(1)
Laboratoire d'analyse et modélisation de systèmes pour l'aide à la décision
(1)
Laboratoire d'études en Géophysique et océanographie spatiales
(1)
Laboratoire de Mathématiques de Versailles
(1)
Laboratoire de Mathématiques et Modélisation d'Evry
(1)
Laboratoire de Neuroimagerie Assistée par Ordinateur
(1)
Laboratoire de biophysique moléculaire et cellulaire
(1)
Laboratoire des Sciences du Numérique de Nantes
(1)
Laboratoire des signaux et systèmes
(1)
Laboratory of Information, Network and Communication Sciences
(1)
Leiden Institute of Advanced Computer Science [Leiden]
(1)
Life Sciences [Amsterdam]
(1)
Mensia Technologies [Rennes]
(1)
Microsoft Research - Inria Joint Centre
(1)
Microsoft Research [Redmond]
(1)
Modélisation, Information & Systèmes
(1)
National Energy Research Scientific Computing Center
(1)
Ontario Research Center for Computer Algebra
(1)
Orange Labs [Lannion]
(1)
Pacific institute for the Mathematical Science (SFU)
(1)
Parallélisme, Réseaux, Systèmes, Modélisation
(1)
Reproduction et développement des plantes
(1)
Récepteurs nucléaires, maladies cardiovasculaires et diabète - U 1011
(1)
Service NEUROSPIN
(1)
Services répartis, Architectures, MOdélisation, Validation, Administration des Réseaux
(1)
Software Languages Lab
(1)
Unité de recherche en génomique végétale
(1)
University of Sarajevo
(1)
XLIM
(1)
Language
Minimize
English
(159)
French
(15)
Keyword
Minimize
Scheduling
(580)
Simulation
(504)
Machine learning
(444)
Optimization
(418)
Classification
(397)
Security
(368)
Clustering
(301)
Privacy
(278)
Modélisation
(251)
Complexity
(249)
Ordonnancement
(247)
Verification
(247)
Modeling
(242)
Stability
(239)
Optimal control
(230)
Optimisation
(219)
Segmentation
(200)
Computer vision
(198)
Deep learning
(195)
Rewriting
(195)
Cloud computing
(189)
Ontology
(187)
Performance
(182)
Neural networks
(181)
Coq
(178)
Algorithms
(174)
Data mining
(174)
Routing
(174)
Semantics
(171)
Distributed systems
(170)
Performance evaluation
(167)
Real-time
(167)
Bioinformatics
(162)
Visualization
(161)
Parallelism
(158)
Robustness
(158)
Validation
(151)
RDF
(150)
Réécriture
(149)
Evaluation
(148)
Machine Learning
(147)
Semantic web
(142)
FPGA
(141)
Semantic Web
(140)
Sécurité
(140)
Registration
(139)
Modelling
(138)
EEG
(137)
XML
(137)
Compilation
(136)
Reliability
(136)
GPU
(135)
IoT
(135)
Formal methods
(130)
Scalability
(129)
Adaptation
(127)
Algorithm
(126)
Cloud Computing
(126)
Apprentissage
(125)
Inverse problem
(125)
Internet of Things
(123)
Interoperability
(123)
MRI
(123)
Monitoring
(122)
Data assimilation
(121)
Embedded systems
(121)
MPI
(121)
Matching
(121)
Vision par ordinateur
(121)
Cryptography
(120)
Inverse problems
(119)
Game theory
(118)
Cloud
(117)
Robotics
(117)
Static analysis
(116)
Concurrency
(115)
Estimation
(115)
Image processing
(115)
Reinforcement learning
(115)
Ontologies
(114)
Parallélisme
(114)
Web sémantique
(113)
Fault tolerance
(112)
Diffusion MRI
(110)
Speech recognition
(110)
FMRI
(109)
Learning
(109)
Virtual reality
(108)
Wireless sensor networks
(108)
Design
(107)
Energy efficiency
(107)
Interaction
(107)
Virtualization
(107)
Asymptotic analysis
(106)
Finite element method
(106)
Model checking
(105)
Peer-to-peer
(105)
Robotique
(105)
Sparsity
(105)
Complexité
(104)
Type of deposit
Minimize
Fulltext
(137)
Notice
(37)
Year
Minimize
2020
(13)
2019
(7)
2018
(5)
2017
(15)
2016
(14)
2015
(18)
2014
(14)
2013
(15)
2012
(8)
2011
(14)
2010
(8)
2009
(8)
2008
(7)
2007
(7)
2006
(3)
2005
(3)
2004
(4)
2003
(2)
2002
(2)
2001
(1)
2000
(1)
1998
(2)
1995
(2)
1993
(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
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
lirmm-01348367
v1
Journal articles
Thu-Hien To
,
Matthieu Jung
,
Samantha Lycett
,
Olivier Gascuel
.
Fast Dating Using Least-Squares Criteria and Algorithms
Systematic Biology
, Oxford University Press (OUP), 2016, 65 (1), pp.82-97.
⟨10.1093/sysbio/syv068⟩
lirmm-00712653
v1
Journal articles
Eric Rivals
,
Nicolas Philippe
,
Mikaël Salson
,
Martine Léonard
,
T. Commes
et al.
A Scalable Indexing Solution to Mine Huge Genomic Sequence Collections
ERCIM News
, ERCIM, 2012, 2012 (89), pp.20-21
hal-01252167
v1
Journal articles
Jean-Pierre Lozi
,
Florian David
,
Gaël Thomas
,
Julia Lawall
,
Gilles Muller
.
Fast and Portable Locking for Multicore Architectures
ACM Transactions on Computer Systems
, Association for Computing Machinery, 2016,
⟨10.1145/2845079⟩
hal-02473665
v1
Preprints, Working Papers, ...
Xavier Caruso
,
Tristan Vaccon
,
Thibaut Verron
.
Signature-based algorithms for Gröbner bases over Tate algebras
2020
lirmm-00537832
v1
Conference papers
Khalil Ben Mohamed
,
Michel Leclère
,
Marie-Laure Mugnier
.
Containment of Conjunctive Queries with Negation: Algorithms and Experiments
DEXA: Database and Expert Systems Applications
, Aug 2010, Bilbao, Spain. pp.330-345,
⟨10.1007/978-3-642-15251-1_27⟩
hal-01643468
v1
Journal articles
Matthias Thimm
,
Serena Villata
.
The first international competition on computational models of argumentation: Results and analysis
Artificial Intelligence
, Elsevier, 2017, 252, pp.267 - 294.
⟨10.1016/j.artint.2017.08.006⟩
tel-00012046
v1
Theses
Liliana Cucu
.
Ordonnancement non préemptif et condition d'ordonnançabilité pour systèmes embarqués à contraintes temps réel
Autre [cs.OH]. Université Paris Sud - Paris XI, 2004. Français
inria-00637656
v1
Reports
Joanna Moulierac
,
Truong Khoa Phan
,
Nam Thoai
,
Cuong Tran
.
Xcast6 Treemap Islands - A Mixed Model of Application and Network Layer Multicast
[Research Report] RR-7784, INRIA. 2011, pp.27
hal-01920970
v1
Journal articles
Frédéric Giroire
,
Nicolas Huin
,
Joanna Moulierac
,
Truong Khoa Phan
.
Energy-Aware Routing in Software-Defined Network using Compression
The Computer Journal
, Oxford University Press (UK), 2018, 61 (10), pp.1537 - 1556.
⟨10.1093/comjnl/bxy029⟩
tel-01752149
v2
Theses
Manamiary Bruno Andriamiarina
.
Développement d'algorithmes répartis corrects par construction
Modélisation et simulation. Université de Lorraine, 2015. Français.
⟨NNT : 2015LORR0181⟩
hal-02101766
v1
Reports
Richard M. Karp
,
Claire Kenyon
,
Orli Waarts
.
Error-resilient DNA computation.
[Research Report] LIP RR-1995-20, Laboratoire de l'informatique du parallélisme. 1995, 2+23p
tel-00195401
v1
Theses
Vincent Lacroix
.
Identification de motifs dans les réseaux métaboliques
Autre [cs.OH]. Université Claude Bernard - Lyon I, 2007. Français
tel-00788467
v1
Theses
Cédric Saule
.
Modèles combinatoires des structures d'ARN avec ou sans pseudonoeuds, application à la comparaison de structures.
Bio-informatique [q-bio.QM]. Université Paris Sud - Paris XI, 2011. Français
hal-00841956
v1
Conference papers
Nouredine Melab
,
Thé Van Luong
,
Karima Boufaras
,
El-Ghazali Talbi
.
ParadisEO-MO-GPU: a Framework for Parallel GPU-based Local Search Metaheuristics
ACM GECCO'2013
, Jul 2013, Amsterdam, Netherlands
hal-01205343
v1
Conference papers
Mattias de Wael
,
Stefan Marr
,
Joeri de Koster
,
Jennifer B. Sartor
,
Wolfgang de Meuter
.
Just-in-Time Data Structures
Proceedings of the 2015 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming & Software
, Oct 2015, Pittsburgh, PA, United States.
⟨10.1145/2814228.2814231⟩
hal-01418464
v1
Books
Clarisse Dhaenens
,
Laetitia Jourdan
.
Metaheuristics for Big Data
Wiley-ISTE, pp.212, 2016, 978-1-84821-806-2
hal-02264327
v1
Journal articles
Jean-Claude Bermond
,
Augustin Chaintreau
,
Guillaume Ducoffe
,
Dorian Mazauric
.
How long does it take for all users in a social network to choose their communities?
Discrete Applied Mathematics
, Elsevier, 2019, 270, pp.37-57.
⟨10.1016/j.dam.2019.07.023⟩
hal-00821474
v1
Conference papers
Frédéric Devernay
,
Olivier Faugeras
.
Automatic calibration and removal of distortion from scenes of structured environments
Investigative and Trial Image Processing
, 1995, San Diego, United States.
⟨10.1117/12.218487⟩
hal-00777675
v2
Conference papers
Alin Bostan
,
Pierre Lairez
,
Bruno Salvy
.
Creative telescoping for rational functions using the Griffiths-Dwork method
ISSAC'13 - 38th International Symposium on Symbolic and Algebraic Computation
, Northeastern University, Boston, Massachusetts, USA, Jul 2013, Boston, United States. pp.93-100,
⟨10.1145/2465506.2465935⟩
hal-02367725
v1
Book sections
Gwendal Simon
.
Allocation optimale de ressources dans des overlays
Evolution des technologies pair-à-pair : optimisation, sécurité et application
, Hermès Science, Lavoisier, 2010, 978-2-7462-2579-4
tel-00460292
v1
Habilitation à diriger des recherches
Pascal Berthomé
.
Contribution à l'algorithmique des graphes: quelques représentations pertinentes de graphes
Modélisation et simulation. Université Paris Sud - Paris XI, 2006
hal-01227303
v2
Journal articles
Stéphane Grumbach
,
Olivier Hamant
.
Digital Revolution or Anthropocenic Feedback?
Anthropocene Review
, SAGE Publications, 2017, 5 (1), pp.1-12.
⟨10.1177/2053019617748337⟩
lirmm-00355336
v1
Books
Michel Chein
,
Marie-Laure Mugnier
.
Graph-Based Knowledge Representation: Computational Foundations of Conceptual Graphs
Springer
, pp.427, 2008, Advanced Information and Knowledge Processing, 978-1-84800-286-9.
⟨10.1007/978-1-84800-286-9⟩
hal-01165186
v2
Reports
Emmanuel Agullo
,
Luc Giraud
,
Mawussi Zounon
.
On the resilience of a parallel sparse hybrid solver
[Research Report] RR-8744, INRIA Bordeaux; INRIA. 2015
tel-01485328
v1
Theses
Guillaume Ducoffe
.
Metric properties of large graphs
Other [cs.OH]. Université Côte d'Azur, 2016. English.
⟨NNT : 2016AZUR4134⟩
inria-00527140
v1
Journal articles
Valentina Baldazzi
,
Delphine Ropers
,
Yves Markowicz
,
Daniel Kahn
,
Johannes Geiselmann
et al.
The carbon assimilation network in Escherichia coli is densely connected and largely sign-determined by directions of metabolic fluxes.
PLoS Computational Biology
, Public Library of Science, 2010, 6 (6), pp.e1000812.
⟨10.1371/journal.pcbi.1000812⟩
tel-01064396
v1
Theses
Marco Bevilacqua
.
Algorithms for super-resolution of images and videos based on learning methods
Image Processing [eess.IV]. Université Rennes 1, 2014. English.
⟨NNT : 2014REN1S027⟩
tel-00752033
v1
Theses
Rayan Chikhi
.
Computational methods for de novo assembly of next-generation genome sequencing data
Other [cs.OH]. École normale supérieure de Cachan - ENS Cachan, 2012. English.
⟨NNT : 2012DENS0033⟩
tel-00418297
v1
Theses
Patricio Reyes
.
Data Gathering in Radio Networks
Networking and Internet Architecture [cs.NI]. Université Nice Sophia Antipolis, 2009. English
hal-01425140
v1
Journal articles
Ivan Llopard
,
Christian Fabre
,
Albert Cohen
.
A From a Formalized Parallel Action Language to its Efficient Code Generation
ACM Transactions on Embedded Computing Systems (TECS)
, ACM, 2017,
⟨10.1145/0000000.0000000⟩
1
2
3
4
5
6
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.