Search - Archive ouverte HAL Access content directly

Filter your results

1 152 Results
Deposit type : Fulltext
Image document

Pseudo-Weight: Making Tabletop Interaction with Virtual Objects More Tangible

Chantal Keller , Jérémy Bluteau , Renaud Blanch , Sabine Coquillart
Proceedings of the 2012 ACM international conference on Interactive Tabletops and Surfaces (ITS 2012), 2012, Cambridge, MA, United States. pp.201-204, ⟨10.1145/2396636.2451335⟩
Conference papers hal-00953336v1
Image document

Automated Reasoning Techniques as Proof-search in Sequent Calculus

Mahfuza Farooque
Logic in Computer Science [cs.LO]. Ecole Polytechnique X, 2013. English. ⟨NNT : ⟩
Theses pastel-00961344v1
Image document

A General Framework for Combined Module-and Scale-based Product Platform Design

Fabrizio Marinelli , Olivier de Weck , Daniel Krob , Leo Liberti
Second International Symposium on Engineering Systems, Jun 2009, Cambridge, United States
Conference papers hal-02561114v1
Image document

Efficient decoding of some classes of binary cyclic codes beyond the Hartmann-Tzeng bound

Alexander Zeh , Antonia Wachter-Zeh , Sergey Bezzateev
IEEE International Symposium on Information Theory (ISIT), Jul 2011, St. Petersburg, Russia. pp.1017-1021, ⟨10.1109/ISIT.2011.6033683⟩
Conference papers hal-00647590v1
Image document

A Matter of Trust: Skeptical Communication Between Coq and External Provers

Chantal Keller
Logic in Computer Science [cs.LO]. Ecole Polytechnique X, 2013. English. ⟨NNT : ⟩
Theses pastel-00838322v1
Image document

Odd permutations are nicer than even ones

Robert Cori , Michel Marcus , Gilles Schaeffer
European Journal of Combinatorics, 2012, 33 (7), pp.1467-1478
Journal articles hal-00977351v1
Image document

Resource-Aware Parameterizations of EDA

Sylvain Gelly , Olivier Teytaud , Christian Cagne
Congress on Evolutionary Computation, Jul 2006, Vancouver, BC, Canada
Conference papers inria-00112803v1
Image document

Algorithms for the universal decomposition algebra

Romain Lebreton , Éric Schost
Preprints, Working Papers, ... hal-00669806v1
Image document

Information Hiding in Probabilistic Concurrent Systems

Miguel E. Andrés , Catuscia Palamidessi , Peter van Rossum , Ana Sokolova
7th IEEE International Conference on Quantitative Evaluation of SysTems (QEST 2010), Sep 2010, Williamsburg, VA, United States. pp.17-26, ⟨10.1109/QEST.2010.11⟩
Conference papers hal-00548187v1
Image document

Formal proofs in real algebraic geometry: from ordered fields to quantifier elimination

Cyril Cohen , Assia Mahboubi
Logical Methods in Computer Science, 2012, 8 (1:02), pp.1-40. ⟨10.2168/LMCS-8(1:02)2012⟩
Journal articles inria-00593738v4
Image document


Christos Giatsidis
Web. Ecole Polytechnique X, 2013. English. ⟨NNT : ⟩
Theses pastel-00959615v1
Image document

On Approximating the Riemannian 1-Center

Marc Arnaudon , Frank Nielsen
Computational Geometry, 2013, 46, pp.93-104. ⟨10.1016/j.comgeo.2012.04.007⟩
Journal articles hal-00560187v2
Image document

A mathematical proof of the existence of trends in financial time series

Michel Fliess , Cédric Join
Systems Theory: Modelling, Analysis and Control, May 2009, Fes, Morocco. pp.43-62
Conference papers inria-00352834v1
Image document

DistillFlow: removing redundancy in scientific workflows

Jiuqiang Chen , Sarah Cohen-Boulakia , Christine Froidevaux , Carole Goble , Paolo Missier et al.
SSDBM '14 Proceedings of the 26th International Conference on Scientific and Statistical Database Management, Jun 2014, Aalborg, Denmark. ⟨10.1145/2618243.2618287⟩
Conference papers hal-01091033v1
Image document

ConQuR-Bio: Consensus Ranking with Query Reformulation for Biological Data

Bryan Brancotte , Bastien Rance , Alain Denise , Sarah Cohen-Boulakia
10th International Conference, Data Integration in the Life Sciences, Jul 2014, Lisbon, Portugal. pp.128 - 142, ⟨10.1007/978-3-319-08590-6_13⟩
Conference papers hal-01091053v1
Image document

Importing SMT and Connection proofs as expansion trees

Giselle Reis
PxTP 2015 - Proceedings Fourth Workshop on Proof eXchange for Theorem Proving, Aug 2015, Berlin, Germany. ⟨10.4204/EPTCS.186.3⟩
Conference papers hal-01208325v1
Image document

Defining the meaning of TPTP formatted proofs

Roberto Blanco , Tomer Libal , Dale Miller
11th International Workshop on the Implementation of Logics, Nov 2015, Suva, Fiji
Conference papers hal-01238434v1
Image document

On the Relative Usefulness of Fireballs

Beniamino Accattoli , Claudio Sacerdoti Coen
30th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2015, Jul 2015, Kyoto, Japan. ⟨10.1109/LICS.2015.23⟩
Conference papers hal-01244833v1
Image document

Label-free Modular Systems for Classical and Intuitionistic Modal Logics

Sonia Marin , Lutz Strassburger
Advances in Modal Logic 10, Aug 2014, Groningen, Netherlands
Conference papers hal-01092148v1
Image document

LeakWatch: Estimating Information Leakage from Java Programs

Tom Chothia , Yusuke Kawamoto , Chris Novakovic
19th European Symposium on Research in Computer Security (ESORICS 2014), Sep 2014, Wroclaw, Poland. pp.219-236, ⟨10.1007/978-3-319-11212-1_13⟩
Conference papers hal-01097603v1
Image document

Information Sets of Multiplicity Codes

Daniel Augot , Françoise Levy-Dit-Vehel , Man Cuong Ngô
Information Theory (ISIT), 2015 IEEE International Symposium on , Jun 2015, Hong-Kong, China. pp.2401 - 2405, ⟨10.1109/ISIT.2015.7282886⟩
Conference papers hal-01188935v1
Image document

Tableau sequences, open diagrams, and Baxter families

Sophie Burrill , Julien Courtiel , Eric Fusy , Stephen Melczer , Marni Mishna et al.
Preprints, Working Papers, ... hal-01188328v1
Image document

Asymptotic expansion of the multi-orientable random tensor model

Eric Fusy , Adrian Tanasa
The Electronic Journal of Combinatorics, 2015, 22 (1), pp.P1.52
Journal articles hal-01188329v1
Image document

A short survey on Kantorovich-like theorems for Newton's method

Grégoire Lecerf , Joelle Saadé
Preprints, Working Papers, ... hal-01196890v1
Image document

On the complexity of skew arithmetic

Joris van Der Hoeven
Preprints, Working Papers, ... hal-00557750v4
Image document

Adjacent transformations in permutations

Adeline Pierrot , Dominique Rossin , Julian West
23rd International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2011), 2011, Reykjavik, Iceland. pp.765-776, ⟨10.46298/dmtcs.2951⟩
Conference papers hal-01215071v1
Image document

Efficient Measurement of Complex Networks Using Link Queries

Fabien Tarissan , Matthieu Latapy , Christophe Prieur
IEEE International Workshop on Network Science For Communication Networks (NetSciCom'09), Apr 2009, Rio de Janeiro, Brazil. pp.1-6, ⟨10.1109/INFCOMW.2009.5072135⟩
Conference papers hal-01217889v1
Image document

MPR-based Pruning Techniques for Shortest Path Tree Computation

Juan Antonio Cordero
[Research Report] RR-7329, INRIA. 2010
Reports inria-00496617v1
Image document

Delta Hedging in Financial Engineering: Towards a Model-Free Approach

Michel Fliess , Cédric Join
18th Mediterranean Conference on Control and Automation, MED'10, Jun 2010, Marrakech, Morocco. pp.CDROM
Conference papers inria-00479824v1
Image document

A formal quantifier elimination for algebraically closed fields

Cyril Cohen , Assia Mahboubi
Symposium on the Integration of Symbolic Computation and Mechanised Reasoning, Calculemus, Jul 2010, Paris, France. pp.189-203, ⟨10.1007/978-3-642-14128-7_17⟩
Conference papers inria-00464237v3