Skip to Main content Skip to Navigation

hal-01328473v1  Conference papers
Gregory GrefenstetteLawrence Muchemi. On the Place of Text Data in Lifelogs, and Text Analysis via Semantic Facets
iConference 2016 SIE on Lifelogging, Mar 2016, Philadelphia, United States
hal-01257305v1  Conference papers
Patrick CarribaultAlbert Cohen. Application of Storage Mapping Optimization to Register Promotion
Intl. Conf. on Supercomputing (ICS), Jun 2004, St-Malo, France. pp.247--256
hal-00796354v1  Conference papers
Samuel HuronRomain VuillemotJean-Daniel Fekete. Bubble-TV: Live Visual Feedback for Social TV Broadcast
ACM CHI 2013 Workshop : Exploring and enhancing the user experience for television, Apr 2013, Paris, France
tel-01136261v1  Habilitation à diriger des recherches
Julie Bernauer. Geometric and statistical methods for the analysis and prediction of structural interactions between biomolecules
Bioinformatics [q-bio.QM]. Université Paris-Sud XI, 2015
hal-01138024v1  Conference papers
Mathieu Le GocPierre DragicevicSamuel HuronJean-Daniel Fekete. Design Considerations for Composite Physical Visualizations
Proceedings of the CHI Workshop on Exploring the Challenges of Making Data Physical, Apr 2015, Seoul, South Korea
hal-01138447v1  Conference papers
Romain VuillemotCharles Perin. Investigating the Direct Manipulation of Ranking Tables for Time Navigation
CHI '15 - 33rd Annual ACM Conference on Human Factors in Computing Systems , Apr 2015, Seoul, South Korea. pp.2703-2706, ⟨10.1145/2702123.2702237⟩
hal-00974738v1  Journal articles
Cédric VillaniYann Ollivier. A curved Brunn-Minkowski inequality on the discrete hypercube, or: what is the Ricci curvature of the discrete hypercube?
SIAM Journal on Discrete Mathematics, Society for Industrial and Applied Mathematics, 2012, 26 (3), pp.983-996
hal-00694305v1  Conference papers
Yvonne JansenPierre DragicevicJean-Daniel Fekete. Tangible Remote Controllers for Wall-Size Displays
ACM annual conference on Human Factors in Computing Systems. CHI '12, ACM, May 2012, Austin, TX, United States. pp.2865-2874, ⟨10.1145/2207676.2208691⟩
hal-00777585v1  Conference papers
Johannes KanigJean-Christophe Filliâtre. Who: A Verifier for Effectful Higher-order Programs
ACM SIGPLAN Workshop on ML, Aug 2009, Edinburgh, United Kingdom
hal-00696268v1  Conference papers
Dirk ArnoldNikolaus Hansen. A (1+1)-CMA-ES for Constrained Optimisation
GECCO, ACM, Jul 2012, Philadelphia, United States. pp.297-304, ⟨10.1145/2330163.2330207⟩
hal-00989840v1  Book sections
Anastasia BezerianosPetra Isenberg. Perceptual Affordances of Wall-Sized Displays for Visualization Applications
Markus Rester and Peter Judmaier and De Groeve, Tom and Alessandro Annunziato. Collaborative Human-Computer Interaction with Big Wall Displays (BigWallHCI), European Union, pp.12--13, 2013, ⟨10.2788/50183⟩
hal-00879475v1  Documents associated with scientific events
Thi Thuong Huyen NguyenThierry DuvalCédric Fleury. Demonstration of Guiding Techniques for Collaborative Exploration in Multi-Scale Shared Virtual Environments
25ème conférence francophone sur l'Interaction Homme-Machine, IHM'13, Nov 2013, Bordeaux, France
hal-00777663v1  Conference papers
Sylvain ConchonÉvelyne ContejeanMohamed Iguernelala. Canonized Rewriting and Ground AC Completion Modulo Shostak Theories
TACAS - Tools and Algorithms for the Construction and Analysis of Systems, 2011, Saarbrücken, Germany
hal-00777669v1  Conference papers
Évelyne ContejeanPierre CourtieuJulien ForestOlivier PonsXavier Urbain. Automated Certified Proofs with CiME3
RTA - 22nd International Conference on Rewriting Techniques and Applications, 2011, Novi Sad, Serbia
hal-00669951v1  Conference papers
Jesús Camacho-RodríguezDario ColazzoIoana Manolescu. Building Large XML Stores in the Amazon Cloud
DMC - Data Management in the Cloud Workshop - 2012, Apr 2012, Washington, D.C., United States
hal-00777683v1  Conference papers
Claire DrossJean-Christophe FilliâtreYannick Moy. Correct Code Containing Containers
TAP - 5th International Conference on Tests and Proofs, 2011, Zurich, Switzerland
hal-00686570v1  Conference papers
Ilya LoshchilovMarc SchoenauerMichèle Sebag. Self-Adaptive Surrogate-Assisted Covariance Matrix Adaptation Evolution Strategy
Genetic and Evolutionary Computation Conference (GECCO 2012), Jul 2012, Philadelphia, United States. pp.321-328
hal-01077567v1  Conference papers
Jean-Alexandre Angles d'AuriacNathann CohenHakim MaftouhiArarat HarutyunyanSylvain Legay et al.  Connected Tropical Subgraphs in Vertex-Colored Graphs
9th International colloquium on graph theory and combinatorics, Jun 2014, Grenoble, France
hal-00862603v1  Conference papers
Isabelle BlochJamal Atif. Distance to bipolar information from morphological dilation
European Society for Fuzzy Logic and Technology (EUSFLAT), Sep 2013, Milano, Italy. pp.266--273