Accéder directement au contenu
Accéder directement à la navigation
Toggle navigation
HAL
HAL
HALSHS
TEL
MédiHAL
Liste des portails
AURéHAL
API
Data
Documentation
Episciences.org
Episciences.org
Revues
Documentation
Sciencesconf.org
Support
Connexion
Connexion
Connexion avec ORCID
se connecter avec Fédération
Créer un compte
Mot de passe oublié ?
Login oublié ?
Accueil
Dépôt
Consultation
Consultation par type de publication
Par laboratoire
Par auteur
Recherche
Recherche
Les Filtres
Filtres
Structure/laboratoire : Nom ×
Année ×
Tous ×
102 résultats
enregistrer la recherche
Type de document
Réduire
Communication dans un congrès
(67)
Article dans une revue
(26)
Chapitre d'ouvrage
(3)
Poster
(3)
Thèse
(2)
Direction d'ouvrage, Proceedings, Dossier
(1)
Auteur
Réduire
H. Abdallah
(1)
El-Hadi M. Aggoune
(1)
Lamia Allal
(4)
Naïma Amrouche
(2)
Safia Nait Bahloul
(3)
Djamila Baroudi
(1)
Alexandre Baussard
(5)
Ghalem Belalem
(4)
Amel Benabbou
(3)
Daoud Berkani
(2)
Daoud. Berkania
(1)
Thibaud Berthomier
(2)
Dominique Blouin
(1)
Théotime Bollengier
(3)
E Bonnafous
(1)
Julien Bonnel
(6)
Pierre Bosser
(5)
Luc Bressollette
(2)
Dorian Cazau
(2)
Jean-Christophe Cexus
(3)
Didier Charlot
(1)
Gilles Le Chenadec
(3)
Thierry Chonavel
(2)
Benoit Clement
(8)
Arnaud Coatanhay
(1)
Fabrice Comblet
(11)
Ewen Conan
(2)
Cedric Cornu
(2)
Florent Le Courtois
(1)
Frédéric Dambreville
(2)
Nathalie Debese
(3)
Benoît Delaunay
(1)
Philippe Dhaussy
(12)
Zoé Drey
(2)
Angélique Drémeau
(2)
Cyrille Enderli
(2)
Yann Le Gall
(2)
Fabricio Garelli
(2)
Helmi Ghanmi
(2)
Romain Giacometti
(2)
Jean-François Grandin
(2)
D. Hamad
(1)
Mohammed El Hassouni
(3)
Dominique Heller
(1)
Ismail Hmama,
(2)
Daniel Jahan
(1)
Daniel Jahan.
(1)
Luc Jaulin
(8)
Denis Le Jeune
(1)
Ayoub Karine
(3)
A. Khenchaf
(1)
Ali. Khenchaf
(1)
Ali Khenchaf
(26)
Florent Krzakala
(1)
Iiro Kuusisto,
(2)
Tran Vu La
(8)
Loïc Lagadec
(5)
Christelle Mekemlong Lando
(2)
Jean-Christophe Le Lann
(4)
Doze Vincent Le
(1)
Michel Legris
(2)
Emmanuelle C. Leroy
(1)
Papa Ousmane Leye
(3)
Ali Mansour
(7)
A. Mansour
(1)
Julien Le Mercier
(2)
Gaspard Minster
(1)
Dominique Monnet
(3)
Irène Mopin
(2)
Dominique Mottier
(2)
Carole Nahum
(9)
Mohamad Najem
(3)
Abbass Nasser
(1)
Ba-Vinh Nguyen
(1)
Florian Nicolas
(1)
Barbara Nicolas
(2)
Amandine Nicolle
(1)
Jordan Ninin
(5)
Fadi Obeid
(1)
Aries Philippe
(1)
Dhaussy Philippe
(2)
Laurent Picard
(2)
F. Pichard
(1)
Franck Poisson
(1)
Philippe Pouliguen
(3)
Jean-Michel Quellec
(2)
Isabelle Quidu
(4)
Juan Luis Rosendo
(2)
Frédéric Le Roy
(3)
Flore Samaran
(1)
Hugo Seuté
(2)
Muntadher A. Shareef
(2)
François-Xavier Socheleau
(2)
Ciprian Teodorov
(4)
Christofer Toumazou
(1)
Abdelmalek Toumi
(9)
Eric W. Tramel
(1)
Koffi Clément Yao
(2)
Benoit Zerr
(4)
Benoît Zerr
(2)
Domaine
Réduire
Sciences de l'ingénieur [physics]
(65)
Informatique [cs]
(27)
Planète et Univers [physics]
(8)
Sciences de l'environnement
(4)
Mathématiques [math]
(3)
Physique [physics]
(3)
Sciences du Vivant [q-bio]
(1)
Laboratoire
Réduire
Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance
(96)
Pôle STIC [Brest]
(20)
Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (UMR 3192)
(15)
Pole STIC, ENSTA Bretagne
(5)
Laboratoire de Recherche Informatique et Télécommunications
(4)
Laboratoire de Recherche en Informatique et Télécommunications [Rabat]
(4)
Département de Médecine Interne et Pneumologie [Brest]
(3)
Groupe d'Etude de la Thrombose de Bretagne Occidentale
(3)
Thales Airborne Systems
(3)
Centre de Recherche en Acquisition et Traitement de l'Image pour la Santé
(2)
DGA Maîtrise de l'information
(2)
Délégation générale de l'armement
(2)
Laboratoire des Sciences et Technologies de l'Information Géographique
(2)
Service Hydrographique et Océanographique de la Marine
(2)
Centre d'Études Biologiques de Chizé - UMR 7372
(1)
Centre de recherche sur la formation
(1)
Communication & Systèmes [Toulouse]
(1)
Department of Electronics [El Harrach]
(1)
Domaines Océaniques
(1)
Décision et Information pour les Systèmes de Production
(1)
Département de radiologie [Brest]
(1)
Electrical Depart.
(1)
Grenoble Images Parole Signal Automatique
(1)
Institut Jean Le Rond d'Alembert
(1)
Institut de Recherche en Communications et en Cybernétique de Nantes
(1)
Institut de recherche en astrophysique et planétologie
(1)
Institut des Neurosciences Paris-Saclay
(1)
Laboratoire brestois de mécanique et des systèmes
(1)
Laboratoire d'Acoustique de l'Université du Mans
(1)
Laboratoire d'Informatique Signal et Image de la Côte d'Opale
(1)
Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
(1)
Laboratoire de Physique Statistique de l'ENS
(1)
Laboratoire de Traitement de l'Information Medicale
(1)
MBDA France
(1)
SNCF : Innovation & Recherche
(1)
Sensor Networks & Cellular Systems
(1)
Service de Réanimation Médicale
(1)
Thales Underwater Systems
(1)
Thérapies Laser Assistées par l'Image pour l'Oncologie - U 1189
(1)
Unité de Recherche Informatique et Automatique
(1)
University Of Manchester Institute
(1)
Université de Mostaganem
(1)
Langue
Réduire
anglais
(95)
français
(7)
Type de dépôt
Réduire
Notice
(78)
Document
(24)
Année
Réduire
2016
(102)
2021
(20)
2020
(74)
2019
(123)
2018
(123)
2017
(112)
2015
(86)
2014
(70)
2013
(80)
2012
(72)
2011
(10)
2010
(13)
2009
(5)
2008
(13)
2007
(7)
2006
(8)
2005
(9)
2004
(7)
2003
(7)
2002
(9)
2001
(3)
2000
(2)
Rechercher
Aide
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 du programme
Projet ANR : Code décision (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 production : année
Date de mise en ligne : année
Date de publication : 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
Ajouter
Enregistrement réussi
Mes recherches enregistrées / mes alertes
Une erreur est survenue lors de l'enregistrement
1
2
3
4
Suivant
Dernière
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
Outils
Pour les 102 documents
Exporter
XML-TEI
BibTeX
EndNote
CSV
PDF
RTF
Export avancé...
Syndication
RSS
ATOM
hal-01864825
v1
Communication dans un congrès
Amel Benabbou
,
Safia Nait Bahloul
,
Philippe Dhaussy
.
An Automated Transformation Approach for Requirement Specification
Conf ITQM’16
, Aug 2016, Séoul, South Korea
tel-01505280
v2
Thèse
Seifallah Ben Saad
.
Conception d'un algorithme de coordination hybride de groupes de robots sous-marins communicants. Application : acquisition optique systématique et détaillée des fonds marins
Système multi-agents [cs.MA]. Université de Bretagne occidentale - Brest, 2016. Français.
⟨NNT : 2016BRES0052⟩
hal-01391389
v1
Poster
Pierre Bosser
.
Apprendre le positionnement par GNSS avec le logiciel RTKlib
Géomatice 2016
, May 2016, Marne-La-Vallée, France. 2016
hal-01398565
v1
Poster
Pierre Bosser
,
Ismail Hmama,
,
Iiro Kuusisto,
,
Julien Le Mercier
,
Christelle Mekemlong Lando
.
Évaluation d'une solution de positionnement ponctuel précis temps-réel
Colloque CNFG2 2016
, Nov 2016, Brest, France. 2016
hal-01373317
v1
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-01298623
v1
Article dans une revue
Amel Benabbou
,
Safia Nait Bahloul
,
Dhaussy Philippe
.
Context-aware approach for formal verification
EAI Endorsed Transactions on Context-aware Systems and Applications
, 2016, 3 (7), pp.1-10.
⟨10.4108/eai.12-2-2016.151085⟩
hal-01373327
v1
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-01326351
v1
Article dans une revue
Nadia Menad
,
Philippe Dhaussy
,
Zoé Drey
,
Rachida Mekki
.
TOWARDS A TRANSFORMATION APPROACH OF TIMED UML MARTE SPECIFICATIONS FOR OBSERVER-BASED FORMAL VERIFICATION
Computing and Informatics
, Slovak University Press, Bratislava, 2016, 35, pp.1001-1031
hal-01298895
v1
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-01298704
v1
Communication dans un congrès
Amel Benabbou
,
Safia Nait Bahloul
,
Philippe Dhaussy
.
A High-level Formalism to Elaborate Context for a Context-aware Verification Approach
ICIST 2016
, Mar 2016, Barcelone, Spain
hal-01373287
v1
Article dans une revue
Ciprian Teodorov
,
Luka Le Roux
,
Zoé Drey
,
Philippe Dhaussy
.
Past-Free[ze] reachability analysis: reaching further with DAG-directed exhaustive state-space analysis
Journal of Software Testing, Verification, and Reliability
, John Wiley & Sons, 2016,
⟨10.1002/stvr.1611⟩
hal-01391276
v1
Article dans une revue
Pierre Bosser
,
Ismail Hmama,
,
Iiro Kuusisto,
,
Julien Le Mercier
,
Christelle Mekemlong Lando
.
Évaluation d'une solution de positionnement ponctuel précis temps réel
Revue XYZ
, Association Française de Topographie, 2016, pp.33-38
hal-01326437
v1
Article dans une revue
Tran Vu La
,
Ali Khenchaf
,
Fabrice Comblet
,
Carole Nahum
,
Helmi Ghanmi
.
Exploitation of Electromagnetic Models for Sea Wind Speed Estimation from C-Band Sentinel-1 Images
International Journal of Electromagnetics and Applications
, 2016, 8 (3), pp.42-55.
⟨10.4236/jemaa.2016.83005⟩
hal-01373458
v1
Poster
Julien Ogor
,
Benoit Zerr
.
Towards the automation of sand dune detection in the bathymetry
Marine and River Dune Dynamics Conference
, Apr 2016, Gwynned, United Kingdom. 2016
hal-02542690
v1
Communication dans un congrès
Florian Nicolas
,
Andreas Arnold
,
Isabelle Quidu
,
Benoît Zerr
.
Rigid Sonar Tracks Registration For MCM Survey Missions
Undersea Defence Technology (UDT)
, Jun 2016, Oslo, Norway
hal-01312568
v1
Communication dans un congrès
Nathalie Debese
,
Jean José Jacq
,
Koen Degrendele
,
Marc Roche
.
Ripple filtering and ridge enhancement applied to morphodynamical tracking of sand dunes
MARID 2016. Fifth International Conference on Marine and River Dune Dynamics
, Apr 2016, Bangor United Kingdom
hal-01406604
v1
Communication dans un congrès
Vincent Leilde
,
Vincent Ribaud
,
Philippe Dhaussy
.
Model-based Diagnosis Patterns for Model Checking
PAME 2016
, Oct 2016, St Malo, France. pp.7-12
hal-01653481
v1
Communication dans un congrès
Ali Khenchaf
,
Carole Nahum
,
Fabrice Comblet
,
Tran Vu La
.
Retrieval of Surface Wind Fields at High Spatial Resolutions from C-band Sentinel-1 Data
BDAW'16
, Nov 2016, Blagoevgrad, Bulgaria
hal-01653367
v1
Communication dans un congrès
Abdelmalek Toumi
,
Ali Khenchaf
.
Target Recognition using IFFT and MUSIC ISAR images
ATSIP 2016
, Mar 2016, Monastir, Tunisia
hal-01653378
v1
Communication dans un congrès
Abdelmalek Toumi
,
Ali Khenchaf
,
Muntadher A. Shareef
.
Estimating Of Water Quality Parameters Using Active And Passive Microwave Remote Sensing
ATSIP 2016
, Mar 2016, Monastir, Tunisia.
⟨10.1109/ATSIP.2016.7523149⟩
hal-01653402
v1
Communication dans un congrès
Arnaud Coatanhay
,
Alexandre Baussard
.
Identification of the electromagnetic scattering by dynamic sea surfaces with a stochastic differential equation model
AES Symposium
, Jul 2016, Malaga, Spain
hal-01653416
v1
Communication dans un congrès
Abdelmalek Toumi
,
Frédéric Dambreville
.
Generic and massively concurrent computation of belief combination rules – a MapReduce approach
BDAW'16
, Nov 2016, Blagoevgrad, Bulgaria.
⟨10.1145/3010089.3010136⟩
hal-01653326
v1
Communication dans un congrès
Papa Ousmane Leye
,
Ali Khenchaf
,
Philippe Pouliguen
.
Gaussian beam summation method vs. Gaussian beam launching in high-frequency RCS of complex radar targets
IGARSS 2016
, Jul 2016, Beijing, China.
⟨10.1109/IGARSS.2016.7729679⟩
hal-01653333
v1
Communication dans un congrès
Tran Vu La
,
Ali Khenchaf
,
Fabrice Comblet
,
Carole Nahum
.
Comparison of inversion models of wind speed retrieval from C-band Sentinel-1 and X-band TerraSAR-X data
IGARSS 2016
, Jul 2016, Beijing, China.
⟨10.1109/IGARSS.2016.7729584⟩
hal-01653335
v1
Communication dans un congrès
Ali Khenchaf
,
Carole Nahum
,
Fabrice Comblet
,
Tran Vu La
.
Sensitivity of sea wind direction retrieval from sentienl-1 data with regard to spatial resolution and speckle noise
IGARSS 2016
, Jul 2016, Beijing, China
hal-01653344
v1
Communication dans un congrès
Tran Vu La
,
Ali Khenchaf
,
Fabrice Comblet
,
Carole Nahum
.
Study of Wind Speed Retrievals From Sentinel-1 Images Using Physical Models
EUCAP 2016
, Apr 2016, Davos, Switzerland.
⟨10.1109/EuCAP.2016.7481445⟩
hal-01653348
v1
Communication dans un congrès
Ali Khenchaf
,
Papa Ousmane Leye
,
Philippe Pouliguen
.
RCS Complex Target, Gaussian Beam Summation Method
EUCAP 2016
, Apr 2016, Davos, Switzerland.
⟨10.1109/EuCAP.2016.7481730⟩
hal-01653350
v1
Communication dans un congrès
Ali Khenchaf
,
Carole Nahum
,
Fabrice Comblet
,
Tran Vu La
.
Assessment of Inversion Models for Sea Surface Wind Speed Retrieval from Sentinel-1 Data
ATSIP 2016
, Mar 2016, Monastir, Tunisia.
⟨10.1109/ATSIP.2016.7523147⟩
hal-01653362
v1
Communication dans un congrès
Ali Khenchaf
,
Carole Nahum
,
Fabrice Comblet
,
Tran Vu La
.
Study of Sensitivity In Wind Direction Retrieval From Sentinel-1 Images
ATSIP 2016
, Mar 2016, Monastir, Tunisia.
⟨10.1109/ATSIP.2016.7523148⟩
hal-01405912
v1
Communication dans un congrès
Théotime Bollengier
,
Mohamad Najem
,
Jean-Christophe Le Lann
,
Loïc Lagadec
.
Overlay Architectures For FPGA Resource Virtualization
GDR SOC SIP
, Jun 2016, Nantes, France
1
2
3
4
Suivant
Dernière
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 102 documents
Exporter
XML-TEI
BibTeX
EndNote
CSV
PDF
RTF
Export avancé...
Syndication
RSS
ATOM
Libellé
Enregistrer
Annuler
Des champs obligatoires n'ont pas été remplis.