Filter your results
- 1152
- 483
- 3
- 599
- 250
- 83
- 81
- 81
- 33
- 8
- 7
- 3
- 3
- 2
- 1
- 1
- 71
- 1012
- 338
- 83
- 60
- 17
- 17
- 14
- 12
- 9
- 8
- 1
- 1
- 1
- 31
- 100
- 114
- 104
- 139
- 131
- 124
- 122
- 72
- 97
- 94
- 55
- 1048
- 102
- 2
- 1152
- 764
- 177
- 89
- 82
- 51
- 42
- 39
- 36
- 27
- 26
- 25
- 21
- 20
- 20
- 20
- 17
- 15
- 14
- 14
- 14
- 14
- 14
- 11
- 11
- 11
- 10
- 9
- 9
- 9
- 8
- 8
- 8
- 8
- 8
- 7
- 7
- 7
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 78
- 75
- 53
- 36
- 32
- 31
- 30
- 30
- 30
- 29
- 28
- 28
- 27
- 26
- 22
- 21
- 21
- 20
- 19
- 18
- 18
- 17
- 16
- 15
- 15
- 15
- 15
- 15
- 14
- 14
- 13
- 13
- 13
- 13
- 12
- 11
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
|
Pseudo-Weight: Making Tabletop Interaction with Virtual Objects More TangibleProceedings 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
|
||
|
Automated Reasoning Techniques as Proof-search in Sequent CalculusLogic in Computer Science [cs.LO]. Ecole Polytechnique X, 2013. English. ⟨NNT : ⟩
Theses
pastel-00961344v1
|
||
|
A General Framework for Combined Module-and Scale-based Product Platform DesignSecond International Symposium on Engineering Systems, Jun 2009, Cambridge, United States
Conference papers
hal-02561114v1
|
||
|
Efficient decoding of some classes of binary cyclic codes beyond the Hartmann-Tzeng boundIEEE International Symposium on Information Theory (ISIT), Jul 2011, St. Petersburg, Russia. pp.1017-1021, ⟨10.1109/ISIT.2011.6033683⟩
Conference papers
hal-00647590v1
|
||
|
A Matter of Trust: Skeptical Communication Between Coq and External ProversLogic in Computer Science [cs.LO]. Ecole Polytechnique X, 2013. English. ⟨NNT : ⟩
Theses
pastel-00838322v1
|
||
|
Odd permutations are nicer than even onesEuropean Journal of Combinatorics, 2012, 33 (7), pp.1467-1478
Journal articles
hal-00977351v1
|
||
|
Resource-Aware Parameterizations of EDACongress on Evolutionary Computation, Jul 2006, Vancouver, BC, Canada
Conference papers
inria-00112803v1
|
||
|
Algorithms for the universal decomposition algebra2012
Preprints, Working Papers, ...
hal-00669806v1
|
||
|
Information Hiding in Probabilistic Concurrent Systems7th 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
|
||
|
Formal proofs in real algebraic geometry: from ordered fields to quantifier eliminationLogical Methods in Computer Science, 2012, 8 (1:02), pp.1-40. ⟨10.2168/LMCS-8(1:02)2012⟩
Journal articles
inria-00593738v4
|
||
|
GRAPH MINING AND COMMUNITY EVALUATION WITH DEGENERACYWeb. Ecole Polytechnique X, 2013. English. ⟨NNT : ⟩
Theses
pastel-00959615v1
|
||
|
On Approximating the Riemannian 1-CenterComputational Geometry, 2013, 46, pp.93-104. ⟨10.1016/j.comgeo.2012.04.007⟩
Journal articles
hal-00560187v2
|
||
|
A mathematical proof of the existence of trends in financial time seriesSystems Theory: Modelling, Analysis and Control, May 2009, Fes, Morocco. pp.43-62
Conference papers
inria-00352834v1
|
||
|
DistillFlow: removing redundancy in scientific workflowsSSDBM '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
|
||
|
ConQuR-Bio: Consensus Ranking with Query Reformulation for Biological Data10th 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
|
||
|
Importing SMT and Connection proofs as expansion treesPxTP 2015 - Proceedings Fourth Workshop on Proof eXchange for Theorem Proving, Aug 2015, Berlin, Germany. ⟨10.4204/EPTCS.186.3⟩
Conference papers
hal-01208325v1
|
||
|
Defining the meaning of TPTP formatted proofs11th International Workshop on the Implementation of Logics, Nov 2015, Suva, Fiji
Conference papers
hal-01238434v1
|
||
|
On the Relative Usefulness of Fireballs30th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2015, Jul 2015, Kyoto, Japan. ⟨10.1109/LICS.2015.23⟩
Conference papers
hal-01244833v1
|
||
|
Label-free Modular Systems for Classical and Intuitionistic Modal LogicsAdvances in Modal Logic 10, Aug 2014, Groningen, Netherlands
Conference papers
hal-01092148v1
|
||
|
LeakWatch: Estimating Information Leakage from Java Programs19th 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
|
||
|
Information Sets of Multiplicity CodesInformation Theory (ISIT), 2015 IEEE International Symposium on , Jun 2015, Hong-Kong, China. pp.2401 - 2405, ⟨10.1109/ISIT.2015.7282886⟩
Conference papers
hal-01188935v1
|
||
|
Tableau sequences, open diagrams, and Baxter families2015
Preprints, Working Papers, ...
hal-01188328v1
|
||
|
Asymptotic expansion of the multi-orientable random tensor modelThe Electronic Journal of Combinatorics, 2015, 22 (1), pp.P1.52
Journal articles
hal-01188329v1
|
||
|
A short survey on Kantorovich-like theorems for Newton's method2015
Preprints, Working Papers, ...
hal-01196890v1
|
||
|
On the complexity of skew arithmetic2011
Preprints, Working Papers, ...
hal-00557750v4
|
||
|
Adjacent transformations in permutations23rd 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
|
||
|
Efficient Measurement of Complex Networks Using Link QueriesIEEE 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
|
||
|
MPR-based Pruning Techniques for Shortest Path Tree Computation[Research Report] RR-7329, INRIA. 2010
Reports
inria-00496617v1
|
||
|
Delta Hedging in Financial Engineering: Towards a Model-Free Approach18th Mediterranean Conference on Control and Automation, MED'10, Jun 2010, Marrakech, Morocco. pp.CDROM
Conference papers
inria-00479824v1
|
||
|
A formal quantifier elimination for algebraically closed fieldsSymposium 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
|