Skip to Main content Skip to Navigation


hal-03655882v1  Journal articles
Cécile Dolbeau-BandinVassili Rivron. La baguette magique du tout-connecté. Entretien avec Évelyne Broudoux
Terminal. Technologie de l’information, culture & société, L'Harmattan / CREIS, 2016, Us et abus de l'Internet, [10 p.]. ⟨10.4000/terminal.1552⟩
hal-03638776v1  Conference papers
Sandro RoselliAlexandre OlrySonia VautrinOlivier CoritonDave Ritchie et al.  Elucidation of the furanocoumarin biosynthetic pathway in Pastinaca sativa
11th national meeting of the SFBV - Société Française de Biologie Végétale, Jul 2016, Angers, France
...
tel-03256970v1  Habilitation à diriger des recherches
Imine Abdessamad. Partage de Données dans les Systèmes Collaboratifs : De la Synchronisation à la Protection des Données
Calcul parallèle, distribué et partagé [cs.DC]. Université de Lorraine, 2016
...
tel-03180395v1  Habilitation à diriger des recherches
Dmitry Sokolov. Modélisation géométrique
Computational Geometry [cs.CG]. Université de Lorraine (UL), Vandoeuvre-lès-Nancy, FRA., 2016
...
tel-03113895v1  Habilitation à diriger des recherches
Didier Fass. L'homme augmenté : Épistémologie et bio-ingénierie de l'humain machine
Life Sciences [q-bio]. Université de Lorraine, 2016
...
hal-03007196v1  Journal articles
Ross J KangFrançois Pirot. Coloring Powers and Girth
SIAM Journal on Discrete Mathematics, Society for Industrial and Applied Mathematics, 2016, 30 (4), pp.1938 - 1949. ⟨10.1137/15m1035422⟩
...
hal-01266041v3  Conference papers
Jean-Guillaume DumasErich KaltofenEmmanuel ThoméGilles Villard. Linear Time Interactive Certificates for the Minimal Polynomial and the Determinant of a Sparse Matrix
ISSAC’2016, Proceedings of the 2016 ACM International Symposium on Symbolic and Algebraic Computation, Jul 2016, Waterloo, Canada. pp.199-206, ⟨10.1145/2930889.2930908⟩
...
hal-01266344v1  Conference papers
Sébastien da SilvaFlorence Le BerClaire Lavigne. Structures de haies dans un paysage agricole : une étude par chemin de Hilbert adaptatif et chaînes de Markov
EGC 2016 -- 16èemes Journées Francophones "Extraction et Gestion des Connaissances", Jan 2016, Reims, France. pp.279--290
hal-02319552v1  Journal articles
Jérôme GleyzesDavid LangloisMichele MancarellaFilippo Vernizzi. Effective theory of dark energy at redshift survey scales
Journal of Cosmology and Astroparticle Physics, Institute of Physics (IOP), 2016, 2016 (02), pp.056-056. ⟨10.1088/1475-7516/2016/02/056⟩
hal-02266951v1  Conference papers
Ibrahim LouhiLydia Boudjeloud-AssalaThomas Tamisier. Big Data Clustering using Data Streams Approach
the International Conference on Big Data and Advanced Wireless technologies, BDAW 2016., Nov 2016, Blagoevgrad, France. pp.1-8
...
hal-02074061v1  Conference papers
Quentin BrabantMiguel CouceiroFabien LaberniaAmedeo Napoli. A dimensionality Reduction Approach for Qualitative Preference Aggregation
International Symposium on Aggregation and Structures (ISAS 2016), Jul 2016, Luxembourg, Luxembourg
hal-01938635v1  Journal articles
Vassili RivronCécile Dolbeau-Bandin. La baguette magique du tout-connecté. Entretien avec Évelyne Broudoux
Terminal. Technologie de l’information, culture & société, L'Harmattan / CREIS, 2016, Us et abus de l'Internet, [11 p.]. ⟨10.4000/terminal.1552⟩
...
hal-01399458v1  Conference papers
Maxime CompastiéRémi BadonnelOlivier FestorRuan HeMohamed Kassi-Lahlou. A Software-Defined Security Strategy for Supporting Autonomic Security Enforcement in Distributed Cloud
CloudCom 2016 - IEEE International Conference on Cloud Computing Technology and Science, Dec 2016, Luxembourg, Luxembourg. pp.4, ⟨10.1109/CloudCom.2016.0079⟩
hal-01843162v1  Conference papers
Gilles TagnePatrick HenaffNicolas Grégori. Measurement and analysis of physical parameters of the handshake between two persons according to simple social contexts
2016 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Oct 2016, Daejeon, France. ⟨10.1109/IROS.2016.7759125⟩
hal-01842424v1  Book sections
Henaff PatrickHayssam Serhan. Muscle-like Compliance in Knee Articulations Improves Biped Robot Walkings
edited by Guanghui (Richard) Wang, Intech,. Recent Advances in Robotic Systems, 2016, 978-953-51-4767-1
halshs-01824529v1  Directions of work or proceedings
Fayssal BouarourouBéatrice Vaxelaireyves LaprieRachid RidouaneRudolph Sock. Instrumentations pour l’étude des consonnes géminées du tarifit
Actes de la conférence internationale sur les Technologies d'Information et de Communication pour l'AMazighe (TICAM 2016), Rabat, Maroc. 2016
...
hal-01399294v1  Conference papers
Janis KalofoliasEsther GalbrunPauli Miettinen. From Sets of Good Redescriptions to Good Sets of Redescriptions
ICDM’16 - 16th IEEE International Conference on Data Mining, Dec 2016, Barcelona, Spain
...
hal-01399254v1  Conference papers
Esther GalbrunPauli Miettinen. Analysing Political Opinions Using Redescription Mining
Proceedings of the Data Mining in Politics worshop at ICDM 2016, DMiP'16, Dec 2016, Barcelona, Spain
...
hal-01399184v1  Journal articles
Esther GalbrunAristides GionisNikolaj Tatti. Top-k overlapping densest subgraphs
Data Mining and Knowledge Discovery, Springer, 2016, 30 (5), pp.1134 - 1165. ⟨10.1007/s10618-016-0464-z⟩
...
hal-01384396v2  Journal articles
Dominique AttaliOlivier DevillersMarc GlisseSylvain Lazard. Recognizing Shrinkable Complexes Is NP-Complete
Journal of Computational Geometry, Carleton University, Computational Geometry Laboratory, 2016, 7 (1), pp.430--443. ⟨10.20382/jocg.v7i1a18⟩
...
hal-01721502v1  Conference papers
Robin DavidSébastien BardinThanh Dinh TaJosselin FeistLaurent Mounier et al.  BINSEC/SE: A Dynamic Symbolic Execution Toolkit for Binary-level Analysis
3rd IEEE International Conference on Software Analysis, Evolution, and Reengineering, Mar 2016, Osaka, Japan
...
hal-01721492v1  Conference papers
Robin DavidSébastien BardinJosselin FeistLaurent MounierMarie-Laure Potet et al.  Specification of Concretization and Symbolization Policies in Symbolic Execution
ISSTA 2016 - The International Symposium on Software Testing and Analysis , Jul 2016, Saarland, Germany. pp.1-11
hal-01655920v1  Conference papers
Maxime Amblard. Sémantique : modélisation formelle et interprétation de données empiriques
Séminaire ATILF, Oct 2016, Nancy, France. pp.1-150
hal-01648695v1  Journal articles
Thomas SturmErika AbrahamJohn A. AbbottBern W. BeckerAnna Maria Bigatti et al.  Satisfiability Checking and Symbolic Computation
ACM Communications in Computer Algebra, Association for Computing Machinery (ACM), 2016, 50 (4), pp.145-147. ⟨10.1145/3055282.3055285⟩
...
hal-01593382v1  Conference papers
Marine MinierRaphael C.-W. Phan. Tuple Cryptanalysis: Slicing and Fusing Multisets
Paradigms in Cryptology – Mycrypt 2016, Dec 2016, Kuala Lumpur, Malaysia. pp.294-320, ⟨10.1007/978-3-319-61273-7⟩
...
hal-01417847v2  Book sections
Laura KallmeyerRainer OsswaldSylvain Pogodalla. For-Adverbials and Aspectual Interpretation: An LTAG Analysis Using Hybrid Logic and Frame Semantics
Christopher Piñón. Articles sélectionnés et révisés du Colloque de Syntaxe et Sémantique à Paris 2015 (CSSP 2015), 11, CSSP, 2016, Empirical Issues in Syntax and Semantics, 1769-7158
...
hal-01632745v1  Conference papers
Sebastian SeeberGabi Dreo RodosekGaëtan HurelRémi Badonnel. Analysis and Evaluation of OpenFlow Message Usage for Security Applications
10th IFIP International Conference on Autonomous Infrastructure, Management and Security (AIMS), Jun 2016, Munich, Germany. pp.84-97, ⟨10.1007/978-3-319-39814-3_9⟩
hal-01632740v1  Books
Rémi BadonnelRobert KochAiko PrasMartin DrašarBurkhard Stiller. Management and Security in the Age of Hyperconnectivity
Springer International Publishing, LNCS-9701, 2016, Lecture Notes in Computer Science, 978-3-319-39813-6. ⟨10.1007/978-3-319-39814-3⟩
hal-01581617v1  Poster communications
Dhouha GrissaMélanie PétéraMarion Brandolini-BunlonAmedeo NapoliBlandine Comte et al.  Feature selection methods for early predictive biomarker discovery using untargeted metabolomic data
12. annual conference of the Metabolomics Society, Jun 2016, Dublin, United Kingdom. 2016, 12th annual conference of the Metabolomics Society
hal-01581591v1  Poster communications
Dhouha GrissaMélanie PétéraMarion Brandolini-BunlonAmedeo NapoliBlandine Comte et al.  Feature selection methods for early predictive biomarker discovery using untargeted metabolomic data
4. Workshop on Holistic Analytical Methods for Systems Biology Studies, Apr 2016, Thessaloniki, Greece. 2016, Metabolomics Workshop 2016
...
tel-01417467v3  Theses
Jiří Maršík. Effects and handlers in natural language
Computation and Language [cs.CL]. Université de Lorraine, 2016. English. ⟨NNT : 2016LORR0322⟩
...
hal-01334614v2  Conference papers
Aditya Arie NugrahaAntoine LiutkusEmmanuel Vincent. Multichannel Music Separation with Deep Neural Networks
European Signal Processing Conference (EUSIPCO), Aug 2016, Budapest, Hungary. pp.1748-1752
hal-01537775v1  Journal articles
Ghania KhensousBelhadri MessabihAbdellah ChouarfiaBernard Maigret. Comparison of Cuckoo Search, Tabu Search and TS-Simplex algorithms for unconstrained global optimization
Computer Modelling and New Technologies, Prof. Viktors Gopejenko, 2016, 20 (4), pp.23-29
...
tel-01528815v1  Theses
Anthéa Mayzaud. Monitoring and Security for the RPL-based Internet of Things
Cryptography and Security [cs.CR]. Université de Lorraine, 2016. English. ⟨NNT : 2016LORR0207⟩