Filter your results
- 21
- 3
- 12
- 7
- 5
- 23
- 4
- 2
- 1
- 1
- 2
- 3
- 3
- 2
- 2
- 2
- 3
- 2
- 1
- 1
- 1
- 1
- 24
- 24
- 4
- 4
- 4
- 3
- 3
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 6
- 5
- 4
- 3
- 3
- 3
- 3
- 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
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Unifying the framework of Multi-Layer Network and Visual AnalyticsVisual Analytics of Multilayer Networks Across Disciplines, 9 (2), pp.19-23, 2019, Dagstuhl Reports
Book sections
hal-02185272v1
|
||
|
MSMT-CNN for solar active region detection with multi-spectral analysisSN Computer Science, In press
Journal articles
hal-03584929v1
|
||
|
TULIP 5Reda 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
|
||
|
Program extraction from normalization proofsStudia 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 EstimationSIGGRAPH 2012, Aug 2012, Los Angeles, United States. pp.1-469, ⟨10.1145/2343483.2343489⟩
Conference papers
hal-01353022v1
|
|||
|
An Algebraic Theory for Data Linkage24th 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 IIIEncyclopedia of Social Network Analysis and Mining, 2014, 978-1-4614-6169-2. ⟨10.1007/978-1-4614-6170-8_315⟩
Book sections
hal-01096759v1
|
|||
|
Molecular Visualization of Computational Biology Data: A Survey of SurveysEuroVis 2017 - Short Papers, Jun 2017, Barcelone, Spain. ⟨10.2312/eurovisshort.20171146⟩
Conference papers
hal-01644549v1
|
||
|
A Review of Temporal Data Visualizations Based on Space-Time Cube OperationsEurographics Conference on Visualization, Jun 2014, Swansea, Wales, United Kingdom
Conference papers
hal-01006140v1
|
||
|
MLMT-CNN for Object Detection and Segmentation in Multi-layer and Multi-spectral ImagesMachine Vision and Applications, In press
Journal articles
hal-03404405v1
|
||
|
The Transrational Numbers as an Abstract Data TypeTransmathematica, 2020, ⟨10.36285/tm.47⟩
Journal articles
hal-03184954v1
|
||
|
Registration and Modeling from Spaced and Misaligned Image VolumesIEEE Transactions on Image Processing, 2016, 25 (9), pp.4379-4393. ⟨10.1109/TIP.2016.2586660⟩
Journal articles
hal-02327508v1
|
||
|
Emergeables: Deformable Displays for Continuous Eyes-Free Mobile Interaction34th 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 FranceCé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
|
|||
|
Shape and Appearance based Spatiotemporal Constraint for LV Segmentation in 4D cardiac SPECTCI2BM09 - MICCAI Workshop on Cardiovascular Interventional Imaging and Biophysical Modelling, Sep 2009, London, United Kingdom. 10 p
Conference papers
inria-00418378v1
|
||
|
Martin Hofmann's Case for Non-Strictly Positive Data TypesPeter 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
|
||
|
Integrated Segmentation and Interpolation of Sparse DataIEEE Transactions on Image Processing, 2013, 23 (1), pp.110-125. ⟨10.1109/TIP.2013.2286903⟩
Journal articles
hal-02327523v1
|
||
|
Parametric solutions involving geometry: A step towards efficient shape optimizationComputer Methods in Applied Mechanics and Engineering, 2014, 268, pp.178-193. ⟨10.1016/j.cma.2013.09.003⟩
Journal articles
hal-02486097v1
|
||
|
Physics-informed detection and segmentation of type II solar radio burstsBritish Machine Vision Virtual Conference, Sep 2020, Virtual, United Kingdom
Conference papers
hal-02923001v1
|
||
|
RepliCHI - CHI should be replicating and validating results more: discussCHI 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
|
||
|
Undecidability of Equality for Codata Types14th 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
|
||
|
Active region detection in multi-spectral solar imagesInternational Conference on Pattern Recognition Applications and Methods (ICPRAM), Feb 2021, online, Austria
Conference papers
hal-03040990v1
|
||
|
PickCells: A Physically Reconfigurable Cell-composed Touchscreen2019 CHI Conference on Human Factors in Computing Systems, May 2019, Glasgow, United Kingdom. pp.273, ⟨10.1145/3290605.3300503⟩
Conference papers
hal-02413716v1
|
||
|
Where Art Meets Technology: Integrating Tangible and Intelligent Tools in Creative ProcessesCHI '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
|