Recherche

	1 2	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 38 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-00730315v1 Article dans une revue Roukaya Keinj, Thierry Bastogne, Pierre Vallois. Tumor growth modeling based on cell and tumor lifespans Journal of Theoretical Biology, Elsevier, 2012, 312, pp.76-86. <10.1016/j.jtbi.2012.07.008>
	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-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-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
	hal-00762658v1 Communication dans un congrès Roukaya Keinj, Magalie Thomassin, Thierry Bastogne, Pierre Vallois. Model of cell damage in single session radiation treatments based on continuous-time Markov chains IFAC BMS 2012 - 8th IFAC Symposium on Biological and Medical Systems, Aug 2012, Budapest, Hungary. IFAC, 8, pp.160-165, 2012, Biological and Medical Systems. <10.3182/20120829-3-HU-2029.00081>
	hal-00861528v2 Pré-publication, Document de travail Basad Al-Sarray, Beniamin Bogosel, Eric Dalissier, Jean-Matthieu Etancelin, Janne-Kathrin Gunther et al. Semaine d'Etude Mathématiques et Entreprises 6 : Représentation des fonctions de réponse radiométrique 2013
	hal-00193203v2 Article dans une revue Jacques Istas, Céline Lacaux. On locally self-similar fractional random fields indexed by a manifold Stochastics: An International Journal of Probability and Stochastic Processes, Taylor & Francis: STM, Behavioural Science and Public Health Titles, 2013, 85 (3), pp.489-499. <10.1080/17442508.2012.654609>
	inria-00326931v1 Communication dans un congrès Claire Chauvin, Sever Adrian Hirstoaga, Pavla Kabelikova, Antoine Rousseau, Frédéric Bernardin et al. Solving the Uniform Density Constraint in a Stochastic Downscaling Model Cécile Dobrzynski and Pascal Frey and Philippe Pebay. CEMRACS 2007 - Centre d'Eté Mathématique de Recherche Avancée en Calcul Scientifique, Aug 2007, Marseille, France. EDP Sciences, 24, pp.97-110, 2008, ESAIM: Proc.; CEMRACS 2007. <10.1051/proc:2008032>
	hal-01394707v1 Poster Romain Azaïs, Jean-Baptiste Durand, Christophe Godin. Lossy compression of unordered rooted trees DCC 2016 - Data Compression Conference , Mar 2016, Snowbird, Utah, United States. <10.1109/DCC.2016.73>
	hal-01294013v2 Pré-publication, Document de travail Romain Azaïs, Jean-Baptiste Durand, Christophe Godin. Approximation of trees by self-nested trees 2016
	hal-00764418v1 Communication dans un congrès Antoine Rousseau, Emmanuel Frénod. Numerical simulations of confinement for paralic ecosystems 9th AIMS Conference on Dynamical Systems, Differential Equations and Applications, Jul 2012, Orlando, United States. 2012
	hal-01336773v1 Communication dans un congrès Matej Kristan, Jiri Matas, Aleš Leonardis, Michael Felsberg, Luka Cehovin et al. The Visual Object Tracking VOT2015 Challenge Results Visual Object Tracking Workshop 2015 at ICCV2015, Dec 2015, Santiago, Chile. IEEE, IEEE International Conference on Computer Vision Workshop (ICCVW) 2015, 2015, <10.1109/ICCVW.2015.79>
	hal-01368691v1 Pré-publication, Document de travail Kais Ammari, Mourad Choulli, Faouzi Triki. Hölder Stability in Determining the Potential and the Damping Coefficient in a Wave Equation 2016
	hal-00776060v1 Article dans une revue Jean-Philippe Bernard, Emmanuel Frénod, Antoine Rousseau. Modeling confinement in Etang de Thau: numerical simulations and multi-scale aspects Dynamical Systems and Differential Equations, DCDS Supplement, 2013, 2013, pp.69-76
	hal-01557315v1 Poster Romain Azaïs, Sandie Ferrigno, Marie-José Martinez. Goodness-of-fit tests for regression models CMStatistics 2017, Dec 2017, London, United Kingdom
	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>
	hal-01084388v1 Communication dans un congrès Mirko Fiacchini, Antoine Girard, Marc Jungers. On stabilizability conditions for discrete-time switched linear systems 53rd IEEE Conference on Decision and Control (CDC 2014), Dec 2014, Los Angeles, United States. IEEE, pp.5469-5474, 2014, <10.1109/CDC.2014.7040244>
	hal-01204815v1 Communication dans un congrès Romain Postoyan, Antoine Girard. Triggering mechanism using freely selected sensors for linear time-invariant systems 54th IEEE Conference on Decision and Control, Dec 2015, Osaka, Japan. IEEE, pp.4812-4817, 2015, <10.1109/CDC.2015.7402970>
	hal-01076175v1 Communication dans un congrès Irinel-Constantin Morarescu, Samuel Martin, Antoine Girard. Coordination in networks of linear impulsive agents 53rd IEEE Conference on Decision and Control, Dec 2014, Los Angeles, United States. 2014
	hal-01236088v1 Pré-publication, Document de travail Romain Azaïs, Jean-Baptiste Durand, Christophe Godin. Lossy compression of unordered rooted trees 2015
	hal-01206417v1 Article dans une revue Kais Ammari, Mourad Choulli, Faouzi Triki. Determining the potential in a wave equation without a geometric condition. Extension to the heat equation Proceedings of the American Mathematical Society, American Mathematical Society, 2016, 144, pp.4381-4392. <10.1090/proc/13069 >
	hal-00644686v3 Article dans une revue Emmanuel Frénod, Antoine Rousseau. Paralic confinement: models and simulations Acta Applicandae Mathematicae, Springer Verlag, 2013, 123 (1), pp.1-19. <10.1007/s10440-012-9706-2>
	hal-01096071v2 Article dans une revue Irinel-Constantin Morarescu, Samuel Martin, Antoine Girard, Aurélie Muller. Coordination in networks of linear impulsive agents IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, 2016, 61 (9), pp.2402-2415. <10.1109/TAC.2015.2492058>
	1 2	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 38 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

Contact