|
||
---|---|---|
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-03268864v1
Journal articles
应对网络空间系统性风险需要全球性策略 网络传播 = New Media, Cyberspace Administration of China, 2021 |
||
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
Ускоренный спуск по случайному направлению с неевклидовой прокс-структурой Automation and Remote Control / Avtomatika i Telemekhanika, MAIK Nauka/Interperiodica, 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⟩ ![]() |
||
|
||
hal-01882395v1
Journal articles
χ-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, ...
φ-FEM: an optimally convergent and easily implementable immersed boundary method for particulate flows and Stokes equations 2022 |
||
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 |
||
hal-01906996v1
Conference papers
μ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, ...
λμ-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-03596856v1
Journal articles
ε-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
δ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
Δ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
β-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
β-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
β-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, pp.626679. ⟨10.3389/fcell.2020.626679⟩ |
||
hal-03420871v1
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, Varsovie, 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 MCS 2020 - Monte Carlo Search workshop, Jan 2021, Virtual, Japan. pp.1-8 |
||
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-03155694v1
Conference papers
Zoetrope Genetic Programming for Regression GECCO 2021, ACM, Jul 2021, Lille, France. pp.776-784 |
||
hal-01952480v1
Conference papers
Zircaloy-4 cladding hydride reorientation under ring compression test conditions Top Fuel 2009, Sep 2009, Paris, France |
||
hal-00923877v1
Conference papers
Zigzag Zoology: Rips Zigzags for Homology Inference Symposium on Computational Geometry, 2013, Rio de Janeiro, Brazil |
||
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-00755280v1
Reports
Zigzag Zoology: Rips Zigzags for Homology Inference [Research Report] RR-8141, INRIA. 2012, pp.48 |
||
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 ISCCSP 2008 - 4th International Symposium on Communications, Control and Signal Processing, 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 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
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
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-01428997v1
Conference papers
Zero-sum games, non-archimedean convexity and sinuous central paths 2016 Conference on Applied Mathematics, Aug 2016, Hong Kong, China |
||
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-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 |
||
hal-03290860v2
Conference papers
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
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-03464840v1
Poster communications
Zero Knowledge Arguments for Verifiable Sampling NeurIPS 2021 Workshop Privacy in Machine Learning, Dec 2021, Sydney (Virtual), Australia |
||
|
||
hal-03211710v3
Conference papers
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
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, ...
Zermelo Navigation Problems on Surfaces of Revolution and Geometric Optimal Control 2022 |
||
hal-03597580v1
Journal articles
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
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
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⟩ |
||
|