Rechercher

		Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre 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 résultats par page 50 résultats par page 100 résultats par page Pour les 21 documents Exporter XML-TEI BibTeX EndNote CSV PDF Export avancé... Syndication RSS ATOM
	hal-01261402v1 Article dans une revue David Ritchie, Sergei Grudinin. Spherical polar Fourier assembly of protein complexes with arbitrary point group symmetry Journal of Applied Crystallography, International Union of Crystallography, 2016, 49 (1), pp.158-167. <10.1107/S1600576715022931>
	hal-00880359v1 Article dans une revue Petr Popov, David Ritchie, Sergei Grudinin. DockTrina: Docking triangular protein trimers Proteins: Structure, Function, and Genetics, Wiley, 2014, 82 (1), pp.34-44. <10.1002/prot.24344>
	hal-01233555v1 Article dans une revue Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade. Brandt's fully private auction protocol revisited Journal of Computer Security, IOS Press, 2015, Special issue on security and high performance computing systems, 23 (5), pp.587-610. <10.3233/JCS-150535>
	hal-01326059v1 Communication dans un congrès Xavier Bultel, Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade. Physical Zero-Knowledge Proofs for Akari, Takuzu, Kakuro and KenKen Erik Demaine ; Fabrizio Grandoni FUN with algorithms 2016, Jun 2016, La Maddalena, Italy. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 49, pp.8:1-8:20, 2016, Leibniz International Proceedings in Informatics (LIPIcs). <http://www2.idsia.ch/cms/fun16/>. <10.4230/LIPIcs.FUN.2016.8>
	hal-01388654v1 Article dans une revue Marwa El Houasli, Bernard Maigret, Marie-Dominique Devignes, Anisah Ghoorah, Sergei Grudinin et al. Modeling and minimizing CAPRI round 30 symmetrical protein complexes from CASP-11 structural models Proteins: Structure, Function, and Genetics, Wiley, 2017, Special Issue: Sixth Meeting on the Critical Assessment of Predicted Interactions 85 (3), pp.463-469. <10.1002/prot.25182>
	hal-01171249v1 Pré-publication, Document de travail Jean-Guillaume Dumas, Erich Kaltofen, Emmanuel Thomé. Interactive certificate for the verification of Wiedemann's Krylov sequence: application to the certification of the determinant, the minimal and the characteristic polynomials of sparse matrices 2015
	hal-01266041v1 Communication dans un congrès Jean-Guillaume Dumas, Erich Kaltofen, Emmanuel Thomé, Gilles Villard. Linear Time Interactive Certificates for the Minimal Polynomial and the Determinant of a Sparse Matrix Xiao-Shan Gao. International Symposium on Symbolic and Algebraic Computation, Jul 2016, Waterloo, Canada. ACM, pp.199-206, ISSAC’2016, Proceedings of the 2016 ACM International Symposium on Symbolic and Algebraic Computation. <http://www.issac-conference.org/2016/>. <10.1145/2930889.2930908>
	hal-00817508v1 Communication dans un congrès Dobrina Boltcheva, Eric Casella, Rémy Cumont, Franck Hétroy-Wheeler. A spectral clustering approach of vegetation components for describing plant topology and geometry from terrestrial waveform LiDAR data Anna Lintunen. FSPM2013 - 7th International Conference on Functional-Structural Plant Models, Jun 2013, Saariselkä, Finland. 2013
	inria-00540485v2 Ouvrage (y compris édition critique et traduction) Alexandre Casamayou, Nathann Cohen, Guillaume Connan, Thierry Dumont, Laurent Fousse et al. Calcul mathématique avec Sage CreateSpace, pp.468, 2013, 9781481191043
	inria-00192927v1 Article dans une revue Olivier Devillers, Vida Dujmovic, Hazel Everett, Samuel Hornus, Sue Whitesides et al. Maintaining Visibility Information of Planar Point Sets with a Moving Viewpoint International Journal of Computational Geometry and Applications, World Scientific Publishing, 2007, 17 (4), pp.297-304. <10.1142/S0218195907002343>
	hal-01285419v1 Article dans une revue Franck Hétroy-Wheeler, Eric Casella, Dobrina Boltcheva. Segmentation of tree seedling point clouds into elementary units International Journal of Remote Sensing, Taylor & Francis, 2016, 37 (13), pp.2881-2907. <http://www.tandfonline.com/doi/full/10.1080/01431161.2016.1190988>. <10.1080/01431161.2016.1190988>
	inria-00492833v1 Communication dans un congrès Pierre Bénard, Ares Lagae, Peter Vangorp, Sylvain Lefebvre, George Drettakis et al. NPR Gabor Noise for Coherent Stylization ACM SIGGRAPH 2010 Talks, Jul 2010, Los Angeles, CA, United States. ACM, pp.40, 2010, <10.1145/1837026.1837079>
	hal-01338057v1 Communication dans un congrès Jannik Dreier, Jean-Guillaume Dumas, Hugo Jonker, Pascal Lafourcade. Verifiability in e-Auction Protocols & Brandt's Protocol Revisited 1st Workshop on Hot Issues in Security Principles and Trust (HotSpot'13), Mar 2013, Rome, Italy
	hal-01309105v1 Article dans une revue Marc F. Lensink, Sameer Velankar, Andriy Kryshtafovych, Shen-You Huang, Dina Schneidman-Duhovy et al. Prediction of homo- and hetero-protein complexes by protein docking and template-based modeling: a CASP-CAPRI experiment Proteins - Structure, Function and Bioinformatics, Wiley, 2016, Special Issue: Eleventh Meeting on the Critical Assessment of Techniques for Protein Structure Prediction, 84 (S1), pp.323-348 <10.1002/prot.25007>
	hal-01358645v1 Article dans une revue Emilie Neveu, David Ritchie, Petr Popov, Sergei Grudinin. PEPSI-Dock: a detailed data-driven protein–protein interaction potential accelerated by polar Fourier correlation Bioinformatics, Oxford University Press (OUP), 2016, 32 (7), pp.i693-i701. <10.1093/bioinformatics/btw443>
	hal-00804915v1 Rapport Antoine Rousseau, Aurélie Darnaud, Goglin Brice, Céline Acharian, Christine Leininger et al. Médiation Scientifique : une facette de nos métiers de la recherche [Interne] none. 2013, pp.34
	hal-00644410v2 Article dans une revue Dobrina Boltcheva, David Canino, Sara Merino Aceituno, Jean-Claude Léon, Leila De Floriani et al. An iterative algorithm for homology computation on simplicial shapes Computer-Aided Design, Elsevier, 2011, Solid and Physical Modeling 2011, 43 (11), pp.1457-1467. <10.1016/j.cad.2011.08.015>
	inria-00189386v4 Article dans une revue Gang Zheng, Arnaud Tonnelier, Dominique Martinez. Voltage-stepping schemes for the simulation of spiking neural networks Journal of Computational Neuroscience, Springer Verlag, 2009, 26 (3), pp.409-423. <10.1007/s10827-008-0119-1>
	inria-00487986v4 Article dans une revue Pierre Bénard, Ares Lagae, Peter Vangorp, Sylvain Lefebvre, George Drettakis et al. A Dynamic Noise Primitive for Coherent Stylization Computer Graphics Forum, Wiley, 2010, Proceedings of the Eurographics Symposium on Rendering 2010, 29 (4), pp.1497-1506. <http://www.eg.org/EG/DL/CGF/volume29/issue4/>. <10.1111/j.1467-8659.2010.01747.x>
	hal-01297624v2 Article dans une revue Pegah Kamousi, Sylvain Lazard, Anil Maheshwari, Stefanie Wuhrer. Analysis of Farthest Point Sampling for Approximating Geodesics in a Graph Computational Geometry, Elsevier, 2016, 57, pp.1-7. <10.1016/j.comgeo.2016.05.005>
	inria-00611646v1 Article dans une revue Mohamed Ghaith Kaabi, Arnaud Tonnelier, Dominique Martinez. On the Performance of Voltage Stepping for the Simulation of Adaptive, Nonlinear Integrate-and-Fire Neuronal Networks Neural Computation, Massachusetts Institute of Technology Press (MIT Press), 2011, 23 (5), pp.1187-1204. <10.1162/NECO_a_00112>
		Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre 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 résultats par page 50 résultats par page 100 résultats par page Pour les 21 documents Exporter XML-TEI BibTeX EndNote CSV PDF Export avancé... Syndication RSS ATOM

Type de document

Auteur

Domaine

Laboratoire

Langue

Type de dépôt

Année