Skip to Main content Skip to Navigation


...
tel-00329849v1  Theses
Daniele Zucchelli. Combination Methods for Verification Problems
Computer Science [cs]. Université Henri Poincaré - Nancy I, 2008. English
...
hal-02307048v1  Conference papers
Manel ZoghlamiSabeur AridhiMondher MaddouriEngelbert Mephu Nguifo. A Structure Based Multiple Instance Learning Approach for Bacterial Ionizing Radiation Resistance Prediction
KES 2019 - 23rd International Conference on Knowledge-Based and Intelligent Information & Engineering Systems, Sep 2019, Budapest, Hungary
...
hal-01807944v1  Book sections
Manel ZoghlamiSabeur AridhiMondher MaddouriEngelbert Mephu Nguifo. An Overview of in Silico Methods for the Prediction of Ionizing Radiation Resistance in Bacteria
Tamar Reeve. Ionizing Radiation: Advances in Research and Applications, Nova science publishers, pp.241-256, 2018, Physics Research and Technology Series, 978-1-53613-539-8
...
hal-01942528v1  Book sections
Michel ZittAlain LeluMartine CadotGuillaume Cabanac. Bibliometric delineation of scientific fields
Wolfgang Glänzel; Henk F. Moed; Ulrich Schmoch; Mike Thelwall. Handbook of Science and Technology Indicators, Springer International Publishing, pp.25-68, 2019, Handbook of Science and Technology Indicators, 978-3-030-02510-6. ⟨10.1007/978-3-030-02511-3_2⟩
hal-01112917v1  Conference papers
Imed ZitouniKamel SmaïliJean-Paul Haton. Variable-length class sequences based on a hierarchical approach: MCnv
SPECOM 1998 - 3rd International Workshop on Speech and Computer, Oct 1998, Saint-Petersbourg, Russia
...
hal-02975379v2  Conference papers
Matthieu ZinsGilles SimonMarie-Odile Berger. 3D-Aware Ellipse Prediction for Object-Based Camera Pose Estimation
3DV 2020 - International Virtual Conference on 3D Vision, Nov 2020, Fukuoka / Virtual, Japan
hal-00917758v1  Conference papers
Paul Zimmermann. Reliable Computing with GNU MPFR
Proceedings of the third International Congress on Mathematical Software (ICMS 2010), Sep 2010, Kobe, Japan. pp.42--45, ⟨10.1007/978-3-642-15582-6_8⟩
hal-01186078v1  Conference papers
Frank ZimmererJürgen TrouvainAnne Bonneau. One corpus, one research question, three methods “German vowels produced by French speakers”
Worshop on Phonetic learner corpora. Satellite meeting of ICPhS 2015., Trouvain, J., Zimmerer, F., Gosy, M., Bonneau, A., Aug 2015, Glasgow, United Kingdom
...
hal-01413885v1  Conference papers
Matthieu ZimmerYann BonifaceAlain Dutech. Toward a data efficient neural actor-critic
EWRL 2016 - The 13th European Workshop on Reinforcement Learning, Dec 2016, Barcelona, Spain
...
hal-01350651v1  Conference papers
Matthieu ZimmerYann BonifaceAlain Dutech. Neural Fitted Actor-Critic
ESANN 2016 - Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning, Apr 2016, Bruges, Belgium
...
hal-01413886v1  Conference papers
Matthieu ZimmerYann BonifaceAlain Dutech. Off-Policy Neural Fitted Actor-Critic
NIPS 2016 - Deep Reinforcement Learning Workshop, Dec 2016, Barcelona, Spain
hal-01242262v1  Journal articles
Shuguo ZhuoYe-Qiong SongZhi WangZhibo WangLuís Almeida. A Traffic Adaptive Multi-channel MAC Protocol with Dynamic Slot Allocation for WSNs
IEEE Transactions on Mobile Computing, Institute of Electrical and Electronics Engineers, 2015, 15 (7), pp.1600 - 1613. ⟨10.1109/TMC.2015.2473852⟩
...
hal-00745175v1  Conference papers
Shuguo ZhuoYe-Qiong SongZhi WangZhibo Wang. Queue-MAC: A queue-length aware hybrid CSMA/TDMA MAC protocol for providing dynamic adaptation to traffic and duty-cycle variation in wireless sensor networks
9th IEEE International Workshop on Factory Communication Systems (WFCS2012), IEEE, May 2012, Lemgo/Detmold, Germany. pp.105-114
hal-00926839v1  Journal articles
Shizhe ZhouAnass LasramSylvain Lefebvre. By-example synthesis of curvilinear structured patterns
Computer Graphics Forum, Wiley, 2013, 32 (2), pp.355-360. ⟨10.1111/cgf.12055⟩
hal-00930147v1  Journal articles
Zichun ZhongXiaohu GuoWenping WangBruno LévyFeng Sun et al.  Particle-based Anisotropic Surface Meshing
ACM Transactions on Graphics, Association for Computing Machinery, 2013, 32 (4), pp.99:1--99:14. ⟨10.1145/2461912.2461946⟩
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-03318571v1  Conference papers
Georgios ZervakisEmmanuel VincentMiguel CouceiroMarc Schoenauer. On Refining BERT Contextualized Embeddings using Semantic Lexicons
ECML/PKDD2021 Workshop on The Combination of Symbolic and Sub-symbolic Methods and their Applications (CSSA) and New Trends in Representation Learning with Knowledge Graphs, Sep 2021, Online, Spain
hal-00645400v1  Journal articles
Mahmoud ZennakiAbdel Ech-CherifJean-Charles Lamirel. Learning Solution Quality of Hard Combinatorial Problems by Kernel Methods
International Journal of Computer Applications, Foundation of Computer Science, 2011
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-01057269v1  Journal articles
Noam ZeilbergerAlain Giorgetti. A correspondence between rooted planar maps and normal planar lambda terms
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2015, 11 (3:22), pp.1-39. ⟨10.2168/LMCS-11(3:22)2015⟩
...
hal-00763434v1  Journal articles
Rhaleb Zayer. A nonlinear static approach for curve editing
Computers and Graphics, Elsevier, 2012, 36 (5), pp.514-520. ⟨10.1016/j.cag.2012.03.024⟩
...
inria-00070767v1  Reports
Calogero G. Zarba. C-tableaux
[Research Report] RR-5229, INRIA. 2004, pp.31
...
hal-01792866v1  Conference papers
Cédric ZanniFrédéric ClauxSylvain Lefebvre. HCSG: Hashing for real-time CSG modeling
Proceedings of the ACM SIGGRAPH Symposium on Interactive 3D Graphics and Games, May 2018, Montreal, Canada. ⟨10.1145/3203198⟩
...
hal-01889917v1  Conference papers
Imene ZangarZied MnasriVincent ColotteDenis JouvetAmal Houidhek. Duration modeling using DNN for Arabic speech synthesis
9th International Conference on Speech Prosody, Jun 2018, Poznań, Poland
...
hal-02177496v1  Conference papers
Imene ZangarZied MnasriVincent ColotteDenis Jouvet. F0 modeling using DNN for Arabic parametric speech synthesis
INNSBDDL 2019 - INNS Big Data and Deep Learning, Apr 2019, Sestri Levante, Italy
...
hal-03231047v1  Conference papers
Nicolas ZampieriIrina IllinaDominique Fohr. Multiword Expression Features for Automatic Hate Speech Detection
NLDB 2021 - 26th International Conference on Natural Language & Information Systems, Jun 2021, Saarbrücken/Virtual, Germany
...
hal-03115781v1  Conference papers
Nicolas ZampieriIrina IllinaDominique Fohr. A comparative study of different features for efficient automatic hate speech detection
IPrA 2021 - 17th International Pragmatics Conference, Jun 2021, Winterthur, Switzerland
hal-03018473v1  Conference papers
Vladimir Zamdzhiev. Reflecting Algebraically Compact Functors
Applied Category Theory 2019, Jul 2019, Oxford, United Kingdom. ⟨10.4204/EPTCS.323.2⟩
hal-03018484v1  Conference papers
Vladimir Zamdzhiev. A Framework for Rewriting Families of String Diagrams
International Workshop on Computing with Terms and Graphs, Jul 2018, Oxford, United Kingdom. ⟨10.4204/EPTCS.288.6⟩
hal-03018418v1  Conference papers
Vladimir Zamdzhiev. Semantics for First-Order Affine Inductive Data Types via Slice Categories
International Workshop on Coalgebraic Methods in Computer Science, Sep 2020, Virtual, France. ⟨10.1007/978-3-030-57201-3_10⟩
hal-03018433v1  Conference papers
Vladimir Zamdzhiev. Computational Adequacy for Substructural Lambda Calculi
Applied Category Theory 2020, Jul 2020, Virtual, United States
...
hal-01947984v1  Conference papers
Mehdi ZakroumAbdellah HoumzMounir GhoghoGhita MezzourAbdelkader Lahmadi et al.  Exploratory Data Analysis of a Network Telescope Traffic and Prediction of Port Probing Rates
ISI 2018 - IEEE Intelligence and Security Informatics, Nov 2018, Miami, United States
...
inria-00537976v1  Conference papers
Ehtesham ZahoorOlivier PerrinClaude Godart. DISC-SET: Handling temporal and security aspects in the Web services composition
ECOWS 2010 - The 8th IEEE European Conference on Web Services, Dec 2010, Ayia Napa, Cyprus
...
inria-00596461v1  Conference papers
Ehtesham ZahoorOlivier PerrinClaude Godart. An event-based reasoning approach to Web services monitoring
The 9th IEEE International Conference on Web Services (ICWS 2011), Jul 2011, Washington DC, United States
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⟩
...
inria-00537975v1  Conference papers
Ehtesham ZahoorOlivier PerrinClaude Godart. DISC: A declarative framework for self-healing Web services composition
8th IEEE International Conference on Web Services - ICWS 2010, Jul 2010, Miami, Florida, United States. pp.25 - 33, ⟨10.1109/ICWS.2010.70⟩
...
hal-01677620v1  Conference papers
Ehtesham ZahoorZubaria AsmaOlivier Perrin. A Formal Approach for the Verification of AWS IAM Access Control Policies
6th European Conference on Service-Oriented and Cloud Computing (ESOCC), Sep 2017, Oslo, Norway. pp.59-74, ⟨10.1007/978-3-319-67262-5_5⟩
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
...
hal-00741307v1  Conference papers
Ahmed YureidiniErwan KerrienJérémie DequidtChristian DuriezStéphane Cotin. Local implicit modeling of blood vessels for interactive simulation
MICCAI - 15th International Conference on Medical Image Computing and Computer-Assisted Intervention, Oct 2012, Nice, France. pp.553-560, ⟨10.1007/978-3-642-33415-3_68⟩
...
hal-00642003v1  Conference papers
Ahmed YureidiniErwan KerrienStéphane Cotin. Robust RANSAC-based blood vessel segmentation
SPIE Medical Imaging, Feb 2012, San Diego, CA, United States. pp.8314M, ⟨10.1117/12.911670⟩
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-02370231v1  Conference papers
Weihai YuVictorien ElvingerClaudia-Lavinia Ignat. A Generic Undo Support for State-Based CRDTs
OPODIS 2019 - Proceedings of 23rd International Conference on Principles of Distributed Systems, Dec 2019, Neuchâtel, Switzerland. ⟨10.4230/LIPIcs.OPODIS.2019.14⟩
...
hal-01246212v1  Conference papers
Weihai YuLuc AndréClaudia-Lavinia Ignat. A CRDT Supporting Selective Undo for Collaborative Text Editing
15th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2015, Grenoble, France. pp.193-206, ⟨10.1007/978-3-319-19129-4_16⟩
...
hal-02983557v1  Conference papers
Weihai YuClaudia-Lavinia Ignat. Conflict-Free Replicated Relations for Multi-Synchronous Database Management at Edge
IEEE International Conference on Smart Data Services, 2020 IEEE World Congress on Services, Oct 2020, Beijing, China
...
hal-01403899v1  Journal articles
Jiangshan YuVincent ChevalMark Ryan. DTKI: A New Formalized PKI with Verifiable Trusted Parties
The Computer Journal, Oxford University Press (UK), 2016, 59, pp.1695-1713. ⟨10.1093/comjnl/bxw039⟩
...
hal-01652656v1  Conference papers
Weihai YuGérald OsterClaudia-Lavinia Ignat. Handling Disturbance and Awareness of Concurrent Updates in a Collaborative Editor
CDVE 2017 - 14th International Conference on Cooperative Design, Visualization, and Engineering, Sep 2017, Mallorca, Spain
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-00957511v1  Conference papers
Jano YazbeckAlexis ScheuerFrançois Charpillet. Near-to-near decentralized algorithm for vehicle platooning
8th National Conference on Control Architecture of Robots, Jun 2013, Angers, France
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
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-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-03360794v1  Conference papers
Junichi YamagishiXin WangMassimiliano TodiscoMd SahidullahJose Patino et al.  ASVspoof 2021: accelerating progress in spoofed and deepfake speech detection
ASVspoof 2021 Workshop - Automatic Speaker Verification and Spoofing Coutermeasures Challenge, Sep 2021, Virtual, France
...
hal-00768441v1  Conference papers
Mingqiang XuePanagiotis KarrasChedy RaïssiPanos KalnisHung Keng Pung. Delineating social network data anonymization via random edge perturbation
CIKM - 21st ACM International Conference on Information and Knowledge Management - 2012, Oct 2012, Maui, United States
...
hal-00768428v1  Conference papers
Mingqiang XuePanagiotis KarrasChedy RaïssiJaideep VaidyaKian-Lee Tan. Anonymizing set-valued data by nonreciprocal recoding
KDD - The 18th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining - 2012, Aug 2012, Beijing, China
...
hal-03080192v1  Conference papers
Yuxuan XieJilles DibangoyeOlivier Buffet. Optimally Solving Two-Agent Decentralized POMDPs Under One-Sided Information Sharing
ICML 2020 - 37th International Conference on Machine Learning, Jul 2020, Vienne / Virtual, Austria. pp.1-10
hal-00745364v1  Directions of work or proceedings
Feng XiaTridib MukherjeeYan ZhangYe-Qiong Song. Sensor Networks for High-Confidence Cyber-Physical Systems
Feng Xia, Tridib Mukherjee, Yan Zhang, Ye-Qiong Song. Sensor Networks for High-Confidence Cyber-Physical Systems, Hindawi Publishing Co., pp.130, 2011, International journal of distributed sensor networks, 1550-1329
hal-01399452v1  Directions of work or proceedings
James Won-Ki HongFilip de TurckJoonmyung KangHyunseung ChooRémi Badonnel et al.  Softwarization of Networks, Clouds, and Internet of Things - Proceedings of the 2nd IEEE International Conference on Network Softwarization (NetSoft 2016)
Proceedings of the 2nd IEEE International Conference on Network Softwarization (NetSoft 2016), Jun 2016, Seoul, South Korea. 2016, Proceedings of the 2nd IEEE International Conference on Network Softwarization (NetSoft 2016)
...
hal-00545473v1  Conference papers
Bruno Woltzenlogel Paleo. Atomic Cut Introduction by Resolution: Proof Structuring and Compression
Logic for Programming, Artificial Intelligence, and Reasoning, Apr 2010, Dakar, Senegal. pp.463-480, ⟨10.1007/978-3-642-17511-4_26⟩
hal-00545496v1  Conference papers
Bruno Woltzenlogel Paleo. Proof Compression with the CIRes Method [Abstract]
Computability in Europa, Jun 2010, Ponta Delgada, Portugal
hal-00545494v1  Conference papers
Bruno Woltzenlogel PaleoEkaterina Lebedeva. Using Proofs to Compute Implicatures [Abstract]
Computability in Europe, Jun 2010, Ponta Delgada, Portugal
...
hal-00545462v1  Conference papers
Bruno Woltzenlogel Paleo. Physics and Proof Theory
International Workshop on Physics and Computation, Aug 2010, Luxor, Egypt
hal-02958831v1  Conference papers
Moritz WolfDana RuiterAshwin Geet d'SaLiane ReinersJan Alexandersson et al.  HUMAN: Hierarchical Universal Modular ANnotator
EMNLP 2020 System Demonstration, Nov 2020, Punta Cana (Virtual), Dominican Republic
...
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-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-01163493v1  Conference papers
Felix WeningerHakan ErdoganShinji WatanabeEmmanuel VincentJonathan Le Roux et al.  Speech enhancement with LSTM recurrent neural networks and its application to noise-robust ASR
12th International Conference on Latent Variable Analysis and Signal Separation (LVA/ICA), Aug 2015, Liberec, Czech Republic
hal-00450416v1  Journal articles
Stéphane WeissPascal UrsoPascal Molli. Logoot-Undo: Distributed Collaborative Editing System on P2P Networks
IEEE Transactions on Parallel and Distributed Systems, Institute of Electrical and Electronics Engineers, 2010, 21 (8), pp.1162-1174. ⟨10.1109/TPDS.2009.173⟩
...
hal-02406673v1  Conference papers
Christoph Weidenbach. The Challenge of Unifying Semantic and Syntactic Inference Restrictions
2nd International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements (ARCADE 2019), 2019, Natal, Brazil
hal-01239428v1  Book sections
Christoph Weidenbach. Automated Reasoning Building Blocks
Roland Meyer and André Platzer and Heike Wehrheim. Correct System Design – Symposium in Honor of Ernst-Rüdiger Olderog, 9360, Springer, pp.172-188, 2015, ⟨10.1007/978-3-319-23506-6_12⟩
...
hal-02546993v2  Conference papers
Shinji WatanabeMichael MandelJon BarkerEmmanuel VincentAshish Arora et al.  CHiME-6 Challenge: Tackling multispeaker speech recognition for unsegmented recordings
CHiME 2020 - 6th International Workshop on Speech Processing in Everyday Environments, May 2020, Barcelona / Virtual, Spain
hal-00920538v1  Conference papers
Franck WartelLeonidas KosmidisBenoit TriquetEduardo QuinonesJaume Abella et al.  Measurement-Based Probabilistic Timing Analysis: Lessons from an Integrated-Modular Avionics Case Study
SIES 2013 - the 8th IEEE International Symposium on Industrial Embedded Systems, Jun 2013, Porto, Portugal. pp.241-248, ⟨10.1109/SIES.2013.6601497⟩
...
hal-03059893v1  Journal articles
Jian WangStanislav AranovskiyEmilia FridmanDmitry SokolovDenis Efimov et al.  Robust adaptive stabilization by delay under state parametric uncertainty and measurement bias
IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, 2020, ⟨10.1109/TAC.2020.3045125⟩
...
hal-01797886v1  Conference papers
Ziteng WangJunfeng LiYonghong YanEmmanuel Vincent. Semi-supervised learning with deep neural networks for relative transfer function inverse regression
ICASSP 2018 – IEEE International Conference on Acoustics, Speech and Signal Processing, Apr 2018, Calgary, Canada