|
||
---|---|---|
hal-01644290v1
Journal articles
面向同步规范的并行代码自动生成 Journal of Software, Science in China Press, 2017, 28, pp.1-15. ⟨10.13328/j.cnki.jos.005056⟩ |
||
hal-02942060v1
Books
无人机网络与通信 (UAV Networks and Communications) China Machine Press (for Cambridge University Press), 2019 |
||
hal-02133560v1
Journal articles
基于着色区间约束的法向纹理编辑方法 Jisuanji-fuzhu-sheji-yu-tuxingxue-xuebao / Journal of computer-aided design & computer graphics, Beijing, 2011, 23 (12), pp.2067-2073 |
||
hal-00781242v1
Journal articles
基于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
基于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
Ускоренный спуск по случайному направлению с неевклидовой прокс-структурой Автоматика и телемеханика, 2019, 80 (4), pp.126-143. ⟨10.1134/S0005117919040076⟩ |
||
hal-02321721v1
Journal articles
О верхней оценке математического ожидания нормы равномерно распределённого на сфере вектора и явлении концентрации равномерной меры на сфере Matematicheskie Zametki / Mathematical Notes, MAIK Nauka/Interperiodica, 2019, 110 (6), pp.11-19. ⟨10.1134/S0001434619070022⟩ |
||
hal-01798576v1
Journal articles
Нейро-мускульноскелетный симулятор ритмических движений тазобедренного сустава человека 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-01798555v1
Directions of work or proceedings
Моделирование ритмических движений тазобедренного сустава человека на нейронном и мускульноскелетном уровне May 2018, Kyiv, Ukraine. National Technical University of Ukraine "Kyiv Polytechnic Institute", 2018 |
||
hal-01928217v1
Conference papers
Класифікація комбінованих уявних рухів за допомогою бінарних класифікаторів у нейрокомп’ютерних інтерфейсах XVII International scientific and technical conference “Physical processes and fields of technical and biological objects”, Nov 2018, Kremenchuk, Ukraine |
||
hal-02379302v1
Journal articles
Ψ-Φ: Exploring the outer limits of bacterial pseudogenes Genome Research, Cold Spring Harbor Laboratory Press, 2004, 14, pp.2273--2278 |
||
hal-01904081v1
Journal articles
χ-bounds, operations, and chords Journal of Graph Theory, Wiley, 2018, 88 (2), pp.312 - 336. ⟨10.1002/jgt.22214⟩ ![]() |
||
|
||
inria-00610934v1
Journal articles
ρ-uncertainty: Inference-Proof Transaction Anonymization Proceedings of the VLDB Endowment (PVLDB), VLDB Endowment, 2010, 3 (1), pp.1033-1044 |
||
hal-01903685v2
Conference papers
ρ-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
π-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
π-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-00512570v1
Journal articles
π-AAL: An Architecture Analysis Language for Formally Specifying and Verifying Structural and Behavioural Properties of Software Architectures Software Engineering Notes, Association for Computing Machinery, 2006, 31 (2), pp.1-19 |
||
inria-00524942v1
Preprints, Working Papers, ...
λμ-calculus and Λμ-calculus: a Capital Difference 2009 |
||
hal-01218958v1
Conference papers
ε-Invariant Output Stabilization: Homogeneous Approach and Dead Zone Compensation 54th IEEE Conference on Decision and Control (CDC), 2015, Dec 2015, Osaka, Japan |
||
hal-02991811v1
Journal articles
δ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-02486313v1
Journal articles
δ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-01423494v1
Conference papers
β-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-01604784v1
Journal articles
β-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-02281847v1
Journal articles
ZYX-1, the unique zyxin protein of \textitCaenorhabditis elegans, is involved in dystrophin-dependent muscle degeneration Molecular Biology of the Cell, American Society for Cell Biology, 2013, 24, pp.1232--49. ⟨10.1091/mbc.E12-09-0679⟩ ![]() |
||
hal-01739597v1
Poster communications
Zyggie: Wireless body area network prototype for gesture recognition and geolocation Colloque du GDR SoC-SiP, Jun 2016, Nantes, France |
||
hal-01804927v1
Conference papers
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
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
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
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
ZTN OBSERVABILITY FOR PARALLEL MULTI-CELL CHOPPER ELECTRIMACS, Jun 2011, Cergy, France |
||
hal-03113925v1
Journal articles
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, ⟨10.3389/fcell.2020.626679⟩ ![]() |
||
inria-00510159v1
Conference papers
ZP+: correct Z-pass stencil shadows Symposium on Interactive 3D Graphics and Games, ACM, 2005, Washington, United States |
||
hal-01482165v1
Journal articles
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
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
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, Warsaw, Poland. pp.494-499, ⟨10.1016/j.ifacol.2018.09.622⟩ |
||
hal-01526577v2
Conference papers
Zonotope hit-and-run for efficient sampling from projection DPPs International Conference on Machine Learning, 2017, Sydney, Australia |
||
hal-03118264v1
Conference papers
zoNNscan: a boundary-entropy index for zone inspection of neural models Monte Carlo Search workshop (MCS), Jan 2021, Virtual, Japan |
||
hal-01981628v1
Conference papers
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
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
Zometool Shape Approximation Geometric Modeling and Processing, Jun 2014, Singapore, Singapore |
||
hal-01054395v1
Conference papers
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
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-01952480v1
Conference papers
Zircaloy-4 cladding hydride reorientation under ring compression test conditions Proceedings of Top Fuel 2009, Sep 2009, Paris, France |
||
hal-00755280v1
Reports
Zigzag Zoology: Rips Zigzags for Homology Inference [Research Report] RR-8141, INRIA. 2012, pp.48 |
||
hal-01094600v1
Journal articles
Zigzag zoology: Rips zigzags for homology inference Foundations of Computational Mathematics, Springer Verlag, 2014, pp.31. ⟨10.1145/2493132.2462371⟩ |
||
hal-00923877v1
Conference papers
Zigzag Zoology: Rips Zigzags for Homology Inference Symposium on Computational Geometry, 2013, Rio de Janeiro, Brazil |
||
inria-00520171v1
Reports
Zigzag Persistent Homology in Matrix Multiplication Time [Research Report] RR-7393, INRIA. 2010 |
||
hal-01091949v1
Conference papers
Zigzag Persistence via Reflections and Transpositions ACM-SIAM Symposium on Discrete Algorithms, Jan 2015, San Diego, United States |
||
hal-00449421v1
Conference papers
ZF OFDM Receiver for Underwater Communications 4th International Symposium on Communications, Control and Signal Processing (ISCCSP 2010), Mar 2010, Limassol, Cyprus. pp.n.c |
||
hal-00413217v1
Journal articles
Zeugme sémantique Revue de Sémantique et Pragmatique, Presses de l'Université d'Orléans, 2010, pp.231-247 |
||
hal-02428382v1
Conference papers
ZettaFlow: Towards High-Performance ML-based Analytics across the Digital Continuum BDEC2 2019 - Workshop on Big Data and Extreme-scale Computing, San Diego Supercomputing Center, Oct 2019, San Diego, United States. pp.4 |
||
hal-01424094v1
Conference papers
Zero-variance Approaches in Static Reliability Problems SIAM Conference on Uncertainty Quantification, EPFL, Suisse, Apr 2016, Lausanne, Switzerland |
||
hal-02413402v1
Journal articles
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-01428994v1
Conference papers
Zero-sum games, non-archimedean convexity and sinuous central paths Workshop: Advances in Convex Analysis and Optimization, Jul 2016, Erice, Italy |
||
hal-01428997v1
Conference papers
Zero-sum games, non-archimedean convexity and sinuous central paths 2016 Conference on Applied Mathematics, Aug 2016, Hong Kong, China |
||
hal-00738200v1
Conference papers
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 |
||
hal-01643056v1
Journal articles
Zero-Sum Discounted Reward Criterion Games for Piecewise Deterministic Markov Processes Applied Mathematics and Optimization, Springer Verlag (Germany), 2018, ⟨10.1007/s00245-017-9416-2⟩ |
||
inria-00597907v1
Conference papers
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-01073310v1
Conference papers
Zero-parameter mono and multi objective methods for the tuning of controllers based on Particle Swarm Optimization Automatics and Informatics'2014, Oct 2014, Sofia, Bulgaria |
||
hal-01141135v1
Conference papers
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
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
Zero-knowledge proofs for secure computation Cryptography and Security [cs.CR]. Université Paris sciences et lettres, 2017. English. ⟨NNT : 2017PSLEE065⟩ |
||
hal-02151645v1
Conference papers
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
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
Zero-Knowledge Arguments for Lattice-Based PRFs and Applications to E-Cash Asiacrypt 2017, Dec 2017, Hong Kong, China |
||
hal-01314642v1
Conference papers
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-02491316v1
Journal articles
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 |
||
|
||
inria-00374524v1
Conference papers
Zero-Content Augmented Caches ICS 2009 : 23rd International Conference on Supercomputing, Jun 2009, New York, United States. ⟨10.1145/1542275.1542288⟩ |
||
hal-01878015v1
Conference papers
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
Zero-calibration BMIs for sequential tasks using error-related potentials IROS 2013 Workshop on Neuroscience and Robotics, Nov 2013, Tokyo, Japan |
||
inria-00069913v1
Reports
Zero Overhead Java Thread Migration [Research Report] RT-0261, INRIA. 2002, pp.33 |
||
|
||
hal-02375015v1
Conference papers
Zermelo-Markov-Dubins problem and extensions in marine navigation CDC 2019 - 58th IEEE Conference on Decision and Control, Dec 2019, Nice, France. ⟨10.1109/CDC40024.2019.9029293⟩ |
||
hal-00462453v1
Journal articles
ZEONS, LATTICES OF PARTITIONS, AND FREE PROBABILITY communications in stochastic analysis, 2010, 4 (3), pp.00-00 |
||
hal-01888802v1
Conference papers
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
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
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
Zenith: Scientific Data Management on a Large Scale ERCIM News, ERCIM, 2012, 2012 (89), pp.2 |
||
hal-01279011v1
Conference papers
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
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⟩ |
||
hal-00814448v1
Journal articles
Zebu: A Language-Based Approach for Network Protocol Message Processing IEEE Transactions on Software Engineering, Institute of Electrical and Electronics Engineers, 2011, 37 (4), pp.575-591 |
||
inria-00586503v2
Conference papers
ZebraNet Analysé dans le Modèle des Protocoles de Population 13es Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (AlgoTel), 2011, Cap Estérel, France |
||
hal-02107551v1
Journal articles
Zebra diel migrations reduce encounter risk with lions at night Journal of Animal Ecology, Wiley, 2019, 88 (1), pp.92-101. ⟨10.1111/1365-2656.12910⟩ ![]() |
||
hal-00730930v1
Journal articles
Zebra : Building Efficient Network Message Parsers for Embedded Systems IEEE Embedded Systems Letters, Institute of Electrical and Electronics Engineers, 2012, PP (99), pp.1-4. ⟨10.1109/LES.2012.2208617⟩ |
||
inria-00001271v1
Reports
ZART: A Multifunctional Itemset Mining Algorithm [Research Report] 2006, pp.19 |
||
inria-00189423v1
Conference papers
ZART: A Multifunctional Itemset Mining Algorithm 5th International Conference on Concept Lattices and Their Applications (CLA '07), Oct 2007, Montpellier, France. pp.26--37 |
||
hal-00134786v1
Preprints, Working Papers, ...
Zariski-van Kampen theorem for higher homotopy groups 2003 ![]() |
||
hal-00691351v1
Conference papers
ZAP: Um Algorítmo de Atribuição Distribuída de Canais para Mitigação de Interferências em Redes com Rádio Cognitivo Brazilian Symposium on Computer Networks (SBRC), May 2010, Gramado, Brazil |
||
hal-00784421v1
Journal articles
ZAP: a distributed channel assignment algorithm for cognitive radio networks EURASIP Journal on Wireless Communications and Networking, SpringerOpen, 2011, 2011 (1), pp.27 |
||
hal-02425985v1
Conference papers
Zap Q-Learning With Nonlinear Function Approximation NeurIPS 2020: Thirty-fourth Conference on Neural Information Processing Systems, Dec 2020, Vancouver / Virtual, Canada ![]() |
||
|
||
hal-03094388v1
Conference papers
Zap Q-Learning for Optimal Stopping ACC 2020 - American Control Conference, Jul 2020, Denver / Virtual, United States. pp.3920-3925, ⟨10.23919/ACC45564.2020.9147481⟩ |
||
hal-02429733v1
Conference papers
Zap Q-Learning - A User's Guide ICC 2019 - Fifth Indian Control Conference, Jan 2019, New Delhi, India. pp.10-15, ⟨10.1109/INDIANCC.2019.8715554⟩ |
||
inria-00273796v1
Conference papers
ZAME: Interactive Large-Scale Graph Visualization IEEE Pacific Visualization Symposium 2008, IEEE, Mar 2008, Kyoto, Japan. pp.215-222, ⟨10.1109/PACIFICVIS.2008.4475479⟩ |
||
halshs-01562486v1
Book sections
Zahlenwahn oder Textliebe? Digitale Philologie als Disziplin und als Weltanschauung Johannes Dahm; Ruth Lambertz-Pollan; Maïwenn Roudaut; Bénédicte Terrisse. Machines/Maschinen. Les machines dans l'espace germanique: de l'automate de Kempelen à Kraftwerk, Presses Universitaires de Rennes, 2020, 978-2-7535-8002-2 |
||
hal-00826043v1
Journal articles
Z(TN )-Observability and control of parallel multicell chopper using Petri nets IET Power Electronics, The Institution of Engineering and Technology, 2013, IET Power Electronics, Volume 6 (issue 4), pp.710 - 720. ⟨10.1049/iet-pel.2012.0374⟩ |
||
|