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

	1 2 3 4 5 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-01199792v3 Journal articles Benjamin Elie, Yves Laprie. Extension of the single-matrix formulation of the vocal tract: consideration of bilateral channels and connection of self-oscillating models of the vocal folds with a glottal chink Speech Communication, Elsevier : North-Holland, 2016, 82, pp.85-96. ⟨10.1016/j.specom.2016.06.002⟩
	inria-00187827v1 Journal articles Dominique Barth, Johanne Cohen, Alain Denise, Romain Rivière. Shuffling biological sequences with motif constraints. Journal of Discrete Algorithms, Elsevier, 2007, ⟨10.1016/j.jda.2007.06.001⟩
	inria-00102947v2 Journal articles Olivier Bournez, Manuel L. Campagnolo, Daniel S. Graça, Emmanuel Hainry. Polynomial differential equations compute all real computable functions on computable compact intervals Journal of Complexity, Elsevier, 2007, 23 (3), pp.317--335
	hal-01215623v1 Journal articles Steven Galbraith, Pierrick Gaudry. Recent progress on the elliptic curve discrete logarithm problem Designs, Codes and Cryptography, Springer Verlag, 2016, 78 (1), pp.51-72. ⟨10.1007/s10623-015-0146-7⟩
	hal-01313619v1 Journal articles Özgür Dagdelen, David Galindo, Pascal Véron, Sidi Mohamed El Yousfi Alaoui, Pierre-Louis Cayrel. Extended security arguments for signature schemes Designs, Codes and Cryptography, Springer Verlag, 2016, 78 (2), pp.441-461. ⟨10.1007/s10623-014-0009-7⟩
	hal-03033964v1 Journal articles Mounia Hendel, Abdelkader Benyettou, Fatiha Hendel. Hybrid self organizing map and probabilistic quadratic loss multi-class support vector machine for mental tasks classification Informatics in Medicine Unlocked, Elsevier, 2016, 4, pp.1 - 9. ⟨10.1016/j.imu.2016.09.001⟩
	hal-01093942v1 Journal articles Miguel Couceiro, Lucien Haddad, Ivo G. Rosenberg. Partial clones containing all Boolean monotone self-dual partial functions Journal of Multiple-Valued Logic and Soft Computing, Old City Publishing, 2016, 27 (2-3), pp.183-192
	hal-01351388v1 Journal articles Steve Kremer, Robert Künnemann. Automated Analysis of Security Protocols with Global State Journal of Computer Security, IOS Press, 2016, 24 (5), ⟨10.3233/JCS-160556⟩
	hal-01393478v1 Journal articles Mohamad Daher, Ahmad Diab, Maan El Badaoui El Najjar, Mohamad Khalil, François Charpillet. Automatic Fall Detection System using Sensing Floors International Journal of Computing and Information Sciences (IJCIS), APCEP - Canada, 2016, 12 (1), pp.75-82. ⟨10.21700/ijcis.2016.110⟩
	hal-01356471v1 Journal articles Stephan Merz, Jun Pang. Editorial Formal Aspects of Computing, Springer Verlag, 2016, Formal Engineering Methods (vol.2), 28 (5), pp.723-724. ⟨10.1007/s00165-016-0390-2⟩
	hal-01356470v1 Journal articles Stephan Merz, Jun Pang. Editorial Formal Aspects of Computing, Springer Verlag, 2016, Formal Engineering Methods (vol.1), 28 (3), pp.343-344. ⟨10.1007/s00165-016-0378-y⟩
	hal-01211748v1 Journal articles Jasmin Christian Blanchette, Sascha Böhme, Mathias Fleury, Steffen Juilf Smolka, Albert Steckermeier. Semi-intelligible Isar Proofs from Machine-Generated Proofs Journal of Automated Reasoning, Springer Verlag, 2016, ⟨10.1007/s10817-015-9335-3⟩
	hal-01253436v1 Journal articles Nacer Boudjlida, Badrina Gasmi Boumezoued. Conceptual Graphs for Fomally Managing and Discovering Complementary Competences Lecture Notes in Artificial Intelligence, Springer, 2016, ⟨10.1007/978-3-319-28702-7_6⟩
	hal-01306561v1 Journal articles Rohit Chadha, Vincent Cheval, Ştefan Ciobâcǎ, Steve Kremer. Automated verification of equivalence properties of cryptographic protocols ACM Transactions on Computational Logic, Association for Computing Machinery, 2016, 17 (4), ⟨10.1145/2926715⟩
	hal-01413047v1 Journal articles Marcel Steinmetz, Joerg Hoffmann, Olivier Buffet. Goal Probability Analysis in MDP Probabilistic Planning: Exploring and Enhancing the State of the Art Journal of Artificial Intelligence Research, Association for the Advancement of Artificial Intelligence, 2016, 57, pp.229 - 271. ⟨10.1613/jair.5153⟩
	hal-02073444v1 Journal articles Thanh Ha Do, Antoine Tabbone, Oriol Ramos Terrades. Sparse representation over learned dictionary for symbol recognition Signal Processing, Elsevier, 2016, 125, pp.36-47. ⟨10.1016/j.sigpro.2015.12.020⟩
	hal-01254923v1 Journal articles Makoto Hasegawa, Antoine Tabbone. Histogram of Radon transform with angle correlation matrix for distortion invariant shape descriptor Neurocomputing, Elsevier, 2016, 173 (part 1), pp.24-35. ⟨10.1016/j.neucom.2015.04.100⟩
	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-01386988v1 Journal articles Jasmin Blanchette, Cezary Kaliszyk, Lawrence Paulson, Josef Urban. Hammering towards QED Journal of Formalized Reasoning, ASDD-AlmaDL, 2016, 9 (1), pp.101-148
	hal-01120685v4 Journal articles Xabier Jaureguiberry, Emmanuel Vincent, Gael Richard. Fusion methods for speech enhancement and audio source separation IEEE Transactions on Audio, Speech and Language Processing, Institute of Electrical and Electronics Engineers, 2016, ⟨10.1109/TASLP.2016.2553441⟩
	hal-01404718v1 Journal articles Changbo Chen, Svyatoslav Covanov, Farnam Mansouri, Robert H. C. Moir, Marc Moreno Maza et al. The Basic Polynomial Algebra Subprograms ACM Communications in Computer Algebra, Association for Computing Machinery (ACM), 2016, 50 (3), pp.97--100. ⟨10.1145/3015306.3015312⟩
	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⟩
	hal-01184334v1 Journal articles Miguel Couceiro, Jean-Luc Marichal, Bruno Teheux. Relaxations of associativity and preassociativity for variadic functions Fuzzy Sets and Systems, Elsevier, 2016, 229, pp.89-97. ⟨10.1016/j.fss.2015.11.003⟩
	hal-01392851v1 Journal articles Emmanuel Bresso, Vincent Leroux, Martin Urban, Kim Hammond-Kosack, Bernard Maigret et al. Structure-based virtual screening of hypothetical inhibitors of the enzyme longiborneol synthase—a potential target to reduce Fusarium head blight disease Journal of Molecular Modeling, Springer Verlag (Germany), 2016, 22 (7), ⟨10.1007/s00894-016-3021-1⟩
	hal-01392860v1 Journal articles Natália Florêncio Martins, Emmanuel Bresso, Roberto C. Togawa, Martin Urban, John Antoniw et al. Searching for Novel Targets to Control Wheat Head Blight Disease—I-Protein Identification, 3D Modeling and Virtual Screening Advances in Microbiology, Scientific Research Publishing, 2016, 06 (11), pp.811 - 830. ⟨10.4236/aim.2016.611079⟩
	hal-01392842v1 Journal articles Hugo de Almeida, Vincent Leroux, Flávia Nader Motta, Philippe Grellier, Bernard Maigret et al. Identification of novel Trypanosoma cruzi prolyl oligopeptidase inhibitors by structure-based virtual screening Journal of Computer-Aided Molecular Design, Springer Verlag, 2016, ⟨10.1007/s10822-016-9985-1⟩
	hal-01537775v1 Journal articles Ghania Khensous, Belhadri Messabih, Abdellah Chouarfia, Bernard Maigret. Comparison of Cuckoo Search, Tabu Search and TS-Simplex algorithms for unconstrained global optimization Computer Modelling and New Technologies, Prof. Viktors Gopejenko, 2016, 20 (4), pp.23-29
	hal-01397539v2 Journal articles Stefan Canzar, Sandro Andreotti, David Weese, Knut Reinert, Gunnar Klau. CIDANE: comprehensive isoform discovery and abundance estimation Genome Biology, BioMed Central, 2016, 17, pp.16. ⟨10.1186/s13059-015-0865-0⟩
	hal-02322604v1 Journal articles Marie-Catherine Tiveron, Corinne Beurrier, Claire Ceni, Naly Andriambao, Alexis Combes et al. LAMP5 Fine-Tunes GABAergic Synaptic Transmission in Defined Circuits of the Mouse Brain PLoS ONE, Public Library of Science, 2016, 11 (6), pp.e0157052. ⟨10.1371/journal.pone.0157052⟩
	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-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⟩
	hal-01175696v1 Journal articles Miguel Couceiro, Jean-Luc Marichal, Bruno Teheux. Conservative Median Algebras and Semilattices Order, Springer Verlag, 2016, 33 (1), pp.121-132. ⟨10.1007/s11083-015-9356-x⟩
	hal-01451126v1 Journal articles Thanh Nguyen, Antoine Manzanera, Walter Kropatsch, Xuan Nguyen. Topological Attribute Patterns for Texture Recognition Pattern Recognition Letters, Elsevier, 2016, 80, pp.91 - 97. ⟨10.1016/j.patrec.2016.06.003⟩
	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-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-01289470v1 Journal articles Matjaž Krnc, Jean-Sébastien Sereni, Ristě Skrekovski, Zelealem Yilma. Closeness Centralization Measure for Two-mode Data of Prescribed Sizes Network Science, Cambridge University Press, 2016
	hal-01537771v1 Journal articles Emmanuel Bresso, Roberto Togawa, Kim Hammond-Kosack, Martin Urban, Bernard Maigret et al. GPCRs from fusarium graminearum detection, modeling and virtual screening - the search for new routes to control head blight disease BMC Bioinformatics, BioMed Central, 2016, 17 (S18), pp.14. ⟨10.1186/s12859-016-1342-9⟩
	hal-00175415v1 Journal articles Jérôme Besombes, Jean-Yves Marion. Learning tree languages from positive examples and membership queries Theoretical Computer Science, Elsevier, 2007, 382 (3), pp.183-197
	hal-01262289v1 Journal articles Eric Domenjoud, Xavier Provençal, Laurent Vuillon. Palindromic language of thin discrete planes Theoretical Computer Science, Elsevier, 2016, pp.101-108. ⟨10.1016/j.tcs.2015.11.023⟩
	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-01315579v1 Journal articles Slim Ouni, Sara Dahmani. Is markerless acquisition of speech production accurate ? Journal of the Acoustical Society of America, Acoustical Society of America, 2016, EL234, 139 (6), ⟨10.1121/1.4954497⟩
	hal-01371877v1 Journal articles Simon Gay, Alain Mille, Olivier L. Georgeon, Alain Dutech. Autonomous construction and exploitation of a spatial memory by a self-motivated agent Cognitive Systems Research, Elsevier, 2016, 41, pp.1-35. ⟨10.1016/j.cogsys.2016.07.004⟩
	hal-01374786v1 Journal articles Jean-Baptiste Mouret. Micro-Data Learning: The Other End of the Spectrum ERCIM News, ERCIM, 2016, pp.2
	hal-01113342v1 Journal articles Guillaume Bonfante, Reinhard Kahle, Jean-Yves Marion, Isabel Oitavem. Two function algebras defining functions in NC k boolean circuits Journal of Information and Computation, Elsevier, 2016, ⟨10.1016/j.ic.2015.12.009⟩
	hal-01258282v1 Journal articles Serena Ivaldi, Jan Babič, Michael Mistry, Robin Murphy. Special Issue on Whole-body control of contacts and dynamics for humanoid robots Autonomous Robots, Springer Verlag, 2016, ⟨10.1007/s10514-016-9545-5⟩
	hal-01273045v2 Journal articles Pierrick Gaudry, Laurent Grémy, Marion Videau. Collecting relations for the number field sieve in $GF(p^6)$ LMS Journal of Computation and Mathematics, London Mathematical Society, 2016, Special issue: Algorithmic Number Theory Symposium XII, 19, pp.332 - 350. ⟨10.1112/S1461157016000164⟩
	hal-01089507v1 Journal articles Shi Bai, Cyril Bouvier, Alexander Kruppa, Paul Zimmermann. Better polynomials for GNFS Mathematics of Computation, American Mathematical Society, 2016, 85, pp.12. ⟨10.1090/mcom3048⟩
	hal-01309105v1 Journal articles 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-01261402v1 Journal articles 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-01358645v1 Journal articles 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⟩
	1 2 3 4 5 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