Browse by search - Archive ouverte HAL

Free and accessible knowledge

	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
	tel-00350900v2 Theses Géraldine Jean. In silico methods for genome rearrangement analysis: from identification of common markers to ancestral reconstruction. Other [cs.OH]. Université Sciences et Technologies - Bordeaux I, 2008. English
	hal-00645456v1 Conference papers Anca Muscholl. Taming Distributed Asynchronous Systems Concurrency Theory, 21th International Conference, CONCUR 2010, 2010, France
	hal-02166489v1 Journal articles Ludivine Paris, Martine Duclos, Florie Fillol, Sylvie Rousset. Acceptance of ICTs for health and/or Physical Activity Monitoring in Patients with Chronic Diseases Journal of Advances in Sports and Physical Education, 2019, 2 (3), pp.50-58. ⟨10.21276/jaspe.2019.2.3.1⟩
	ensl-00086904v1 Journal articles Jean-Michel Muller, Nicolas Brisebarre, Peter Kornerup, David Defour, Nathalie Revol. A new range-reduction algorithm IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2005, 54 (3), pp.331- 339. ⟨10.1109/TC.2005.36⟩
	inria-00486977v1 Reports Damien Imbs, Michel Raynal, Gadi Taubenfeld. On Asymmetric Progress Conditions [Research Report] PI-1952, 2010, pp.15
	hal-00165947v1 Conference papers Stéphane Gaubert, Jean Mairesse. Performance evaluation of timed Petri nets using heaps of pieces PNPM'99, 1999, Zaragoza, Spain. pp.158-169
	hal-01445854v1 Conference papers M. M. Bernard, G. Montémont, S. Stanchina, Stéphane Mancini. Real-Time Processing for an Adaptable SPECT System Based on CZT Detectors IEEE Nuclear Science Symposium (NSS/MIC'16), Oct 2016, Strasbourg, France
	hal-01126796v1 Conference papers Ana Cavalcanti, Marie-Claude Gaudel. Data Flow Coverage for Circus-Based Testing LNCS, ETAPS, Apr 2014, Grenoble, France. pp.415-429, ⟨10.1007/978-3-642-54804-8_29⟩
	tel-00327772v1 Theses Fabrice Peix. Distribution de programmes synchrones : Le cas d'Esterel Autre [cs.OH]. Université Nice Sophia Antipolis, 2004. Français
	hal-00645452v1 Journal articles Mikolaj Bojanczyk, Claire David, Anca Muscholl, Thomas Schwentick, Luc Segoufin. Two-variable logic on data words ACM Transactions on Computational Logic, Association for Computing Machinery, 2011, 12, pp.27
	tel-02881987v1 Theses Mehdi yedroudj. Steganalysis and steganography by deep learning Autre [cs.OH]. Université Montpellier, 2019. Français. ⟨NNT : 2019MONTS095⟩
	hal-00802500v1 Reports Maurin Nadal, Guy Melançon. Reusable genomes : Welcome to the green genetic algorithm world 2013
	inria-00483952v1 Journal articles Julien Ponge, Benatallah Boualem, Fabio Casati, Farouk Toumani. Analysis and Applications of Timed Service Protocols ACM Transactions on Software Engineering and Methodology, Association for Computing Machinery, 2010, 19 (4), ⟨10.1145/1734229.1734230⟩
	hal-00163561v1 Books Leo Liberti. Fondamenti Algebrici degli Automi Cellulari Invertibili M.Sc.~Thesis (in Italian), Dip. di Matematica, Università di Torino, 1997
	tel-01443327v1 Theses Clément Poncelet Sanchez. Model-Based Testing Real-Time and Interactive Music Systems Other [cs.OH]. EDITE, 2016. English
	hal-00803702v1 Reports Karim Benouaret, Raman Valliyur-Ramalingam, François Charoy. CrowdSC: Building Smart Cities with Large Scale Citizen Participation 2013
	tel-00484354v1 Theses Xavier Lorca. Contraintes de Partitionnement de Graphe Autre [cs.OH]. Université de Nantes, 2007. Français
	hal-01923258v1 Conference papers Vincent Goudard. John, the semi-conductor : a tool for comprovisation International Conference on Technologies for Music Notation and Representation (TENOR'18), May 2018, Montréal, Canada
	hal-01683611v1 Conference papers Marie-Claude Gaudel. Formal Methods for Software Testing 11th International Symposium on Theoretical Aspects of Software Engineering (TASE 2017), , IEEE, Sep 2017, Sophia-Antipolis, France
	hal-00308224v1 Conference papers Pierre Hanna, M. Desainte-Catherine. Influence de la densité spectrale sur la synthèse de sons bruités Journées d'Informatique Musicale (JIM), May 2002, Marseille, France. pp.17--24
	hal-03123537v1 Preprints, Working Papers, ... Abd Errahmane Kiouche, Julien Baste, Mohammed Haddad, Hamida Seba. A Neighborhood-preserving Graph Summarization 2021
	hal-01604193v1 Other publications Philippe Clastre, Christian Pichot, Andre Chanzy. Vocabulary for analysis and experimentation on terrestrial and aquatic ecosystems [Data set] 2017, ⟨10.15454/1.4894016754286177E12⟩
	hal-01281351v1 Journal articles Gilles Gouaty, Fang Lincing, Dominique Michelucci, Marc Daniel, Jean-Philippe Pernot et al. Variational Geometric Modeling with Black Box Constraints and DAGs Computer-Aided Design, Elsevier, 2016, ⟨10.1016/j.cad.2016.02.002⟩
	hal-02801706v1 Conference papers Michel Moulery, Abdramane Samake. Journées techniques INRA - CATI@ACTION 2015 Journées techniques 2015 du CATI ACTION, Apr 2015, Avignon, France. 23 p
	hal-00881291v1 Conference papers Benoit Cornu, Lionel Seinturier, Martin Monperrus. Characterizing, Verifying and Improving Software Resilience with Exception Contracts and Test Suites Benevol 2013, Dec 2013, Mons, Belgium
	hal-01361233v1 Conference papers Jérôme Nika, Marc Chemillier, Gérard Assayag. Guider l'improvisation musicale homme-machine : une synthèse sur le système ImproteK Journées d'Informatiques Musicales (JIM) 2016, GMEA - Labri, Mar 2016, Albi, France
	hal-00883117v1 Conference papers Elias Egho, Nicolas Jay, Chedy Raïssi, Gilles Nuemi, Catherine Quantin et al. An approach for mining care trajectories for chronic diseases AIME 2013 - 14th Conference on Artificial Intelligence in Medicine, May 2013, Murcia, Spain
	hal-00641850v1 Conference papers Michel Vacher, Dan Istrate, François Portet, Thierry Joubert, Thierry Chevalier et al. The SWEET-HOME Project: Audio Technology in Smart Homes to improve Well-being and Reliance 33rd Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC 2011), Aug 2011, Boston, United States. pp.5291-5294
	tel-00084287v1 Theses David Monniaux. Analysis of probabilistic programs by abstract interpretation Software Engineering [cs.SE]. Université Paris Dauphine - Paris IX, 2001. English
	hal-00084194v1 Conference papers Rushed Kanawati, Hager Karoui, Laure Petrucci. Cooperative CBR system for peer agent committee formation workshop on Agents and Peer-ToPeer Computing, 2006, Hakodate, Japan
	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