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

	1 2 3 4 5 6 7 8 9 10 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-00875536v1 Conference papers Emmanuel Nataf, Olivier Festor. Accurate Online Estimation of Battery Lifetime for Wireless Sensors Network SENSORNETS - 2nd International conference on sensor networks, INSTICC, Feb 2013, Barcelone, Spain
	hal-03013918v1 Journal articles Laetitia Ricci, Jonathan Epstein, Anne Buisson, Corinne Devos, yannick Toussaint et al. Flare-IBD: development and validation of a questionnaire based on patients’ messages on an internet forum for early detection of flare in inflammatory bowel disease: study protocol BMJ Open, BMJ Publishing Group, 2020, 10 (7), pp.e037211. ⟨10.1136/bmjopen-2020-037211⟩
	hal-03616853v1 Journal articles Spandan Dey, Md Sahidullah, Goutam Saha. An Overview of Indian Spoken Language Recognition from Machine Learning Perspective ACM Transactions on Asian and Low-Resource Language Information Processing, ACM, In press, ⟨10.1145/3523179⟩
	hal-03198552v1 Conference papers Amine Boumaza. Promoting Reproductive Isolation Through Diversity in On-line Collective Robotics GECCO 2021 - Genetic and Evolutionary Computation Conference Companion, Jul 2021, Lille/Virtual, France. pp.85
	hal-03250787v1 Book sections yamine Aït-Ameur, Régine Laleau, Dominique Méry, Neeraj Kumar Singh. Towards Leveraging Domain Knowledge in State-Based Formal Methods Raschke, Alexander; Riccobene, Elvinia; Schewe, Klaus-Dieter. Logic, Computation and Rigorous Methods: Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday, 12750, Springer, pp.1-13, 2021, Lecture Notes in Computer Science, 978-3-030-76020-5. ⟨10.1007/978-3-030-76020-5_1⟩
	hal-03346697v1 Conference papers ying Sheng, yoni Zohar, Christophe Ringeissen, Jane Lange, Pascal Fontaine et al. Politeness for the Theory of Algebraic Datatypes (Extended Abstract) IJCAI 2021 - International Joint Conference on Artificial Intelligence (Sister Conferences Best Papers), Aug 2021, Montreal, Canada. pp.4829-4833, ⟨10.24963/ijcai.2021/660⟩
	hal-03235096v1 Journal articles Fabien Pierre, Mathieu Amendola, Clémence Bigeard, Timothé Ruel, Pierre-Frédéric Villard. Segmentation with Active Contours Image Processing On Line, IPOL - Image Processing on Line, 2021, 11, pp.120 - 141. ⟨10.5201/ipol.2021.298⟩
	hal-03381116v1 Conference papers Guillaume Rosinosky, Samir youcef, François Charoy, Etienne Rivière. A methodology for tenant migration in legacy shared-table multi-tenant applications DAIS 2021 - 21th IFIP International Conference on Distributed Applications and Interoperable Systems, Jun 2021, Valetta, Malta. pp.3-20
	hal-03139532v1 Conference papers Xuechen Liu, Md Sahidullah, Tomi Kinnunen. Learnable MFCCs for Speaker Verification ISCAS 2021 - IEEE International Symposium on Circuits and Systems, May 2021, Daegu, South Korea. ⟨10.1109/ISCAS51556.2021.9401593⟩
	hal-03409798v1 Journal articles Mohamed Said Frikha, Sonia Mettali Gammar, Abdelkader Lahmadi, Laurent Andrey. Reinforcement and deep reinforcement learning for wireless Internet of Things: A survey Computer Communications, Elsevier, 2021, 178, pp.98-113. ⟨10.1016/j.comcom.2021.07.014⟩
	hal-03435140v1 Journal articles Seyed Ziaeddin Alborzi, Amina Ahmed Nacer, Hiba Najjar, David Ritchie, Marie-Dominique Devignes. PPIDomainMiner: Inferring domain-domain interactions from multiple sources of proteinprotein interactions PLoS Computational Biology, Public Library of Science, 2021, 17 (8), pp.e1008844. ⟨10.1371/journal.pcbi.1008844⟩
	hal-03169575v1 Journal articles Justine Basselin, Laurent Alonso, Nicolas Ray, Dmitry Sokolov, Sylvain Lefebvre et al. Restricted Power Diagrams on the GPU Computer Graphics Forum, Wiley, 2021, 40 (2), ⟨10.1111/cgf.142610⟩
	hal-03619160v1 Conference papers Maxime Amblard. Outiller le diagnostic des pathologies mentales par l'analyse de la langue Séminaire MaDICS, May 2021, Nancy, France
	hal-03199742v1 Book sections Neeraj Kumar Singh, yamine Aït-Ameur, Dominique Méry. Formal Ontological Analysis for Medical Protocols Implicit and explicit semantics integration in proof based developments of discrete systems, Springer, 2021, 978-981-15-5053-9. ⟨10.1007/978-981-15-5054-6_5⟩
	hal-03199748v1 Book sections Dominique Méry, Souad Kherroubi. Contextual Dependency in State-based Modelling Implicit and explicit semantics integration in proof based developments of discrete systems, Springer, 2021, 978-981-15-5053-9. ⟨10.1007/978-981-15-5054-6_9⟩
	hal-03591628v1 Journal articles João Vítor Perez De Souza, Erika Seki Kioshima, Letícia Sayuri Murase, Diego de Souza Lima, Flavio Augusto Vicente Seixas et al. Identification of new putative inhibitors of Mycobacterium tuberculosis 3-dehydroshikimate dehydratase from a combination of ligand- and structure-based and deep learning in silico approaches Journal of Biomolecular Structure and Dynamics, Taylor & Francis: STM, Behavioural Science and Public Health Titles, 2022, pp.1-10. ⟨10.1080/07391102.2022.2042389⟩
	hal-03437767v1 Poster communications Nathalie Azevedo Carvalho, Laure Buhry, Sylvain Contassot-Vivier, Jérôme Baufreton, Dominique Martinez. A computational model of GPe prototypic and arkypallidal neurons with automated parameter fitting. NeuroFrance 2021, May 2021, Strasbourg (virtual), France
	hal-02996034v1 Journal articles Bizhan Alipour Pijani, Abdessamad Imine, Michaël Rusinowitch. Inferring attributes with picture metadata embeddings ACM SIGAPP applied computing review : a publication of the Special Interest Group on Applied Computing, Association for Computing Machinery (ACM), 2020, 20 (2), pp.36-45. ⟨10.1145/3412816.3412819⟩
	hal-03438922v1 Directions of work or proceedings Matthew England, François Boulier, Timur Sadykov, Thomas Sturm. Computer Algebra in Scientific Computing 2020 Mathematics in Computer Science, 15 (3), 2021
	hal-03647997v1 Journal articles Vessela Atanasova, Emmanuel Bresso, Bernard Maigret, Natalia Florencio Martins, Florence Richard-Forget. Computational Strategy for Minimizing Mycotoxins in Cereal Crops: Assessment of the Biological Activity of Compounds Resulting from Virtual Screening Molecules, MDPI, 2022, 27 (8), pp.2582. ⟨10.3390/molecules27082582⟩
	tel-03564208v1 Theses Aude Le Gluher. Symbolic Computation and Complexity Analyses for Number Theory and Cryptography Cryptography and Security [cs.CR]. Université de Lorraine, 2021. English. ⟨NNT : 2021LORR0245⟩
	hal-03355184v1 Conference papers Francesca Ronchini, Romain Serizel, Nicolas Turpault, Samuele Cornell. The impact of non-target events in synthetic soundscapes for sound event detection DCASE 2021 - Detection and Classification of Acoustic Scenes and Events, Nov 2021, Barcelona/Virtual, Spain
	hal-03437629v1 Journal articles Tatiana Makhalova, Sergei Kuznetsov, Amedeo Napoli. Mint: MDL-based approach for Mining INTeresting Numerical Pattern Sets Data Mining and Knowledge Discovery, Springer, 2021, ⟨10.1007/s10618-021-00799-9⟩
	hal-03438165v1 Journal articles Dima Grigoriev, Alexandru Iosif, Hamid Rahkooy, Thomas Sturm, Andreas Weber. Efficiently and Effectively Recognizing Toricity of Steady State Varieties Mathematics in Computer Science, Springer, 2021, 15 (2), pp.199 - 232. ⟨10.1007/s11786-020-00479-9⟩
	hal-03647772v1 Preprints, Working Papers, ... Paul Magron, Cédric Févotte. A majorization-minimization algorithm for nonnegative binary matrix factorization 2022
	hal-03076711v1 Preprints, Working Papers, ... François Protais, Maxence Reberol, Nicolas Ray, Etienne Corman, Franck Ledoux et al. Robust Quantization for Polycube Maps 2020
	hal-03200480v1 Conference papers Maxime Amblard, Miguel Couceiro. A Broad NLP Training from Speech to Knowledge NAACL 2021 - 5th Workshop on Teaching NLP at the Annual Conference of the North American Chapter of the Association for Computational Linguistics, Jun 2021, Mexico / Virtual, Mexico
	hal-01673439v1 Journal articles Mehwish Alam, Aleksey Buzmakov, Amedeo Napoli. Exploratory Knowledge Discovery over Web of Data Discrete Applied Mathematics, Elsevier, 2018, 249, pp.2-17. ⟨10.1016/j.dam.2018.03.041⟩
	hal-00924622v1 Journal articles Jeanne Pellerin, Bruno Lévy, Guillaume Caumon, Arnaud Botella. Automatic surface remeshing of 3D structural models at specified resolution: A method based on Voronoi diagrams Computers & Geosciences, Elsevier, 2014, 62, pp.103-116. ⟨10.1016/j.cageo.2013.09.008⟩
	hal-01673441v1 Journal articles Jaume Baixeries, Victor Codocedo, Mehdi Kaytoue, Amedeo Napoli. Characterizing Approximate-Matching Dependencies in Formal Concept Analysis with Pattern Structures Discrete Applied Mathematics, Elsevier, 2018, 249, pp.18-27. ⟨10.1016/j.dam.2018.03.073⟩
	1 2 3 4 5 6 7 8 9 10 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

Keyword Minimize

Type of deposit Minimize

Year Minimize

Designed by Inria-IES Team : Hosted by HAL :