Search - Archive ouverte HAL Access content directly

Filter your results

24 Results
Structure: Internal structure identifier : 36731
Image document

Unifying the framework of Multi-Layer Network and Visual Analytics

Søren Knudsen , Jan Aerts , Daniel Archambault , Remco Chang , Jean-Daniel Fekete et al.
Visual Analytics of Multilayer Networks Across Disciplines, 9 (2), pp.19-23, 2019, Dagstuhl Reports
Book sections hal-02185272v1
Image document

MSMT-CNN for solar active region detection with multi-spectral analysis

Majedaldein Almahasneh , Adeline Paiement , Xianghua Xie , Jean Aboudarham
SN Computer Science, In press
Journal articles hal-03584929v1
Image document

TULIP 5

David Auber , Daniel Archambault , Romain Bourqui , Maylis Delest , Jonathan Dubois et al.
Reda Alhajj; Jon Rokne. Encyclopedia of Social Network Analysis and Mining, Springer, pp.1-28, 2017, 978-1-4614-7163-9. ⟨10.1007/978-1-4614-7163-9_315-1⟩
Book sections hal-01654518v1
Image document

Program extraction from normalization proofs

Ulrich Berger , Stefan Berghofer , Pierre Letouzey , Helmut Schwichtenberg
Studia Logica, 2006, 82 (1), pp.25-49. ⟨10.1007/s11225-006-6604-5⟩
Journal articles istex hal-00150904v1

State of the Art in Photon-Density Estimation

Toshiya Hachisuka , Wojciech Jarosz , Guillaume Bouchard , Per Christensen , Jeppe Revall Frisvad et al.
SIGGRAPH 2012, Aug 2012, Los Angeles, United States. pp.1-469, ⟨10.1145/2343483.2343489⟩
Conference papers hal-01353022v1
Image document

An Algebraic Theory for Data Linkage

Liang-Ting Chen , Markus Roggenbach , John V. Tucker
24th International Workshop on Algebraic Development Techniques (WADT), Jul 2018, Egham, United Kingdom. pp.47-66, ⟨10.1007/978-3-030-23220-7_3⟩
Conference papers hal-02364574v1

Tulip III

David Auber , Daniel Archambault , Romain Bourqui , Maylis Delest , Jonathan Dubois et al.
Encyclopedia of Social Network Analysis and Mining, 2014, 978-1-4614-6169-2. ⟨10.1007/978-1-4614-6170-8_315⟩
Book sections hal-01096759v1
Image document

Molecular Visualization of Computational Biology Data: A Survey of Surveys

Naif Alharbi , Mohammed Alharbi , Xavier Martinez , Michael Krone , Alexander S. Rose et al.
EuroVis 2017 - Short Papers, Jun 2017, Barcelone, Spain. ⟨10.2312/eurovisshort.20171146⟩
Conference papers hal-01644549v1
Image document

A Review of Temporal Data Visualizations Based on Space-Time Cube Operations

Benjamin Bach , Pierre Dragicevic , Daniel Archambault , Christophe Hurter , Sheelagh Carpendale et al.
Eurographics Conference on Visualization, Jun 2014, Swansea, Wales, United Kingdom
Conference papers hal-01006140v1
Image document

MLMT-CNN for Object Detection and Segmentation in Multi-layer and Multi-spectral Images

Majedaldein Almahasneh , Adeline Paiement , Xianghua Xie , Jean Aboudarham
Machine Vision and Applications, In press
Journal articles hal-03404405v1
Image document

The Transrational Numbers as an Abstract Data Type

Jan A Bergstra , Jan Aldert Bergstra , John Tucker
Transmathematica, 2020, ⟨10.36285/tm.47⟩
Journal articles hal-03184954v1
Image document

Registration and Modeling from Spaced and Misaligned Image Volumes

Adeline Paiement , Majid Mirmehdi , Xianghua Xie , Mark Hamilton
IEEE Transactions on Image Processing, 2016, 25 (9), pp.4379-4393. ⟨10.1109/TIP.2016.2586660⟩
Journal articles hal-02327508v1
Image document

Emergeables: Deformable Displays for Continuous Eyes-Free Mobile Interaction

Simon Robinson , Céline Coutrix , Jennifer Pearson , Juan Pablo Rosso Pirela , Matheus Torquato et al.
34th international conference on Human factors in computing systems CHI 2016, 2016, Santa Clara, USA, United States. pp.13, ⟨10.1145/2858036.2858097⟩
Conference papers hal-01492645v1

Defining polycentric urban areas through commuting cohesion. Through commuting cohesion in France

Patrice Tissandier , Trung Tien Phan Quang , Daniel Archambault
Céline Rozenblat, Guy Melançon. Methods for Multilevel Analysis and Visualisation of Geographical Networks, Springer, pp.189-206, 2013, Methodos Series, 978-94-007-6677-8
Book sections hal-00731599v1
Image document

Shape and Appearance based Spatiotemporal Constraint for LV Segmentation in 4D cardiac SPECT

Ronghua Yang , Majid Mirmehdi , Xianghua Xie , David J. Hall
CI2BM09 - MICCAI Workshop on Cardiovascular Interventional Imaging and Biophysical Modelling, Sep 2009, London, United Kingdom. 10 p
Conference papers inria-00418378v1
Image document

Martin Hofmann's Case for Non-Strictly Positive Data Types

Ulrich Berger , Ralph Matthes , Anton Setzer
Peter Dybjer; José Espírito Santo; Luís Pinto. 24th International Conference on Types for Proofs and Programs (TYPES 2018), 130, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, pp.1:1-1:22, 2019, Leibniz International Proceedings in Informatics (LIPIcs), 978-3-95977-106-1. ⟨10.4230/LIPIcs.TYPES.2018.1⟩
Book sections hal-02365814v1
Image document

Integrated Segmentation and Interpolation of Sparse Data

Adeline Paiement , Majid Mirmehdi , Xianghua Xie , Mark Hamilton
IEEE Transactions on Image Processing, 2013, 23 (1), pp.110-125. ⟨10.1109/TIP.2013.2286903⟩
Journal articles hal-02327523v1
Image document

Parametric solutions involving geometry: A step towards efficient shape optimization

Amine Ammar , Antonio Huerta , Francisco Chinesta , Elias Cueto , Adrien Leygue et al.
Computer Methods in Applied Mechanics and Engineering, 2014, 268, pp.178-193. ⟨10.1016/j.cma.2013.09.003⟩
Journal articles hal-02486097v1
Image document

Physics-informed detection and segmentation of type II solar radio bursts

Joseph Jenkins , Adeline Paiement , Jean Aboudarham , Xavier Bonnin
British Machine Vision Virtual Conference, Sep 2020, Virtual, United Kingdom
Conference papers hal-02923001v1
Image document

RepliCHI - CHI should be replicating and validating results more: discuss

Max Wilson , Wendy E. Mackay , Ed Chi , Michael Bernstein , Dan Russell et al.
CHI EA '11: Proceedings of the 2011 annual conference extended abstracts on Human factors in computing systems, May 2011, Vancouver, Canada. pp.463--466, ⟨10.1145/1979742.1979491⟩
Conference papers hal-01000423v1
Image document

Undecidability of Equality for Codata Types

Ulrich Berger , Anton Setzer
14th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2018, Thessaloniki, Greece. pp.34-55, ⟨10.1007/978-3-030-00389-0_4⟩
Conference papers hal-02044645v1
Image document

Active region detection in multi-spectral solar images

Majedaldein Almahasneh , Adeline Paiement , Xianghua Xie , Jean Aboudarham
International Conference on Pattern Recognition Applications and Methods (ICPRAM), Feb 2021, online, Austria
Conference papers hal-03040990v1
Image document

PickCells: A Physically Reconfigurable Cell-composed Touchscreen

Alix Goguey , Cameron Steer , Andrés Lucero , Laurence Nigay , Deepak Ranjan Sahoo et al.
2019 CHI Conference on Human Factors in Computing Systems, May 2019, Glasgow, United Kingdom. pp.273, ⟨10.1145/3290605.3300503⟩
Conference papers hal-02413716v1
Image document

Where Art Meets Technology: Integrating Tangible and Intelligent Tools in Creative Processes

Janin Koch , Jennifer Pearson , Andrés Lucero , Miriam Sturdee , Wendy E. Mackay et al.
CHI '20 - 38th SIGCHI conference on Human Factors in computing systems, Apr 2020, Honolulu, United States. pp.1-7, ⟨10.1145/3334480.3375172⟩
Conference papers hal-03054241v1