Skip to Main content Skip to Navigation


...
hal-01410487v2  Journal articles
Benedikt AhrensRalph MatthesAnders Mörtberg. From signatures to monads in UniMath
Journal of Automated Reasoning, Springer Verlag, 2018, pp.1-34. ⟨10.1007/s10817-018-9474-4⟩
...
hal-01217654v1  Journal articles
Heng-Chao LiVladimir A. KrylovPing-Zhi FanJosiane ZerubiaWilliam J. Emery. Unsupervised Learning of Generalized Gamma Mixture Model with Application in Statistical Modeling of High-Resolution SAR Images
IEEE Transactions on Geoscience and Remote Sensing, Institute of Electrical and Electronics Engineers, 2016, 54 (4), pp.2153-2170
...
hal-00638665v1  Journal articles
Saima Ben HadjFlorent ChatelainXavier DescombesJosiane Zerubia. Approche non supervisée par processus ponctuels marqués pour l'extraction d'objets à partir d'images aériennes et satellitaires
Revue Française de Photogrammétrie et de Télédétection, Société Française de Photogrammétrie et de Télédétection, 2010, 194, pp.2-15
...
hal-01849278v1  Journal articles
Farhood NeginJérémy BourgeoisPhilippe RobertFrancois Bremond. A Gesture Recognition Framework for Cognitive Assessment
Gerontechnology, ISG International Society for Gerontechnology, 2018, 17 (s), ⟨10.4017/gt.2018.17.s.164.00⟩
...
hal-01350508v2  Journal articles
Nina MiolaneSusan HolmesXavier Pennec. Template Shape Estimation: Correcting an Asymptotic Bias
SIAM Journal on Imaging Sciences, Society for Industrial and Applied Mathematics, 2017, 10 (2), pp.808 - 844. ⟨10.1137/16M1084493⟩
...
hal-01753086v1  Journal articles
Qiao ZhengHervé DelingetteNicolas DuchateauNicholas Ayache. 3D Consistent & Robust Segmentation of Cardiac Images by Deep Learning with Spatial Propagation
IEEE Transactions on Medical Imaging, Institute of Electrical and Electronics Engineers, 2018, 37, pp.2137-2148
...
hal-01414802v1  Journal articles
Eitan AltmanFrancesco de PellegriniDaniele MiorandiGiovanni Neglia. Adaptive Optimal Stochastic Control of Delay--Tolerant Networks
IEEE Transactions on Mobile Computing, Institute of Electrical and Electronics Engineers, 2016, pp.1 - 15. ⟨10.1109/TMC.2016.2611507⟩
...
hal-01343233v1  Journal articles
Nicolas CordierHervé DelingetteMatthieu LêNicholas Ayache. Extended Modality Propagation: Image Synthesis of Pathological Cases
IEEE Transactions on Medical Imaging, Institute of Electrical and Electronics Engineers, 2016, PP (99), ⟨10.1109/TMI.2016.2589760⟩
...
hal-01412408v1  Journal articles
Antitza DantchevaFrancois Bremond. Gender estimation based on smile-dynamics
IEEE Transactions on Information Forensics and Security, Institute of Electrical and Electronics Engineers, 2016, pp.11. ⟨10.1109/TIFS.2016.2632070⟩
...
inria-00615027v1  Journal articles
Sylvain PrimaSébastien OurselinNicholas Ayache. Computation of the Mid-Sagittal Plane in 3D Brain Images
IEEE Transactions on Medical Imaging, Institute of Electrical and Electronics Engineers, 2002, 21 (2), pp.122-138. ⟨10.1109/42.993131⟩
...
hal-01324849v1  Journal articles
Matthieu LêHervé DelingetteJayashree Kalpathy-CramerElizabeth GerstnerTracy Batchelor et al.  MRI Based Bayesian Personalization of a Tumor Growth Model
IEEE Transactions on Medical Imaging, Institute of Electrical and Electronics Engineers, 2016, 35 (10), pp.2329-2339. ⟨10.1109/TMI.2016.2561098⟩
...
hal-01403847v1  Journal articles
Matthieu LêHervé DelingetteJayashree Kalpathy-CramerElizabeth GerstnerTracy Batchelor et al.  Personalized Radiotherapy Planning Based on a Computational Tumor Growth Model
IEEE Transactions on Medical Imaging, Institute of Electrical and Electronics Engineers, 2016, pp.11. ⟨10.1109/TMI.2016.2626443⟩
...
hal-00880334v1  Journal articles
Steve OudotLaurent RineauMariette Yvinec. Meshing Volumes with Curved Boundaries
Engineering with Computers, Springer Verlag, 2010, pp.265-279
...
inria-00499599v1  Journal articles
Vincent MartinJean-Marcel TravereFrancois BremondVictor MoncadaGwenaël Dunand. Thermal Event Recognition Applied to Protection of Tokamak Plasma-Facing Components
IEEE Transactions on Instrumentation and Measurement, Institute of Electrical and Electronics Engineers, 2010, 59 (5), pp.1182-1191. ⟨10.1109/TIM.2009.2038032⟩
...
hal-01744142v1  Journal articles
Rocio Cabrera LozoyaBenjamin BerteHubert CochetPierre JaïsNicholas Ayache et al.  Model-based Feature Augmentation for Cardiac Ablation Target Learning from Images
IEEE Transactions on Biomedical Engineering, Institute of Electrical and Electronics Engineers, 2018, pp.1. ⟨10.1109/TBME.2018.2818300⟩
...
hal-01849787v1  Journal articles
Serhan CosarGiuseppe DonatielloVania BogornyCarolina GarateLuis Alvares et al.  Towards Abnormal Trajectory and Event Detection in Video Surveillance
IEEE Transactions on Circuits and Systems for Video Technology, Institute of Electrical and Electronics Engineers, 2016
...
hal-01313615v1  Journal articles
Rocío Cabrera-LozoyaBenjamin BerteHubert CochetPierre JaïsNicholas Ayache et al.  Image-based Biophysical Simulation of Intracardiac Abnormal Ventricular Electrograms
IEEE Transactions on Biomedical Engineering, Institute of Electrical and Electronics Engineers, 2016, PP (99), ⟨10.1109/TBME.2016.2562918⟩
...
hal-01849546v1  Journal articles
Kanishka NithinFrancois Bremond. Multi-camera Tracklet association and fusion using ensemble of visual and geometric cues
IEEE Transactions on Circuits and Systems for Video Technology, Institute of Electrical and Electronics Engineers, 2017, 27 (3), pp.431 - 440. ⟨10.1109/TCSVT.2016.2615538⟩
...
hal-01756811v1  Journal articles
Marco LorenziAndre AltmannBoris GutmanSelina WrayCharles Arber et al.  Susceptibility of brain atrophy to TRIB3 in Alzheimer’s disease, evidence from functional prioritization in imaging genetics
Proceedings of the National Academy of Sciences of the United States of America , National Academy of Sciences, 2018, 115 (12), pp.3162-3167. ⟨10.1073/pnas.1706100115⟩
...
hal-01653334v1  Journal articles
Julien BensmailArarat HarutyunyanNgoc Khang LeBinlong LiNicolas Lichiardopol. Disjoint cycles of different lengths in graphs and digraphs
The Electronic Journal of Combinatorics, Open Journal Systems, 2017, 24 (4)
...
hal-01931186v1  Journal articles
Davide SangiorgiXian Xu. Trees from functions as processes
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2018, ⟨10.2168/LMCS-14(3:11)2018⟩
...
hal-01081908v1  Journal articles
Guillaume CanoCyril CohenMaxime DénèsAnders MörtbergVincent Siles. Formalized Linear Algebra over Elementary Divisor Rings in Coq
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2016, ⟨10.2168/LMCS-12(2:7)2016⟩
...
hal-01826055v1  Journal articles
Leman FengPierre AlliezLaurent BuséHervé DelingetteMathieu Desbrun. Curved Optimal Delaunay Triangulation
ACM Transactions on Graphics, Association for Computing Machinery, 2018, Proceedings of SIGGRAPH 2018, 37 (4), pp.16. ⟨10.1145/3197517.3201358⟩
...
lirmm-01515226v1  Journal articles
Daniel SimonAlexandre SeuretOlivier Sename. Real-time control systems: feedback, scheduling and robustness
International Journal of Systems Science, Taylor & Francis, 2017, 48 (11), pp.2368-2378. ⟨10.1080/00207721.2017.1316879⟩
...
hal-01739481v1  Journal articles
Christophe BotellaAlexis JolyPierre BonnetPascal MonestiezFrançois Munoz. Species distribution modeling based on the automated identification of citizen observations
Applications in Plant Sciences, Wiley, 2018, Green Digitization: Online Botanical Collections Data Answering Real‐World Questions, 6 (2), pp.1-11. ⟨10.1002/aps3.1029⟩
...
hal-01261698v1  Journal articles
Hanane NaciriLaurence Rideau. Interactive layout and handling of mathematical formulas in structured documents
Revue Africaine de la Recherche en Informatique et Mathématiques Appliquées, INRIA, 2002, 1, pp.95-125
...
hal-01890054v1  Journal articles
Sunil AryaGuilherme D. da FonsecaDavid Mount. Approximate Polytope Membership Queries
SIAM Journal on Computing, Society for Industrial and Applied Mathematics, 2018, 47 (1), pp.1 - 51. ⟨10.1137/16M1061096⟩
...
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-01344293v1  Journal articles
Zeyun ShiPierre AlliezMathieu DesbrunHujun BaoJin Huang. Symmetry and Orbit Detection via Lie-Algebra Voting
Computer Graphics Forum, Wiley, 2016, Proceedings of EUROGRAPHICS Symposium on Geometry Processing, pp.12
...
hal-01810207v1  Journal articles
Gen NishidaAdrien BousseauDaniel G. Aliaga. Procedural Modeling of a Building from a Single Image
Computer Graphics Forum, Wiley, 2018, Eurographics, 37 (2), ⟨10.1111/cgf.13372⟩
...
inria-00502473v1  Journal articles
Patrick MullenFernando de GoesMathieu DesbrunDavid Cohen-SteinerPierre Alliez. Signing the Unsigned: Robust Surface Reconstruction from Raw Pointsets
Computer Graphics Forum, Wiley, 2010, Symposium on Geometry Processing, 29 (5), pp.1733-1741
...
inria-00615026v1  Journal articles
Grégoire MalandainJean-Daniel Boissonnat. Computing the Diameter of a Point Set
International Journal of Computational Geometry and Applications, World Scientific Publishing, 2002, 12 (6), pp.489--510
...
inria-00167201v1  Journal articles
Olivier Devillers. On Deletion in Delaunay Triangulations
International Journal of Computational Geometry and Applications, World Scientific Publishing, 2002, 12, pp.193-205. ⟨10.1142/S0218195902000815⟩
...
hal-01230752v1  Journal articles
Anant S. VemuriStéphane NicolauAdrien SportesJacques MarescauxLuc Soler et al.  Inter-Operative Biopsy Site Relocalization in Endoluminal Surgery
IEEE Transactions on Biomedical Engineering, Institute of Electrical and Electronics Engineers, 2016, 63 (9), pp.1862-1873. ⟨10.1109/TBME.2015.2503981⟩
...
hal-01397393v1  Journal articles
Sophie Giffard-RoisinThomas JacksonLauren FovargueJack LeeHervé Delingette et al.  Non-Invasive Personalisation of a Cardiac Electrophysiology Model from Body Surface Potential Mapping
IEEE Transactions on Biomedical Engineering, Institute of Electrical and Electronics Engineers, 2017, IEEE Transactions on Biomedical Engineering, 64 (9), pp.2206 - 2218. ⟨10.1109/TBME.2016.2629849⟩
...
hal-00488441v1  Journal articles
Jean-Daniel BoissonnatFrank NielsenRichard Nock. Bregman Voronoi diagrams
Discrete and Computational Geometry, Springer Verlag, 2010, pp.200
...
hal-00784439v1  Journal articles
Gaoning HeMérouane DebbahEitan Altman. A Bayesian Game-Theoretic Approach for Distributed Resource Allocation in Fading Multiple Access Channels
EURASIP Journal on Wireless Communications and Networking, SpringerOpen, 2010, 2010 (1), pp.391684. ⟨10.1155/2010/391684⟩
...
hal-00847301v1  Journal articles
Sapna NundlollLudovic MailleretFrédéric Grognard. Two models of interfering predators in impulsive biological control
Journal of Biological Dynamics, Taylor & Francis Open, 2010, 4 (1), pp.102-114. ⟨10.1080/17513750902968779⟩
...
hal-01469502v1  Journal articles
Mohammad RouhaniFlorent LafargePierre Alliez. Semantic Segmentation of 3D Textured Meshes for Urban Scene Analysis
ISPRS Journal of Photogrammetry and Remote Sensing, Elsevier, 2017, 123, pp.124 - 139. ⟨10.1016/j.isprsjprs.2016.12.001⟩
...
hal-01921194v1  Journal articles
Mario Bravetti. Reduction Semantics in Markovian Process Algebra
Journal of Logical and Algebraic Methods in Programming, Elsevier, 2018, 96, pp.41-64. ⟨10.1016/j.jlamp.2018.01.002⟩
...
hal-01931324v1  Journal articles
Roberto AmadiniMaurizio GabbrielliJacopo Mauro. SUNNY-CP and the MiniZinc challenge
Theory and Practice of Logic Programming, Cambridge University Press (CUP), 2018, 18 (01), pp.81 - 96. ⟨10.1017/S1471068417000205⟩
...
hal-01912858v1  Journal articles
Franco BarbaneraIvan LaneseUgo De'Liguoro. A theory of retractable and speculative contracts
Science of Computer Programming, Elsevier, 2018, 167, pp.25 - 50. ⟨10.1016/j.scico.2018.06.005⟩
...
hal-01643699v1  Journal articles
Simone Martini. Pensiero computazionale: una quarta competenza dopo scrivere, leggere e far di conto
IL NODO, SCUOLA IN RETE, Ufficio Scolastico Regionale per la Basilicata, 2017, pp.18-28
...
hal-01639200v1  Journal articles
Martin AvanziniUgo Dal Lago. Automating sized-type inference for complexity analysis
Proceedings of the ACM on Programming Languages, ACM, 2017, 1 (ICFP), pp.1 - 29. ⟨10.1145/3110287⟩
...
hal-01336684v1  Journal articles
Roberto AmadiniMaurizio GabbrielliJacopo Mauro. An Extensive Evaluation of Portfolio Approaches for Constraint Satisfaction Problems
International Journal of Interactive Multimedia and Artificial Intelligence, UNIR, 2016
...
hal-01647063v1  Journal articles
Davide Sangiorgi. Equations, Contractions, and Unique Solutions
ACM Transactions on Computational Logic, Association for Computing Machinery, 2017, 18 (1), pp.1-36. ⟨10.1145/2971339⟩
...
hal-01919136v1  Journal articles
Frank de BoerMario BravettiMatias LeeGianluigi Zavattaro. A Petri Net Based Modeling of Active Objects and Futures
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2018, 159 (3), pp.197-256. ⟨10.3233/FI-2018-1663⟩
...
hal-01400359v1  Journal articles
Marco Solieri. Geometry of resource interaction and Taylor–Ehrhard–Regnier expansion: a minimalist approach
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2016, pp.1 - 43. ⟨10.1017/S0960129516000311⟩
...
hal-01656340v1  Journal articles
Michael LodiSimone MartiniEnrico Nardelli. Abbiamo davvero bisogno del pensiero computazionale?
Mondo Digitale, Associazione Italiana per l'Informatica ed il Calcolo Automatico, 2017, pp.1-15
...
hal-01337192v1  Journal articles
Flavien BreuvartGiulio ManzonettoAndrew PolonskyDomenico Ruoppolo. New Results on Morris's Observational Theory
Leibniz International Proceedings in Informatics , Leibniz-Zentrum für Informatik, 2016, 1st International Conference on Formal Structures for Computation and Deduction, pp.560. ⟨10.4230/LIPIcs.FSCD.2016.70⟩
...
lirmm-01181231v1  Journal articles
Vitor SilvaDaniel De OliveiraPatrick ValduriezMarta Mattoso. Analyzing Related Raw Data Files through Dataflows
Concurrency and Computation: Practice and Experience, Wiley, 2016, 28 (8), pp.2528-2545. ⟨10.1002/cpe.3616⟩
...
lirmm-01620224v1  Journal articles
Ji LiuEsther PacittiPatrick ValduriezMarta Mattoso. Scientific Workflow Scheduling with Provenance Data in a Multisite Cloud
Transactions on Large-Scale Data- and Knowledge-Centered Systems, Springer Berlin / Heidelberg, 2017, 33, pp.80-112. ⟨10.1109/IPDPS.2007.370305⟩
...
hal-01369382v1  Journal articles
Peter HedmanTobias RitschelGeorge DrettakisGabriel Brostow. Scalable Inside-Out Image-Based Rendering
ACM Transactions on Graphics, Association for Computing Machinery, 2016, 35 (6)
...
hal-01378388v1  Journal articles
Gen NishidaIgnacio Garcia-DoradoDaniel AliagaBedrich BenesAdrien Bousseau. Interactive sketching of urban procedural models
ACM Transactions on Graphics, Association for Computing Machinery, 2016, Proceedings of ACM SIGGRAPH 2016, 35 (4), pp.1 - 11. ⟨10.1145/2897824.2925951⟩
...
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-01528458v1  Journal articles
George-Alex KoulierisBee BuiMartin BanksGeorge Drettakis. Accommodation and Comfort in Head-Mounted Displays
ACM Transactions on Graphics, Association for Computing Machinery, 2017, 36 (4), pp.11. ⟨10.1145/3072959.3073622⟩