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-01146059v2  Journal articles
Furio HonsellLuigi LiquoriPetar MaksimovicIvan Scagnetto. LLFP : A Logical Framework for modeling External Evidence, Side Conditions, and Proof Irrelevance using Monads
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2017, Special Issue in honor of Pierre Louis Curien
hal-01631394v1  Journal articles
Mila Dalla PredaMaurizio GabbrielliSaverio GiallorenzoIvan LaneseJacopo Mauro. Dynamic Choreographies: Theory And Implementation
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2017, 13, pp.1 - 57. ⟨10.23638/LMCS-13(2:1)2017⟩
hal-01415568v1  Conference papers
Ihsen HedhliGabriele MoserSebastiano SerpicoJosiane Zerubia. Multi-resolution Classification of Urban Areas Using Hierarchical Symmetric Markov Mesh Models
IEEE GRS/ISPRS Joint Urban Remote Sensing Event (JURSE), Mar 2017, Dubai, United Arab Emirates
hal-01408854v2  Conference papers
Ali MadooeiRamy AbdlatyLilian Doerwald-MunozJoseph HaywardMark Drew et al.  Hyperspectral Image Processing for Detection and Grading of Skin Erythema
SPIE Medical Imaging, Feb 2017, Orlando, Florida, United States
hal-02157080v1  Conference papers
Tianyu LiMary ComerJosiane Zerubia. A Connected-Tube MPP Model for Object Detection with Application to Materials and Remotely-Sensed Images
ICIP 2018 – IEEE International Conference on Image Processing, Oct 2018, Athens, Greece
hal-01850436v1  Conference papers
Nicklas LinzXenia KlingeJohannes TrögerJan AlexanderssonRadia Zeghari et al.  Automatic Detection of Apathy using Acoustic Markers extracted from Free Emotional Speech
hal-01672593v1  Conference papers
Nicklas LinzJohannes TrögerJan AlexanderssonAlexandra Konig. Using Neural Word Embeddings in the Analysis of the Clinical Semantic Verbal Fluency Task
IWCS 2017 - 12th International Conference on Computational Semantics, Sep 2017, Montpellier, France. pp.1-7
hal-01672590v1  Conference papers
Nicklas LinzJohannes TrögerJan AlexanderssonAlexandra KonigPhilippe Robert et al.  Predicting Dementia Screening and Staging Scores From Semantic Verbal Fluency Performance
ICDM 2017 - IEEE International Conference on Data Mining, Workshop on Data Mining for Aging, Rehabilitation and Independent Assisted Living, Nov 2017, New Orleans, United States. pp.719-728, ⟨10.1109/ICDMW.2017.100⟩
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-01882463v1  Conference papers
Luigi AntelmiNicholas AyachePhilippe RobertMarco Lorenzi. Multi-Channel Stochastic Variational Inference for the Joint Analysis of Heterogeneous Biomedical Data in Alzheimer's Disease
Understanding and Interpreting Machine Learning in Medical Image Computing Applications, Sep 2018, Granada, Spain
hal-01850406v1  Conference papers
Johannes TrögerNicklas LinzAlexandra KönigPhilippe RobertJan Alexandersson. Telephone-based Dementia Screening I: Automated Semantic Verbal Fluency Assessment
PervasiveHealth 2018 - 12th EAI International Conference on Pervasive Computing Technologies for Healthcare, May 2018, New York United States. ⟨10.1145/nnnnnnn.nnnnnnn⟩
hal-01935684v1  Conference papers
Guillermo GallardoNathalie GayraudRachid DericheMaureen ClercSamuel Deslauriers-Gauthier et al.  Solving the Cross-Subject Parcel Matching Problem using Optimal Transport
International Conference on Medical Image Computing and Computer-Assisted Intervention 2018, Sep 2018, Granada, Spain
hal-01737434v1  Conference papers
Matteo FrigoGuillermo GallardoIsa CostantiniAlessandro DaducciDemian Wassermann et al.  Reducing false positive connection in tractograms using joint structure-function filtering
OHBM 2018 - Organization for Human Brain Mapping, Jun 2018, Singapore, Singapore. pp.1-3
tel-01947341v2  Theses
Farhood Negin. Toward unsupervised human activity and gesture recognition in videos
Computer Vision and Pattern Recognition [cs.CV]. Université Côte d'Azur, 2018. English. ⟨NNT : 2018AZUR4246⟩
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
tel-01925851v2  Theses
Dolière Francis Somé. Web applications security and privacy
Cryptography and Security [cs.CR]. Université Côte d'Azur, 2018. English. ⟨NNT : 2018AZUR4085⟩
tel-02006245v1  Theses
Thi Lan Anh Nguyen. Long term people trackers for video monitoring systems
Computer Vision and Pattern Recognition [cs.CV]. Université Côte d'Azur, 2018. English. ⟨NNT : 2018AZUR4053⟩
tel-01818515v1  Theses
Jean-Dominique Favreau. Compact image vectorization by stochastic approaches
Signal and Image processing. Université Côte d'Azur, 2018. English. ⟨NNT : 2018AZUR4004⟩
hal-01536406v1  Book sections
Stéphanie MarchesseauS. ChatelinHervé Delingette. Non linear Biomechanical Model of the Liver
Yohan Payan; Jacques Ohayon. Biomechanics of Living Organs, Elsevier, pp.602, 2017, 9780128040096
hal-01959391v2  Conference papers
Gilles BartheXiong FanJoshua GancherBenjamin GrégoireCharlie Jacomme et al.  Symbolic Proofs for Lattice-Based Cryptography
CCS 2018 - Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security Canada, October 15-19, 2018, Oct 2018, Toronto, Canada. pp.538-555, ⟨10.1145/3243734.3243825⟩
hal-01572090v1  Conference papers
Ivan YegorovFrédéric GrognardLudovic MailleretFabien Halkett. Optimal resource allocation for biotrophic plant pathogens
IFAC 2017 - 20th World Congress of the International Federation of Automatic Control, International Federation of Automatic Control (IFAC). AUT., Jul 2017, Toulouse, France. pp.1-6, ⟨10.1016/j.ifacol.2017.08.328⟩