HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation

hal-01277569v1  Journal articles
Shizhe ZhouJiang ChangyunSylvain Lefebvre. Topology-constrained Synthesis of Vector Patterns
ACM Transactions on Graphics, Association for Computing Machinery, 2014, 33 (6), ⟨10.1145/2661229.2661238⟩
hal-01093644v1  Conference papers
Cheng ZhaoWuxiong ZhangXiumen YangYang YangYe-Qiong Song. A novel compressive sensing based Data Aggregation Scheme for Wireless Sensor Networks
IEEE international conference on Communications (ICC), IEEE, Jun 2014, Sidney, Australia
hal-00933715v1  Journal articles
Linghai ZhangAxel Hutt. Traveling wave solutions of nonlinear scalar integral differential equations arising from synaptically coupled neuronal networks
Journal of Applied Analysis and Computation, Wilmington Scientific Publisher, 2014, 4 (1), pp.1-68
hal-01103043v1  Conference papers
Ehtesham ZahoorOlivier PerrinAhmed Bouchami. CATT: A Cloud Based Authorization Framework with Trust and Temporal Aspects
CollaborateCom 2014, 10th IEEE International Conference on Collaborative Computing: Networking, Applications and Worksharing, IEEE, Oct 2014, Miami, Florida, United States. ⟨10.4108/icst.collaboratecom.2014.257312⟩
tel-01010973v1  Theses
Ahmed Yureidini. Robust blood vessel surface reconstruction for interactive simulations from patient data
Medical Imaging. Université des Sciences et Technologie de Lille - Lille I, 2014. English
tel-01750793v2  Theses
Jano Yazbeck. Accrochage immatériel sûr et précis de véhicules automatiques
Intelligence artificielle [cs.AI]. Université de Lorraine, 2014. Français. ⟨NNT : 2014LORR0070⟩
hal-00936056v1  Conference papers
Jano YazbeckAlexis ScheuerFrançois Charpillet. Decentralized Near-to-Near Approach for Vehicle Platooning based on Memorization and Heuristic Search
International Conference on Robotics and Automation ICRA, May 2014, Hong-Kong, China
hal-00908066v1  Conference papers
Faqing YangJean-Pierre JacquotJeanine Souquières. Proving the Fidelity of Simulations of Event-B Models
The 15th IEEE International Symposium on High Assurance Systems Engineering (HASE), Jan 2014, Miami, United States
hal-00916568v1  Journal articles
Bin YangWalid BelkhirMichel Lenczner. Computer-Aided Derivation of Multi-scale Models: A Rewriting Framework
International Journal for Multiscale Computational Engineering, Begell House, 2014, 12 (2), pp.91--114
tel-01107718v1  Theses
Cyrille Wiedling. Formal Verification of Advanced Families of Security Protocols: E-Voting and APIs
Cryptography and Security [cs.CR]. Université de Lorraine, 2014. English
hal-01098078v1  Conference papers
Daniel Wand. Polymorphic+Typeclass Superposition
4th Workshop on Practical Aspects of Automated Reasoning (PAAR 2014), Jul 2014, Vienna, Austria. pp.15
hal-00994526v1  Poster communications
Pierre-André VuissozF OdilleYves LaprieEmmanuel VincentGabriela Hossu et al.  Speech Cine SSFP with optical microphone synchronization and motion compensated reconstruction
ISMRM Workshop on Motion Correction in MRI, Jul 2014, Tromso, Norway. 2014
hal-01350221v1  Journal articles
Emmanuel VincentJoanna Jongwane. Quand les sons se séparent
Interstices, INRIA, 2014
hal-00933621v1  Conference papers
Pierre-Frédéric VillardNicolas KoenigCyril PerrenotManuela PerezPiers Boshier. Toward a Realistic Simulation of Organ Dissection
MMVR - Medicine Meets Virtual Reality 21, Feb 2014, Manhattan Beach, United States. pp.452-458, ⟨10.3233/978-1-61499-375-9-452⟩
hal-01101225v1  Book sections
Stéphane VialleSylvain Contassot-Vivier. Optimization methodology for Parallel Programming of Homogeneous or Hybrid Clusters
F. Magoules. Patterns for parallel programming on GPUs, Saxe-Coburg Publications, 2014, 978-1-874672-57-9
hal-01089702v1  Conference papers
Alexandre VernotteFrédéric DadeauFranck LebeauBruno LegeardFabien Peureux et al.  Efficient Detection of Multi-step Cross-Site Scripting Vulnerabilities
ICISS'14, 10th Int. Conf. on Information Systems Security, Dec 2014, Hyderabad, India
hal-01259247v1  Conference papers
Igor VatolkinGeoffray BonninDietmar Jannach. Comparing Audio Features and Playlist Statistics for Music Classification
European Conference on Data Analysis (ECDA), Jul 2014, Bremen, Germany
hal-01273570v1  Conference papers
Hans van DitmarschSophia Knight. Partial Information and Uniform Strategies
Computational Logic in Multi-Agent Systems - 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014. Proceedings, 2014, Unknown, Unknown Region. pp.183--198, ⟨10.1007/978-3-319-09764-0_12⟩
hal-01273562v1  Conference papers
Hans van DitmarschSophia KnightAybüke Özgün. Arbitrary Announcements on Topological Subset Spaces
Multi-Agent Systems - 12th European Conference, EUMAS 2014, Prague, Czech Republic, December 18-19, 2014, Revised Selected Papers, 2014, Unknown, Unknown Region. pp.252--266, ⟨10.1007/978-3-319-17130-2_17⟩