Skip to Main content Skip to Navigation


hal-00756942v1  Journal articles
Antonio MucherinoCarlile LavorLeo LibertiNelson Maculan. Recent Advances on the Discretizable Molecular Distance Geometry Problem
European Journal of Operational Research, Elsevier, 2012, 219, pp.698-706
hal-00756944v1  Conference papers
Antonio MucherinoCosta VirginiaCarvalho Luiz MarianoCarlile LavorNelson Maculan. On Suitable Orders for Discretizing Molecular Distance Geometry Problems related to Protein Side Chains
IEEE Conference Proceedings, Federated Conference on Computer Science and Information Systems (FedCSIS12), Workshop on Computational Optimization (WCO12), 2012, Warsaw, Poland
hal-00756945v1  Conference papers
Antonio MucherinoCarlile LavorLeo LibertiNelson Maculan. On the Discretization of Distance Geometry Problems
Mathematics of Distances and Applications 2012 (MDA12), 2012, Varna, Bulgaria
hal-00756947v1  Conference papers
Antonio MucherinoGramacho WarleyCarlile LavorNelson Maculan. A Parallel BP Algorithm for the Discretizable Distance Geometry Problem
Workshop on Parallel Computing and Optimization (PCO12), 26th IEEE International Parallel & Distributed Processing Symposium (IPDPS12), 2012, Shanghai, China
hal-00756940v1  Journal articles
Antonio MucherinoCarlile LavorLeo LibertiNelson Maculan. The Discretizable Molecular Distance Geometry Problem
Computational Optimization and Applications, Springer Verlag, 2012, 52, pp.115-146
hal-00756946v1  Conference papers
Antonio MucherinoCarlile LavorLeo LibertiNelson Maculan. Finding Low-Energy Homopolymer Conformations by a Discrete Approach
Global Optimization Workshop 2012 (GOW12), 2012, Natal, Brazil
hal-00710695v1  Journal articles
Frederico Alvares de Oliveira Jr.Thomas Ledoux. Self-management of cloud applications and infrastructure for energy optimization
Operating Systems Review, Association for Computing Machinery, 2012, 46 (2)
...
hal-00714262v1  Reports
Amélie Stainer. Frequencies in forgetful timed automata
[Research Report] RR-8009, INRIA. 2012
...
hal-00752412v1  Conference papers
Jean-Marie MottuSagar SenMassimo TisiJordi Cabot. Static Analysis of Model Transformations for Effective Test Generation
ISSRE - 23rd IEEE International Symposium on Software Reliability Engineering, 2012, Dallas, United States
hal-00752446v1  Conference papers
Nathalie BertrandGiorgio DelzannoBarbara KönigArnaud SangnierJan Stückrath. On the Decidability Status of Reachability and Coverability in Graph Transformation Systems
RTA - 23rd International Conference on Rewriting Techniques and Applications - 2012, 2012, Nagoya, Japan. pp.101-116, ⟨10.4230/LIPIcs.RTA.2012.101⟩
hal-00875262v1  Journal articles
Broderick CrawfordCarlos CastroEric MonfroyRicardo SotoWenceslao Palma et al.  Dynamic selection of enumeration strategies for solving constraint satisfaction problems
Romanian Journal of Information Science and Technology, Romanian Academy, 2012, 15 (2), pp.106-128
hal-00875224v1  Conference papers
Broderick CrawfordC. Leon de la BarraRicardo SotoS. MisraE. Monfroy. Knowledge Management and Creativity Practices in Software Engineering
The International Conference on Knowledge Management and Information Sharing (KMIS), 2012, Barcelona, Spain, Spain. pp.277--280
hal-00875758v1  Journal articles
Claudio ValenzuelaBroderick CrawfordRicardo SotoEric MonfroyFernando Paredes. A 2-level metaheuristic for the set covering problem.
International Journal of Computers, Communications and Control, Agora University of Oradea, 2012, 7 (2), pp.377-387
hal-00875751v1  Journal articles
Ricardo SotoBroderick CrawfordEric MonfroyFernando Paredes. Syntax extensions for a constrained-object language via dynamic parser cooperation
Studies in Informatics and Control, Informatics and Control Publications, 2012, 41 (1), pp.41-48
hal-00875217v1  Conference papers
R. And SotoJ. GutiérrezA. LópezBroderick CrawfordE. Monfroy. Solving Manufacturing Cell Design Problems using Constraint Programming
The 25th International Conference on Industrial, Engineering and Other Aplications of Applied Intelligent Systems (IEA/AIE), 2012, Dalian, China, China. pp.400--406
hal-00875215v1  Conference papers
Broderick CrawfordCarlos CastroEric MonfroyRicardo SotoWenceslao Palma et al.  Hyperheuristic Approach for Guiding Enumeration in Constraint Solving
EVOLVE - A Bridge between Probability, Set Oriented Numerics, and Evolutionary Computation, 2012, Dalian, China. pp.171-188
hal-00875226v1  Conference papers
Broderick CrawfordC. Leon de la BarraRicardo SotoEric Monfroy. Agile Software Teams Must be Creatives
IEEE Workshop on Engineering Applications, 2012, Bogotá, Colombia, Colombia
hal-00875225v1  Conference papers
Ricardo SotoBroderick CrawfordE. MonfroyV. Bustos. Using Autonomous Search for Generating Food Enumeration Strategy Blends in Constraint Programming
The 12th International Conference on Computational Science and Its Applications (ICCSA), 2012, Salvador de Bahía, Brazil, Brazil. pp.607--617
hal-00905721v1  Book sections
Jean-Marie ScarabinPhilippe MercierMatthieu DelionChristian BarillotPierre Jannin et al.  From Bourgery's anatomy to multiparameter, 3D, digital imaging, individual for each patient.
Jean-Marie Scarabin. Stereotaxy and Epilepsy Surgery, John Libbey Eurotext, 41-90 chap.2, 2012, 978-2-7420-0767-7
hal-00788008v1  Conference papers
Laércio PillaChristiane Pousa RibeiroPhilippe NavauxPierre CoucheneyFrançois Broquedis et al.  Asymptotically Optimal Load Balancing for Hierarchical Multi-Core Systems
Proceedings of the 18th IEEE International Conference on Parallel and Distributed Systems, ICPADS, 2012, Singapore, Singapore. pp.236 - 243, ⟨10.1109/ICPADS.2012.41⟩
...
hal-00757189v1  Conference papers
Karima SedkiLouis Bonneau de Beaufort. Cognitive Maps and Bayesian Networks for Knowledge Representation and Reasoning
24th International Conference on Tools with Artificial Intelligence, 2012, Greece. pp.1035-1040, ⟨10.1109/ICTAI.2012.175⟩
hal-00758031v1  Book sections
Bruno Tuffin. Economics and Governance of Future Networks - Introduction
Antoniadis, Antonis and Stiller, Burkhard. Telecommunications Economics - Selected Results of the COST Action IS605 Econt@Tel, Lecture Notes in Computer Science 7216, Springer Verlag, pp.89-90, 2012
hal-00733082v1  Conference papers
Michel RaynalJulien Stainer. A Simple Asynchronous Shared Memory Consensus Algorithm Based on Omega and Closing Sets
CISIS 2012 - Sixth International Conference on Complex, Intelligent, and Software Intensive Systems, 2012, Palerme, Italy. pp.357-364
hal-00741556v1  Journal articles
M.M. AlamOlivier BerderD. MenardOlivier Sentieys. TAD-MAC: Traffic-Aware Dynamic MAC Protocol for Wireless Body Area Sensor Networks
IEEE Journal on Emerging and Selected Topics in Circuits and Systems, IEEE, 2012, 2 (1), pp.109 -119. ⟨10.1109/JETCAS.2012.2187243⟩
hal-00733077v1  Conference papers
Michel RaynalJulien Stainer. Increasing the Power of the Iterated Immediate Snapshot Model with Failure Detectors
SIROCCO - Structural Information and Communication Complexity - 19th International Colloquium - 2012, 2012, Reykjavik, Iceland. pp.231-242
hal-00764124v1  Journal articles
Guang TanAnne-Marie Kermarrec. Greedy Geographic Routing in Large-Scale Sensor Networks: A Minimum Network Decomposition Approach.
IEEE/ACM Transactions on Networking, IEEE/ACM, 2012, 20 (3), pp.864-877
hal-00758035v1  Book sections
Patrick MailléPeter ReichlBruno Tuffin. Internet Governance and Economics of Network Neutrality
Antoniadis, Antonis and Stiller, Burkhard. Telecommunications Economics - Selected Results of the COST Action ISO605 Econ@Tel, Lecture Notes in Computer Science 7216, Springer Verlag, pp.108-116, 2012
hal-00758034v1  Book sections
Patrick MailléPeter ReichlBruno Tuffin. Economics of Quality of Experience
Antoniadis, Antonis and Stiller, Burkhard. Telecommunications Economics - Selected Results of the COST Action IS605 Econt@Tel, Lecture Notes in Computer Science 7216, Springer Verlag, pp.158-166, 2012
hal-00764356v1  Conference papers
Tyler CrainEleni KanellouMichel Raynal. STM Systems: Enforcing Strong Isolation between Transactions and Non-transactional Code
Algorithms and Architectures for Parallel Processing - 12th International Conference, ICA3PP 2012, 2012, Fukuoka, Japan
hal-00724735v1  Book sections
Patrick MailléPeter ReichlBruno Tuffin. Competition among Telecommunication Providers
Telecommunication Economics - Selected Results of the COST Action ISO605 Econ@Tel, Springer, pp.179-187, 2012, Lecture Notes in Computer Science, 978-3-642-25279-2
hal-00646906v1  Journal articles
Damien ImbsMichel Raynal. Help when needed, but no more: Efficient read/write partial snapshot
Journal of Parallel and Distributed Computing, Elsevier, 2012, 72 (1), pp.1-12
hal-00733080v1  Conference papers
Michel RaynalJulien Stainer. From a Store-Collect Object and Ω to Efficient Asynchronous Consensus
Euro-Par - Parallel Processing - 18th International Conference - 2012, 2012, Rhodes Island, Greece. pp.427-438
hal-00646911v1  Conference papers
Tyler CrainDamien ImbsMichel Raynal. Towards a universal construction for transaction-based multiprocess programs
13th International Conference on Distributed Computing and Networking (ICDCN'12), 2012, Hong Kong, Hong Kong SAR China
hal-00773330v1  Journal articles
Sofiene JelassiGerardo RubinoHugh MelvinHabib YoussefGuy Pujolle. Quality of Experience of VoIP Service: A Survey of Assessment Approaches and Open Issues
Communications Surveys and Tutorials, IEEE Communications Society, Institute of Electrical and Electronics Engineers, 2012, 14 (2), pp.491-513. ⟨10.1109/SURV.2011.120811.00063⟩
hal-00773333v1  Journal articles
Pablo SartorF. Robledo. GRASP Algorithms for the edge-survivable Generalized Steiner Problem
International Journal of Automation and Control, Inderscience Enterprises, 2012, 5 (1), pp.27 - 44
hal-01142540v1  Journal articles
Sébastien HillaireAnatole LécuyerTony Regia-CorteRémi CozotJérôme Royan et al.  Design and Application of Real-Time Visual Attention Model for the Exploration of 3D Virtual Environments
IEEE Transactions on Visualization and Computer Graphics, Institute of Electrical and Electronics Engineers, 2012, 18, pp.3. ⟨10.1109/TVCG.2011.154⟩
hal-00741554v1  Journal articles
Q.T. NgoOlivier BerderPascal Scalart. Minimum Euclidean Distance Based Precoders for MIMO Systems Using Rectangular QAM Modulations
IEEE Transactions on Signal Processing, Institute of Electrical and Electronics Engineers, 2012, 60 (3), pp.1527 -1533. ⟨10.1109/TSP.2011.2177972⟩
hal-00741559v1  Journal articles
Quoc-Tuong NgoOlivier BerderPascal Scalart. Minimum Euclidean Distance Based Precoding for Three-Dimensional Multiple-Input Multiple-Ouput Spatial Multiplexing Systems
IEEE Transactions on Wireless Communications, Institute of Electrical and Electronics Engineers, 2012, 11 (7), pp.2486 - 2495 x-editorial-board = yes, x-hal = x-international-audience = yes
...
hal-00750528v1  Journal articles
Amaury DameEric Marchand. Second order optimization of mutual information for real-time image registration
IEEE Transactions on Image Processing, Institute of Electrical and Electronics Engineers, 2012, 21 (9), pp.4190-4203. ⟨10.1109/TIP.2012.2199124⟩
...
hal-00750602v1  Conference papers
Bertrand DelabarreEric Marchand. Visual Servoing using the Sum of Conditional Variance
IEEE/RSJ Int. Conf. on Intelligent Robots and Systems, IROS'12, 2012, Vilamoura, Portugal. pp.1689-1694
...
hal-00750604v1  Conference papers
João Paulo LimaHideaki UchiyamaVeronica TeichriebEric Marchand. Texture-Less Planar Object Detection and Pose Estimation Using Depth-Assisted Rectification of Contours.
IEEE Int. Symp. on Mixed and Augmented Reality, ISMAR'12, 2012, Atlanta, United States. pp.297-298
...
hal-00750610v1  Conference papers
Keyvan KananiAntoine PetitEric MarchandThomas ChabotBernard Gerber. Vision Based Navigation for Debris Removal Missions
63rd International Astronautical Congress, 2012, Naples, Italy
...
hal-00750617v1  Conference papers
João Paulo LimaVeronica TeichriebHideaki UchiyamaEric Marchand. Object Detection and Pose Estimation from Natural Features Using Consumer RGB-D Sensors: Applications in Augmented Reality
IEEE Int. Symp. on Mixed and Augmented Reality (doctoral symposium), ISMAR'12, 2012, Atlanta, United States
...
hal-00658130v1  Book sections
Marie BabelFrançois PasteauClément StraussMaxime PelcatLaurent Bédat et al.  Preserving data integrity of encoded medical images: the LAR compression framework
Advances in Reasoning-Based Image Processing Intelligent Systems, Springer, pp.1-35, 2012
hal-00764358v1  Conference papers
Tyler CrainVincent GramoliMichel Raynal. A speculation-friendly binary search tree
17th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2012, 2012, New Orleans, United States
hal-00723565v1  Journal articles
Anne-Marie Kermarrec. Towards a personalised Internet: a case for a full decentralisation
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, Royal Society, The, 2012, Web science: a new frontier, 371 (1987), ⟨10.1098/rsta.2012.0380⟩
hal-00782433v1  Journal articles
Julia Charrier. Strong and Weak Error Estimates for Elliptic Partial Differential Equations with Random Coefficients
SIAM Journal on Numerical Analysis, Society for Industrial and Applied Mathematics, 2012, 50 (1), pp.216-246. ⟨10.1137/100800531⟩
...
hal-00574748v1  Journal articles
Brahim TamadazteNadine Le Fort - PiatEric Marchand. A direct visual servoing scheme for automatic nanopositioning.
IEEE/ASME Transactions on Mechatronics, Institute of Electrical and Electronics Engineers, 2012, 17 (4), pp.728-736
...
hal-00750583v1  Conference papers
Céline TeulièreEric Marchand. Direct 3D servoing using dense depth maps
IEEE/RSJ Int. Conf. on Intelligent Robots and Systems, IROS'12, 2012, Vilamoura, Portugal. pp.1741-1746
...
hal-00750606v1  Conference papers
Antoine PetitEric MarchandKeyvan Kanani. Vision-based Detection and Tracking for Space Navigation in a Rendezvous Context
Int. Symp. on Artificial Intelligence, Robotics and Automation in Space, i-SAIRAS, 2012, Turin, Italy
...
hal-00750607v1  Conference papers
Antoine PetitEric MarchandKeyvan Kanani. Tracking complex targets for space rendezvous and debris removal applications
IEEE/RSJ Int. Conf. on Intelligent Robots and Systems, IROS'12, 2012, Vilamoura, Portugal. pp.4483-4488
...
hal-00576610v3  Journal articles
Arnaud DebusscheJulien Vovelle. Diffusion limit for a stochastic kinetic problem
Communications on Pure and Applied Mathematics, Wiley, 2012, 11 (6), pp.2305-2326. ⟨10.3934/cpaa.2012.11.2305⟩
...
hal-00751788v1  Journal articles
Mohammed LemouFlorian Méhats. Micro-macro schemes for kinetic equations including boundary layers
SIAM Journal on Scientific Computing, Society for Industrial and Applied Mathematics, 2012, 34 (6), pp.734-760
...
hal-00487932v2  Journal articles
Mohammed LemouFlorian MéhatsCyril Rigault. Stable ground states and self-similar blow-up solutions for the gravitational Vlasov-Manev system
SIAM Journal on Mathematical Analysis, Society for Industrial and Applied Mathematics, 2012, 44 (6), pp.3928-3968
...
hal-00589881v1  Journal articles
Arnaud DebusscheErwan Faou. Weak backward error analysis for SDEs
SIAM Journal on Numerical Analysis, Society for Industrial and Applied Mathematics, 2012, 50 (3), pp.1735-1752. ⟨10.1137/110831544⟩
hal-00766726v1  Journal articles
Albert BenvenisteTimothy BourkeBenoît CaillaudMarc Pouzet. Non-standard semantics of hybrid systems modelers
Journal of Computer and System Sciences, Elsevier, 2012, In Commemoration of Amir Pnueli, 78 (3), pp.877-910. ⟨10.1016/j.jcss.2011.08.009⟩
hal-00722489v1  Journal articles
Ananda BasuSaddek BensalemMarius BozgaBenoit DelahayeAxel Legay. Statistical abstraction and model-checking of Large Heterogeneous Systems
International Journal on Software Tools for Technology Transfer, Springer Verlag, 2012, 14 (1), pp.53-72. ⟨10.1007/s10009-011-0201-2⟩
hal-00724067v1  Journal articles
Michael DöhlerLaurent Mevel. Modular Subspace-Based System Identification from Multi-Setup Measurements.
IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, 2012, 57 (11), ⟨10.1109/TAC.2012.2193711⟩
hal-00736944v1  Book sections
Yves DeswarteSébastien Gambs. The challenges raised by the privacy-preserving identity card
David Naccache. Cryptography and Security: From Theory to Applications, 6805, Springer, pp.383-404, 2012, Lecture Notes in Computer Science, ⟨10.1007/978-3-642-28368-0⟩
hal-00658239v1  Book sections
Jordi Perez-RomeroSergio PalazzoLaura GalluccioGiacomo MorabitoAlessandro Leonardi et al.  Heterogeneous and opportunistic wireless networks
Sergio Benedetto (Editor), Marco Luise (Editor), Luis Correia (Editor). The Newcom++ Vision Book: Perspectives of Research on Wireless Communications in Europe, Springer, pp.41-66, 2012, ⟨10.1007/978-88-470-1983-6_3⟩
hal-00743907v1  Journal articles
Christel BaierNathalie BertrandMarcus Groesser. Probabilistic omega-automata
Journal of the ACM (JACM), Association for Computing Machinery, 2012, 59 (1), pp.1:1-1:52. ⟨10.1145/2108242.2108243⟩
hal-00691458v1  Books
Pierre-André CornillonArnaud GuyaderFrançois HussonNicolas JégouJulie Josse et al.  R for statistics
Chapman and Hall/CRC Press, pp.320, 2012, 9781439881453
hal-00756939v1  Journal articles
Antonio MucherinoCarlile LavorLeo Liberti. Exploiting Symmetry Properties of the Discretizable Molecular Distance Geometry Problem
Journal of Bioinformatics and Computational Biology, World Scientific Publishing, 2012, 10 (3), pp.1242009(1-15)
...
hal-01087998v1  Journal articles
Qi LuMichael MadsenMartin MilataSøren RavnUli Fahrenberg et al.  Reachability analysis for timed automata using max-plus algebra
Journal of Logic and Algebraic Programming, Elsevier, 2012, 81, pp.298 - 313. ⟨10.1016/j.jlap.2011.10.004⟩
hal-00905410v1  Journal articles
Thomas NeumuthFrank LoebePierre Jannin. Similarity metrics for surgical process models.
Artificial Intelligence in Medicine, Elsevier, 2012, 54 (1), pp.15-27. ⟨10.1016/j.artmed.2011.10.001⟩
...
hal-00628167v1  Journal articles
Gaël SourimantThomas ColleuVincent JantetLuce MorinKadi Bouatouch. Toward automatic GIS-video initial registration
Annals of Telecommunications - annales des télécommunications, Springer, 2012, 67 (1-2), pp.1-13. ⟨10.1007/s12243-011-0249-8⟩
...
hal-00640900v1  Journal articles
Viet-Trung TranBogdan NicolaeGabriel Antoniu. Towards Scalable Array-Oriented Active Storage: the Pyramid Approach
Operating Systems Review, Association for Computing Machinery, 2012, 46 (1), pp.19-25. ⟨10.1145/2146382.2146387⟩
hal-00763606v1  Journal articles
Caroline MartinBenoit BideauGuillaume NicolasPaul DelamarcheRichard Kulpa. How does the tennis serve technique influence the serve-and-volley ?
Journal of Sports Sciences, Taylor & Francis: SSH Journals, 2012, 30 (11), pp.1149-1156. ⟨10.1080/02640414.2012.695079⟩
hal-00756943v1  Journal articles
Antonio MucherinoCarlile LavorLeo Liberti. The Discretizable Distance Geometry Problem
Optimization Letters, Springer Verlag, 2012, 6 (8), pp.1671-1686
hal-00640205v1  Book sections
Franck Multon. Sensing Human Walking: Algorithms and Techniques for Extracting and Modeling Locomotion
Jenny Campos, Anatole Lécuyer, Yon Visell, Frank Steinicke. Human Walking in Virtual Environments: Perception, Technology, and Applications, Springer, 2012
hal-00735996v1  Journal articles
Thomas DemongeotEric TotelValérie Viet Triem TongYves Le Traon. User Data Confidentiality in an Orchestration of Web Services
Journal of Information Assurance and Security, Dynamic Publishers Inc., USA, 2012, 7 (1), pp.32-40
hal-00650592v1  Conference papers
Robin BonamyHung-Manh PhamSébastien PillementDaniel Chillet. Power-Aware Ultra-Rapid Reconfiguration Controller
International Conference on Design and Test in Europe, 2012, Dresde, Germany
...
hal-01111038v1  Conference papers
Thomas GenetYann Salmon. Proving Reachability Properties on Term Rewriting Systems with Strategies
Workshop on Strategies in Rewriting, Proving and Programming, 2012, London, United Kingdom
hal-00752652v1  Journal articles
Adeel PashaSteven DerrienOlivier Sentieys. System-Level Synthesis for Wireless Sensor Node Controllers: A Complete Design Flow
ACM Transactions on Design Automation of Electronic Systems, Association for Computing Machinery, 2012, 17 (1), pp.2:1--2:24. ⟨10.1145/2071356.2071358⟩