1. Recherche
11424 résultats  enregistrer la recherche
hal-01559693v1  Communication dans un congrès
Quang-Vinh Dang, Claudia-Lavinia Ignat. An end-to-end learning solution for assessing quality of Wikipedia articles
OpenSym 2017 - International Symposium on Open Collaboration, Aug 2017, Galway, Ireland. 2017
...
hal-01558552v1  Rapport
Blot Elliott, Jannik Dreier, Pascal Lafourcade. Formal Analysis of Combinations of Secure Protocols (Extended Version)
[Technical Report] LORIA - Université de Lorraine. 2017
...
tel-01558422v1  Thèse
Noran Azmy. A Machine-Checked Proof of Correctness of Pastry
Networking and Internet Architecture [cs.NI]. Université de Lorraine, 2016. English. < NNT : 2016LORR0277 >
...
hal-01558202v1  Pré-publication, Document de travail
Guillaume Rosinosky, Samir Youcef, François Charoy. Optimisation of business process tenant distribution in the Cloud with a genetic algorithm
2017
...
hal-01558049v1  Pré-publication, Document de travail
Marion Guthmuller, Gabriel Corona, Martin Quinson. System-Level State Equality Detection for the Formal Dynamic Verification of Legacy Distributed Applications
2015
...
hal-01557405v1  Communication dans un congrès
Salima Harrat, Karima Meftouh, Kamel Smaili. Creating Parallel Arabic Dialect Corpus: Pitfalls to Avoid
18th International Conference on Computational Linguistics and Intelligent Text Processing (CICLING), Apr 2017, Budapest, Hungary
...
hal-01537732v1  Communication dans un congrès
Zhixiang Liu, Laurent Ciarletta, Chi Yuan, Youmin Zhang, Didier Theilliol. Path following control of unmanned quadrotor helicopter with obstacle avoidance capability
International Conference on Unmanned Aircraft Systems, ICUAS'17, Jun 2017, Miami, Florida, United States
...
hal-01552798v1  Communication dans un congrès
Dorin Maxim, Antoine Bertout. Analysis and Simulation Tools for Probabilistic Real-Time Systems
8th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS), Jun 2017, Dubrovnik, Croatia. 2017, <https://waters2017.inria.fr/>
...
hal-01551761v1  Pré-publication, Document de travail
Miguel Couceiro, Pierre Mercuriali, Romain Péchoux. Comparing the efficiency of normal form systems to represent Boolean functions
2017
...
hal-01551603v1  Pré-publication, Document de travail
Nicolas Ray, Dmitry Sokolov, Maxence Reberol, Franck Ledoux, Bruno Lévy. Hexahedral Meshing: Mind the Gap!
2017
...
hal-01551089v1  Communication dans un congrès
Miguel Couceiro, Jimmy Devillet, Jean-Luc Marichal. On Idempotent Discrete Uninorms
International Summer School on Aggregation Operators, Jun 2017, Skövde, Sweden. 308, pp.147 - 153, 2017, Aggregation Functions in Theory and in Practice (Springer). <10.1007/978-3-319-59306-7_15>
...
hal-01540484v1  Communication dans un congrès
Paul Magron, Roland Badeau, Antoine Liutkus. Lévy NMF : un modèle robuste de séparation de sources non-négatives
Colloque GRETSI, Sep 2017, Juan-Les-Pins, France. 2017, Actes du XXVIème Colloque GRETSI. <http://gretsi.fr/colloque2017/>
...
hal-01432843v1  Ouvrage (y compris édition critique et traduction)
Stéfane Paris. Le multimédia
Hermes Lavoisier, 2, 2009
hal-01549946v1  Ouvrage (y compris édition critique et traduction)
Foucaut Odile, Odile Thiery, Kamel Smaili. Conception des systèmes d'information et programmation événementielle
InterEditions, 1996, InterEditions, 2729605592
...
hal-01549227v1  Article dans une revue
Chloé Ambroset, Charles Coluzzi, Gérard Guédon, Marie-Dominique Devignes, Valentin Loux et al.  New Insights into the Classification and Integration Specificity of Streptococcus Integrative Conjugative Elements through Extensive Genome Exploration
Frontiers in microbiology, Frontiers Research Foundation, 2016, <10.3389/fmicb.2015.01483>
...
hal-01549206v1  Article dans une revue
Charles Coluzzi, Gérard Guédon, Marie-Dominique Devignes, Chloé Ambroset, Valentin Loux et al.  A Glimpse into the World of Integrative and Mobilizable Elements in Streptococci Reveals an Unexpected Diversity and Novel Families of Mobilization Proteins
Frontiers in microbiology, Frontiers Research Foundation, 2017, pp.16. <10.3389/fmicb.2017.00443>
...
tel-01549139v1  Thèse
Cecilia Lindig León. Multilabel classification of EEG-based combined motor imageries implemented for the 3D control of a robotic arm
Human-Computer Interaction [cs.HC]. Université de Lorraine, 2017. English. < NNT : 2017LORR0016 >
...
hal-01549107v1  Communication dans un congrès
Victor Codocedo, Guillaume Bosc, Mehdi Kaytoue, Jean-François Boulicaut, Amedeo Napoli. A Proposition for Sequence Mining Using Pattern Structures
Karell Bertet and Daniel Borchmann and Peggy Cellier and Sébastien Ferré. ICFCA 2017 - 14th International Conference on Formal Concept Analysis, Jun 2017, Rennes, France. Springer, Formal Concept Analysis - 14th International Conference, ICFCA 2017, Rennes, France, June 13-16, 2017, Proceedings, 10308, pp.106-121, 2017, Lecture Notes in Computer Science. <https://icfca2017.irisa.fr>. <10.1007/978-3-319-59271-8_7>
...
tel-01549003v1  Thèse
Robin David. Formal Approaches for Automatic Deobfuscation and Reverse-engineering of Protected Codes
Cryptography and Security [cs.CR]. Université de Lorraine, 2017. English. < NNT : 2017LORR0013 >
...
hal-01548508v1  Communication dans un congrès
Mathieu Fontaine, Antoine Liutkus, Laurent Girin, Roland Badeau. Explaining the Parameterized Wiener Filter with Alpha-Stable Processes
IEEE Workshop on Applications of Signal Processing to Audio and Acoustics (WASPAA), Oct 2017, New Paltz, New York, United States. Proc. IEEE Workshop on Applications of Signal Processing to Audio and Acoustics (WASPAA), 2017, Proc. IEEE Workshop on Applications of Signal Processing to Audio and Acoustics (WASPAA). <http://www.waspaa.com/>
hal-01548488v1  Communication dans un congrès
Paul Magron, Roland Badeau, Antoine Liutkus. Lévy NMF for Robust Nonnegative Source Separation
IEEE Workshop on Applications of Signal Processing to Audio and Acoustics (WASPAA), Oct 2017, New Paltz, New York, United States. 2017, Proc. IEEE Workshop on Applications of Signal Processing to Audio and Acoustics (WASPAA). <http://www.waspaa.com/>
...
tel-01547313v1  Thèse
Jérémie Dumas. Controllable shape synthesis for digital fabrication
Modeling and Simulation. Université de Lorraine, 2017. English. < NNT : 2017LORR0008 >
...
hal-01547017v1  Rapport
Ivan Gazeau, Steve Kremer. Automated analysis of equivalence properties for security protocols using else branches (extended version)
[Research Report] INRIA Nancy. 2017, pp.29
...
hal-01445707v2  Communication dans un congrès
Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart, Quanlong Wang. ZX-Calculus: Cyclotomic Supplementarity and Incompleteness for Clifford+T quantum mechanics
MFCS 2017 - 42nd International Symposium on Mathematical Foundations of Computer Science, Aug 2017, Aalborg, Denmark. pp.15
...
hal-01537777v1  Communication dans un congrès
Adel Belkadi, Hernan Abaunza, Laurent Ciarletta, Pedro Castillo, Didier Theilliol. Distributed path planning for controlling a fleet of UAVs : application to a team of quadrotors
20th IFAC World Congress, IFAC 2017, Jul 2017, Toulouse, France. 2017
...
tel-01546383v1  Thèse
Jean Hergel. Synthesis of fabricable shape from partial specifications
Emerging Technologies [cs.ET]. Université de Lorraine, 2017. English. < NNT : 2017LORR0003 >
...
hal-01542911v2  Poster
Florian Greff, Ye-Qiong Song, Arnaud Samama, Laurent Ciarletta. Software-Defined Real-Time Mesh Networking: Protocol and Experimentation Method
RESCOM'17, Jun 2017, Le Croisic, France
...
hal-01545693v1  Communication dans un congrès
Raffaella Trivisonne, Erwan Kerrien, Stéphane Cotin. Augmented 3D Catheter Navigation using Constrained Shape from Template
Hamlyn Symposium, Jun 2017, London, United Kingdom
...
tel-01417467v3  Thèse
Jiří Maršík. Effects and handlers in natural language
Computation and Language [cs.CL]. Université de Lorraine, 2016. English. < NNT : 2016LORR0322 >

Contact

support.ccsd.cnrs.fr
hal.support@ccsd.cnrs.fr
Logo CCSD