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

HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information

	1 2 3 4 5 6 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
	hal-03575953v1 Preprints, Working Papers, ... Houssam Zenati, Alberto Bietti, Eustache Diemert, Julien Mairal, Matthieu Martin et al. Efficient Kernel UCB for Contextual Bandits 2022
	hal-00911590v1 Directions of work or proceedings Jocelyne Erhel, Martin Gander, Laurence Halpern, Géraldine Pichot, Taoufik Sassi et al. Domain Decomposition Methods in Science and Engineering XXI Jocelyne Erhel and Martin Gander and Laurence Halpern and Géraldine Pichot and Taoufik Sassi and Olof Widlund. Springer, pp.800, 2014
	hal-03647973v1 Preprints, Working Papers, ... Thomas Chabal, Robin Strudel, Etienne Arlaud, Jean Ponce, Cordelia Schmid. Assembly Planning from Observations under Physical Constraints 2022
	hal-02120033v1 Journal articles Jimmy Etienne, Nicolas Ray, Daniele Panozzo, Samuel Hornus, Charlie Wang et al. CurviSlicer: Slightly curved slicing for 3-axis printers ACM Transactions on Graphics, Association for Computing Machinery, 2019, 38 (4), pp.1-11. ⟨10.1145/3306346.3323022⟩
	hal-01649724v1 Journal articles Xavier Antoine, Qinglin Tang, Yong Zhang. A Preconditioned Conjugated Gradient Method for Computing Ground States of Rotating Dipolar Bose-Einstein Condensates via Kernel Truncation Method for Dipole-Dipole Interaction Evaluation Communications in Computational Physics, Global Science Press, 2018, 24 (4), pp.966-988. ⟨10.4208/cicp.2018.hh80.11⟩
	hal-02942173v1 Journal articles Elizabeth Turner, Lanqiu Yao, Fan Li, Mélanie Prague. Properties and pitfalls of weighting as an alternative to multilevel multiple imputation in cluster randomized trials with missing binary outcomes under covariate-dependent missingness Statistical Methods in Medical Research, SAGE Publications, 2020, 29 (5), pp.1338-1353. ⟨10.1177/0962280219859915⟩
	hal-02095640v1 Software Oleksandra Levchenko, Djamel-Edine Yagoubi, Reza Akbarinia, Florent Masseglia, Boyan Kolev et al. Imitates 2019
	hal-01381145v1 Conference papers Isabelle Guyon, Imad Chaabane, Hugo Jair Escalante, Sergio Escalera, Damir Jajetic et al. A brief Review of the ChaLearn AutoML Challenge: Any-time Any-dataset Learning without Human Intervention International Conference in Machine Learning (ICML 2016) Workshops, 2016, New-York, United States. pp.1-8
	hal-00804550v1 Conference papers David Bommes, Bruno Lévy, Nico Pietroni, Enrico Puppo, Claudio Silva et al. State of the Art in Quad Meshing Eurographics - 33rd Annual Conference of the European Association for Computer Graphics - 2012, May 2012, Cagliari, Italy
	lirmm-01886794v1 Journal articles Djamel-Edine Yagoubi, Reza Akbarinia, Boyan Kolev, Oleksandra Levchenko, Florent Masseglia et al. ParCorr: efficient parallel methods to identify similar time series pairs across sliding windows Data Mining and Knowledge Discovery, Springer, 2018, 32 (5), pp.1481-1507. ⟨10.1007/s10618-018-0580-z⟩
	inserm-00360790v2 Journal articles Arno Klein, Jesper Andersson, Babak Ardekani, John Ashburner, Brian Avants et al. Evaluation of 14 nonlinear deformation algorithms applied to human brain MRI registration. NeuroImage, Elsevier, 2009, 46 (3), pp.786-802. ⟨10.1016/j.neuroimage.2008.12.037⟩
	hal-01354787v1 Journal articles Erika Rosas, Nicolas Hidalgo, Veronica Gil Costa, Mauricio Marin, Caroline Bonacic et al. Survey on Simulation for Mobile Ad-Hoc Communication for Disaster Scenarios Journal of Computer Science and Technology, Springer Verlag, 2016, 31 (2), ⟨10.1007/s11390-016-1630-x⟩
	hal-01248678v1 Conference papers Carson Erin, James W. Demmel, Laura Grigori, Knight Nick, Koanantakool Penporn et al. Write-Avoiding Algorithms Proceedings of IEEE International Parallel & Distributed Processing Symposium, IPDPS 2016, 2016, Chicago, United States
	hal-01150288v1 Conference papers Maxime Véron, Olivier Marin, Sébastien Monnet, Pierre Sens. RepFD - Using reputation systems to detect failures in large dynamic networks 44th International Conference on Parallel Processing (ICPP-2015), Sep 2015, Beijing, China
	hal-01399026v1 Conference papers Luciana Arantes, Roy Friedman, Olivier Marin, Pierre Sens. Probabilistic Byzantine Tolerance Scheduling in Hybrid Cloud Environments 18th International Conference on Distributed Computing and Networking (ICDCN 2017), Jan 2017, Hyderabad, India. ⟨10.1145/1235⟩
	hal-01388949v1 Conference papers Rudyar Cortés, Xavier Bonnaire, Olivier Marin, Luciana Arantes, Pierre Sens. GeoTrie: A Scalable Architecture for Location-Temporal Range Queries over Massive GeoTagged Data Sets The 15th IEEE International Symposium on Network Computing and Applications (NCA 2016), 2016, Cambridge, MA, United States
	hal-00531563v1 Conference papers Liqian Chen, Antoine Miné, Ji Wang, Patrick Cousot. An Abstract Domain to Discover Interval Linear Equalities 11th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI'10), Jan 2010, Spain. pp.112-128
	inria-00528611v1 Conference papers Julien Bertrane, Patrick Cousot, Radhia Cousot, Jerome Feret, Laurent Mauborgne et al. Static Analysis and Verification of Aerospace Software by Abstract Interpretation American Institute of Aeronautics and Astronautics - AIAA Infotech@Aerospace 2010, Apr 2010, Atlanta, United States
	hal-00930070v1 Conference papers Patrick Cousot, Radhia Cousot, Manuel Fähndrich, Francesco Logozzo. Automatic Inference of Necessary Preconditions VMCAI 2013 - 14th Conference on Verification, Model Checking and Abstract Interpretation, Roberto Giacobazzi and Josh Berdine and Isabella Mastroeni, Jan 2013, Rome, Italy. pp.128-148, ⟨10.1007/978-3-642-35873-9_10⟩
	hal-01378199v1 Journal articles Carmit Hazay, Adriana López-Alt, Hoeteck Wee, Daniel Wichs. Leakage-Resilient Cryptography from Minimal Assumptions Journal of Cryptology, Springer Verlag, 2016, 29 (3), pp.514-551. ⟨10.1007/s00145-015-9200-x⟩
	hal-01676732v4 Conference papers Matthew Trager, Martial Hebert, Jean Ponce. Coordinate-Free Carlsson-Weinshall Duality and Relative Multi-View Geometry CVPR 2019 - IEEE Conference on Computer Vision and Pattern Recognition, Jun 2019, Long Beach, United States
	inria-00528632v1 Conference papers Julien Bertrane, Patrick Cousot, Radhia Cousot, Jerome Feret, Laurent Mauborgne et al. Static Analysis by Abstract Interpretation of Embedded Critical Software the 3rd IEEE International workshop UML and Formal Methods, Nov 2010, Shangai, China
	hal-00864431v1 Conference papers Yevgeniy Dodis, David Pointcheval, Sylvain Ruhault, Damien Vergnaud, Daniel Wichs. Security Analysis of Pseudo-Random Number Generators with Input: /dev/random is not Robust ACM CCS 2013 - 20th ACM Conference on Computer and Communications Security, Nov 2013, Berlin, Germany. ⟨10.1145/2508859.2516653⟩
	hal-00930103v1 Conference papers Patrick Cousot, Radhia Cousot. A galois connection calculus for abstract interpretation POPL - 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - 2014, Suresh Jagannathan and Peter Sewell, Jan 2014, San Diego, United States. pp.3-4, ⟨10.1145/2535838.2537850⟩
	hal-00648039v1 Conference papers Liqian Chen, Patrick Cousot, Antoine Miné, Ji Wang. Linear Absolute Value Relation Analysis ESOP 2011 : 20th European Symposium on Programming, Mar 2011, Saarbrücken, Germany. pp.156-175, ⟨10.1007/978-3-642-19718-5⟩
	cea-01140716v1 Preprints, Working Papers, ... Alaa Saade, Florent Krzakala, Marc Lelarge, Lenka Zdeborová. Spectral Detection in the Censored Block Model 2015
	hal-00646816v1 Conference papers Y-Lan Boureau, Nicolas Le Roux, Francis Bach, Jean Ponce, Yann Lecun. Ask the locals: multi-way local pooling for image recognition ICCV'11 - The 13th International Conference on Computer Vision, Nov 2011, Barcelone, Spain
	hal-00531564v1 Conference papers Liqian Chen, Antoine Miné, Ji Wang, Patrick Cousot. Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships 16th International Static Analysis Symposium (SAS'09), Aug 2009, United States. pp.309-325
	hal-00921792v1 Journal articles Vadim Lyubashevsky, Chris Peikert, Oded Regev. On Ideal Lattices and Learning with Errors over Rings Journal of the ACM (JACM), Association for Computing Machinery, 2013, 60 (6), ⟨10.1145/2535925⟩
	inria-00561481v1 Journal articles Yi Wang, Aditya Gupta, Zhexing Liu, Hui Zhang, Maria L Escolar et al. DTI registration in atlas based fiber analysis of infantile Krabbe disease. NeuroImage, Elsevier, 2011, epub ahead of print. ⟨10.1016/j.neuroimage.2011.01.038⟩
	1 2 3 4 5 6 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 :