Skip to Main content Skip to Navigation


inria-00615078v1  Journal articles
L. PicardEric MaurincommeM. SodermanJacques FeldmarRené Anxionnat et al.  X-ray angiography in stereotactic conditions: techniques and interest for interventional neuroradiology
Stereotactic and Functional Neurosurgery, Karger, 1997, 68 (1-4 Pt 1), pp.117-20
...
hal-01148523v1  Conference papers
Michel CosnardLuigi Liquori. Weaving Arigatoni with a graph topology
1sr International Conference on Advanced Engineering Computing and Applications in Sciences ADVCOMP 2007, Nov 2007, Papeete, French Polynesia. pp.55 - 59, ⟨10.1109/ADVCOMP.2007.11⟩
inria-00099700v1  Conference papers
Abdessamad IminePascal MolliGérald OsterPascal Urso. VOTE: Group Editors Analyzing Tool
Fourth International Workshop on First-Order Theorem Proving - FTP'03, 2003, Valencia, Spain, pp.153-161, ⟨10.1016/S1571-0661(04)80660-1⟩
inria-00601729v1  Book sections
Matthäus ChajdasChristian EisenacherSylvain Lefebvre. Virtual Texture Mapping 101
Wolfgang Engel. GPU Pro, AK Peters, 2010, 978-1-56881-472-8
...
hal-02568677v2  Journal articles
Samuel HornusTim KuipersOlivier DevillersMonique TeillaudJonàs Martínez et al.  Variable-width contouring for additive manufacturing
ACM Transactions on Graphics, Association for Computing Machinery, In press, 39 (4 (Proc. SIGGRAPH)), ⟨10.1145/3386569.3392448⟩
inria-00100584v1  Conference papers
David DaneyIoannis Z. Emiris. Variable elimination for reliable parallel robot calibration
In 2nd Workshop on Computational Kinematics - CK'2001, School of Mechanical and Aerospace Engineering, 2001, Seoul, Korea, 12 p
...
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
...
hal-00997207v1  Journal articles
Patrizio AngeliniDavid EppsteinFabrizio FratiMichael KaufmannSylvain Lazard et al.  Universal Point Sets for Planar Graph Drawing with Circular Arcs
Journal of Graph Algorithms and Applications, Brown University, 2014, 18 (3), pp.313-324. ⟨10.7155/jgaa.00324⟩
...
inria-00431559v1  Conference papers
Sylvain LazardLuis PeñarandaElias Tsigaridas. Univariate Algebraic Kernel and Application to Arrangements
8th International Symposium SEA 2009, Jun 2009, Dortmund, Germany. pp.209-220, ⟨10.1007/978-3-642-02011-7⟩
...
hal-01176699v1  Journal articles
Manuel Grand-BrochierAntoine VacavantGuillaume CeruttiCamille KurtzJonathan Weber et al.  Tree leaves extraction in natural images: Comparative study of pre-processing tools and segmentation methods
IEEE Transactions on Image Processing, Institute of Electrical and Electronics Engineers, 2015, 24 (5), pp.1549-1560. ⟨10.1109/TIP.2015.2400214⟩
hal-00922292v1  Conference papers
Rim Al-HulouOlivier CorbyRose Dieng-KuntzJérôme EuzenatCarolina Medina Ramirez et al.  Three knowledge representation formalisms for content-based representation of documents
Proc. KR 2002 workshop on Formal ontology, knowledge representation and intelligent systems for the world wide web (SemWeb), Apr 2002, Toulouse, France. No pagination
...
inria-00107628v1  Conference papers
Rim Al HulouOlivier CorbyRose Dieng-KuntzJérôme EuzenatCarolina Ramirez et al.  Three knowledge representation formalisms for content-based manipulation of documents
Workshop on Semantic Web - SemWeb@KR2002, Apr 2002, Toulouse, France, 8 p
...
hal-01348831v1  Journal articles
Olivier DevillersRoss Hemsley. The worst visibility walk in a random Delaunay triangulation is $O(\sqrt{n})$
Journal of Computational Geometry, Carleton University, Computational Geometry Laboratory, 2016, 7 (1), pp.332-359. ⟨10.20382/jocg.v7i1a16⟩
...
inria-00099411v1  Conference papers
Horatiu CirsteaClaude KirchnerLuigi LiquoriBenjamin Wack. The rho cube : some results, some problems
First International Workshop on Higher-Order Rewriting Copenhagen, Denmark, July 21st, 2002 Affiliated with RTA 2002, D. Kesner, T. Nipkow and F. van Raamsdonk, Jul 2002, Copenhague, Denmark
...
inria-00107877v1  Conference papers
Horatiu CirsteaClaude KirchnerLuigi Liquori. The Rho Cube
4th International Conference on Foundations of Software Science and Computation Structures - FOSSACS 2001, Apr 2001, Genova, Italy. 15 p, ⟨10.1007/3-540-45315-6_11⟩
...
inria-00099910v1  Conference papers
Luigi LiquoriBenjamin Wack. The Polymorphic Rewriting Calculus: Type checking vs. Type inference
Proceedings of the Fifth International Workshop on Rewriting Logic and Its Applications (WRLA 2004) Rewriting Logic and Its Applications 2004, Narciso Marti-Oliet, Mar 2004, Barcelona, Spain. pp.89-111, ⟨10.1016/j.entcs.2004.06.027⟩
...
inria-00103995v1  Conference papers
Hervé BrönnimannOlivier DevillersVida DujmovicHazel EverettMarc Glisse et al.  The Number of Lines Tangent to Arbitrary Convex Polyhedra in 3D
Proceedings of the 20th Annual Symposium on Computational Geometry, Jun 2004, Brooklyn, NY, United States. pp.46 - 55, ⟨10.1145/997817.997827⟩
...
hal-00805690v1  Journal articles
Olivier DevillersMarc GlisseXavier GoaocGuillaume MorozMatthias Reitzner. The monotonicity of $f$-vectors of random polytopes
Electronic Communications in Probability, Institute of Mathematical Statistics (IMS), 2013, 18 (23), pp.1-8. ⟨10.1214/ECP.v18-2469⟩
hal-02974993v1  Conference papers
José Bacelar AlmeidaManuel BarbosaGilles BartheBenjamin GrégoireAdrien Koutsos et al.  The Last Mile: High-Assurance and High-Speed Cryptographic Implementations
SP 2020 - 41st IEEE Symposium on Security and Privacy, May 2020, San Francisco / Virtual, United States. pp.965-982, ⟨10.1109/SP40000.2020.00028⟩
...
inria-00099810v1  Journal articles
Olivier DevillersVida DujmovicHazel EverettXavier GoaocSylvain Lazard et al.  The expected number of 3D visibility events is linear
SIAM Journal on Computing, Society for Industrial and Applied Mathematics, 2003, 32 (6), pp.1586-1620. ⟨10.1137/S0097539702419662⟩