Recherche - ENSTA Bretagne

	1 2 3 4 Suivant Dernière	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 30 résultats par page 50 résultats par page 100 résultats par page Merci d'indiquer la raison de votre demande Pour les 107 documents Exporter XML-TEI BibTeX EndNote CSV PDF RTF Export avancé... Syndication RSS ATOM
	hal-01716143v1 Article dans une revue Lamia Allal, Ghalem Belalem, Philippe Dhaussy, Ciprian Teodorov. Distributed algorithm to fight the state explosion problem INDERSCIENCE International Journal of Internet Technology and Secured Transactions., Inderscience Enterprises, 2018, 8 (3), pp.398 - 411. ⟨10.1504/IJITST.2018.10014833⟩
	hal-01834188v1 Article dans une revue Laurent Picard, Alexandre Baussard, Isabelle Quidu, Gilles Le Chenadec. Seafloor Description in Sonar Images Using the Monogenic Signal and the Intrinsic Dimensionality IEEE Transactions on Geoscience and Remote Sensing, Institute of Electrical and Electronics Engineers, 2018, 56 (9), pp. 5572 - 5587. ⟨10.1109/TGRS.2018.2821189⟩
	hal-01833431v1 Communication dans un congrès Ayoub Karine, Abdelmalek Toumi, Ali Khenchaf, Mohammed El Hassouni. Aircraft Target Recognition using Copula Joint Statistical Model and Sparse Representation Based Classification IGARSS 2018, International Geoscience and Remote Sensing Symposium 2018, IEEE Geoscience and Remote Sensing Society, Jun 2018, Valencia, Spain. pp.3635-3638, ⟨10.1109/IGARSS.2018.8518668⟩
	hal-01832187v1 Communication dans un congrès Sarra Zaied, Abdelmalek Toumi, Ali Khenchaf. Target classification using convolutional deep learning and auto-encoder models 2018 4th International Conference on Advanced Technologies for Signal and Image Processing (ATSIP), Mar 2018, Sousse, France. ⟨10.1109/ATSIP.2018.8364502⟩
	hal-01864787v1 Communication dans un congrès Obeid Fadi, Philippe Dhaussy. Model-checking for Secured Component Implementation. 17th International Conference on Security and Management (SAM’18), Jul 2018, Las Vegas, United States
	hal-01864790v1 Communication dans un congrès Obeid Fadi, Philippe Dhaussy. Secure Communication Protocol: Application to Large Number of Distributed Sensors 17th International Conference on Security and Management (SAM’18), Jul 2018, Las Vegas, United States
	hal-01864805v1 Communication dans un congrès Obeid Fadi, Philippe Dhaussy. Validation formelle d’architecture logicielle basée sur des patrons de sécurité 17e journées AFADL 2018, Approches Formelles dans l’Assistance au Développement de Logiciel, Jun 2018, Grenoble, France
	hal-01867343v1 Communication dans un congrès Ghanmi Helmi, Ali Khenchaf, Philippe Pouliguen. Radar Cross Section of Modified Target using Gaussian Beam Methods: Experimental Validation International conference on Radar 2018, Aug 2018, Brisbane, Australia
	hal-01867365v1 Communication dans un congrès Honglei Zheng, Ali Khenchaf, Yunhua Wang, Helmi Ghanmi, Chaofang Zhao. Estimation of NRCS of Oil-free and Oil-covered Marine Surfaces in L-band. Assessment with UAVSAR data International Conference on Radar 2018, Aug 2018, Brisbane, Australia
	hal-01867385v1 Communication dans un congrès Honglei Zheng, Ali Khenchaf, Helmi Ghanmi, Yunhua Wang, Chaofang Zhao. Normalized radar cross sections of sea surface estimated using asymptotic and semi-empirical methods in C band International Geoscience and Remote Sensing Symposium 2018 (IGARSS 2018), Jul 2018, Valencia, Spain
	hal-01867638v1 Communication dans un congrès Jean-Christophe Le Lann, Théotime Bollengier, Mohamad Najem, Loïc Lagadec. An Integrated Toolchain for Overlay-centric System-on-chip 13th International Symposium on Reconfigurable Communication-centric Systems-on-Chip 2018 (ReCoSoC 2018), Jul 2018, Lille, France. ⟨10.1109/ReCoSoC.2018.8449388⟩
	hal-01867767v1 Communication dans un congrès Ahmad Hani El Fawal, Ali Mansour, M. Najem, Frederic Le Roy, Denis Le Jeune. CTMC modeling for M2M/H2H coexistence in a NB-IoT Adaptive eNodeB 11th IEEE International Conference on Internet of Things (iThings-2018), Jul 2018, Halifax, Canada
	hal-01867181v1 Communication dans un congrès Alexandre Lefort, Benoit Clement, X. Dal Santo. Autopilot for a marine vessel : a formal proff of robustness and optimal control based on an uncertain model 13th national conference on Software and Hardware Architectures for Robots Control (SHARC 2018), Naval Group, Jun 2018, Saint-Tropez, France
	hal-01867225v1 Communication dans un congrès Helmi Ghanmi, Ali Khenchaf, P. Pouliguen, P.O. Leye. RCS of Radar Targets using Gaussian Beam Summation Method. Experimental Evaluation 19th International Radar Symposium (IRS), Jun 2018, Bonn, Germany. ⟨10.23919/IRS.2018.8448088⟩
	hal-02515020v1 Chapitre d'ouvrage Lamia Allal, Ghalem Belalem, Philippe Dhaussy, Ciprian Teodorov. Using Parallel and Distributed Reachability in Model Checking Ambient Communications and Computer Systems, pp.143-154, 2018, ⟨10.1007/978-981-10-7386-1_12⟩
	hal-01707366v1 Chapitre d'ouvrage Nicolas Florian, Andreas Arnold, Isabelle Quidu, Benoit Zerr. Fast Fourier-Based Block-Matching Algorithm for Sonar Tracks Registration in a Multiresolution Framework Luc Jaulin. Marine Robotics and Applications, Springer, pp.1-14, 2018, 978-3-319-70723-5. ⟨10.1007/978-3-319-70724-2_1⟩
	hal-01809236v1 Communication dans un congrès Clément J. Roussel, Arnaud Coatanhay, Alexandre Baussard. Stochastic differential equations for the electromagnetic field scattered by the sea surface for remote sensing applications 40th Conference on stochastic processes and their applications (SPA), University of Gothenburg; Chalmers University of Technology, Jun 2018, Gothenburg, Sweden
	hal-01809365v1 Communication dans un congrès Jean-Christophe Cexus, Abdelmalek Toumi. Radar Target Recognition using Time-Frequency Analysis and Polar Transformation 4th International Conference on Advanced Technologies For Signal and Image Processing (ATSIP'2018), Mar 2018, Sousse, Tunisia. ⟨10.1109/ATSIP.2018.8364500⟩
	hal-01804797v1 Communication dans un congrès Guilherme Schvarcz Franco, Fabrice Le Bars. Robust polygon-based localization 2018 IEEE International Conference on Industrial Technology (ICIT), Feb 2018, Lyon, France. pp.304-309, ⟨10.1109/ICIT.2018.8352194⟩
	hal-01802247v1 Communication dans un congrès Valentin Besnard, Matthias Brun, Frédéric Jouault, Ciprian Teodorov, Philippe Dhaussy. Embedded UML Model Execution to Bridge the Gap Between Design and Runtime MDE@DeRun 2018 : First International Workshop on Model-Driven Engineering for Design-Runtime Interaction in Complex Systems, Jun 2018, Toulouse, France
	hal-01801705v1 Communication dans un congrès Helmi Ghanmi, Ali Khenchaf, Comblet Fabrice. Electromagnetic characterization of a polluted maritime surface 2018 4th International Conference on Advanced Technologies for Signal and Image Processing (ATSIP), Mar 2018, Sousse, Tunisia. ⟨10.1109/ATSIP.2018.8364495⟩
	hal-01904112v1 Article dans une revue Simon Rohou, Peter Franek, Clément Aubry, Luc Jaulin. Proving the existence of loops in robot trajectories The International Journal of Robotics Research, SAGE Publications, 2018, 37 (12), pp.1500-1516. ⟨10.1177/0278364918808367⟩
	hal-01858712v1 Communication dans un congrès Nathalie Debese, Jean-José Jacq, Koen Degrendele, Marc Roche. Toward Reliable Volumetric Monitoring of Sandbanks Geomorphometry 2018, Aug 2018, Boulder (CO), United States
	hal-01933792v1 Communication dans un congrès Vincent Leilde, Vincent Ribaud, Ciprian Teodorov, Philippe Dhaussy. A Problem-Oriented Approach to Critical System Design and Diagnosis Support 1st International Workshop on Modeling, Verification and Testing of Dependable Critical Systems (DETECT 2018), Oct 2018, Marrakesh, Morocco
	hal-01829227v1 Communication dans un congrès Ahcène Bounceur, Bezoui Madani, Loïc Lagadec, Reinhardt Euler, Abdelkader Laouid et al. Detecting Gaps and Voids in WSNs and IoT Networks: the Minimum x-Coordinate based Method International Conference on Future Networks and Distr buted Systems (ICFNDS), Jun 2018, Amman, Jordan. ⟨10.1145/3231053.3231090⟩
	hal-01804280v1 Communication dans un congrès Ahcène Bounceur, Bezoui Madani, Massinissa Lounis, Reinhardt Euler, Ciprian Teodorov. A new dominating tree routing algorithm for efficient leader election in IoT networks 15th IEEE Annual Consumer Communications & Networking Conference (CCNC), Jan 2018, Las Vegas, United States. ⟨10.1109/CCNC.2018.8319292⟩
	hal-02556785v1 Communication dans un congrès T. Berthomier, A. Mansour, L. Bressollettey, D. Mottier, Frédéric Le Roy et al. Unsupervised clustering of DVT Ultrasound Images using High Order Statistics 2018 IEEE International Conference on Bioinformatics and Biomedicine (BIBM), Dec 2018, Madrid, Spain. pp.2495-2501, ⟨10.1109/BIBM.2018.8621187⟩
	hal-01833448v1 Article dans une revue Tran Vu La, Ali Khenchaf, Fabrice Comblet, Carole Nahum. Assessment of Wind Speed Estimation From C-Band Sentinel-1 Images Using Empirical and Electromagnetic Models IEEE Transactions on Geoscience and Remote Sensing, Institute of Electrical and Electronics Engineers, 2018, 56 (7), pp.4075 - 4087. ⟨10.1109/TGRS.2018.2822876⟩
	hal-01936730v1 Article dans une revue Amel Benabbou, Safia Nait Bahloul, Philippe Dhaussy. Precise use cases in a context-aware model-checking approach International Journal of Critical Computer-Based Systems, Inderscience, 2018, 8 (3/4), ⟨10.1504/IJCCBS.2018.10017704⟩
	hal-01707169v1 Article dans une revue Muhammad Ammad-Uddin, Ali Mansour, Denis Le Jeune, Mohammad Ayaz, El-Hadi M. Aggoune. UAV-Assisted Dynamic Clustering of Wireless Sensor Networks for Crop Health Monitoring Sensors, MDPI, 2018, 18 (2), pp.555. ⟨10.3390/s18020555⟩
	1 2 3 4 Suivant Dernière	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 30 résultats par page 50 résultats par page 100 résultats par page Pour les 107 documents Exporter XML-TEI BibTeX EndNote CSV PDF RTF Export avancé... Syndication RSS ATOM

Type de document Réduire

Auteur Réduire

Domaine Réduire

Laboratoire Réduire

Langue Réduire

Type de dépôt Réduire

Année Réduire