Recherche - ENSTA Bretagne

		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 25 documents Exporter XML-TEI BibTeX EndNote CSV PDF RTF Export avancé... Syndication RSS ATOM
	hal-01698372v1 Article dans une revue Anthony Welte, Luc Jaulin, Martine Ceberio, Vladik Kreinovich. Computability of the Avoidance Set and of the Set-Valued Identification Problem Journal of Uncertain Systems, World Academic Press, 2017, 11, pp.129 - 136
	hal-01643297v1 Article dans une revue Mohamad Najem, Théotime Bollengier, Jean-Christophe Le Lann, Loïc Lagadec. Extended overlay architectures for heterogeneous FPGA cluster management Journal of Systems Architecture, Elsevier, 2017, 78, pp.1-14. ⟨10.1016/j.sysarc.2017.06.001⟩
	hal-01538135v1 Article dans une revue Jordan Ninin, Laurène Mazeau. La recherche opérationnelle: De quelques enjeux juridiques des mécanismes d'aide à la décision Lex Electronica, Centre de recherche en droit public, Université de Montréal, 2017, 22, pp.57-79
	hal-01405531v1 Article dans une revue Mohamed Ben Hammouda, Philippe Coussy, Loïc Lagadec. A Unified Design Flow to Automatically Generate On-Chip Monitors during High-Level Synthesis of Hardware Accelerators IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, IEEE, 2017, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 36 (3), pp.384-397. ⟨10.1109/TCAD.2016.2587278⟩
	hal-01657530v1 Communication dans un congrès Ayoub Karine, Abdelmalek Toumi, Ali Khenchaf, Mohammed El Hassouni. Saliency Attention and SIFT Keypoints Combination for Automatic Target Recognition on MSTAR dataset 3rd International Conference on Advanced Technologies for Signal and Image Processing - ATSIP’2017, Mar 2017, fez Morocco. ⟨10.1109/ATSIP.2017.8075558⟩
	hal-01373335v1 Article dans une revue Ciprian Teodorov, Philippe Dhaussy, Luka Le Roux. Environment-driven reachability for timed systems International Journal on Software Tools for Technology Transfer, Springer Verlag, 2017, 19 (2), pp.229-245. ⟨10.1007/s10009-015-0401-2⟩
	hal-01475251v1 Communication dans un congrès Théotime Bollengier, Loïc Lagadec, Mohamad Najem, Jean-Christophe Le Lann, Pierre Guilloux. Soft timing closure for soft programmable logic cores: The ARGen approach ARC 2017 - 13th International Symposium on Applied Reconfigurable Computing, Delft University of Technology Apr 2017, Delft, Netherlands
	hal-01656613v1 Communication dans un congrès Mohamad Najem, Théotime Bollengier, Jean-Christophe Le Lann, Loïc Lagadec. A Cost-effective Approach for Efficient Time-sharing of Reconfigurable Architectures FPGA4GPC'2017, May 2017, Hambourg, Germany. ⟨10.1109/FPGA4GPC.2017.8008959⟩
	hal-01719919v1 Communication dans un congrès Ahmad-Hani El-Fawal, Ali Mansour, Frédéric Le Roy, Denis Le Jeune, Ali Hamié. RACH overload congestion mechanism for M2M communication in LTE-A: issues and approaches 2017 International Symposium on Networks, Computers and Communications (ISNCC), May 2017, Marrakech, Morocco. ⟨10.1109/ISNCC.2017.8071981⟩
	tel-01661569v1 Thèse Xuan Sang Le. software/FPGA co-design for Edge-computing : Promoting object-oriented design Other [cs.OH]. Université de Bretagne occidentale - Brest, 2017. English. ⟨NNT : 2017BRES0041⟩
	hal-01961429v1 Communication dans un congrès Tobias van Baarsel, Philippe Roux, Barbara Nicolas, Jerome Mars, Julien Bonnel et al. Dynamic imaging of a gravity wave caused by laser-induced breakdown in a fluid waveguide using acoustic waves Acoustics '17 173rd Meeting of the Acoustical Society of America and the 8th Forum Acusticum, Jun 2017, Boston, United States. pp.3589-3589
	hal-01516228v1 Article dans une revue Simon Rohou, Luc Jaulin, Lyudmila Mihaylova, Fabrice Le Bars, Sandor Veres. Guaranteed computation of robot trajectories Robotics and Autonomous Systems, Elsevier, 2017, 93, pp.76 - 84. ⟨10.1016/j.robot.2017.03.020⟩
	hal-01623030v1 Communication dans un congrès Erwan Fabiani, Loïc Lagadec, Mohamed Ben Hammouda, Ciprian Teodorov. Asserting causal properties in High Level Synthesis 2017 IEEE 2nd International Verification and Security Workshop (IVSW), Jul 2017, Thessaloniki, Greece
	hal-01595789v1 Communication dans un congrès Cyrielle Feron, Vianney Lapotre, Loïc Lagadec. PAnTHErS: A Prototyping and Analysis Tool for Homomorphic Encryption Schemes SECRYPT: 14th International Conference on Security and Cryptography, Jul 2017, Madrid, Spain
	hal-01698424v1 Article dans une revue Benoît Desrochers, Luc Jaulin. Thick set inversion Artificial Intelligence, Elsevier, 2017, 249, pp.1 - 18. ⟨10.1016/j.artint.2017.04.004⟩
	hal-01655646v1 Communication dans un congrès Vincent Myers, Johannes Groen, Holger Schmaljohann, Isabelle Quidu, Benoit Zerr. MULTI-LOOK PROCESSING FOR COHERENT CHANGE DETECTION WITH SYNTHETIC APERTURE SONAR UACE2017 - 4th Underwater Acoustics Conference and Exhibition, Sep 2017, SKIATHOS ISLAND, Greece
	hal-01780556v1 Communication dans un congrès Lamia Allal, Ghalem Belalem, Philippe Dhaussy, Ciprian Teodorov. Using Parallel and Distributed Reachability in Model Checking Recent Advancement in Computer, Communication and Computational Sciences (RACCCS-2017), Sep 2017, Ajmer, India. pp.143-154, ⟨10.1007/978-981-10-7386-1_12⟩
	hal-01559688v1 Communication dans un congrès Vincent Leilde, Vincent Ribaud, Ciprian Teodorov, Philippe Dhaussy. A Diagnosis Framework for Critical Systems Verification 15th International Conference on Software Engineering and Formal Methods, SEFM 2017, Sep 2017, Trente, Italy. Short Papers 1-6
	hal-01585318v1 Communication dans un congrès Valentin Besnard, Matthias Brun, Philippe Dhaussy, Frédéric Jouault, David Olivier et al. Towards one Model Interpreter for Both Design and Deployment 3rd International Workshop on Executable Modeling (EXE 2017), Sep 2017, Austin, United States
	tel-01812765v1 Thèse Jérémy Nicola. Localisation et cartographie en simultané fiable, précise et robuste d'un robot sous-marin Robotics [cs.RO]. Université de Bretagne occidentale - Brest, 2017. English. ⟨NNT : 2017BRES0066⟩
	hal-01698582v1 Communication dans un congrès Vincent Ribaud, Vincent Leilde. Relating Student, Teacher and Third-Party Assessments in a Bachelor Capstone Project International Conference on Software Process Improvement and Capability Determination, SPICE 2017, Oct 2017, Palma de Mallorca, Spain. pp.499-506
	hal-01624855v7 Rapport Guillaume Beaumont, Ronan Fablet, Angélique Drémeau. DOA estimation in fluctuating environments: an approximate message-passing approach [Research Report] ENSTA Bretagne; Lab-STICC. 2017
	hal-01756186v1 Communication dans un congrès Vincent Leilde, Vincent Ribaud. Does Process Assessment Drive Process Learning? The Case of a Bachelor Capstone Project 2017 IEEE 30th Conference on Software Engineering Education and Training (CSEE&T), Nov 2017, Savannah, France. ⟨10.1109/CSEET.2017.39⟩
	tel-03010085v1 Thèse Simon Rohou. Reliable robot localization: a constraint programming approach over dynamical systems Robotics [cs.RO]. Lab-STICC; UBO Brest; ENSTA Bretagne; University of Sheffield, 2017. English
	hal-01653617v1 Communication dans un congrès Joël Champeau, Loïc Lagadec, Charbel Geryes Aoun, Jad Moussa, Elio Hanna. A High Abstraction Level Constraint for Object Localization in Marine Observatories CSCI 2017, Dec 2017, Las Vegas, United States
		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 25 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