Skip to Main content Skip to Navigation


hal-00777156v1  Conference papers
Zhang ZuyuVania JoloboffXinlei ZhouClaude Helmstetter. Fast Dynamic Translation Using LLVM On Multi-Core Hosts
5th Workshop on Architectural and Microarchitectural Support for Binary Translation (AMAS-BT), Intel Corporation, Jun 2012, Portland, Oregon, United States
hal-01479704v1  Journal articles
Akram ZouggariLyes Benyoucef. Simulation-based fuzzy TOPSIS approach for group multi-criteria supplier selection problem
Engineering Applications of Artificial Intelligence, Elsevier, 2012, 25 (3), pp.507-519. ⟨10.1016/j.engappai.2011.10.012⟩
hal-00732856v1  Journal articles
Rafik ZouariLaurent MevelMichèle Basseville. An Adaptive Statistical Approach To Flutter Detection
Journal of Aircraft, American Institute of Aeronautics and Astronautics, 2012, 49 (3)
hal-00673348v1  Conference papers
Dimitrios ZorbasTahiry Razafindralambo. Wireless sensor network redeployment under the target coverage constraint
NTMS 2012: The Fifth IFIP International Conference on New Technologies, Mobility and Security, May 2012, Istanbul, Turkey
hal-00825187v1  Conference papers
Amel ZnaidiaAymen ShabouHervé Le BorgneCéline HudelotNikos Paragios. Bag-of-multimedia-words for image classification
Proceedings of the 21st International Conference on Pattern Recognition, ICPR 2012, Nov 2012, Tsukuba, Japan. pp.1509-1512
hal-00919031v1  Journal articles
Wassim ZnaidiMarine Minier. Key establishment and management for WSNs
Telecommunication Systems, Springer Verlag (Germany), 2012, 50 (2), pp.113-125
hal-00867375v1  Poster communications
Anna ZhukovaDavid James Sherman. Biological Knowledge, Problem Detecting, Model Refinement and Diagnostics
EMBL-EBI-Wellcome Trust workshop on In Silico Systems Biology 2012, Apr 2012, Cambridge, United Kingdom. 2012
hal-00790507v1  Journal articles
Zhu ZhuChu Min LiFelip ManyiLaurent Simon. Optimizing with Minimum Satisfiability
Artificial Intelligence, Elsevier, 2012, 190, pp.32-44
hal-00735447v1  Journal articles
Elena ZhizhinaXavier Descombes. Double Annealing Regimes in the Multiple Birth-and-Death Stochastic Algorithms
Markov Processes and Related Fields, Polymath, 2012, 18, pp.441-456
hal-00753497v1  Conference papers
Gang ZhengDriss BoutatJean-Pierre Barbot. Finite time Observer design for linear switched system
The 31st IEEE Chinese Control Conference, Jul 2012, Hefei, China
hal-00753205v1  Conference papers
Li ZheKarim SbaiYassine Hadjadj-AoulAnnie GraveyDamien Alliez et al.  Network Friendly Video Distribution
International Conference on Network of the Future, Nov 2012, Tunis, Tunisia
hal-01472914v1  Conference papers
Weiqing ZhangVincent LeildeBirger Moller-PedersenChristophe GuychardJoël Champeau. Towards Tool Integration through Artifacts and Roles
Asia-Pacific Software Engineering Conference, 2012, Hong Kong, China. pp.603-613, ⟨10.1109/APSEC.2012.45·⟩
hal-00776949v1  Journal articles
Qinghua Zhang. Nonlinear system identification with an integrable continuous time nonlinear ARX model
Journal Européen des Systèmes Automatisés (JESA), Lavoisier, 2012, 46 (6-7), pp.691-710. ⟨10.3166/jesa.46.691-710⟩
hal-00919032v1  Journal articles
Yuanyuan ZhangMarine Minier. Selective Forwarding Attacks against Data and ACK Flows in Network Coding and Countermeasures
Journal of Computer Networks and Communications, Hindawi Publishing Corporation, 2012, 2012
hal-00776898v1  Conference papers
Qinghua ZhangMichèle Basseville. Statistical Fault Detection and Isolation for Linear Time-Varying Systems
SYSID - 16th IFAC Symposium on System Identification, Jul 2012, Brussels, Belgium. pp.625-630, ⟨10.3182/20120711-3-BE-2027.00145⟩
hal-00741560v1  Journal articles
R. ZhangOlivier BerderJ.M. GorceOlivier Sentieys. Energy-Delay Tradeoff in Wireless Multihop Networks with Unreliable Links
Ad Hoc Networks, Elsevier, 2012, 10 (7), pp.1306 -1321, x-editorial-board = yes, x-international-audience = yes
hal-00776924v1  Conference papers
Qinghua ZhangHuaibin Tang. Diagnosis of Inhomogeneous Insulation Degradation in Electric Cables by Distributed Shunt Conductance Estimation
SYSID 2012 - 16th IFAC Symposium on System Identification, Jul 2012, Brussels, Belgium. pp.607-612, ⟨10.3182/20120711-3-BE-2027.00241⟩
hal-02278575v1  Journal articles
L. ZennerG. Bourgoin. La coproscopie chez le cheval
Le Nouveau praticien vétérinaire, 2012, 8, pp.116--120
hal-02314734v1  Journal articles
Olivier ZendraMarkku Sakkinen. ICOOLPS 2010 and MASPEGHI 2010.
The Journal of Object Technology, Chair of Software Engineering, 2012, 11 (3), ⟨10.5381/jot.2012.11.3.e2⟩
hal-00764090v1  Conference papers
Nejib ZemzemiJavier Saiz RodriguezRodriguez Blanca. Role of L-type Calcium in Modulating Pro-Arrhythmic Effects of Dofetilide in Human
CinC 2012 - Computing in Cardiology, Sep 2012, Krakow, Poland. pp.861-864
hal-00583450v1  Journal articles
Nadjet ZemirlineYolaine BourdaChantal Reynaud-Delaître. Expressing Adaptation Strategies using Adaptation Patterns
IEEE Transactions on Learning Technologies, Institute of Electrical and Electronics Engineers, 2012, 5 (1), pp.38-51. ⟨10.1109/TLT.2011.15⟩
hal-00737675v1  Conference papers
Dorsaf ZekriBruno DefudeThierry Delot. A cooperative scheme to aggregate spatio-temporal events in VANETs
IDEAS '12 : 16th International Database Engineering & Applications Symposium, Aug 2012, Prague, Czech Republic. pp.100-109, ⟨10.1145/2351476.2351488⟩
hal-00763197v1  Conference papers
Linda ZeghacheNadjib BadacheMichel HurfinIzabela Moise. Providing Reliability for transactional mobile agents
5th International Conference on Advanced Infocomm Technology, IEEE, Jul 2012, Paris, France. pp.177-190, ⟨10.1007/978-3-642-38227-7_21⟩
hal-00756889v1  Conference papers
Vadim Zaytsev. Notation-Parametric Grammar Recovery
Pre-proceedings of the 12th International Workshop on Language Descriptions, Tools, and Applications (LDTA 2012), Mar 2012, Talinn, Estonia. pp.105 - 118
hal-00756852v1  Conference papers
Vadim Zaytsev. Language Evolution, Metasyntactically
Pre-proceedings of the First International Workshop on Bidirectional Transformation (BX 2012), Mar 2012, Talinn, Estonia
hal-00756890v1  Conference papers
Vadim Zaytsev. BNF WAS HERE: What Have We Done About The Unnecessary Diversity Of Notation For Syntactic Definitions
Programming Languages Track, Volume II of the Proceedings of the 27th ACM Symposium on Applied Computing (SAC 2012), Mar 2012, Riva del Garda, Italy. pp.1910 - 1915
hal-00756850v1  Reports
Vadim Zaytsev. Negotiated Grammar Transformation
[Research Report] XM-, 2012, pp.1 - 6
hal-00756851v1  Reports
Vadim Zaytsev. Renarrating Linguistic Architecture: A Case Study
[Research Report] MPM-6, 2012, pp.1 - 6
hal-00756854v1  Journal articles
Vadim Zaytsev. Language Evolution, Metasyntactically
Electronic Communications of the EASST, European Association of Software Science and Technology e.V, 2012, 49, pp.1 - 17. ⟨10.14279/tuj.eceasst.49.708⟩
hal-00953536v1  Conference papers
Zoe ZarwinJean-Sébastien SottetJean-Marie Favre. Natural Modeling: Retrospective and Perspectives an Anthropological Point of View
Proceedings of the 2012 Extreme Modeling Workshop, 2012, New York, NY, United States. pp.3--8, ⟨10.1145/2467307.2467309⟩
hal-00764804v1  Conference papers
Ehtesham ZahoorOlivier PerrinClaude Godart. Web services composition verification using satisfiability solving
IEEE 19th International Conference on Web Services, Jun 2012, Honolulu, United States. pp.242-249, ⟨10.1109/ICWS.2012.75⟩
hal-00760751v1  Conference papers
Elisa Yumi NakagawaFlavio OquendoMartin Becker. RAModel: A Reference Model for Reference Architectures
Joint 2012 Working IEEE/IFIP Conference on Software Architecture & European Conference on Software Architecture, Aug 2012, Helsinki, Finland. pp.297-301
hal-00765983v1  Conference papers
Lu YueThomas NolteIan BateLiliana Cucu-Grosjean. A statistical response-time analysis of real-time embedded systems
the 33rd IEEE Real-time Systems Symposium, IEEE, 2012, San Juan, United States
hal-00922231v1  Conference papers
Hongbo YuJiazhe ChenXiaoyun Wang. The Boomerang Attacks on the Round-Reduced Skein-512
SAC 2012 - 19th International Conference Selected Areas in Cryptography, Aug 2012, Windsor, Canada. pp.287-303, ⟨10.1007/978-3-642-35999-6_19⟩
hal-00725817v1  Conference papers
Ramesh YapalparviHeloise BeaugendreFrançois Morency. Calculation of Ice Chunk Trajectory Using Proper Orthogonal Decomposition
4th AIAA Atmospheric and Space Environments Conference, Jun 2012, Louisiana, United States
hal-00753003v1  Conference papers
Bin YangWalid BelkhirRaj Narayan DharaAlain GiorgettiMichel Lenczner. Rewriting Strategies for a Two-Scale Method: Application to Combined Thin and Periodic Structures
dMEMS 2012 - d Software Implementation for Distributed MEMS, Apr 2012, Besançon, France. pp.82-89, ⟨10.1109/dMEMS.2012.14⟩
hal-00779259v1  Conference papers
Jing YangDongming WangHoon Hong. Improving Angular Speed Uniformity by Optimal C⁰ Piecewise Reparameterization
CASC 2012 - 14th International Workshop on Computer Algebra in Scientific Computing, Sep 2012, Maribor, Slovenia. pp.349-360, ⟨10.1007/978-3-642-32973-9_29⟩
hal-00913415v1  Conference papers
Jing YangDongming WangHoon Hong. Improving Angular Speed Uniformity by C¹ Piecewise Reparameterization
ADG 2012 - 9th International Workshop Automated Deduction in Geometry, Sep 2012, Edinburgh, United Kingdom. pp.33-47, ⟨10.1007/978-3-642-40672-0_3⟩
hal-00656455v1  Journal articles
Jaber Al YamaniFarid BoussaidAmine BermakDominique Martinez. Glomerular latency coding in artificial olfaction
Frontiers in neuroengineering, Frontiers Research Foundation, 2012, 4 (18), ⟨10.3389/fneng.2011.00018⟩
hal-02273168v1  Conference papers
B. YahiaouiHouman BorouchakiA. BenaliC. Bennis. Optimization of Dynamic 3D Hex-dominant Mesh Adapted for Basins Simulation Using the Smoothing Laplacian 2D
ECMOR XIII - 13th European Conference on the Mathematics of Oil Recovery, Sep 2012, Biarritz, France. ⟨10.3997/2214-4609.20143256⟩
hal-00762869v1  Conference papers
Hussein YahiaJoël SudreVeronique GarconClaire Pottier. High-Resolution Ocean Dynamics from Microcanonical Formulations in Nonlinear Complex Signal Analysis
European Geosciences Union General Assembly (EGU), Vienna, Austria, April 22-27, 2012., Apr 2012, Vienna, Austria
hal-01110282v1  Conference papers
Dana N. Xu. Hybrid contract checking via symbolic simplification
PEPM'12: ACM workshop on Partial evaluation and program manipulation, Jan 2012, Philadelphia, United States. pp.107-116, ⟨10.1145/2103746.2103767⟩
hal-01299340v1  Conference papers
Yuedong XuEitan AltmanRachid ElazouziSalah Eddine ElayoubiMajed Haddad. QoE Analysis of Media Streaming in Wireless Data Network
11th International IFIP TC 6 Networking Conference, May 2012, Prague, Czech Republic
hal-00746877v1  Journal articles
Chenglong XiaoEmmanuel Casseau. Exact Custom Instruction Enumeration for Extensible Processors
Integration, the VLSI Journal, Elsevier, 2012, 45 (2), pp.263-270. ⟨10.1016/j.vlsi.2011.11.011⟩
hal-00759981v1  Conference papers
David WolinskiAnne-Hélène OlivierJulien Pettré. Velocity-based models for crowd simulation
MIG12 - The 5th international conference on Motion in Games - 2012, INRIA, Nov 2012, Rennes, France
hal-02278592v1  Journal articles
P. WithersRoland Allemand. Les drosophiles de la region Rhône-Alpes (Diptera, Drosophilidae)
Bulletin de la Société entomologique de France, 2012, 117, pp.473--482
hal-00734216v1  Journal articles
Manuel WimmerSalvador MartínezFrédéric JouaultJordi Cabot. A Catalogue of Refactorings for Model-to-Model Transformations
The Journal of Object Technology, Chair of Software Engineering, 2012, Journal of Object Technology, 11 (2), pp.21-40. ⟨10.5381/jot.2012.11.2.a2⟩
hal-00764287v1  Conference papers
Juliane WiederkehrBruno FontanCorinne GracFrédéric LabatFlorence Le Ber et al.  Stream multi-index assessment and associated uncertainties : application to macroinvertebrate and macrophytes
Journées Internationales de Limnologie et d'Océanographie - JILO 2012, Oct 2012, Clermont-Ferrand, France
hal-00641508v1  Journal articles
Davy WeissenbacherAdeline Nazarenko. Comprendre les effets des erreurs d'annotations des plates-formes de TAL
Revue TAL, ATALA (Association pour le Traitement Automatique des Langues), 2012, 52, pp.52/1
hal-01122699v1  Journal articles
Gerhard WeikumJohannes HoffartNdapa NakasholeMarc SpaniolFabian Suchanek et al.  Big Data Methods for Computational Linguistics
Bulletin of the Technical Committee on Data Engineering, IEEE Computer Society, 2012, pp.10
hal-00650946v1  Book sections
Joost WeijerTheo GeversCordelia SchmidArjan Gijsenij. Color Ratios
Theo Gevers and Arjan Gijsenij and Joost van de Weijer and Jan-Mark Geusebroek. Color in Computer Vision, Wiley, 2012, The Wiley-IS&T Series in Imaging Science and Technology, 978-0-470-89084-4
hal-00945394v1  Conference papers
You WeiBertrand MathieuPatrick TruongJean-François PeltierGwendal Simon. Realistic Storage of Pending Requests in Content-Centric Network Routers
ICCC 2012 : 1st IEEE International Conference on Communications in China, Aug 2012, Beijing, China. pp.120-125, ⟨10.1109/ICCChina.2012.6356864⟩
hal-01185295v1  Conference papers
Houssein WehbeAhmed BouabdallahBruno Stévant. Synchronization Mechanisms for Live Video-Context Transmission Service
NGMAST 2012 : 6th International Conference on Next Generation Mobile Applications, Services and Technologies, Sep 2012, Paris, France. pp.75 - 80
hal-00761281v1  Journal articles
Jonathan WeberSébastien Lefèvre. Spatial and Spectral Morphological Template Matching
Image and Vision Computing, Elsevier, 2012, 30 (12), pp.934-945. ⟨10.1016/j.imavis.2012.07.002⟩
hal-00761291v1  Conference papers
Jonathan WeberFrançois PetitjeanPierre Gançarski. Towards efficient satellite time series analysis: combination of Dynamic Time Warping and Quasi-Flat Zones
IEEE International Geoscience and Remote Sensing Symposium (IGARSS), Jul 2012, Munich, Germany. pp.4387-4390, ⟨10.1109/IGARSS.2012.6350401⟩
hal-00761324v1  Conference papers
Jonathan WeberAntoine Tabbone. Symbol spotting for technical documents : An efficient template-Matching approach
International Conference on Pattern Recognition (ICPR), Nov 2012, Tsukuba, Japan. pp.12
hal-00748157v1  Conference papers
Y. WangGaogang XieMohamed Ali Kaafar. FPC: A self-organized greedy routing in scale-free networks
ISCC 2012 - 17th IEEE Symposium on Computers and Communications, Jul 2012, Cappadocia, Turkey. pp.000102--000107, ⟨10.1109/ISCC.2012.6249275⟩
hal-00922232v1  Directions of work or proceedings
Xiaoyun WangKazue Sako. Advances in Cryptology - ASIACRYPT 2012
Xiaoyun Wang and Kazue Sako. ASIACRYPT 2012 - 18th International Conference on the Theory and Application of Cryptology and Information Security, Dec 2012, Beijing, China. 7658, Springer, pp.1-780, 2012, Lecture Notes in Computer Science, 978-3-642-34960-7. ⟨10.1007/978-3-642-34961-4⟩
hal-00913433v1  Conference papers
Dongming Wang. Automation of Geometry - Theorem Proving, Diagram Generation, and Knowledge Management
ADG 2012 - 9th International Workshop Automated Deduction in Geometry, Sep 2012, Edinburgh, United Kingdom. pp.31-32, ⟨10.1007/978-3-642-40672-0_2⟩
hal-00746194v1  Book sections
Qinna WangEric Fleury. Fuzzy community structure and modular overlaps in complex networks
Zeki Erdem, Tansel Özyer, Suheil Khoury and Jon Rokne. Studies in Mining Social Networks and Security Informatics, Springer, 2012
hal-00779921v1  Conference papers
Jons WamhoffChistof FetzerPascal FelberÉtienne RivièreGilles Muller. Fastlane: Streamlining transactions for low thread counts
TRANSACT 2012 - 7th ACM SIGPLAN Workshop on Transactional Computing, Feb 2012, New Orleans, LA, United States. pp.1-8
hal-00782823v1  Conference papers
Cormac Walsh. Studying isometry groups using the horofunction boundary
Tropical and Indempotent Mathematics, Aug 2012, Moscow, Russia, Russia
hal-00801436v1  Journal articles
Carole VuillerotChristine PayanFrançoise GirardotJacques FermanianJean Iwaz et al.  Responsiveness of the motor function measure in neuromuscular diseases.
Archives of Physical Medicine and Rehabilitation, WB Saunders, 2012, 93 (12), pp.2251-6.e1. ⟨10.1016/j.apmr.2012.05.025⟩
hal-01241861v1  Conference papers
Jean Vuillemin. Defensive Leakage Camouflage
Smart Card Research and Advanced Applications - 11th International Conference, CARDIS , Stefan Mangard, 2012, Graz, Austria, Austria
hal-01359505v1  Conference papers
Nelly VouzoukidouBernd AmannVassilis Christophides. Processing continuous text queries featuring non-homogeneous scoring functions
21st ACM International Conference on Information and Knowledge Management, Oct 2012, Maui, Hawai, United States. pp.1065-1074 ⟨10.1145/2396761.2398404⟩
hal-00753095v1  Journal articles
Vitaly VolpertNarcisa Apreutesei. Existence of travelling waves for a class of integro-differential equations from population dynamics
International Electronic Journal of Pure and Applied Mathematics, Sofia, 2012, 5 (2), pp.53-67
hal-00753092v1  Journal articles
Vitaly VolpertVitali Vougalter. Solvability Conditions for a Linearized Cahn-Hilliard Equation of Sixth Order.
Mathematical Modelling of Natural Phenomena, EDP Sciences, 2012, 7 (2), pp.146--154. ⟨10.1051/mmnp/20127212⟩
hal-00753090v1  Journal articles
Vitaly VolpertVitali Vougalter. On the existence of stationary solutions for some systems of non-Fredholm integro-differential equations.
Discontinuity, Nonlinearity, and Complexity, L & H Scientific Publishing, 2012, 1 (2), pp.197-209
hal-00753098v1  Journal articles
Vitaly VolpertVitali Vougalter. On the solvability conditions for the diffusion equation with convection terms.
Communications on Pure and Applied Mathematics, Wiley, 2012, 11 (1), pp.365--373
hal-01299758v1  Journal articles
Veeraruna Kavitha VoletiEitan AltmanRachid ElazouziRajesh Sundaresan. Opportunistic scheduling in cellular systems in the presence of non-cooperative mobiles
IEEE Transactions on Information Theory, Institute of Electrical and Electronics Engineers, 2012