Skip to Main content Skip to Navigation


...
inria-00630774v1  Conference papers
Mridul AanjaneyaFrédéric ChazalDaniel ChenMarc GlisseLeonidas J. Guibas et al.  Metric graph reconstruction from noisy data
27th Annual Symposium on Computational Geometry, 2011, Paris, France. pp.37-46, ⟨10.1145/1998196.1998203⟩
...
hal-03346767v1  Conference papers
Beniamino AccattoliUgo Dal LagoGabriele Vanoni. The Space of Interaction
LICS 2021 - 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Jun 2021, Rome, France. pp.1-13, ⟨10.1109/LICS52264.2021.9470726⟩
...
hal-00780349v1  Conference papers
Beniamino AccattoliUgo Dal Lago. On the Invariance of the Unitary Cost Model for Head Reduction
23rd International Conference on Rewriting Techniques and Applications (RTA'12), May 2012, Nagoya, Japan
hal-03089342v1  Conference papers
Beniamino AccattoliUgo Dal LagoGabriele Vanoni. The Machinery of Interaction
PPDP '20 - 22nd International Symposium on Principles and Practice of Declarative Programming, Sep 2020, Bologna, Italy. pp.1-15, ⟨10.1145/3414080.3414108⟩
...
hal-03463762v1  Conference papers
Reynald AffeldtXavier AllamigeonYves BertotQuentin CanuCyril Cohen et al.  Porting the Mathematical Components library to Hierarchy Builder
the COQ Workshop 2021, Jul 2021, virtuel- Rome, Italy
...
inria-00412352v1  Conference papers
Oswin AichholzerFranz AurenhammerOlivier DevillersThomas HacklMonique Teillaud et al.  Lower and upper bounds on the number of empty cylinders and ellipsoids
European Workshop on Computational Geometry, Mar 2009, Bruxelles, Belgium. pp.139-142
...
hal-01873353v1  Conference papers
Abib AlimiRutger FickDemian WassermannRachid Deriche. Dmipy, a Diffusion Microstructure Imaging toolbox in Python to improve research reproducibility
MICCAI 2018 - Workshop on Computational Diffusion MRI, Sep 2018, Granada, Spain
...
hal-01090630v2  Conference papers
Pierre AlliezSimon GiraudotDavid Cohen-Steiner. Robust Shape Reconstruction and Optimal Transportation
Courbure discrète : théorie et applications, Jan 2014, Marseille, France
...
inria-00182835v2  Conference papers
Nina AmentaDominique AttaliOlivier Devillers. Complexity of Delaunay Triangulation for Points on Lower-dimensional~Polyhedra
Proceedings of the 18th ACM-SIAM Symposium on Discrete Algorithms, Jan 2007, New Orleans, United States. pp.1106--1113
...
hal-00487884v1  Conference papers
Omid AminiJean-Daniel BoissonnatPooran Memari. Geometric Tomography With Topological Guarantees
Symposium on Computational Geometry, Jun 2010, Snowbird, United States. pp.200
...
hal-02093445v1  Conference papers
Hirokazu AnaiFrédéric ChazalMarc GlisseYuichi IkeHiroya Inakoshi et al.  DTM-based Filtrations
SoCG 2019 - 35th International Symposium on Computational Geometry, Jun 2019, Portland, United States. ⟨10.4230/LIPIcs.SoCG.2019.58⟩
...
hal-00846953v1  Conference papers
Patrizio AngeliniDavid EppsteinFabrizio FratiMichael KaufmannSylvain Lazard et al.  Universal Point Sets for Planar Graph Drawings with Circular Arcs
Canadian Conference on Computational Geometry, Aug 2013, Waterloo, Canada. pp.117-122
...
inria-00614041v1  Conference papers
Mickaël ArmandGermain FaureBenjamin GrégoireChantal KellerLaurent Théry et al.  Verifying SAT and SMT in Coq for a fully automated decision procedure
PSATTT'11: International Workshop on Proof-Search in Axiomatic Theories and Type Theories, Germain Faure, Stéphane Lengrand, Assia Mahboubi, Aug 2011, Wroclaw, Poland
...
hal-00639130v1  Conference papers
Michaël ArmandGermain FaureBenjamin GrégoireChantal KellerLaurent Théry et al.  A Modular Integration of SAT/SMT Solvers to Coq through Proof Witnesses
CPP - Certified Programs and Proofs - First International Conference - 2011, Dec 2011, Kenting, Taiwan. pp.135-150, ⟨10.1007/978-3-642-25379-9_12⟩
...
hal-02873730v1  Conference papers
Shreya AryaJean-Daniel BoissonnatKunal DuttaMartin Lotz. Dimensionality Reduction for k-Distance Applied to Persistent Homology
SoCG 2020 - 36th International Symposium on Computational Geometry, Jun 2020, Zurich, Switzerland. ⟨10.4230/LIPIcs.SoCG.2020.10⟩
...
hal-00833791v1  Conference papers
Dominique AttaliUlrich BauerOlivier DevillersMarc GlisseAndré Lieutier. Homological Reconstruction and Simplification in R3
SoCG 2013 - 29th Annual Symposium on Computational Geometry, Jun 2013, Rio de Janeiro, Brazil. pp.117-125, ⟨10.1145/2462356.2462373⟩
...
hal-01015747v1  Conference papers
Dominique AttaliOlivier DevillersMarc GlisseSylvain Lazard. Recognizing shrinkable complexes is NP-complete
ESA 2014 - 22nd Annual European Symposium on Algorithms, Sep 2014, Wroclaw, Poland. pp.74-86, ⟨10.1007/978-3-662-44777-2_7⟩
...
hal-00716183v1  Conference papers
Mounira BachirAlbert CohenSid Touati. On the Effectiveness of Register Moves to Minimise Post-Pass Unrolling in Software Pipelined Loops
HPCS 2012 : International Conference on High Performance Computing & Simulation, Pr Waleed Smari, Jul 2012, Madrid, Spain
...
lirmm-01632224v1  Conference papers
Jean-François BagetMeghyn BienvenuMarie-Laure MugnierMichaël Thomazo. Answering Conjunctive Regular Path Queries over Guarded Existential Rules
IJCAI: International Joint Conference on Artificial Intelligence, Aug 2017, Melbourne, Australia
...
hal-03434499v1  Conference papers
Laurent BaratchartJuliette LeblondEduardo LimaDmitry Ponomarev. Magnetization moment recovery using Kelvin transformation and Fourier analysis
7th International Conference on New Computational Methods for Inverse Problems, May 2017, Cachan, France
...
inria-00409051v1  Conference papers
Vicente BatistaDavid MillmanSylvain PionJohannes Singler. Parallel Geometric Algorithms for Multi-Core Computers
ACM Symposium on Computational Geometry, Jun 2009, Aarhus, Denmark. pp.217-226
...
hal-00754971v1  Conference papers
Térence BayenFrancis MairetPierre MartinonMatthieu Sebbah. Optimizing the anaerobic digestion of microalgae in a coupled process
13th European Control Conference, Jul 2013, Zurich, Switzerland. pp.6
...
hal-01864467v1  Conference papers
Bertrand BeaufilsFrédéric ChazalMarc GreletBertrand Michel. Activity recognition from stride detection: a machine learning approach based on geometric patterns and trajectory reconstruction
IPIN 2018 - 9th International Conference on Indoor Positioning and Indoor Navigation, Sep 2018, Nantes, France
...
hal-02271580v1  Conference papers
Bertrand BeaufilsFrédéric ChazalMarc GreletBertrand Michel. Robust pedestrian trajectory reconstruction from inertial sensor
IPIN 2019 - 10th International Conference on Indoor Positioning and Indoor Navigation, Sep 2019, Pisa, Italy
...
hal-00639651v1  Conference papers
Joffroy BeauquierJanna Burman. Self-stabilizing Mutual Exclusion and Group Mutual Exclusion for Population Protocols with Covering
15th International Conference On Principles Of Distributed Systems, OPODIS 2011, Dec 2011, Toulouse, France
inria-00531444v1  Conference papers
Joffroy BeauquierJanna Burman. Self-stabilizing Synchronization in Mobile Sensor Networks with Covering
Distributed Computing in Sensor Systems, 6th IEEE International Conference, DCOSS 2010, Jun 2010, Santa Barbara, CA, United States
inria-00531438v1  Conference papers
Joffroy BeauquierJanna BurmanJulien ClémentShay Kutten. On utilizing speed in networks of mobile agents
ACM Symposium on Principles of Distributed Computing, PODC 2010, Jul 2010, Zurich, Switzerland. ⟨10.1145/1835698.1835775⟩
...
hal-01002815v2  Conference papers
Christine BerthaudLaurent CapelliJens GustedtClaude KirchnerLoiseau Kevin et al.  EPISCIENCES - an overlay publication platform
ELPUB2014 - International Conference on Electronic Publishing, Alexander Technological Education Institute of Thessaloniki, Jun 2014, Thessalonique, Greece. pp.78-87, ⟨10.3233/978-1-61499-409-1-78⟩
...
hal-01341787v1  Conference papers
Meghyn BienvenuMichaël Thomazo. On the Complexity of Evaluating Regular Path Queries over Linear Existential Rules
RR: Web Reasoning and Rule Systems, Sep 2016, Aberdeen, United Kingdom. pp.1-17, ⟨10.1007/978-3-319-45276-0_1⟩
...
hal-03505659v1  Conference papers
Christophe BiernackiClaire BoyerGilles CeleuxJulie JosseFabien Laporte et al.  Dealing with missing data in model-based clustering through a MNAR model
The 14th Professor Aleksander Zeliaś International Conference on Modelling and Forecasting of Socio-Economic Phenomena, May 2021, Zakopane, Poland
...
hal-03505664v1  Conference papers
Christophe BiernackiClaire BoyerGilles CeleuxJulie JosseFabien Laporte et al.  Impact of Missing Data on Mixtures and Clustering
MHC2021 - Mixtures, Hidden Markov Models, Clustering, Jun 2021, Orsay, France
...
hal-02549818v1  Conference papers
Enka BlanchardSiargey Kachanovich. A note on the inflating enclosing ball problem
Bordeaux Graph Workshop, Oct 2019, Bordeaux, France
...
hal-02549827v1  Conference papers
Enka BlanchardSiargey Kachanovich. Counting authorised paths in constrained control-flow graphs
Bordeaux Graph Workshop, Oct 2019, Bordeaux, France
...
hal-03371169v1  Conference papers
Gilles BlanchardJuliette AchddouAlexandra Carpentier. A minimax near-optimal algorithm for adaptive rejection sampling
Algorithmic Learning Theory (ALT 2019), 2019, Chicago, United States. pp.94-126
...
hal-00687134v1  Conference papers
Lélia BlinJanna BurmanNicolas Nisse. Nettoyage perpétuel de réseaux
14èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel), 2012, La Grande Motte, France. pp.4
...
hal-00741982v1  Conference papers
Lélia BlinJanna BurmanNicolas Nisse. Brief Announcement: Distributed Exclusive and Perpetual Tree Searching
DISC 2012 - 26th International Symposium on Distributed Computing, Oct 2012, Salvador, Brazil. pp.403-404, ⟨10.1007/978-3-642-33651-5_29⟩
...
hal-01224549v1  Conference papers
Mikhail BogdanovManuel CaroliMonique Teillaud. Computing Periodic Triangulations
Shape up - Exercises in Materials Geometry and Topology, Sep 2015, Berlin, Germany. pp.60-61
...
hal-00833760v1  Conference papers
Mikhail BogdanovOlivier DevillersMonique Teillaud. Hyperbolic Delaunay Complexes and Voronoi Diagrams Made Practical
Proceedings of the 29th Annual Symposium on Computational Geometry, Jun 2013, Rio, Brazil. pp.67-76, ⟨10.1145/2462356.2462365⟩
...
hal-01109626v1  Conference papers
Mikhail BogdanovMonique TeillaudGert Vegter. Covering spaces and Delaunay triangulations of the 2D flat torus
28th European Workshop on Computational Geometry, Mar 2012, Assisi, Italy
...
hal-00850586v1  Conference papers
Mikhail BogdanovOlivier DevillersMonique Teillaud. Hyperbolic Delaunay triangulations and Voronoi diagrams made practical
XIV Spanish Meeting on Computational Geometry,, 2011, Alcala de Henares, Spain
...
hal-01276386v1  Conference papers
Mikhail BogdanovMonique TeillaudGert Vegter. Delaunay triangulations on orientable surfaces of low genus
32nd International Symposium on Computational Geometry, Jun 2016, Boston, United States. pp.20:1--20:15, ⟨10.4230/LIPIcs.SoCG.2016.20⟩
...
inria-00412437v1  Conference papers
Jean-Daniel BoissonnatOlivier DevillersSamuel Hornus. Incremental construction of the Delaunay graph in medium dimension
Proceedings of the 25th Annual Symposium on Computational Geometry, Jun 2009, Aarhus, Denmark. pp.208-216, ⟨10.1145/1542362.1542403⟩