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

	1 2 3 4 5 6 7 8 9 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-01342928v2 Journal articles Pauline Collon, Alexandre Pichat, Charlie Kergaravat, Arnaud Botella, Guillaume Caumon et al. 3D modelling from outcrop data in a salt tectonic context: Example from the Inceyol mini-basin, Sivas Basin, Turkey Interpretation, SAGE Publications, 2016, 4 (3), pp.SM17-SM31. ⟨10.1190/INT-2015-0178.1⟩
	hal-01402194v1 Journal articles Rémi Imbach, Guillaume Moroz, Marc Pouget. A certified numerical algorithm for the topology of resultant and discriminant curves Journal of Symbolic Computation, Elsevier, 2016, 80, Part 2, pp.285--306. ⟨10.1016/j.jsc.2016.03.011⟩
	inria-00172406v1 Journal articles Denis Roegel. A complex drawing in descriptive geometry Tugboat, TeX Users Group, 2007, 28 (2), pp.218-228
	hal-01312747v1 Journal articles Fadoua Bahja, Joseph Di Martino, El Hassan Ibn Elhaj, Driss Aboutajdine. A corroborative study on improving pitch determination by time–frequency cepstrum decomposition using wavelets SpringerPlus, SpringerOpen, 2016, ⟨10.1186/s40064-016-2162-0⟩
	inria-00000897v1 Journal articles Pierrick Gaudry, Emmanuel Thomé, Nicolas Thériault, Claus Diem. A double large prime variation for small genus hyperelliptic index calculus Mathematics of Computation, American Mathematical Society, 2007, 76, pp.475-492. ⟨10.1090/S0025-5718-06-01900-4⟩
	inria-00176899v1 Journal articles Ernest Valveny, Philippe Dosch, Adam Winstanley, Zhou Yu, Yang Su et al. A general framework for the evaluation of symbol recognition methods International Journal on Document Analysis and Recognition, Springer Verlag, 2007, 9 (1), pp.59-74. ⟨10.1007/s10032-006-0033-x⟩
	inria-00154259v1 Journal articles Nazim Fatès. À la découverte des automates cellulaires Interstices, INRIA, 2007
	hal-01386986v1 Journal articles Jasmin Blanchette, David Greenaway, Cezary Kaliszyk, Daniel Kühlwein, Josef Urban. A Learning-Based Fact Selector for Isabelle/HOL Journal of Automated Reasoning, Springer Verlag, 2016, 57, pp.219 - 244. ⟨10.1007/s10817-016-9362-8⟩
	hal-02980943v1 Journal articles Jean-René Courtault, Didier Galmiche, David Pym. A Logic of Separating Modalities Theoretical Computer Science, Elsevier, 2016, 637 (1), pp.30-58. ⟨10.1016/j.tcs.2016.04.040⟩
	hal-01279884v1 Journal articles Denis Roegel. A mechanical calculator for arithmetic sequences (1844-1852): part 2, working details IEEE Annals of the History of Computing, Institute of Electrical and Electronics Engineers, 2016, 38 (1), pp.80-88. ⟨10.1109/MAHC.2016.3⟩
	hal-01374382v1 Journal articles Denis Roegel. A new early adding machine by Schwilgué (c. 1840?) Bulletin of the Scientific Instrument Society, Scientific Instrument Society, 2016, 130, pp.24-27
	hal-00921122v1 Journal articles Jean-Sébastien Sereni, Jan Volec. A note on acyclic vertex-colorings Journal of Combinatorics, International Press, 2016, 7 (4), pp.725--737. ⟨10.4310/JOC.2016.v7.n4.a8⟩
	inria-00153555v1 Journal articles Rémi Badonnel, Radu State, Olivier Festor. A Probabilistic Approach for Managing Mobile Ad-Hoc Networks IEEE Transactions on Network and Service Management, IEEE, 2007, 4 (1), pp.39-50. ⟨10.1109/TNSM.2007.030104⟩
	hal-00953684v1 Journal articles Éric Schost, Pierre-Jean Spaenlehauer. A Quadratically Convergent Algorithm for Structured Low-Rank Approximation Foundations of Computational Mathematics, Springer Verlag, 2016, 16 (2), pp.457-492. ⟨10.1007/s10208-015-9256-x⟩
	inria-00110872v1 Journal articles Paolo Baldan, Clara Bertolissi, Horatiu Cirstea, Claude Kirchner. A rewriting calculus for cyclic higher-order term graphs Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2007, 17 (3), pp.363-406. ⟨10.1017/S0960129507006093⟩
	inria-00000628v3 Journal articles Horatiu Cirstea, Germain Faure, Claude Kirchner. A Rho-Calculus of explicit constraint application Higher-Order and Symbolic Computation, Springer Verlag, 2007, Special Issue on Rewriting Logic and its Applications, 20, pp.37-72. ⟨10.1007/s10990-007-9004-2⟩
	hal-01207859v1 Journal articles Anthéa Mayzaud, Rémi Badonnel, Isabelle Chrisment. A Taxonomy of Attacks in RPL-based Internet of Things International Journal of Network Security, ACEEE a Division of Engineers Network, 2016, 18 (3), pp.459 - 473
	inria-00104255v1 Journal articles Frédéric Cao, Julie Delon, Agnès Desolneux, Pablo Musé, Frédéric Sur. A unified framework for detecting groups and application to shape recognition Journal of Mathematical Imaging and Vision, Springer Verlag, 2007, 27 (2), pp.91-119. ⟨10.1007/s10851-006-9176-0⟩
	inria-00103490v1 Journal articles S. Chen, Amine Bermak, W. Yan, Dominique Martinez. Adaptive-Quantization Digital Image Sensor for Low-Power, Real-Time, Image Compression IEEE Transactions on Circuits and Systems Part 1 Fundamental Theory and Applications, Institute of Electrical and Electronics Engineers (IEEE), 2007, 54 (1), pp.13-25
	inria-00401534v1 Journal articles Axel Hutt, Andre Longtin, Lutz Schimansky-Geier. Additive global noise delays Turing bifurcations Physical Review Letters, American Physical Society, 2007, 98 (23), pp.230601-1 - 230601-4. ⟨10.1103/PhysRevLett.98.230601⟩
	hal-02144685v1 Journal articles Nicolas Floquet, Stéphane Mouilleron, Rasha Daher, Bernard Maigret, Bernard Badet et al. Ammonia channeling in bacterial glucosamine-6-phosphate synthase (Glms): Molecular dynamics simulations and kinetic studies of protein mutants FEBS Letters, Wiley, 2007, 581 (16), pp.2981-2987. ⟨10.1016/j.febslet.2007.05.068⟩
	inria-00188598v1 Journal articles Nicolas Floquet, Stéphane Mouilleron, Rasha Daher, Bernard Maigret, Bernard Badet et al. Ammonia channeling in bacterial glucosamine-6-phosphate synthase (Glms): molecular dynamics simulations and kinetic studies of protein mutants FEBS Letters, Wiley, 2007, 581 (16), pp.2981-2987
	hal-01254510v1 Journal articles Mohamed-Rafik Bouguelia, Yolande Belaïd, Belaïd Abdel. An adaptive streaming active learning strategy based on instance weighting Pattern Recognition Letters, Elsevier, 2016, pp.38-44. ⟨10.1016/j.patrec.2015.11.010⟩
	hal-01297415v1 Journal articles Salima Harrat, Karima Meftouh, Mourad Abbas, Walid-Khaled Hidouci, Kamel Smaïli. An Algerian dialect: Study and Resources International journal of advanced computer science and applications (IJACSA), The Science and Information Organization, 2016, 7 (3), pp.384-396. ⟨10.14569/IJACSA.2016.070353⟩
	hal-01297624v2 Journal articles 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⟩
	hal-01274231v1 Journal articles Lucile Jolly, Florent Pittet, Jean-Pierre Caudal, Jean-Baptiste Mouret, Cécilia Houdelier et al. Animal-to-robot social attachment: initial requisites in a gallinaceous bird Bioinspiration and Biomimetics, IOP Publishing, 2016, 11 (1), pp.016007. ⟨10.1088/1748-3190/11/1/016007⟩
	hal-01400686v2 Journal articles Hai-Chuan Song, Nicolas Ray, Dmitry Sokolov, Sylvain Lefebvre. Anti-aliasing for fused filament deposition Computer-Aided Design, Elsevier, 2016, 89, pp.25 - 34. ⟨10.1016/j.cad.2017.04.001⟩
	inria-00186107v1 Journal articles Yan Clément, Chantal Joubert, Caroline Kopp, Eve Lepicard, Patrice Venault et al. Anxiety in Mice: A Principal Component Analysis Study Neural plasticity, Hymie Anisman, 2007, ⟨10.1155/2007/35457⟩
	inria-00188456v1 Journal articles Sunayana Ghosh, Sylvain Petitjean, Gert Vegter. Approximation by conic splines Mathematics in Computer Science, Springer, 2007, 1 (1), pp.39-69. ⟨10.1007/s11786-007-0004-8⟩
	lirmm-00201467v1 Journal articles Amine Mohamed Rouane Hacene, Michel Dao, Marianne Huchard, Petko Valtchev. Aspects de la réingénierie des modèles UML par analyse de données relationnelles Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, Lavoisier, 2007, 12 (5), pp.39-68
	1 2 3 4 5 6 7 8 9 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

Type of deposit Minimize

Year Minimize