Skip to Main content Skip to Navigation
Help


hal-01661004v1  Journal articles
Michel Raynal. Distributed Universal Constructions: a Guided Tour
Bulletin- European Association for Theoretical Computer Science, European Association for Theoretical Computer Science; 1999, 2017, 121, pp.1-34
hal-01635785v1  Journal articles
Ankit GargManav R. BhatnagarOlivier BerderBaptiste Vrigneau. Imperfect-Quantized-Feedback-Based Beamforming for an FSO MISO System Over Gamma–Gamma Fading With Pointing Errors
Journal of optical communications and networking, Piscataway, NJ ; Washington, DC : IEEE : Optical Society of America, 2017, 9 (11), ⟨10.1364/JOCN.9.001005⟩
hal-01400786v1  Journal articles
Thanh Nghi DoFrançois Poulet. Parallel learning of local SVM algorithms for classifying large datasets
Transactions on Large-Scale Data- and Knowledge-Centered Systems, Springer Berlin / Heidelberg, 2017, XXXI, pp.67-93
...
hal-01672285v1  Journal articles
Liliana BounegruTommaso VenturiniJonathan GrayMathieu Jacomy. Narrating Networks
Digital Journalism , Routledge, 2017, 5 (6), pp.699-730. ⟨10.1080/21670811.2016.1186497⟩
hal-01056126v1  Journal articles
Nicolas BroutinRoss J. Kang. Bounded monochromatic components for random graphs
Journal of Combinatorics, International Press, In press
...
hal-01652793v1  Journal articles
Serge HaddadMichael BlondinChristoph HaaseAlain Finkel. The Logical View on Continuous Petri Nets
ACM Transactions on Computational Logic, Association for Computing Machinery, 2017, 18 (3)
...
hal-01647185v1  Journal articles
Maxence CassierPatrick JolyMaryna Kachanovska. Mathematical models for dispersive electromagnetic waves: An overview
Computers and Mathematics with Applications, Elsevier, 2017, 74 (11), pp.2792-2830. ⟨10.1016/j.camwa.2017.07.025⟩
...
hal-01572366v1  Journal articles
Riccardo SpicaPaolo Robuffo GiordanoFrançois Chaumette. Coupling Active Depth Estimation and Visual Servoing via a Large Projection Operator
The International Journal of Robotics Research, SAGE Publications, 2017, 36 (11), pp.1177-1194
...
hal-01658197v1  Journal articles
Stefan MitschKhalil GhorbalDavid VogelbacherAndré Platzer. Formal verification of obstacle avoidance and navigation of ground robots
The International Journal of Robotics Research, SAGE Publications, 2017, 36 (12), pp.1312--1340. ⟨10.1177/0278364917733549⟩
...
hal-01571808v1  Journal articles
Lucile Mégret. Studies of the Petrov Module for a Family of Generalized Liénard Integrable Systems
Qualitative Theory of Dynamical Systems, SP Birkhäuser Verlag Basel, 2017, 20 (2), pp.1-21. ⟨10.1007/s12346-017-0250-3⟩
...
hal-01407852v2  Journal articles
Matthieu HogNeus SabaterChristine Guillemot. Super-rays for Efficient Light Field Processing
IEEE Journal of Selected Topics in Signal Processing, IEEE, 2017, ⟨10.1109/JSTSP.2017.2738619⟩
...
hal-01573775v1  Journal articles
A BouchnitaT GalochkinaP KurbatovaPatrice NonyV Volpert. Conditions of microvessel occlusion for blood coagulation in flow
International Journal for Numerical Methods in Biomedical Engineering, John Wiley and Sons, 2017, CMBE15: SELECTED PAPERS FROM THE 4TH INTERNATIONAL CONFERENCE ON COMPUTATIONAL & MATHEMATICAL BIOMEDICAL ENGINEERING 2015, ⟨10.1002/cnm.2850⟩
...
hal-01239931v2  Journal articles
Mikel LandajuelaMarina VidrascuDominique ChapelleMiguel Angel Fernández. Coupling schemes for the FSI forward prediction challenge: comparative study and validation
International Journal for Numerical Methods in Biomedical Engineering, John Wiley and Sons, 2017, 33 (4), pp.e02813. ⟨10.1002/cnm.2813⟩
...
hal-01569770v1  Journal articles
Cristóbal BertoglioAlfonso CaiazzoYuri BazilevsMalte BraackMahdi Esmaily et al.  Benchmark problems for numerical treatment of backflow at open boundaries
International Journal for Numerical Methods in Biomedical Engineering, John Wiley and Sons, 2017, ⟨10.1002/cnm.2918⟩
...
hal-01447454v1  Journal articles
Bharath Bhushan DamodaranJoachim HöhleSébastien Lefèvre. Attribute profiles on derived features for urban land cover classification
Photogrammetric engineering and remote sensing, Asprs American Society for Photogrammetry and, 2017, 83 (3), pp.183-193. ⟨10.14358/PERS.83.3.183⟩
...
hal-01201914v2  Journal articles
Matteo GiacominiOlivier PantzKarim Trabelsi. Certified Descent Algorithm for shape optimization driven by fully-computable a posteriori error estimators
ESAIM: Control, Optimisation and Calculus of Variations, EDP Sciences, 2017, 23 (3), pp. 977-1001. ⟨10.1051/cocv/2016021⟩
...
hal-01206501v1  Journal articles
Martin Monperrus. Automatic Software Repair: a Bibliography
ACM Computing Surveys, Association for Computing Machinery, 2017, 51, pp.1-24. ⟨10.1145/3105906⟩
...
hal-01544879v2  Journal articles
Tristan LefébureClaire MorvanFlorian MalardClémentine FrançoisLara Konecny-Dupré et al.  Less effective selection leads to larger genomes
Genome Research, Cold Spring Harbor Laboratory Press, 2017, 27, pp.1016-1028. ⟨10.1101/gr.212589.116⟩
hal-01505240v1  Journal articles
C GreyJa ClementJ BuardB LeblancI Gut et al.  In vivo binding of PRDM9 reveals interactions with noncanonical genomic sites
Genome Research, Cold Spring Harbor Laboratory Press, 2017, 27 (4), pp.580-590. ⟨10.1101/gr.217240.116⟩
...
hal-01525882v3  Journal articles
Benjamin ElieYves Laprie. Simulating alveolar trills using a two-mass model of the tongue tip
Journal of the Acoustical Society of America, Acoustical Society of America, In press, 142 (5)
...
hal-01351529v3  Journal articles
Mioara JoldeşJean-Michel MullerValentina Popescu. Tight and rigourous error bounds for basic building blocks of double-word arithmetic
ACM Transactions on Mathematical Software, Association for Computing Machinery, 2017, 44 (2), pp.1 - 27. ⟨10.1145/3121432⟩
...
hal-01592098v1  Journal articles
Weikai ChenYuexin MaSylvain LefebvreShiqing XinJonàs Martínez et al.  Fabricable Tile Decors
ACM Transactions on Graphics, Association for Computing Machinery, 2017, 36 (6), ⟨10.1145/3130800.3130817⟩
...
hal-01581981v1  Journal articles
Jean-Dominique FavreauFlorent LafargeAdrien Bousseau. Photo2ClipArt: Image Abstraction and Vectorization Using Layered Linear Gradients
ACM Transactions on Graphics, Association for Computing Machinery, 2017, 36 (6)
...
hal-01514619v1  Journal articles
Marek DvorožňákPierre BénardPascal BarlaOliver WangDaniel Sýkora. Example-Based Expressive Animation of 2D Rigid Bodies
ACM Transactions on Graphics, Association for Computing Machinery, 2017, 36 (4), pp.10. ⟨10.1145/3072959.3073611⟩
...
hal-01519006v1  Journal articles
Manish MandadDavid Cohen-SteinerLeif KobbeltPierre AlliezMathieu Desbrun. Variance-Minimizing Transport Plans for Inter-surface Mapping
ACM Transactions on Graphics, Association for Computing Machinery, 2017, 36, pp.14. ⟨10.1145/3072959.3073671⟩
...
hal-01818793v1  Journal articles
Jean-Louis LanetHélène Le BouderMohammed BenattouAxel Legay. When Time Meets Test
International Journal of Information Security, Springer Verlag, 2017, pp.1-15. ⟨10.1007/s10207-017-0371-3⟩
...
hal-01628253v1  Journal articles
Olivier BonamiBenoît Sagot. Computational methods for descriptive and theoretical morphology: a brief introduction
Morphology, Springer Verlag, 2017, Computational methods for descriptive and theoretical morphology, 27 (4), pp.1-7. ⟨10.1017/CBO9781139248860⟩
...
hal-01217843v1  Journal articles
Nicolas ChampagnatDenis Villemonais. Exponential convergence to quasi-stationary distribution for absorbed one-dimensional diffusions with killing
ALEA : Latin American Journal of Probability and Mathematical Statistics, Instituto Nacional de Matemática Pura e Aplicada, 2017, 14, pp.177-199
...
hal-01579077v1  Journal articles
Denis AgnielBoris P. Hejblum. Variance component score test for time-course gene set analysis of longitudinal RNA-seq data
Biostatistics, Oxford University Press (OUP), 2017, Biostatistics, 18 (4), pp.589-604. ⟨10.1093/biostatistics/kxx005⟩