 |
 |
 |
|
|
||
|---|---|---|
| hal-01277569v1
Journal articles
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
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
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
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
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
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
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
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
Computer-Aided Derivation of Multi-scale Models: A Rewriting Framework International Journal for Multiscale Computational Engineering, Begell House, 2014, 12 (2), pp.91--114  |
||
| hal-00967890v1
Journal articles
Modeling the spatial distribution of crop sequences at a large regional scale using land-cover survey data: A case from France Computers and Electronics in Agriculture, Elsevier, 2014, 012, pp.51-63. ⟨10.1016/j.compag.2014.01.010⟩ |
||
| tel-01107718v1
Theses
Formal Verification of Advanced Families of Security Protocols: E-Voting and APIs Cryptography and Security [cs.CR]. Université de Lorraine, 2014. English |
||
| tel-01751142v1
Theses
Formal verification of advanced families of security protocols : E-voting and APIs Other [cs.OH]. Université de Lorraine, 2014. English. ⟨NNT : 2014LORR0199⟩ |
||
| hal-01098078v1
Conference papers
Polymorphic+Typeclass Superposition 4th Workshop on Practical Aspects of Automated Reasoning (PAAR 2014), Jul 2014, Vienna, Austria. pp.15 |
||
| hal-00994526v1
Poster communications
Speech Cine SSFP with optical microphone synchronization and motion compensated reconstruction ISMRM Workshop on Motion Correction in MRI, Jul 2014, Tromso, Norway. 2014 |
||
| hal-02639289v1
Journal articles
Reactive Searching and Infotaxis in Odor Source Localization PLoS Computational Biology, Public Library of Science, 2014, 10 (10), ⟨10.1371/journal.pcbi.1003861⟩ |
||
| hal-01071871v1
Journal articles
A Metric for Evolving 2-D Cellular Automata As Pseudo-Random Number Generators Journal of Cellular Automata, Old City Publishing, 2014 |
||
|
|
||
|
|
||
| hal-00922378v1
Journal articles
From blind to guided audio source separation: How models and side information can improve the separation of sound IEEE Signal Processing Magazine, Institute of Electrical and Electronics Engineers, 2014, 31 (3), pp.107-115. ⟨10.1109/MSP.2013.2297440⟩ |
||
|
|
||
| hal-01006142v1
Conference papers
An investigation of likelihood normalization for robust ASR Interspeech, Sep 2014, Singapore, Singapore |
||
| hal-00933638v1
Conference papers
Preliminary Study of Rib Articulated Model based on Dynamic Fluoroscopy Images SPIE Medical Imaging, Feb 2014, San Diego, United Kingdom. pp.90361Y, ⟨10.1117/12.2043003⟩ |
||
| hal-00933621v1
Conference papers
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
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
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
Comparing Audio Features and Playlist Statistics for Music Classification European Conference on Data Analysis (ECDA), Jul 2014, Bremen, Germany |
||
| tel-01751181v2
Theses
Proof automation and type synthesis for set theory in the context of TLA+ Computer Science [cs]. Université de Lorraine, 2014. English. ⟨NNT : 2014LORR0208⟩ |
||
| hal-01273570v1
Conference papers
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-01273566v1
Journal articles
On the definability of simulation and bisimulation in epistemic logic J. Log. Comput., 2014, 24 (6), pp.1209--1227. ⟨10.1093/logcom/exs058⟩ |
||
| hal-01273562v1
Conference papers
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⟩ |
||
|
|
||
