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

HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information

	1 2 3 4 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-01136819v1 Journal articles David Angeli, Denis Efimov. Characterizations of Input-to-State Stability for systems with multiple invariant sets IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, 2015, 60 (12), pp.3242 - 3256. ⟨10.1109/TAC.2015.2418676⟩
	hal-00746865v1 Journal articles Marco Galardini, Alessio Mengoni, Matteo Brilli, Francesco Pini, Antonella Fioravanti et al. Exploring the symbiotic pangenome of the nitrogen-fixing bacterium Sinorhizobium meliloti. BMC Genomics, BioMed Central, 2011, 12, pp.235. ⟨10.1186/1471-2164-12-235⟩
	hal-00576921v1 Journal articles Filippo Bonchi, Marcello Bonsangue, Michele Boreale, Jan Rutten, Alexandra Silva. A Coalgebraic Perspective on Linear Weighted Automata Information and Computation, Elsevier, 2012, 211, pp.77-105
	inserm-01341764v1 Journal articles Polina Kurbatova, Fabrice Wendling, Anna Kaminska, Anna Rosati, Rima Nabbout et al. Dynamic changes of depolarizing GABA in a computational model of epileptogenic brain: Insight for Dravet syndrome. Experimental Neurology, Elsevier, 2016, 283 (Pt A), pp.57-72. ⟨10.1016/j.expneurol.2016.05.037⟩
	hal-00764025v1 Journal articles Vicente Acuña, Etienne Birmelé, Ludovic Cottret, Pierluigi Crescenzi, Fabien Jourdan et al. Telling stories: Enumerating maximal directed acyclic graphs with a constrained set of sources and targets Theoretical Computer Science, Elsevier, 2012, 457, pp.1--9. ⟨10.1016/j.tcs.2012.07.023⟩
	hal-00922567v1 Journal articles Paulo Vieira Milreu, Cecilia Coimbra Klein, Ludovic Cottret, Vicente Acuña, Etienne Birmelé et al. Telling metabolic stories to explore metabolomics data: a case study on the yeast response to cadmium exposure Bioinformatics, Oxford University Press (OUP), 2014, 30 (1), pp.61-70. ⟨10.1093/bioinformatics/btt597⟩
	hal-00737455v1 Journal articles Cecilia Klein, Andrea Marino, Marie-France Sagot, Paulo Vieira Milreu, Matteo Brilli. Structural and dynamical analysis of biological networks. Briefings in Functional Genomics and Proteomics, Oxford University Press, 2012, 14, pp.309. ⟨10.1093/bfgp/els030⟩
	hal-00751339v1 Conference papers Paulo Milreu, Vicente Acuña, Etienne Birmelé, Pierluigi Crescenzi, Alberto Marchetti-Spaccamela et al. Enumerating Chemical Organisations in Consistent Metabolic Networks: Complexity and Algorithms Workshop on Algorithms in Bioinformatics (WABI), Sep 2010, Liverpool, United Kingdom. pp.226-237, ⟨10.1007/978-3-642-15294-8_19⟩
	hal-00829354v1 Conference papers Stefano Berretti, Alberto del Bimbo, Pietro Pala, Boulbaba Ben Amor, Daoudi Mohamed. A Set of Selected SIFT Features for 3D Facial Expression Recognition 20th International Conference on Pattern Recognition, Aug 2010, Istanbul, Turkey. pp.4125 - 4128
	hal-00148929v1 Conference papers Giuseppe Castagna, Rocco de Nicola, Daniele Varacca. Semantic Subtyping for the pi-Calculus LICS, 2005, pp.92-101
	hal-01930058v1 Conference papers Benedikt Ahrens, André Hirschowitz, Ambroise Lafont, Marco Maggesi. High-level signatures and initial semantics 27th EACSL Annual Conference on Computer Science Logic (CSL 2018), Sep 2018, Birmingham, United Kingdom. pp.1-20, ⟨10.4230/LIPIcs.CSL.2018.4⟩
	hal-02380682v1 Journal articles Benedikt Ahrens, André Hirschowitz, Ambroise Lafont, Marco Maggesi. Reduction Monads and Their Signatures Proceedings of the ACM on Programming Languages, ACM, 2020, pp.1-29. ⟨10.1145/3371099⟩
	hal-03456772v1 Preprints, Working Papers, ... Mathilde Bouvel, Lapo Cioni, Benjamin Izart. The interval posets of permutations seen from the decomposition tree perspective 2021
	hal-03117762v1 Conference papers Marco Maggesi, Enrico Tassi. Private types in Higher Order Logic Programming TEASE-LP 2020 - Workshop on Trends, Extensions, Applications and Semantics of Logic Programming, May 2020, Virtual Event, France
	hal-00922696v2 Conference papers Andrea Clementi, Pierluigi Crescenzi, Carola Doerr, Pierre Fraigniaud, Marco Isopi et al. Rumor Spreading in Random Evolving Graphs 21st Annual European Symposium on Algorithms - ESA 2013, Sep 2013, Sophia Antipolis, France. pp.325-336, ⟨10.1007/978-3-642-40450-4_28⟩
	hal-00542413v1 Journal articles Helmut Staudenrausch, Wolfgang-Albert Flügel, Thierry Ranchin, Isabelle Herlin, Giuliano Rodolfi et al. The development of an innovative computer based "Integrated water resources management system" for semi-arid catchments : concept and firts results Zentralblatt fur Geologie und Palaontologie, Teil I, E. Schweizerbart Science Publishers, 1999, Heft 3-4, p.189-212
	hal-02646296v1 Journal articles Francesco Pini, Benjamin Frage, Lorenzo Ferri, Nicole J. de Nisco, Saswat S. Mohapatra et al. The DivJ, CbrA and PleC system controls DivK phosphorylation and symbiosis in Sinorhizobium meliloti Molecular Microbiology, Wiley, 2013, 90 (1), pp.54 - 71. ⟨10.1111/mmi.12347⟩
	hal-03341770v1 Book sections Marta Lazzaretti, Simone Rebegoldi, Luca Calatroni, Claudio Estatico. A Scaled and Adaptive FISTA Algorithm for Signal-Dependent Sparse Image Super-Resolution Problems Scale Space and Variational Methods in Computer Vision LNCS conference proceedings 2021, 12679, Springer International Publishing, pp.242-253, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-75549-2_20⟩
	hal-03579509v1 Journal articles Yue Zhai, Amina Amadou, Catherine Mercier, Delphine Praud, Élodie Faure et al. The impact of left truncation of exposure in environmental case–control studies: evidence from breast cancer risk associated with airborne dioxin European Journal of Epidemiology, Springer Verlag, 2022, 37 (1), pp.79-93. ⟨10.1007/s10654-021-00776-y⟩
	hal-00748788v1 Conference papers Vicente Acuña, Etienne Birmelé, Ludovic Cottret, Pierluigi Crescenzi, Fabien Jourdan et al. Telling Stories ICALP 2011 satellite workshop: Graph Algorithms and Applications (GA), 2011, Zurich, Switzerland. ⟨10.1016/j.tcs.2012.07.023⟩
	hal-00738927v1 Conference papers Etienne Birmelé, Pierluigi Crescenzi, Rui Ferreira, Roberto Grossi, Vincent Lacroix et al. Efficient Bubble Enumeration in Directed Graphs String Processing and Information Retrieval (SPIRE), Oct 2012, Cartagena, Colombia. pp.118-129, ⟨10.1007/978-3-642-34109-0_13⟩
	hal-03530948v1 Preprints, Working Papers, ... Darawan Rinchai, Sara Deola, Gabriele Zoppoli, Basirudeen Syed Ahamed Kabeer, Sara Taleb et al. High temporal resolution transcriptomic profiling delineates distinct patterns of interferon response following Covid-19 mRNA vaccination and SARS-CoV2 infection 2021
	hal-02059785v1 Journal articles Houssam Alrachid, Bossy Mireille, Cristiano Ricci, Lukasz Szpruch. New particle representations for ergodic McKean-Vlasov SDEs ESAIM: Proceedings and Surveys, EDP Sciences, 2019, CEMRACS 2017 - Numerical methods for stochastic models: control, uncertainty quantification, mean-field, 65, pp.68-83. ⟨10.1051/proc/201965068⟩
	hal-03195613v1 Preprints, Working Papers, ... Luca Calatroni, Simone Rebegoldi. A scaled, inexact and adaptive Fast Iterative Soft-Thresholding Algorithm for convex image restoration 2021
	hal-01255125v1 Journal articles Michele Borassi, Pierluigi Crescenzi, Michel Habib, Walter Kosters, Andrea Marino et al. Fast diameter and radius BFS-based computation in (weakly connected) real-world graphs: With an application to the six degrees of separation games Theoretical Computer Science, Elsevier, 2015, 586, pp.21. ⟨10.1016/j.tcs.2015.02.033⟩
	hal-00793004v1 Journal articles David Angeli, Pierre-Alexandre Bliman. Convergence Speed of Unsteady Distributed Consensus: Decay Estimate Along the Settling Spanning-Trees SIAM Journal on Control and Optimization, Society for Industrial and Applied Mathematics, 2009, 48 (1), pp.1-32. ⟨10.1137/060673527⟩
	inria-00548615v1 Journal articles Joost van de Weijer, Theo Gevers, Andrew Bagdanov. Boosting color saliency in image feature detection IEEE Transactions on Pattern Analysis and Machine Intelligence, Institute of Electrical and Electronics Engineers, 2006, 28 (1), pp.150--156. ⟨10.1109/TPAMI.2006.3⟩
	hal-00751345v1 Conference papers Etienne Birmelé, Rui Ferreira, Roberto Grossi, Andrea Marino, Nadia Pisanti et al. Optimal Listing of Cycles and st-Paths in Undirected Graphs 24th Annual ACM-SIAM Symposium on Discrete Algorithms, Jan 2013, New Orleans, United States
	hal-00936304v1 Journal articles Pilu Crescenzi, Roberto Grossi, Michel Habib, Leonardo Lanzi, Andrea Marino. On computing the diameter of real-world undirected graphs Theoretical Computer Science, Elsevier, 2013, Graph Algorithms and Applications: in Honor of Professor Giorgio Ausiello, 514, pp.84-95. ⟨10.1016/j.tcs.2012.09.018⟩
	inria-00532743v1 Conference papers Volker Hochschild, Isabelle Herlin, Sandro Moretti, Thierry Ranchin, Helmut Staudenrausch. Application of Remote Sensing to the Development of an Integrated Water Resources Management System (IWRMS) International Symposium on remote sensing of environment, Mar 2000, Cape Town, South Africa
	1 2 3 4 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

Type of deposit Minimize

Year Minimize

Designed by Inria-IES Team : Hosted by HAL :