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 HTML Advanced export... Syndicated feeds RSS ATOM
	inria-00100219v1 Reports yannick Chevalier, Luca Compagna, Jorge Cuellar, Paul Hankes Drielsma, Jacopo Mantovani et al. A High Level Protocol Specification Language for Industrial Security-Sensitive Protocols [Intern report] A04-R-067 \|\| chevalier04b, 2004, 17 p
	hal-00724545v1 Journal articles Corentin Briat, Alexandre Seuret. A looped-functional approach for robust stability analysis of linear impulsive systems Systems and Control Letters, Elsevier, 2012, 61 (10), pp.980-988. ⟨10.1016/j.sysconle.2012.07.008⟩
	hal-02438461v1 Conference papers Mihai Dusmanu, Ignacio Rocco, Tomas Pajdla, Marc Pollefeys, Josef Sivic et al. D2-Net: A Trainable CNN for Joint Detection and Description of Local Features CVPR 2019 - IEEE Conference on Computer Vision and Pattern Recognition, Jun 2019, Long Beach, United States
	lirmm-00331330v1 Journal articles Khalid Saleem, Zohra Bellahsene, Ela Hunt. PORSCHE: Performance ORiented SCHEma mediation Information Systems, Elsevier, 2008, 33 (7-8), pp.637-657. ⟨10.1016/j.is.2008.01.010⟩
	hal-02100146v1 Journal articles Nicolas Salliou, Rallou Thomopoulos. Je mange moins de viande ! Quels arguments ? La revue française de la recherche en viandes et produits carnés, AB CORP INTERNATIONAL, 2018, pp.VPC-2018-34-4-5
	hal-03200122v1 Journal articles Xavier Claeys, Lorenzo Giacomel, Ralf Hiptmair, Carolina Urzúa-Torres. Quotient-space boundary element methods for scattering at complex screens BIT Numerical Mathematics, Springer Verlag, 2021, ⟨10.1007/s10543-021-00859-y⟩
	hal-02988939v1 Reports Frédéric Cazals, Christian Mueller, Charles Robert, Andrea Roth. Towards Morse Theory for Point Cloud Data [Research Report] RR-8331, RESEARCH CENTRE SOPHIA ANTIPOLIS – MÉDITERRANÉE. 2013
	hal-02265765v1 Conference papers Patrick Taillandier, Nicolas Salliou, Rallou Thomopoulos. Coupling agent-based models and argumentation framework to simulate opinion dynamics: application to vegetarian diet diffusion Social Simulation Conference 2019, Sep 2019, Mainz, Germany
	hal-00750950v1 Journal articles Oliver Schütze, Marco Laumanns, Emilia Tantar, Carlos A. Coello Coello, El-Ghazali Talbi. Computing gap-free Pareto front approximations with stochastic search algorithms Evolutionary Computation, Massachusetts Institute of Technology Press (MIT Press), 2010, 18 (1), pp.65-96. ⟨10.1162/evco.2010.18.1.18103⟩
	inria-00108051v1 Journal articles yuri Bilu, Guillaume Hanrot. Thue equations with composite fields Acta Arithmetica, Instytut Matematyczny PAN, 1999, 88 (4), pp.311--326
	hal-00830003v1 Conference papers Andrea Di Pietro, Felipe Huici, Nicola Bonelli, Brian Trammell, Petr Kastovsky et al. Toward Composable Network Traffic Measurement INFOCOM 2013 : 32nd IEEE Conference on Computer Communications, Apr 2013, Turin, Italy
	hal-01669203v1 Conference papers Dan Alistarh, Bartlomiej Dudek, Adrian Kosowski, David Soloveichik, Przemyslaw Uznanski. Robust Detection in Leak-Prone Population Protocols DNA 2017 - 23rd International Conference DNA Computing and Molecular Programming, Sep 2017, Austin, TX, United States. pp.155-171, ⟨10.1007/978-3-319-66799-7_11⟩
	hal-01056600v1 Conference papers Antoine Milliez, Gioacchino Noris, Ilya Baran, Stelian Coros, Marie-Paule Cani et al. Hierarchical Motion Brushes for Animation Instancing NPAR '14 - Workshop on Non-Photorealistic Animation and Rendering, Aug 2014, Vancouver, Canada. pp.71-79, ⟨10.1145/2630397.2630402⟩
	hal-00516411v3 Journal articles Damien Rohmer, Tiberiu Popa, Marie-Paule Cani, Stefanie Hahmann, Sheffer Alla. Animation Wrinkling: Augmenting Coarse Cloth Simulations with Realistic-Looking Wrinkles ACM Transactions on Graphics, Association for Computing Machinery, 2010, 29 (5), pp.157. ⟨10.1145/1882261.1866183⟩
	inria-00182424v1 Conference papers Claudia Lavinia Ignat, Gérald Oster, Pascal Molli, Hala Skaf-Molli. A Collaborative Writing Mode for Avoiding Blind Modifications 9th International Workshop on Collaborative Editing Systems - IWCES 2007, Nov 2007, Sanibel Island, Florida, United States
	lirmm-00136407v1 Directions of work or proceedings Sihem Amer-yahia, Zohra Bellahsene, Ela Hunt, Rainer Unland, Jeffrey Xu yu. Database and XML Technologies, 4th International XML Database Symposium,XSym 2006, Seoul, Korea, September 10-11, 2006, Proceedings Seoul, South Korea. Lecture Notes in Computer Science (4156), Springer, 2006, 3-540-38877-7. ⟨10.1007/11841920⟩
	inria-00626929v4 Reports Alessandro Prest, Vittorio Ferrari, Cordelia Schmid. Explicit modeling of human-object interactions in realistic videos [Technical Report] RT-0411, 2011
	hal-03584185v1 Conference papers Tatiana Starikovskaya, Michal Svagerka, Przemysław Uznański. Lp Pattern Matching in a Stream 23rd International Conference on Approximation Algorithms for Combinatorial Optimization Problems and 24th International Conference on Randomization and Computation, Aug 2020, Virtual, Switzerland. ⟨10.4230/LIPIcs.APPROX/RANDOM.2020.35⟩
	hal-03215280v1 Book sections Patrick Taillandier, Nicolas Salliou, Rallou Thomopoulos. Coupling Agent-Based Models and Argumentation Framework to Simulate Opinion Dynamics: Application to Vegetarian Diet Diffusion Ahrweiler P.; Neumann M. Advances in Social Simulation : Proceedings of the 15th Social Simulation Conference: 23–27 September 2019, Springer, pp.341-353, 2021, 978-3-030-61502-4. ⟨10.1007/978-3-030-61503-1_33⟩
	hal-01435295v1 Journal articles Elvire de Beck, Wouter Vlemmings, Sébastien Muller, John H. Black, Eamon O'Gorman et al. ALMA observations of TiO 2 around VY CMa Journal of Physics: Conference Series, IOP Publishing, 2016, 728 (2), pp.id. 022009. ⟨10.1088/1742-6596/728/2/022009⟩
	hal-01251240v1 Preprints, Working Papers, ... Xavier Claeys, Ralf Hiptmair, Elke Spindler. Second-Kind Boundary Integral Equations for Scattering at Composite Partly Impenetrable Objects 2015
	hal-01461724v1 Journal articles Sébastien Lasvaux, Fanny Achim, Philippe Garat, B. Peuportier, Jérome Chevalier et al. Correlations in Life Cycle Impact Assessment methods (LCIA) and indicators for construction materials: What matters? Ecological Indicators, Elsevier, 2016, 67, pp.174-182. ⟨10.1016/j.ecolind.2016.01.056⟩
	hal-01312239v1 Journal articles Caterina Urban, Antoine Miné. Inference of ranking functions for proving temporal properties by abstract interpretation Computer Languages, Systems and Structures, Elsevier, 2015, ⟨10.1016/j.cl.2015.10.001⟩
	hal-03124472v1 Conference papers Emilie Rouzies, Claire Lauvernet, Bruno Sudret, Clémentine Prieur, Robert Faivre et al. Sensitivity analysis to evaluate a new spatialized process-oriented model of water and pesticide transfers at the catchment scale iEMSs 2020 - 10th Conference on International Environmental Modelling and Software Society, Sep 2020, Brussels, Belgium. pp.1-40
	hal-03454377v1 Conference papers Peiyuan Zhang, Antonio Orvieto, Hadi Daneshmand, Thomas Hofmann, Roy Smith. Revisiting the Role of Euler Numerical Integration on Acceleration and Stability in Convex Optimization AISTATS 2021 - 24th International Conference on Artifi-cial Intelligence and Statistics, Apr 2021, Virtual, Unknown Region
	hal-03003721v1 Reports Michel Abdalla, Dario Catalano, Romain Gay, Bogdan Ursu. Inner-Product Functional Encryption with Fine-Grained Access Control [Research Report] Report 2020/577, IACR Cryptology ePrint Archive. 2020
	hal-03130062v1 Journal articles David Sutter, Omar Fawzi, Renato Renner. Bounds on Lyapunov Exponents via Entropy Accumulation IEEE Transactions on Information Theory, Institute of Electrical and Electronics Engineers, 2021, 67 (1), pp.10-24. ⟨10.1109/TIT.2020.3026959⟩
	hal-03206221v1 Conference papers Fabien Grzeskowiak, David Gonon, Daniel Dugas, Diego Paez-Granados, Jen Jen Chung et al. Crowd against the machine: A simulation-based benchmark tool to evaluate and compare robot capabilities to navigate a human crowd ICRA 2021 - IEEE International Conference on Robotics and Automation, May 2021, Xian, China. pp.3879-3885
	hal-02458550v1 Journal articles Nicolas Vasilache, Oleksandr Zinenko, Theodoros Theodoridis, Priya Goyal, Zachary Devito et al. The Next 700 Accelerated Layers ACM Transactions on Architecture and Code Optimization, Association for Computing Machinery, 2019, 16 (4), pp.1-26. ⟨10.1145/3355606⟩
	inria-00536949v1 Reports J.I. Jimenez, Manuel Lopez, P. Smyth, Giambattista Gennari, Davide Raimondo et al. FeedNetBack-D01.04 - Tool Specifications [Contract] -. 2010
	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 HTML Advanced export... Syndicated feeds RSS ATOM

Document types Minimize

Author Minimize

Subject field Minimize

Laboratory Minimize

Language Minimize

Type of deposit Minimize

Year Minimize

Designed by Inria-IES Team : Hosted by HAL :