105378 results  save search


...
hal-01644290v1  Journal articles
Kai HuTeng ZhangLihong ShangZhibing YangJean-Pierre Talpin. 面向同步规范的并行代码自动生成
Journal of Software, Science in China Press, 2017, 28, pp.1-15. ⟨10.13328/j.cnki.jos.005056⟩
...
hal-02133560v1  Journal articles
Shiming ZouHongxin ZhangQian BoleiXavier Granier. 基于着色区间约束的法向纹理编辑方法
Journal of Computer-Aided Design and Computer Graphics, 2011, 23 (12), pp.2067-2073
...
hal-01798576v1  Journal articles
Andrii ShachykovPatrick HenaffOlexandr 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-02379302v1  Journal articles
Emmanuelle LeratH. 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 TrotignonLan Anh Pham. χ-bounds, operations, and chords
Journal of Graph Theory, Wiley, 2018, 88 (2), pp.312 - 336. ⟨10.1002/jgt.22214⟩
...
inria-00610934v1  Journal articles
Jianneng CaoPanagiotis KarrasChedy RaïssiKian-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 FehrOlivier BuffetVincent ThomasJilles Steeve 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-01218958v1  Conference papers
Matteo GuerraCarlos VázquezDenis EfimovGang ZhengLeonid 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-01423494v1  Conference papers
Oumayma BahriEl-Ghazali TalbiNahla 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-00992784v1  Conference papers
David BonninCorentin Travers. α-Register
OPODIS, 2013, Unknown, pp.53-67
...
hal-01804927v1  Conference papers
Antoine CourtayMickaël Le GentilOlivier BerderArnaud CarerPascal 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 JeandelSimon PerdrixRenaud VilmartQuanlong 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üneHasnaa 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⟩
...
inria-00510159v1  Conference papers
Samuel HornusJared HoberockSylvain LefebvreJohn C. Hart. ZP+: correct Z-pass stencil shadows
Symposium on Interactive 3D Graphics and Games, ACM, 2005, Washington, United States
...
hal-01391281v1  Conference papers
Mathieu Le GocLawrence KimAli ParsaeiJean-Daniel FeketePierre 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 WangWentao TangQinghua ZhangVicenc PuigYi 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, Warsaw, Poland. pp.494-499, ⟨10.1016/j.ifacol.2018.09.622⟩
...
hal-01526577v2  Conference papers
Guillaume GautierR. BardenetMichal Valko. Zonotope hit-and-run for efficient sampling from projection DPPs
International Conference on Machine Learning, 2017, Sydney, Australia
hal-01141841v1  Journal articles
Ronan BoitardRémi CozotDominique ThoreauKadi 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 ZimmerFlorent LafargePierre AlliezLeif Kobbelt. Zometool Shape Approximation
Geometric Modeling and Processing, Jun 2014, Singapore, Singapore
...
hal-01054395v1  Conference papers
Karën FortBruno GuillaumeValentin 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-00755280v1  Reports
Steve OudotDonald Sheehy. Zigzag Zoology: Rips Zigzags for Homology Inference
[Research Report] RR-8141, INRIA. 2012, pp.48
...
hal-00923877v1  Conference papers
Steve OudotDonald Sheehy. Zigzag Zoology: Rips Zigzags for Homology Inference
Symposium on Computational Geometry, 2013, Rio de Janeiro, Brazil
...
hal-01094600v1  Journal articles
Steve Y. OudotDonald R. Sheehy. Zigzag zoology: Rips zigzags for homology inference
Foundations of Computational Mathematics, Springer Verlag, 2014, pp.31. ⟨10.1145/2493132.2462371⟩
...
hal-01091949v1  Conference papers
Clément MariaSteve Oudot. Zigzag Persistence via Reflections and Transpositions
ACM-SIAM Symposium on Discrete Algorithms, Jan 2015, San Diego, United States
...
hal-00449421v1  Conference papers
Alain KibangouCyrille SicletLaurent Ros. 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
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 AntoniuAlexandru CostanOvidiu-Cristian Marcu. 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
Gerardo Rubino. Zero-variance Approaches in Static Reliability Problems
SIAM Conference on Uncertainty Quantification, EPFL, Suisse, Apr 2016, Lausanne, Switzerland
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-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-00738200v1  Conference papers
Christina BouraAnne 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 MuscarielloGuillaume GravierFré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 MarrChris SeatonSté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 CatalanoMario Di RaimondoDario FioreMariagrazia 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]. PSL Research University, 2017. English. ⟨NNT : 2017PSLEE065⟩
...
hal-02151645v1  Conference papers
Benoît LibertKhoa NguyenBenjamin TanHuaxiong 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⟩
...
inria-00374524v1  Journal articles
Julien DusserThomas PiquetAndré Seznec. Zero-Content Augmented Caches
23rd International Conference on Supercomputing, ACM, 2009, ⟨10.1145/1542275.1542288⟩
...
inria-00337742v1  Reports
Julien DusserThomas PiquetAndré Seznec. Zero-Content Augmented Caches
[Research Report] RR-6705, INRIA. 2008
...
hal-01878015v1  Conference papers
Federica TuriNathalie GayraudMaureen 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
...
inria-00069913v1  Reports
Sara BouchenakDaniel Hagimont. Zero Overhead Java Thread Migration
[Research Report] RT-0261, INRIA. 2002, pp.33
...
hal-02375015v1  Conference papers
Jean-Baptiste CaillauSofya MaslovskayaThomas MenschTimothée MoulinierJean-Baptiste Pomet. Zermelo-Markov-Dubins problem and extensions in marine navigation
CDC 2019 - 58th IEEE Conference on Decision and Control, Dec 2019, Nice, France
...
hal-00462453v1  Journal articles
René SchottStacey Staples. ZEONS, LATTICES OF PARTITIONS, AND FREE PROBABILITY
communications in stochastic analysis, 2010, 4 (3), pp.00-00
...
hal-01888802v1  Conference papers
Jeronimo BarbosaMarcelo WanderleySté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 BonichonDavid DelahayeDamien 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 DelahayeDamien DoligezFrédéric GilbertPierre HalmagrandOlivier 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 PacittiPatrick Valduriez. Zenith: Scientific Data Management on a Large Scale
ERCIM News, ERCIM, 2012, 2012 (89), pp.2
hal-01279011v1  Conference papers
Diana JoumblattFrançois EspinetD. 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 BourkeMarc 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⟩
hal-00814448v1  Journal articles
Laurent BurgyLaurent RéveillèreJulia LawallG. Muller. 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
Joffroy BeauquierJanna BurmanValentin Malykh. 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-00730930v1  Journal articles
Julien MercadalLaurent RéveillèreYérom-David BrombergBertrand Le GalTegawendé F. Bissyandé et al.  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-00189423v1  Conference papers
Laszlo SzathmaryAmedeo NapoliSergei O. Kuznetsov. 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-00784421v1  Journal articles
Paulo Roberto JuniorMauro FonsecaAnelise MunarettoAline VianaArtur Ziviani. ZAP: a distributed channel assignment algorithm for cognitive radio networks
EURASIP Journal on Wireless Communications and Networking, SpringerOpen, 2011, 2011 (1), pp.27
hal-02429733v1  Conference papers
Adithya DevrajAna BušicSean Meyn. 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
Niklas ElmqvistThanh-Nghi DoHoward GoodellNathalie HenryJean-Daniel Fekete. 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  Conference papers
Anne Baillot. Zahlenwahn oder Textliebe? Digitale Philologie als Disziplin und als Weltanschauung
Machines / Maschinen Les 5O ans de l'AGES, Association des Germanistes de l'Enseignement Supérieur, Jun 2017, Nantes, France
hal-00826043v1  Journal articles
Bilal AmgharA.-M. DarcherifJean-Pierre Barbot. 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⟩
hal-00308249v1  Conference papers
Martin HachetFabrice DeclePascal Guitton. Z-Goto for Efficient Navigation in 3D Environments from Discrete Inputs
Proceedings of Virtual Reality Software and Technology (VRST 2006), 2006, Cyprus. pp.236--239
...
hal-01258718v1  Conference papers
Francesco de Comite. Yvon-Villarceau Circle Equivalents on Dupin Cyclides
Bridges 2015: Mathematics, Music, Art, Architecture, Culture , Jul 2015, Baltimore, United States
...
inria-00070429v1  Reports
Arnaud de la Fortelle. Yule process sample path asymptotics
[Research Report] RR-5577, INRIA. 2005, pp.14
hal-00863378v1  Conference papers
Robert KünnemannGraham Steel. YubiSecure? Formal Security Analysis Results for the Yubikey and YubiHSM
Revised Selected Papers of the 8th Workshop on Security and Trust Management (STM'12), 2012, Pisa, Italy. pp.257-272, ⟨10.1007/978-3-642-38004-4_17⟩
...
hal-01185075v1  Conference papers
Karine PiresGwendal Simon. YouTube Live and Twitch: A Tour of User-Generated Live Streaming Systems
MMSys 2015 : 6th ACM Multimedia Systems Conference, Mar 2015, Portland, United States. pp.225 - 230
hal-01261209v1  Conference papers
Gerardo RubinoSofiene Jelassi. YouSOS: A victim-centered management solution of rescue operations
2nd International Conference on Information and Communication Technologies for Disaster Management (ICT-DM 2015), Dec 2015, Rennes, France
hal-01651125v1  Conference papers
Olivier Le MeurAntoine CoutrotZhi LiuPia RämäAdrien Le Roch et al.  Your gaze betrays your age
25th European Signal Processing Conference - EUSIPCO, Aug 2017, Kos, Greece
hal-00870637v1  Conference papers
Mohammed El Mehdi DiouriOlivier GlückLaurent LefèvreJean-Christophe Mignot. Your Cluster is not Power Homogeneous: Take Care when Designing Green Schedulers!
IGCC - 4th IEEE International Green Computing Conference, Jun 2013, Arlington, United States. pp.1-10, ⟨10.1109/IGCC.2013.6604506⟩