• Filtres
• Structure : Identifiant HAL de la structure  ×
• Tous  ×

384 résultats  enregistrer la recherche

 Rechercher

 Recherche avancée…  Recherche simple…

 

Champ de recherche par défaut (multicritères) 

• Champ de recherche par défaut (multicritères)
• Champ de recherche par défaut (multicritères) + texte intégral des PDF
• Titres
• Sous-titre
• Titre de l'ouvrage
• Titre du volume (Série)
• Résumé
• Texte intégral indexé des documents PDF
• Mots-clés
• Tous les identifiants du document
• Identifiant HAL du dépôt
• Langue du document (texte)
• Pays (Texte)
• Ville
• À paraître (true ou false)
• Auteur (multicritères)
• Auteur : Nom complet
• Auteur : Nom de famille
• Auteur : Prénom
• Auteur : Complément de nom, deuxième prénom
• Auteur : Organisme payeur
• Auteur : IdHal (chaîne de caractères)
• Auteur : Fonction
• Auteur : idHal numérique
• Auteur : Identifiant
• Auteur : Identifiant de l'organisme payeur
• Auteur : Identifiant de la structure
• Directeur de thèse
• Éditeur
• Éditeur scientifique
• Éditeur de la série
• Revues (multicritères)
• Revue : Éditeur
• Revue : Titre abrégé
• Revue : Titre
• Revue : Identifiant interne
• Revue : Date de début de publication
• Revue : ISSN électronique
• Revue : ISSN
• Revue : Éditeur
• Revue : Couleur dans SHERPA/RoMEO
• Revue : État dans le référentiel
• Colloque (multicritères)
• Colloque : Titre
• Colloque : Organisateur
• Colloque : date de début (Année)
• Colloque : date de fin (Année)
• Conférence invitée (oui/non)
• Projets ANR (multicritères)
• Projet ANR : Acronyme
• Projet ANR : Acronyme de l'appel à projet
• Projet ANR : Nom de l'appel à projet
• Projet ANR : Référence
• Projet ANR : Nom
• Projet ANR : Identifiant interne
• Projet ANR : État dans le référentiel
• Projets européens (multicritères)
• Projet européen : Acronyme
• Projet européen : Identifiant de l'appel à projet
• Projet européen : Référence
• Projet européen : Nom
• Projet européen : Date de fin
• Projet européen : Financement
• Projet européen : Date de début
• Projet européen : État dans le référentiel
• Projet européen : Identifiant interne
• Structure (multicritères)
• Structure : Acronyme
• Structure : Nom
• Structure : Code
• Structure : Pays
• Structure : Type
• Structure : État dans le référentiel
• Structure : Identifiant HAL de la structure
• Structure/équipe de recherche : Pays
• Structure/regroupement d'équipes : Pays
• Structure/laboratoire : Pays
• Structure/regroupement de laboratoires: Pays
• Structure/institution : Pays
• Structure/regroupement d'institutions: Pays
• Date de publication : année
• Date de mise en ligne : année
• Date d'écriture : année
• Date de modification du dépôt : année
• Date de dépôt : année
• Date de publication électronique : année
• Collection HAL (multicritères)
• Collection HAL : catégorie
• Collection HAL : Code
• Collection HAL : Nom
• Collection HAL : Identifiant interne
• Identifiant interne du contributeur/déposant
• Nom complet du contributeur/déposant
• Domaines
• Domaine primaire
• Domaine racine
• Sous-domaine niveau 1
• Sous-domaine niveau 2
• Sous-domaine niveau 3
• Statut du document
• Version du document
• Type de dépôt
• Type de document
• ISBN
• Numéro - référence
• Identifiant DOI
• Classification
• Audience
• Vulgarisation
• Comité de lecture - texte (oui ou non)
• Actes de colloque
• Référence interne
• Financement
• Collaborations

 

	1 2 3 4 5 6 7 8 9 10	Tri  Pertinence  Auteur A→Z  Auteur Z→A  Titre A→Z  Titre Z→A  Date de publication croissante  Date de publication décroissante  Date de dépôt croissante  Date de dépôt décroissante Nombre 30 résultats par page 50 résultats par page 100 résultats par page × Merci d'indiquer la raison de votre demande Annuler Envoyer la demande  Outils  Pour les 384 documents  Exporter XML-TEI BibTeX EndNote CSV PDF RTF  Export avancé...  Syndication RSS ATOM
	hal-00650333v1  Communication dans un congrès Jan Sliwka, Luc Jaulin, Martine Ceberio, Vladik Kreinovich. Processing Interval Sensor Data in the Presence of Outliers, with Potential Applications to Localizing Underwater Robots IEEE SMC 2011, Oct 2011, Anchorage, United States. 978-1-4577-0653-0/11/©2011 IEEE p. 2333-2337
	hal-00800765v1  Communication dans un congrès Christophe Osswald. Controling the number of focal elements Belief 2012, May 2012, Compiègne, France. pp.135-143, ⟨10.1007/978-3-642-29461-7⟩
	hal-01298895v1  Communication dans un congrès Lamia Allal, Ghalem Belalem, Philippe Dhaussy. Towards Distributed Solution to the State Explosion Problem INDIA 2016, Jan 2016, Vishakapatnam, India. ⟨10.1007/978-81-322-2755-7_56⟩
	hal-01373317v1  Article dans une revue Lamia Allal, Ghalem Belalem, Philippe Dhaussy, Ciprian Teodorov. A Parallel Algorithm for the State Space Exploration Scalable Computing : Practice and Experience, West University of Timisoara, 2016, Scalable Computing: Practice and Experience, 17 (2), pp.129-141. ⟨10.12694/scpe.v17i2.1161⟩
	hal-01373327v1  Article dans une revue Lamia Allal, Ghalem Belalem, Philippe Dhaussy, Ciprian Teodorov. Sequential and Parallel Algorithms for the State Space Exploration Cybernetics and Information Technologies, 2016, 16 (1), ⟨10.1515/cait-2016-0001⟩
	hal-01087442v1  Communication dans un congrès Julien Deantoni, Papa Issa Diallo, Ciprian Teodorov, Joël Champeau, Benoit Combemale. Towards a Meta-Language for the Concurrency Concern in DSLs Design, Automation and Test in Europe Conference and Exhibition (DATE), Mar 2015, Grenoble, France
	hal-01192706v1  Article dans une revue Jeremy Nicola, Luc Jaulin. Contractors and Linear Matrix Inequalities ASCE-ASME Journal of Risk and Uncertainty in Engineering Systems, Part B: Mechanical Engineering, American Society of Mechanical Engineers (ASME), 2015, 1 (3), ⟨http://ascelibrary.org/⟩. ⟨10.1115/1.4030781 ⟩
	hal-01192720v1  Communication dans un congrès Jean-Philippe Schneider, Joël Champeau, Loïc Lagadec, Eric Senn. Role Framework to Support Collaborative Virtual Prototyping of System of Systems WETICE 2015, IEEE, Jun 2015, Larnaca, Cyprus
	hal-00636875v1  Communication dans un congrès Amine Raji, Philippe Dhaussy. Use Cases Modeling for Scalable Model-Checking APSEC'11, Dec 2011, Minh City, Vietnam
	hal-01089392v1  Direction d'ouvrage, Proceedings, Dossier Loïc Lagadec, Alain Plantec. Preface to the special issue on advances in Smalltalk based systems France. 96 (1), pp.1-3, 2014, Science of Computer Programming, ⟨10.1016/j.scico.2014.07.004⟩
	hal-01089485v1  Communication dans un congrès Mohamed Abaza, Raed Mesleh, Ali Mansour, El-Hadi Mohamed Aggoune. Spatial Diversity For FSO Communication Systems Over Correlated Atmospheric Turbulence Channels WCNC 2014, Apr 2014, Istanbul, Turkey
	hal-00678272v1  Communication dans un congrès Ali Koudri, Teodora Petrisor, Joël Champeau, Vincent Leilde. Framework for Integrating ESL Tools PMDE 2011, Jun 2011, United Kingdom. 2011
	hal-00687505v1  Communication dans un congrès Alexandre Baussard, Samuel Grosdidier. Target detection based on morphological component analysis of HFSWR images for maritime surveillance PIERS 2012, Mar 2012, Kuala Lumpur, Malaysia. pp.87, 2012
	hal-00687507v1  Communication dans un congrès Ali Khenchaf, Laurent Vaitilingom. MONOSTATIC AND BISTATIC ELECTROMAGNETIC SIGNATURE OF SEA AND GROUND CLUTTER IN HF BAND ESTIMATED BY USING SPM, TSM AND SSA MODELS PIERS 2012, Mar 2012, Kuala Lumpur, Malaysia. pp.81, 2012
	hal-00670420v1  Communication dans un congrès Marie Ludwig, Nicolas Farcet, Jean-Philippe Babau, Joël Champeau. Organizational Configurations in Executable Enterprise Architecture Models poster session of Complex Systems Design and Management 2011, Dec 2011, Paris, France. 2011
	hal-00729996v1  Communication dans un congrès Slahedine Ben Khadra, Ali Khenchaf. EM BISTATIC SCATTERING BY SEA SURFACE AND EXPERIMENTAL STUDY OF THE HYDRODYNAMIC PHENOMENA IGARSS 2012, Jul 2012, Munich, Germany
	hal-00843210v1  Communication dans un congrès Yann Le Gall, Julien Bonnel. Separation of moving ship striation patterns using physics-based filtering ICA 2013, Jun 2013, Montreal, Canada. ⟨10.1121/1.4799770⟩
	hal-01241499v1  Communication dans un congrès Ahmed Hadj Bay Ahmed, Jean-Christophe Cexus, Abdelmalek Toumi, Abdel-Ouahab Boudraa. Construction d'images ISAR par Décomposition Modale Empirique et Représentation Temps-Fréquence GRETSI, Sep 2015, Lyon, France
	hal-01241525v1  Communication dans un congrès Anthony Fiche, Arnaud Martin, Jean-Christophe Cexus, Ali Khenchaf. Continuous belief functions and α-stable distributions Information Fusion (FUSION), 2010 13th Conference on, Jul 2010, Edinburgh, United Kingdom. 7 p
	hal-00843206v1  Communication dans un congrès Juan Zeng, N. Ross Chapman, Julien Bonnel, Li Ma, Yan Chen. Inversion of seabed acoustic parameters in shallow water using the warping transform ICA 2013, Jun 2013, Montreal, Canada. ⟨10.1121/1.4799786⟩
	hal-01236692v1  Communication dans un congrès R. dos Santos Fagundes, D. Lejeune, A. Mansour, F. Le Roy, Mohamad-Raafat Lababidi. Wideband High Dynamic Range Surveillance EUSIPCO 2015, Université de Sophia Antipolis, Aug 2015, Nice, France
	hal-00802721v1  Communication dans un congrès Duc-Manh Nguyen, Frédéric Dambreville, Abdelmalk Toumi, Jean-Christophe Cexus, Ali Khenchaf. Une méthode de génération de colonnes pour la planification des capteurs dans un processus de collecte d'informations Conférence ROADEF 2013, Feb 2013, Troyes, France. 2 p
	hal-01203491v1  Communication dans un congrès Seifallah Ben Saad, Benoît Zerr, Irvin Probst, Frédéric Dambreville. Hybrid Coordination Strategy of a Group of Cooperating Autonomous Underwater Vehicles IFAC Workshop on Multivehicle Systems MVS 2015, IFAC - International Federation of Automatic Control, May 2015, Genova, Italy. pp.47-52
	hal-00913657v1  Communication dans un congrès Ahmed Nait-Chabane, Benoît Zerr, Gilles Le Chenadec. Sidescan sonar imagery segmentation with a combination of texture and spectral analysis OCEANS'13, Jun 2013, France. pp.1-6, ⟨10.1109/OCEANS-Bergen.2013.6608096⟩
	hal-01255219v1  Brevet Jean-Philippe Brunet, Thomas Sousselier, Johann Dreo, Luc Jaulin. METHOD FOR CONTROLLING A SET OF ROBOTS, AND SET OF ROBOTS United States, Patent n° : US20150331421. 2015
	hal-01206522v1  Communication dans un congrès Philippe Dhaussy. Approche pour la Vérification Formelle de Propriétés : Application au Développement Industriel de Logiciels Embarqués JDIM’14, Jun 2014, Mostaganem, Algeria
	hal-01156537v1  Communication dans un congrès Papa Issa Diallo, Seyed-Hosein Attarzadeh-Niaki, Francesco Robino, Ingo Sander, Joël Champeau et al.  A Formal, Model-driven Design Flow for System Simulation and Multi-core Implementation SIES 2015, University of Siegen, Jun 2015, Siegen, Germany
	hal-01156518v1  Communication dans un congrès Jean-Philippe Schneider, Joël Champeau, Ciprian Teodorov, Eric Senn, Loic Lagadec et al.  A Role Language to Interpret Multi-Formalism System of Systems Models Syscon 2015, IEEE, Apr 2015, Vancouver, Canada
	hal-01006647v1  Article dans une revue Luka Leroux, Jérôme Delatour, Philippe Dhaussy. Modélisation UML d'un régulateur de vitesse automobile Génie logiciel, C & S, 2014, 109
	hal-01164494v1  Communication dans un congrès Zahra Katbay, Sawsan Sadek, Mohamad-Raafat Lababidi, Andre Perennec, Marc Le Roy. Miniature Antenna for Breast Tumor Detection NEWCAS 2015, Université de Grenoble, Jun 2015, Grenoble, France
	1 2 3 4 5 6 7 8 9 10	Tri  Pertinence  Auteur A→Z  Auteur Z→A  Titre A→Z  Titre Z→A  Date de publication croissante  Date de publication décroissante  Date de dépôt croissante  Date de dépôt décroissante Nombre 30 résultats par page 50 résultats par page 100 résultats par page  Outils  Pour les 384 documents  Exporter XML-TEI BibTeX EndNote CSV PDF RTF  Export avancé...  Syndication RSS ATOM