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
  1. Search


...
hal-01644290v1  Journal articles
Kai Hu, Teng Zhang, Lihong Shang, Zhibing Yang, Jean-Pierre Talpin. 面向同步规范的并行代码自动生成
Journal of Software, Science in China Press, 2017, 28, pp.1-15. ⟨10.13328/j.cnki.jos.005056⟩
hal-03268864v1  Journal articles
Frédérick Douzet, Stéphane Grumbach. 应对网络空间系统性风险需要全球性策略
网络传播 = New Media, Cyberspace Administration of China, 2021
...
hal-02133560v1  Journal articles
Shiming Zou, Hongxin Zhang, Qian Bolei, Xavier Granier. 基于着色区间约束的法向纹理编辑方法
Jisuanji-fuzhu-sheji-yu-tuxingxue-xuebao / Journal of computer-aided design & computer graphics, Beijing, 2011, 23 (12), pp.2067-2073
...
hal-00781242v1  Journal articles
Hong Guo, Xiangdong Lei, Véronique Letort, Yuanchang Lu, Philippe de Reffye. 基于GreenLab的油松结构-功能模型 (A FUNCTIONAL-STRUCTURAL MODEL GREENLAB FOR PINUS TABULAEFORMIS)
Chinese Journal of Plant Ecology, Chinese Academy of Sciences, 2009, 33 (5), pp.950-957. ⟨10.3773/j.issn.1005-264x.2009.05.014⟩
...
hal-00781236v1  Journal articles
Hong Guo, Xiangdong Lei, Véronique Letort, Yuanchang Lu. 基于GreenLab原理构建油松成年树的结构-功能模型 (A functional-structural model for adults of Pinus tabulaeformis based on GreenLab)
Chinese Journal of Plant Ecology, Chinese Academy of Sciences, 2011, 35 (4), pp.422-430. ⟨10.3724/SP.J.1258.2011.00422⟩
...
hal-02321617v1  Journal articles
Evgeniya Vorontsova, Alexander Gasnikov, Eduard Gorbunov. Ускоренный спуск по случайному направлению с неевклидовой прокс-структурой
Automation and Remote Control / Avtomatika i Telemekhanika, MAIK Nauka/Interperiodica, 2019, 80 (4), pp.126-143. ⟨10.1134/S0005117919040076⟩
...
hal-02321721v1  Journal articles
Édvard Gorbunov, Evgeniya Vorontsova, Aleksandr Gasnikov. О верхней оценке математического ожидания нормы равномерно распределённого на сфере вектора и явлении концентрации равномерной меры на сфере
Matematicheskie Zametki / Mathematical Notes, MAIK Nauka/Interperiodica, 2019, 110 (6), pp.11-19. ⟨10.1134/S0001434619070022⟩
...
hal-01798576v1  Journal articles
Andrii Shachykov, Patrick Henaff, Olexandr Shulyak. Нейро-мускульноскелетный симулятор ритмических движений тазобедренного сустава человека
Bulletin of National Technical University of Ukraine "KPI". Series Instrument Making, National Technical University of Ukraine "Kyiv Polytechnic Institute", 2018, 55(1), pp.118-125. ⟨10.20535/1970.55(1).2018.135832⟩
...
hal-01928217v1  Conference papers
Oleksii Avilov, Anton Popov, Vladimir Timofeyev, Laurent Bougrain, Patrick Henaff. Класифікація комбінованих уявних рухів за допомогою бінарних класифікаторів у нейрокомп’ютерних інтерфейсах
XVII International scientific and technical conference “Physical processes and fields of technical and biological objects”, Nov 2018, Kremenchuk, Ukraine
hal-02379302v1  Journal articles
Emmanuelle Lerat, H. Ochman. Ψ-Φ: Exploring the outer limits of bacterial pseudogenes
Genome Research, Cold Spring Harbor Laboratory Press, 2004, 14, pp.2273--2278
hal-01904081v1  Journal articles
Nicolas Trotignon, Lan Anh Pham. χ-bounds, operations, and chords
Journal of Graph Theory, Wiley, 2018, 88 (2), pp.312 - 336. ⟨10.1002/jgt.22214⟩
...
hal-01412667v1  Preprints, Working Papers, ...
Pierre Aboulker, Jørgen Bang-Jensen, Nicolas Bousquet, Pierre Charbit, Frédéric Havet et al.  χ-bounded families of oriented graphs
2016
...
hal-01882395v1  Journal articles
Pierre Aboulker, Jørgen Bang-Jensen, Nicolas Bousquet, Pierre Charbit, Frédéric Havet et al.  χ-bounded families of oriented graphs
Journal of Graph Theory, Wiley, 2018, 89 (3), pp.304 - 326. ⟨10.1002/jgt.22252⟩
...
hal-03588715v1  Preprints, Working Papers, ...
Michel Duprez, Vanessa Lleras, Alexei Lozinski. φ-FEM: an optimally convergent and easily implementable immersed boundary method for particulate flows and Stokes equations
2022
...
inria-00610934v1  Journal articles
Jianneng Cao, Panagiotis Karras, Chedy Raïssi, Kian-Lee Tan. ρ-uncertainty: Inference-Proof Transaction Anonymization
Proceedings of the VLDB Endowment (PVLDB), VLDB Endowment, 2010, 3 (1), pp.1033-1044
...
hal-01903685v2  Conference papers
Mathieu Fehr, Olivier Buffet, Vincent Thomas, Jilles Dibangoye. ρ-POMDPs have Lipschitz-Continuous ϵ-Optimal Value Functions
NIPS 2018 - Thirty-second Conference on Neural Information Processing Systems, Dec 2018, Montréal, Canada. pp.1-27
hal-01433127v1  Conference papers
Flavio Oquendo. π-Calculus for SoS: A Novel π-Calculus for the Formal Modeling of Software-intensive Systems-of-Systems
38th International Conference on Communicating Process Architectures (CPA 2016), Aug 2016, Copenhagen, Denmark
hal-01433093v1  Conference papers
Flavio Oquendo. π-Calculus for SoS: A foundation for formally describing software-intensive Systems-of-Systems
11th IEEE System of Systems Engineering Conference (SoSE), Jun 2016, Kongsberg, Norway. pp.1-6, ⟨10.1109/SYSOSE.2016.7542925⟩
...
hal-01906996v1  Conference papers
Xavier Marchal, Thibault Cholez, Olivier Festor. μNDN: an Orchestrated Microservice Architecture for Named Data Networking
ACM-ICN'18 - 5th ACM Conference on Information-Centric Networking, Sep 2018, Boston, United States. pp.12, ⟨10.1145/3267955.3267961⟩
...
inria-00524942v1  Preprints, Working Papers, ...
Hugo Herbelin, Alexis Saurin. λμ-calculus and Λμ-calculus: a Capital Difference
2009
...
hal-01218958v1  Conference papers
Matteo Guerra, Carlos Vázquez, Denis Efimov, Gang Zheng, Leonid Freidovich et al.  ε-Invariant Output Stabilization: Homogeneous Approach and Dead Zone Compensation
54th IEEE Conference on Decision and Control (CDC), 2015, Dec 2015, Osaka, Japan
...
hal-03596856v1  Journal articles
Benoit Hilloulin, Mathieu Lagrange, Marius Duvillard, Gauthier Garioud. ε-greedy automated indentation of cementitious materials for phase mechanical properties determination
Cement and Concrete Composites, Elsevier, 2022, 129, ⟨10.1016/j.cemconcomp.2022.104465⟩
...
hal-02991811v1  Journal articles
Christophe Lécuyer, Antonio Sanchez Marco, Alejandro Lomoschitz, Juan-Francisco Betancort, François Fourel et al.  δ18O and δ13C of diagenetic land snail shells from the Pliocene (Zanclean) of Lanzarote, Canary Archipelago: Do they still record some climatic parameters?
Journal of African Earth Sciences, Elsevier, 2020, 162, pp.103702. ⟨10.1016/j.jafrearsci.2019.103702⟩
...
hal-03346748v1  Journal articles
Nikola Arsic, Tania Slatter, Gilles Gadea, Etienne Villain, Aurelie Fournet et al.  Δ133p53β isoform pro-invasive activity is regulated through an aggregation-dependent mechanism in cancer cells
Nature Communications, Nature Publishing Group, 2021, 12 (1), pp.5463. ⟨10.1038/s41467-021-25550-2⟩
hal-01423494v1  Conference papers
Oumayma Bahri, El-Ghazali Talbi, Nahla Benamor. β-Robustness approach for fuzzy multi-objective problems
IPMU‘2016 - 16th Int. Conference On Information Processing and Management on Uncertainty in Knowledge-based Systems, 2016, Eindhoeven, Netherlands. pp.225-237, ⟨10.1007/978-3-319-40581-0_19⟩
hal-03462802v1  Book sections
Francesco de Pascali, Pauline Raynaud, Frédéric Jean-Alphonse, Shifa Tahir, Véronique Bozon et al.  β-arrestins and endocrine-related GPCRs
Cellular Endocrinology in Health and Disease, Elsevier, pp.445-458, 2021, 978-0-12-819801-8. ⟨10.1016/B978-0-12-819801-8.00021-1⟩
...
hal-01604784v1  Journal articles
Eric Reiter, Mohammed Akli Ayoub, Lucie P. Pellissier, Flavie Landomiel, Astrid Musnier et al.  β-arrestin signalling and bias in hormone-responsive GPCRs
Molecular and Cellular Endocrinology, Elsevier, 2017, 449, pp.28-41. ⟨10.1016/j.mce.2017.01.052⟩
...
hal-00992784v1  Conference papers
David Bonnin, Corentin Travers. α-Register
OPODIS, 2013, Unknown, pp.53-67
...
hal-01804927v1  Conference papers
Antoine Courtay, Mickaël Le Gentil, Olivier Berder, Arnaud Carer, Pascal Scalart et al.  Zyggie: A Wireless Body Area Network platform for indoor positioning and motion tracking
ISCAS 2018 - IEEE International Symposium on Circuits and Systems, May 2018, Florence, Italy. pp.1-5, ⟨10.1109/ISCAS.2018.8351278⟩
...
hal-01445707v2  Conference papers
Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart, Quanlong Wang. ZX-Calculus: Cyclotomic Supplementarity and Incompleteness for Clifford+T quantum mechanics
MFCS 2017 - 42nd International Symposium on Mathematical Foundations of Computer Science, Aug 2017, Aalborg, Denmark. pp.15
...
tel-02395443v1  Theses
Renaud Vilmart. ZX-Calculi for Quantum Computing and their Completeness
Logic in Computer Science [cs.LO]. Université de Lorraine, 2019. English. ⟨NNT : 2019LORR0130⟩
...
hal-00931028v1  Journal articles
Lars Grüne, Hasnaa Zidani. Zubov's equation for state-constrained perturbed nonlinear systems
Mathematical Control and Related Fields, AIMS, 2015, 5 (1), pp.55-71. ⟨10.3934/mcrf.2015.5.55⟩
...
hal-00654244v1  Conference papers
Bilal Amghar, Moumen Darcherif, Jean-Pierre Barbot. ZTN OBSERVABILITY FOR PARALLEL MULTI-CELL CHOPPER
ELECTRIMACS, Jun 2011, Cergy, France
...
hal-03113925v1  Journal articles
Mª José Izquierdo-Rico, Carla Moros-Nicolás, Míriam Pérez-Crespo, Ricardo Laguna-Barraza, Alfonso Gutiérrez-Adán et al.  ZP4 Is Present in Murine Zona Pellucida and Is Not Responsible for the Specific Gamete Interaction
Frontiers in Cell and Developmental Biology, Frontiers media, 2021, 8, pp.626679. ⟨10.3389/fcell.2020.626679⟩
...
inria-00510159v1  Conference papers
Samuel Hornus, Jared Hoberock, Sylvain Lefebvre, John C. Hart. ZP+: correct Z-pass stencil shadows
Symposium on Interactive 3D Graphics and Games, ACM, 2005, Washington, United States
...
hal-01482165v1  Journal articles
Moneish Kumar, Vineet Gandhi, Rémi Ronfard, Michael Gleicher. Zooming On All Actors: Automatic Focus+Context Split Screen Video Generation
Computer Graphics Forum, Wiley, 2017, 36 (2), pp.455-465. ⟨10.1111/cgf.13140⟩
...
hal-01391281v1  Conference papers
Mathieu Le Goc, Lawrence Kim, Ali Parsaei, Jean-Daniel Fekete, Pierre Dragicevic et al.  Zooids: Building Blocks for Swarm User Interfaces
Proceedings of the 29th Annual Symposium on User Interface Software and Technology (UIST), Oct 2016, Tokyo, Japan. ⟨10.1145/2984511.2984547⟩
...
hal-01931311v1  Conference papers
Zhenhua Wang, Wentao Tang, Qinghua Zhang, Vicenc Puig, Yi Shen. Zonotopic state estimation and fault detection for systems with time-invariant uncertainties
SAFEPROCESS 2018, 10th IFAC Symposium on Fault Detection, Diagnosis and Safety of Technical Processes, Aug 2018, Varsovie, Poland. pp.494-499, ⟨10.1016/j.ifacol.2018.09.622⟩
...
hal-01526577v2  Conference papers
Guillaume Gautier, R. Bardenet, Michal Valko. Zonotope hit-and-run for efficient sampling from projection DPPs
International Conference on Machine Learning, 2017, Sydney, Australia
...
hal-03118264v1  Conference papers
Adel Jaouen, Erwan Le Merrer. zoNNscan: a boundary-entropy index for zone inspection of neural models
MCS 2020 - Monte Carlo Search workshop, Jan 2021, Virtual, Japan. pp.1-8
...
hal-01981628v1  Conference papers
Romain Karpinski, Abdel Belaid. ZoneMapAlt: An alternative to the ZoneMap metric for zone segmentation and classification
Document Analysis Systems, Apr 2018, Vienne, Austria. ⟨10.1109/DAS.2018.84⟩
hal-01141841v1  Journal articles
Ronan Boitard, Rémi Cozot, Dominique Thoreau, Kadi Bouatouch. Zonal brightness coherency for video tone mapping
Signal Processing: Image Communication, Elsevier, 2014, 29 (2), pp.229-246. ⟨10.1016/j.image.2013.10.001⟩
...
hal-00995875v2  Conference papers
Henrik Zimmer, Florent Lafarge, Pierre Alliez, Leif Kobbelt. Zometool Shape Approximation
Geometric Modeling and Processing, Jun 2014, Singapore, Singapore
...
hal-01054395v1  Conference papers
Karën Fort, Bruno Guillaume, Valentin Stern. ZOMBILINGO : manger des têtes pour annoter en syntaxe de dépendances
TALN - Traitement Automatique des Langues Naturelles, Jul 2014, Marseille, France. pp.15-16
...
hal-02302010v1  Journal articles
Adrian Davin, Theo Tricou, Eric Tannier, Damien M. de Vienne, Gergely J Szöllosi. Zombi: A phylogenetic simulator of trees, genomes and sequences that accounts for dead lineages
Bioinformatics, Oxford University Press (OUP), 2019, ⟨10.1093/bioinformatics/btz710⟩
...
hal-03155694v1  Conference papers
Aurélie Boisbunon, Carlo Fanara, Ingrid Grenet, Jonathan Daeden, Alexis Vighi et al.  Zoetrope Genetic Programming for Regression
GECCO 2021, ACM, Jul 2021, Lille, France. pp.776-784
...
hal-01952480v1  Conference papers
Vincent Busser, Jean Desquines, Christian Duriez, Marie-Christine Baietto, Jean-Paul Mardon. Zircaloy-4 cladding hydride reorientation under ring compression test conditions
Top Fuel 2009, Sep 2009, Paris, France
...
hal-00923877v1  Conference papers
Steve Oudot, Donald Sheehy. Zigzag Zoology: Rips Zigzags for Homology Inference
Symposium on Computational Geometry, 2013, Rio de Janeiro, Brazil
...
hal-01094600v1  Journal articles
Steve Y. Oudot, Donald R. Sheehy. Zigzag zoology: Rips zigzags for homology inference
Foundations of Computational Mathematics, Springer Verlag, 2014, pp.31. ⟨10.1145/2493132.2462371⟩
...
hal-00755280v1  Reports
Steve Oudot, Donald Sheehy. Zigzag Zoology: Rips Zigzags for Homology Inference
[Research Report] RR-8141, INRIA. 2012, pp.48
...
inria-00520171v1  Reports
Nikola Milosavljevic, Dmitriy Morozov, Primoz Skraba. Zigzag Persistent Homology in Matrix Multiplication Time
[Research Report] RR-7393, INRIA. 2010
...
hal-01091949v1  Conference papers
Clément Maria, Steve Oudot. Zigzag Persistence via Reflections and Transpositions
ACM-SIAM Symposium on Discrete Algorithms, Jan 2015, San Diego, United States
...
hal-00449421v1  Conference papers
Alain Kibangou, Cyrille Siclet, Laurent Ros. ZF OFDM Receiver for Underwater Communications
ISCCSP 2008 - 4th International Symposium on Communications, Control and Signal Processing, Mar 2010, Limassol, Cyprus. pp.n.c
...
hal-00413217v1  Journal articles
Lionel Clément. Zeugme sémantique
Revue de Sémantique et Pragmatique, Presses de l'Université d'Orléans, 2010, pp.231-247
...
hal-02428382v1  Conference papers
Gabriel Antoniu, Alexandru Costan, Ovidiu-Cristian Marcu. ZettaFlow: Towards High-Performance ML-based Analytics across the Digital Continuum
BDEC2 San Diego: Big Data and Extreme-scale Computing, San Diego Supercomputing Center, Oct 2019, San Diego, California, United States. pp.4
...
hal-03341912v1  Conference papers
Amélie Héliou, Matthieu Martin, Thibaud Rahier, Panayotis Mertikopoulos. Zeroth-order non-convex learning via hierarchical dual averaging
ICML 2021 - 38th International Conference on Machine Learning, Jul 2021, Vienna, Austria. pp.1-34
hal-01424094v1  Conference papers
Gerardo Rubino. Zero-variance Approaches in Static Reliability Problems
SIAM Conference on Uncertainty Quantification, EPFL, Suisse, Apr 2016, Lausanne, Switzerland
...
hal-02413402v1  Journal articles
Konstantin Avrachenkov, Vladimir Ejov, Jerzy Filar, Amir Moghaddam. Zero-Sum Stochastic Games over the Field of Real Algebraic Numbers
Dynamic Games and Applications, Springer Verlag, 2019, 9 (4), pp.1026-1041. ⟨10.1007/s13235-018-00293-w⟩
hal-01428997v1  Conference papers
Stéphane Gaubert. Zero-sum games, non-archimedean convexity and sinuous central paths
2016 Conference on Applied Mathematics, Aug 2016, Hong Kong, China
hal-01428994v1  Conference papers
Stéphane Gaubert. Zero-sum games, non-archimedean convexity and sinuous central paths
Workshop: Advances in Convex Analysis and Optimization, Jul 2016, Erice, Italy
...
hal-00738200v1  Conference papers
Christina Boura, Anne Canteaut. Zero-Sum Distinguishers for Iterated Permutations and Application to Keccak-f and Hamsi-256
Selected Areas in Cryptography - 17th International Workshop, SAC 2010,, Aug 2010, Waterloo, Ontario,, Canada. pp.1-17
...
inria-00597907v1  Conference papers
Armando Muscariello, Guillaume Gravier, Frédéric Bimbot. Zero-resource audio-only spoken term detection based on a combination of template matching techniques
INTERSPEECH 2011: 12th Annual Conference of the International Speech Communication Association, Aug 2011, Florence, Italy
...
hal-01141135v1  Conference papers
Stefan Marr, Chris Seaton, Stéphane Ducasse. Zero-Overhead Metaprogramming
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, Jun 2015, Portland, OR, USA, France. ⟨10.1145/2737924.2737963⟩
hal-01110386v1  Journal articles
Dario Catalano, Mario Di Raimondo, Dario Fiore, Mariagrazia Messina. Zero-Knowledge Sets With Short Proofs
IEEE Transactions on Information Theory, Institute of Electrical and Electronics Engineers, 2011, 57 (4), pp.2488-2502. ⟨10.1109/TIT.2011.2112150⟩
...
tel-01668125v2  Theses
Geoffroy Couteau. Zero-knowledge proofs for secure computation
Cryptography and Security [cs.CR]. Université Paris sciences et lettres, 2017. English. ⟨NNT : 2017PSLEE065⟩
...
hal-02151645v1  Conference papers
Benoît Libert, Khoa Nguyen, Benjamin Tan, Huaxiong Wang. Zero-Knowledge Elementary Databases with More Expressive Queries
PKC 2019 - 22nd IACR International Conference on Practice and Theory of Public-Key Cryptography, Apr 2019, Beijing, China. pp.255-285, ⟨10.1007/978-3-030-17253-4_9⟩
...
hal-01394087v1  Conference papers
Benoît Libert, San Ling, Fabrice Mouhartem, Khoa Nguyen, Huaxiong Wang. Zero-Knowledge Arguments for Matrix-Vector Relations and Lattice-Based Group Encryption
Asiacrypt 2016, IACR, Dec 2016, Hanoi, Vietnam. pp.101 - 131, ⟨10.1007/978-3-662-53890-6_4⟩
...
hal-01621027v1  Conference papers
Benoît Libert, San Ling, Khoa Nguyen, Huaxiong Wang. Zero-Knowledge Arguments for Lattice-Based PRFs and Applications to E-Cash
Asiacrypt 2017, Dec 2017, Hong Kong, China
...
hal-01314642v1  Conference papers
Benoît Libert, San Ling, Khoa Nguyen, Huaxiong Wang. Zero-Knowledge Arguments for Lattice-Based Accumulators: Logarithmic-Size Ring Signatures and Group Signatures Without Trapdoors
Eurocrypt 2016, International Association for Cryptologic Research, May 2016, Vienne, Austria. ⟨10.1007/978-3-662-49896-5_1⟩
...
hal-03512005v1  Notes de synthèse
Daniel Augot, Sarah Bordage, Youssef El Housni, Gilles Fedak, Anthony Simonet. Zero-Knowledge : trust and privacy on an industrial scale
2022
...
hal-02491316v1  Journal articles
Yaru Fu, Mingshan Zhang, Lou Salaun, Chi Wan Sung, Chung Shue Chen. Zero-forcing Oriented Power Minimization for Multi-cell MISO-NOMA Systems: A Joint User Grouping, Beamforming and Power Control Perspective
IEEE Journal on Selected Areas in Communications, Institute of Electrical and Electronics Engineers, 2020
...
hal-03290860v2  Conference papers
Nicolas Charpenay, Maël Le Treust, Aline Roumy. Zero-error source coding when side information may be present
IZS 2022 - International Zurich Seminar on Information and Communication, Mar 2022, Zurich, Switzerland. pp.1-5
...
inria-00374524v1  Conference papers
Julien Dusser, Thomas Piquet, André Seznec. Zero-Content Augmented Caches
ICS 2009 : 23rd International Conference on Supercomputing, Jun 2009, New York, United States. ⟨10.1145/1542275.1542288⟩
...
inria-00337742v1  Reports
Julien Dusser, Thomas Piquet, André Seznec. Zero-Content Augmented Caches
[Research Report] RR-6705, INRIA. 2008
...
hal-01878015v1  Conference papers
Federica Turi, Nathalie Gayraud, Maureen Clerc. Zero-calibration cVEP BCI using word prediction: a proof of concept
BCI 2018 - 7th International BCI Meeting, May 2018, Pacific Grove, California, United States
...
hal-00872484v1  Conference papers
Jonathan Grizou, Iñaki Iturrate, Luis Montesano, Manuel Lopes, Pierre-Yves Oudeyer. Zero-calibration BMIs for sequential tasks using error-related potentials
IROS 2013 Workshop on Neuroscience and Robotics, Nov 2013, Tokyo, Japan
...
inria-00069913v1  Reports
Sara Bouchenak, Daniel Hagimont. Zero Overhead Java Thread Migration
[Research Report] RT-0261, INRIA. 2002, pp.33
...
hal-03464840v1  Poster communications
César Sabater, Jan Ramon. Zero Knowledge Arguments for Verifiable Sampling
NeurIPS 2021 Workshop Privacy in Machine Learning, Dec 2021, Sydney (Virtual), Australia
...
inria-00070709v1  Reports
Laurent Baratchart, R. Küstner, V. Totik. Zero distributions via orthogonality
RR-5291, INRIA. 2004, pp.34
...
hal-03211710v3  Conference papers
Ludovic Sacchelli, Jean-Baptiste Caillau, Thierry Combot, Jean-Baptiste Pomet. Zermelo-Markov-Dubins with two trailers
LHMNC 2021 - 7th IFAC Workshop on Lagrangian and Hamiltonian Methods for Nonlinear Control, Oct 2021, Berlin, Germany. pp.249-245, ⟨10.1016/j.ifacol.2021.11.086⟩
...
hal-02375015v1  Conference papers
Jean-Baptiste Caillau, Sofya Maslovskaya, Thomas Mensch, Timothée Moulinier, Jean-Baptiste Pomet. Zermelo-Markov-Dubins problem and extensions in marine navigation
CDC 2019 - 58th IEEE Conference on Decision and Control, Dec 2019, Nice, France. pp.517-522, ⟨10.1109/CDC40024.2019.9029293⟩
...
hal-03209491v3  Preprints, Working Papers, ...
Bernard Bonnard, Olivier Cots, Boris Wembe. Zermelo Navigation Problems on Surfaces of Revolution and Geometric Optimal Control
2022
...
hal-03597580v1  Journal articles
Matthieu Gouel, Kevin Vermeulen, Maxime Mouchet, Justin Rohrer, Olivier Fourmaux et al.  Zeph & Iris map the internet: A resilient reinforcement learning approach to distributed IP route tracing
Computer Communication Review, Association for Computing Machinery, 2022, 52 (1), pp.2-9. ⟨10.1145/3523230.3523232⟩
...
hal-03656974v1  Conference papers
Matthieu Gouel, Kevin Vermeulen, Maxime Mouchet, Justin Rohrer, Olivier Fourmaux et al.  Zeph & Iris cartographient l'internet
CORES 2022 – 7ème Rencontres Francophones sur la Conception de Protocoles, l’Évaluation de Performance et l’Expérimentation des Réseaux de Communication, May 2022, Saint-Rémy-Lès-Chevreuse, France
...
hal-00462453v1  Journal articles
René Schott, Stacey Staples. ZEONS, LATTICES OF PARTITIONS, AND FREE PROBABILITY
communications in stochastic analysis, 2010, 4 (3), pp.00-00
...
hal-01888802v1  Conference papers
Jeronimo Barbosa, Marcelo Wanderley, Stéphane Huot. ZenStates: Easy-to-Understand Yet Expressive Specifications for Creative Interactive Environments
VL/HCC 2018 - IEEE Symposium on Visual Languages and Human-Centric Computing, Oct 2018, Lisbon, Portugal
...
inria-00315920v1  Conference papers
Richard Bonichon, David Delahaye, Damien Doligez. Zenon: an Extensible Automated Theorem Prover Producing Checkable Proofs
LPAR 2007 - 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, Oct 2007, Yerevan, Armenia. pp.151-165, ⟨10.1007/978-3-540-75560-9_13⟩
...
hal-00909784v1  Conference papers
David Delahaye, Damien Doligez, Frédéric Gilbert, Pierre Halmagrand, Olivier Hermant. Zenon Modulo: When Achilles Outruns the Tortoise using Deduction Modulo
LPAR - Logic for Programming Artificial Intelligence and Reasoning - 2013, Dec 2013, Stellenbosch, South Africa. pp.274-290, ⟨10.1007/978-3-642-45221-5_20⟩
lirmm-00748563v1  Journal articles
Esther Pacitti, Patrick Valduriez. Zenith: Scientific Data Management on a Large Scale
ERCIM News, ERCIM, 2012, 2012 (89), pp.2
hal-01279011v1  Conference papers
Diana Joumblatt, François Espinet, D. Rossi. Zen and the art of network troubleshooting: a hands on experimental study
Traffic Monitoring and Analysis (TMA'15), Apr 2015, Barcellona, Spain
...
hal-00909029v1  Conference papers
Timothy Bourke, Marc Pouzet. Zélus: A Synchronous Language with ODEs
HSCC - 16th International Conference on Hybrid systems: computation and control, Calin Belta and Franjo Ivančić, Apr 2013, Philadelphia, United States. pp.113-118, ⟨10.1145/2461328.2461348⟩
Designed by Inria-IES Team : http://hal.inria.fr/    Hosted by HAL : http://hal.archives-ouvertes.fr/