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
  1. Search


...
hal-01948060v1  Reports
Hervé Guillard, Jalal Lakhlili, Adrien Loseille, Alexis Loyer, Boniface Nkonga et al.  Tokamesh : A software for mesh generation in Tokamaks
[Research Report] RR-9230, CASTOR. 2018
...
hal-01901499v1  Reports
Alessandro Benfenati, Emilie Chouzenoux, Laurent Duval, Jean-Christophe Pesquet, Pirayre Aurélie. A review on graph optimization and algorithmic frameworks
[Research Report] LIGM - Laboratoire d'Informatique Gaspard-Monge. 2018
...
hal-01897399v2  Reports
Mickael Rivier, Pietro Marco Congedo. Surrogate-Assisted Bounding-Box Approach Applied to Constrained Multi-Objective Optimisation Under Uncertainty
[Research Report] RR-9214, Inria Saclay Ile de France. 2018, pp.1-37
...
hal-01907894v1  Reports
Martin Clochard, Andrei Paskevich, Claude Marché. Deductive Verification via Ghost Debugging
[Research Report] RR-9219, Inria Saclay Ile de France. 2018
...
hal-01882980v1  Reports
Yves Auffray. A variational interpretation of classification EM
[Research Report] Dassault Aviation. 2018
...
hal-01870148v1  Reports
Lutz Straßburger. On the Decision Problem for MELL
[Research Report] 9203, Inria Saclay Ile de France. 2018
...
hal-01867625v1  Reports
Willem Heijltjes, Dominic Hughes, Lutz Straßburger. Proof nets for first-order additive linear logic
[Research Report] RR-9201, Inria. 2018
...
hal-01325900v6  Reports
Šejla Čebirić, François Goasdoué, Pawel Guzewicz, Ioana Manolescu. Compact Summaries of Rich Heterogeneous Graphs
[Research Report] RR-8920, INRIA Saclay; Université Rennes 1. 2018, pp.1-40
...
hal-01844994v3  Reports
Anna Gogolou, Theophanis Tsandilas, Themis Palpanas, Anastasia Bezerianos. Comparing Time Series Similarity Perception under Different Color Interpolations
[Research Report] RR-9189, Inria. 2018
...
hal-01791072v3  Reports
Mickael Rivier, Jean Lachaud, Pietro Marco Congedo. Ablative thermal protection system under uncertainties including pyrolysis gas composition
[Research Report] RR-9175, Inria Bordeaux Sud-Ouest. 2018, pp.1-23
...
hal-01725835v1  Reports
Benoît Barbot, Béatrice Bérard, Yann Duplouy, Serge Haddad. Integrating Simulink Models into the Model Checker Cosmos
[Research Report] LSV, ENS Cachan, CNRS, INRIA, Université Paris-Saclay, Cachan (France); LIP6, Sorbonne Université, CNRS, UMR 7606; LACL, Université Paris-Est. 2018
...
hal-01713043v5  Reports
Mickael Rivier, Pietro Marco Congedo. Surrogate-Assisted Bounding-Box Approach for Optimization Problems with Tunable Objectives Fidelity
[Research Report] RR-9155, Inria Saclay Ile de France. 2018, pp.1-32
...
hal-01675573v2  Reports
Guangshuo Chen. Spatiotemporal Individual Mobile Data Traffic Prediction
[Technical Report] RT-0497, INRIA Saclay - Ile-de-France. 2018
...
hal-01681014v2  Reports
Ali Kassem, Gergely Acs, Claude Castelluccia, Catuscia Palamidessi. Differential Inference Testing A Practical Approach to Evaluate Anonymized Data
[Research Report] INRIA. 2018, pp.1-21
...
hal-01675570v2  Reports
Guangshuo Chen, Aline Carneiro Viana, Marco Fiore, Carlos Sarraute. Individual Trajectory Reconstruction from Mobile Network Data
[Technical Report] RT-0495, INRIA Saclay - Ile-de-France. 2018, pp.1-23
...
hal-01756799v1  Reports
Remco Chang, Jean-Daniel Fekete, Juliana Freire, Carlos Scheidegger. Connecting Visualization and Data Management Research (Dagstuhl Seminar 17461)
[Research Report] 2018/8670, Dagstuhl. 2018, pp.46--58
...
hal-01807699v1  Reports
Franz Bethke, Axel Kröner. Sufficient optimality conditions for bilinear optimal control of the linear damped wave equation
[Research Report] Humboldt Universität Berlin. 2018
...
hal-01870560v1  Reports
Enhui Huang, Liping Peng, Luciano Di Palma, Ahmed Abdelkafi, Anna Liu et al.  Optimization for Active Learning-based Interactive Database Exploration
[Technical Report] Ecole Polytechnique; University of Massachusetts Amherst. 2018
...
hal-01646608v2  Reports
Guangshuo Chen, Sahar Hoteit, Aline Carneiro Viana, Marco Fiore, Carlos Sarraute. Enriching Sparse Mobility Information in Call Detail Records
[Technical Report] RT-0496, INRIA Saclay - Ile-de-France. 2017
...
hal-01644750v1  Reports
Lutz Straßburger, Roman Kuznets. Maehara-style Modal Nested Calculi
[Research Report] RR-9123, Inria Saclay. 2017
...
hal-01612924v1  Reports
Mael Rouxel-Labbé, Mathijs Wintraecken, Jean-Daniel Boissonnat. Discretized Riemannian Delaunay Triangulations
[Research Report] RR-9103, INRIA Sophia Antipolis - Méditerranée. 2017, pp.51
...
hal-01577431v1  Reports
Šejla Čebirić, François Goasdoué, Ioana Manolescu. A Framework for Efficient Representative Summarization of RDF Graphs
[Research Report] RR-9090, Inria Saclay Ile de France; Ecole Polytechnique,; Université de Rennes 1 [UR1]. 2017, pp.11
...
hal-01568030v1  Reports
Olivier Devillers, Marc Glisse. Delaunay triangulation of a random sample of a good sample has linear size
[Research Report] RR-9082, Inria Saclay Ile de France; Inria Nancy - Grand Est. 2017, pp.6
...
hal-01526831v1  Reports
Lutz Straßburger. Deep Inference, Expansion Trees, and Proof Graphs for Second Order Propositional Multiplicative Linear Logic
[Research Report] RR-9071, Inria Saclay Ile de France. 2017, pp.38
...
hal-01511183v1  Reports
Clément Fumex, Claude Marché, Yannick Moy. Automated Verification of Floating-Point Computations in Ada Programs
[Research Report] RR-9060, Inria Saclay Ile de France. 2017, pp.53
...
hal-01515797v1  Reports
Sonia Marin, Lutz Straßburger. On the Proof Theory of Indexed Nested Sequents for Classical and Intuitionistic Modal Logics
[Research Report] RR-9061, Inria. 2017
...
hal-01498468v1  Reports
Lutz Straßburger. Combinatorial Flows and Proof Compression
[Research Report] RR-9048, Inria Saclay. 2017
...
hal-01496700v1  Reports
Tien Duc Cao, Ioana Manolescu, Xavier Tannier. Extracting Linked Data from statistic spreadsheets
[Research Report] Inria Saclay Ile de France. 2017
...
hal-01470393v1  Reports
Panagiota Katsikouli, Aline Carneiro Viana, Marco Fiore, Alberto Tarable. On The Sampling Frequency of Human Mobility
[Technical Report] RT-0487, Inria. 2017, pp.19
...
hal-01393361v2  Reports
Guangshuo Chen, Sahar Hoteit, Aline Carneiro Viana, Marco Fiore, Carlos Sarraute. Spatio-Temporal Predictability of Cellular Data Traffic
[Research Report] RT-0483, INRIA Saclay - Ile-de-France. 2017, pp.17
...
hal-01534673v1  Reports
Mickaël Chekroun, Axel Kröner, Honghu Liu. Galerkin approximations for the optimal control of nonlinear delay differential equations
[Research Report] INRIA. 2017
...
hal-01507273v1  Reports
Jean-Daniel Boissonnat, Mael Rouxel-Labbé, Mathijs Wintraecken. Anisotropic triangulations via discrete Riemannian Voronoi diagrams
[Research Report] RR-9056, Inria Sophia Antipolis. 2017
...
hal-00922840v1  Reports
Mustafa Misir, Michèle Sebag. Algorithm Selection as a Collaborative Filtering Problem
[Research Report] 2013, pp.43
...
hal-00922515v1  Reports
Olivier Devillers, Marc Glisse, Rémy Thomasse. A convex body with chaotic random convex hull
[Research Report] RR-8437, INRIA. 2013
...
hal-00921157v2  Reports
Mikhail Bogdanov, Monique Teillaud. Delaunay triangulations and cycles on closed hyperbolic surfaces
[Research Report] RR-8434, INRIA. 2013
...
hal-00919177v1  Reports
Guillaume Damiand, Monique Teillaud. A Generic Implementation of dD Combinatorial Maps in CGAL
[Research Report] RR-8427, INRIA. 2013
...
hal-00918812v1  Reports
Denis Barthou, Gilbert Grosdidier, Konstantin Petrov, Michael Kruse, Christine Eisenbeis et al.  Automated Code Generation for Lattice QCD Simulation
[Research Report] RR-8417, INRIA. 2013, pp.13
...
hal-00918810v1  Reports
Alessandro Ferreira Leite, Claude Tadonki, Christine Eisenbeis, Alba Cristina M. A. de Melo. A Fine-grained Approach for Power Consumption Analysis and Prediction
[Research Report] RR-8416, INRIA. 2013, pp.12
...
hal-00922106v1  Reports
Victorin Martin, Jean-Marc Lasgouttes, Cyril Furtlehner. Using Latent Binary Variables for Online Reconstruction of Large Scale Systems
[Research Report] RR-8435, INRIA. 2013, pp.34
...
hal-00907088v1  Reports
Jean-Daniel Boissonnat, Kan-Le Shi, Jane Tournois, Mariette Yvinec. Anisotropic Delaunay Meshes of Surfaces
[Research Report] RR-8400, INRIA. 2013, pp.24
...
hal-00879511v1  Reports
Alin Deutsch, François Goasdoué, Julien Leblay, Ioana Manolescu. Extended query language and composition for the XR data model
[Research Report] RR-8391, INRIA. 2013
...
hal-00802764v2  Reports
Christine Keribin, Vincent Brault, Gilles Celeux, Gérard Govaert. Estimation and Selection for the Latent Block Model on Categorical Data
[Research Report] RR-8264, INRIA. 2013, pp.30
...
hal-00879133v1  Reports
Jean-Daniel Boissonnat, Ramsay Dyer, Arijit Ghosh. Delaunay triangulation of manifolds
[Research Report] RR-8389, INRIA. 2013, pp.28
...
hal-00877758v2  Reports
Konstantinos Karanasos, Asterios Katsifodimos, Ioana Manolescu. Delta: Scalable Data Dissemination under Capacity Constraints
[Research Report] RR-8385, INRIA. 2013, pp.37
...
inria-00402942v5  Reports
Kaustuv Chaudhuri, Joelle Despeyroux. A Hybrid Linear Logic for Constrained Transition Systems with Applications to Molecular Biology
[Research Report] 2013, pp.30
...
hal-00940321v1  Reports
Andreas Argyriou, Stéphan Clémençon, Ruocong Zhang. Learning the Graph of Relations Among Multiple Tasks
[Research Report] 2013
...
hal-00939124v1  Reports
Mahfuza Farooque. Automated reasoning techniques as proof-search in sequent calculus
2013
...
hal-00867287v2  Reports
Joffroy Beauquier, Peva Blanchard, Janna Burman. Self-stabilizing Leader Election in Population Protocols over Arbitrary Communication Graphs
2013
...
hal-00830564v1  Reports
Pierre-Yves Baudin, Danny Goodman, Puneet Kumar, Noura Azzabou, Pierre G. Carlier et al.  Discriminative Parameter Estimation for Random Walks Segmentation: Technical Report
[Research Report] 2013
...
hal-00779199v4  Reports
Mahfuza Farooque, Stéphane Graham-Lengrand. Sequent Calculi with procedure calls
2013
Designed by Inria-IES Team : http://hal.inria.fr/    Hosted by HAL : http://hal.archives-ouvertes.fr/