Skip to Main content Skip to Navigation
  1. Search


...
hal-01167861v1  Journal articles
Eugene Belilovsky, Andreas Argyriou, Gaël Varoquaux, Matthew Blaschko. Convex relaxations of penalties for sparse correlated variables with bounded total variation
Machine Learning, Springer Verlag, 2015, pp.1-21. ⟨10.1007/s10994-015-5511-2⟩
...
hal-01304366v1  Journal articles
Mireille Regnier, Philippe Chassignet. Accurate prediction of the statistics of repetitions in random sequences: a case study in Archaea genomes
Frontiers in Bioengineering and Biotechnology, Frontiers, 2016, 4, ⟨10.3389/fbioe.2016.00035⟩
...
hal-00737920v1  Journal articles
Romain Vuillemot. Création et évaluation d'interfaces visuelles interactives à partir de services web
Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, Lavoisier, 2012, Extraction de connaissances et visualisation de grands réseaux, 26 (4/2012), pp.429-453. ⟨10.3166/ria.26.429-453⟩
...
hal-01217564v1  Journal articles
Anh Tuan Giang, Anthony Busson, Alain Lambert, Dominique Gruyer. Capacity of IEEE 802.11p based VANET: models, simulations and experimentations
IEEE Transactions on Vehicular Technology, Institute of Electrical and Electronics Engineers, 2015, 15p. ⟨10.1109/TVT.2015.2474156⟩
...
hal-00922261v1  Conference papers
Anh Tuan Giang, Anthony Busson, Alain Lambert, Dominique Gruyer. Topology Control in VANET and Capacity Estimation
2013 IEEE Vehicular Networking Conference (VNC), Dec 2013, BOSTON, United States. ⟨10.1109/vnc.2013.6737600⟩
...
hal-02933477v1  Conference papers
Adélaïde Genay, Anatole Lécuyer, Martin Hachet. Incarner un Avatar en Réalité Augmentée : Revue de la Littérature
WACAI 2020 - Workshop sur les Affects, Compagnons artificiels et Interactions, CNRS, Université Toulouse Jean Jaurès, Université de Bordeaux, Jun 2020, Saint Pierre d'Oléron, France
...
hal-02105087v1  Journal articles
Felipe Fidalgo, Douglas Gonçalves, Carlile Lavor, Leo Liberti, Antonio Mucherino. A symmetry-based splitting strategy for discretizable distance geometry problems
Journal of Global Optimization, Springer Verlag, 2018, 71 (4), pp.717-733. ⟨10.1007/s10898-018-0610-9⟩
hal-01429540v1  Journal articles
Douglas S. Gonçalves, Antonio Mucherino, Carlile Lavor, Leo Liberti. Recent Advances on the Interval Distance Geometry
Journal of Global Optimization, Springer Verlag, 2017, 69 (3), pp.525-545
...
hal-02105295v1  Journal articles
Douglas Gonçalves, Antonio Mucherino, Carlile Lavor, Leo Liberti. Recent advances on the interval distance geometry problem
Journal of Global Optimization, Springer Verlag, 2017, 69 (3), pp.525-545. ⟨10.1007/s10898-016-0493-6⟩
...
hal-02946930v2  Reports
Guillaume Ambal, Alan Schmitt, Sergueï Lenglet. Automatic Transformation of a Big-Step Skeletal Semantics into Small-Step
[Research Report] RR-9363, Inria Rennes - Bretagne Atlantique. 2020
...
hal-01242268v1  Journal articles
Sébastien Gambs, Marc-Olivier Killijian, Miguel Nuñez del Prado Cortez. De-anonymization attack on geolocated data
Journal of Computer and System Sciences, Elsevier, 2014, 80 (8), pp.1597-1614. ⟨10.1016/j.jcss.2014.04.024⟩
...
hal-01091189v2  Journal articles
Pierre Roux. Formal Proofs of Rounding Error Bounds
Journal of Automated Reasoning, Springer Verlag, 2015, pp.23. ⟨10.1007/s10817-015-9339-z⟩
...
hal-02536463v2  Journal articles
Guillaume Ambal, Sergueï Lenglet, Alan Schmitt. HOπ in Coq
Journal of Automated Reasoning, Springer Verlag, 2020, ⟨10.1007/s10817-020-09553-0⟩
...
inria-00567801v1  Journal articles
Rémi Gribonval, Morten Nielsen. The restricted isometry property meets nonlinear approximation with redundant frames
Journal of Approximation Theory, Elsevier, 2013, 165 (1), pp.1--19. ⟨10.1016/j.jat.2012.09.008⟩
...
hal-01493442v1  Journal articles
Cérès Carton, Aurélie Lemaitre, Bertrand Coüasnon. Eyes Wide Open: an interactive learning method for the design of rule-based systems
International Journal on Document Analysis and Recognition, Springer Verlag, 2017, 20 (2), pp.91-103. ⟨10.1007/s10032-017-0282-x⟩
...
hal-01858192v1  Journal articles
Aurélie Lemaitre, Jean Camillerapp, Cérès Carton, Bertrand Coüasnon. A combined strategy of analysis for the localization of heterogeneous form fields in ancient pre-printed records
International Journal on Document Analysis and Recognition, Springer Verlag, 2018, 21(4) (269-282), ⟨10.1007/s10032-018-0309-y⟩
inria-00543100v1  Journal articles
Yehuda Afek, Eli Gafni, Sergio Rajsbaum, Michel Raynal, Corentin Travers. The k-simultaneous consensus problem
Distributed Computing, Springer Verlag, 2010, 22 (3), pp.185-196. ⟨10.1007/s00446-009-0090-8⟩
...
hal-00987988v1  Journal articles
Philippe Darondeau, Hervé Marchand, Laurie S. L. Ricker. Enforcing Opacity of Regular Predicates on Modal Transition Systems
Discrete Event Dynamic Systems, Springer Verlag, 2015, 25 ((1-2)), pp.251-270. ⟨10.1007/s10626-014-0193-7⟩
...
hal-01851306v1  Journal articles
Tanja Blascheck, Lonni Besançon, Anastasia Bezerianos, Bongshin Lee, Petra Isenberg. Glanceable Visualization: Studies of Data Comparison Performance on Smartwatches
IEEE Transactions on Visualization and Computer Graphics, Institute of Electrical and Electronics Engineers, 2019, 25 (1), pp.616--629. ⟨10.1109/TVCG.2018.2865142⟩
...
hal-00717503v2  Journal articles
Luana Micallef, Pierre Dragicevic, Jean-Daniel Fekete. Assessing the Effect of Visualizations on Bayesian Reasoning Through Crowdsourcing
IEEE Transactions on Visualization and Computer Graphics, Institute of Electrical and Electronics Engineers, 2012, 18 (12), pp.2536 - 2545. ⟨10.1109/TVCG.2012.199⟩
...
hal-01205821v1  Journal articles
Benjamin Bach, Conglei Shi, Nicolas Heulot, Tara Madhyastha, Tom Grabowski et al.  Time Curves: Folding Time to Visualize Patterns of Temporal Evolution in Data
IEEE Transactions on Visualization and Computer Graphics, Institute of Electrical and Electronics Engineers, 2016, 22 (1), ⟨10.1109/TVCG.2015.2467851⟩
...
hal-01188973v1  Journal articles
Jeremy Boy, Louis Eveillard, Françoise Detienne, Jean-Daniel Fekete. Suggested Interactivity: Seeking Perceived Affordances for Information Visualization
IEEE Transactions on Visualization and Computer Graphics, Institute of Electrical and Electronics Engineers, 2016, 22 (1), pp.639-648. ⟨10.1109/TVCG.2015.2467201⟩