Search - INRIA - Institut National de Recherche en Informatique et en Automatique

	1 2 3 4 5 6 7 8 9 10 Suivant Dernière	Relevance Author A→Z Author Z→A Title A→Z Title Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 results per page 50 results per page 100 results per page Merci d'indiquer la raison de votre demande o Export XML-TEI BibTeX EndNote CSV PDF RTF Advanced export... Syndicated feeds RSS ATOM
	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-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 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-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-01739597v1 Poster communications Antoine Courtay, Olivier Berder, Mickaël Le Gentil, Arnaud Carer. Zyggie: Wireless body area network prototype for gesture recognition and geolocation Colloque du GDR SoC-SiP, Jun 2016, Nantes, France
	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-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-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-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-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-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-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-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-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
	hal-01185075v1 Conference papers Karine Pires, Gwendal 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 Rubino, Sofiene 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-01169592v1 Other publications Tovi Grossman, Fanny Chevalier, Rubaiat H. Kazi. Your Paper Is Dead! Bringing Life to Research Articles with Animated Figures 2015, pp.461-470. ⟨10.1145/2702613.2732501⟩
	lirmm-01170968v1 Journal articles Raluca Uricaru, Célia Michotey, Helene Chiapello, Eric Rivals. YOC, A new strategy for pairwise alignment of collinear genomes BMC Bioinformatics, BioMed Central, 2015, 16 (1), pp.16:111. ⟨10.1186/s12859-015-0530-3⟩
	hal-02445072v1 Poster communications Thomas Alain Darde, Francois Moreews, Yvan Le Bras, Cyril Monjeaud, Frédéric Chalmel. Yet another Galaxy Genome viewer GCC, Jul 2015, Norwich, United Kingdom
	hal-01270792v1 Reports Somayeh Sardashti, André Seznec, David A. Wood. Yet Another Compressed Cache: a Low Cost Yet Effective Compressed Cache [Research Report] RR-8853, Inria. 2016, pp.23
	hal-01354248v1 Journal articles Somayeh Sardashti, André Seznec, David A. Wood. Yet Another Compressed Cache: a Low Cost Yet Effective Compressed Cache ACM Transactions on Architecture and Code Optimization, Association for Computing Machinery, 2016, 13, pp.1-25. ⟨10.1145/2976740⟩
	hal-01082635v3 Conference papers Pierre Genevès, Nils Gesbert. XQuery and Static Typing: Tackling the Problem of Backward Axes ICFP (International Conference on Functional Programming), ACM SIGPLAN, Aug 2015, Vancouver, Canada. ⟨10.1145/2784731.2784746⟩
	hal-01396142v1 Journal articles Carlos Aguilar Melchor, Joris Barrier, Laurent Fousse, Marc-Olivier Killijian. XPIR : Private Information Retrieval for Everyone Proceedings on Privacy Enhancing Technologies, De Gruyter Open, 2016, 2016, pp.155-174. ⟨10.1515/popets-2016-0010⟩
	hal-01248545v1 Journal articles Mohammed El-Kebir, Hayssam Soueidan, Thomas Hume, Daniela Beisser, Marcus Dittrich et al. xHeinz: an algorithm for mining cross-species network modules under a flexible conservation model Bioinformatics, Oxford University Press (OUP), 2015, 31 (19), ⟨10.1093/bioinformatics/btv316⟩
	hal-01155144v1 Conference papers Imen Fassi, Philippe Clauss. XFOR: Filling the Gap between Automatic Loop Optimization and Peak Performance 14th International Symposium on Parallel and Distributed Computing, Jun 2015, Limassol, Cyprus. ⟨10.1109/ISPDC.2015.19⟩
	tel-01251721v1 Theses Imen Fassi. XFOR (Multifor): A New Programming Structure to Ease the Formulation of Efficient Loop Optimizations Computation and Language [cs.CL]. Université de Strasbourg, 2015. English
	hal-01357738v1 Conference papers Soumia Lilia Berrahou, Patrice Buche, Juliette Dibie-Barthelemy, Mathieu Roche. Xart system: discovering and extracting correlated arguments of n-ary relations from text 6th International Conference on Web Intelligence, Mining and Semantics (WIMS), Jun 2016, Nimes, France. pp.8:1-8:12, ⟨10.1145/2912845.2912855⟩
	1 2 3 4 5 6 7 8 9 10 Suivant Dernière	Relevance Author A→Z Author Z→A Title A→Z Title Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 results per page 50 results per page 100 results per page o Export XML-TEI BibTeX EndNote CSV PDF RTF Advanced export... Syndicated feeds RSS ATOM

Document types Minimize

Author Minimize

Subject field Minimize

Laboratory Minimize

Language Minimize

Keyword Minimize

Type of deposit Minimize

Year Minimize