Accéder directement au contenu Accéder directement à la navigation


...
hal-01559688v1  Communication dans un congrès
Vincent LeildeVincent RibaudCiprian TeodorovPhilippe 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-01405531v1  Article dans une revue
Mohamed Ben HammoudaPhilippe CoussyLoï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-01589873v1  Communication dans un congrès
Zahra KatbaySaadou Al MokdadSawsan SadekMarc Le RoyMohamad-Raafat Lababidi et al.  A UWB Antenna in direct breast contact for cancer detection
IEEE SENSET 2017 (International Conference on Sensors, Networks, Smart and Emerging Technologies), Beirut, Lebanon, Sep 2017, Beirut, Lebanon. pp.1-4
hal-01707790v1  Communication dans un congrès
M. Ammad UddinAli MansourDenis Le JeuneEl. Hadi M. Aggoune. Agriculture internet of things: AG-IoT
2017 27th International Telecommunication Networks and Applications Conference (ITNAC), Nov 2017, Melbourne, Australia. ⟨10.1109/ATNAC.2017.8215399⟩
hal-01698543v1  Communication dans un congrès
Abdelmalek ToumiAli El HousseiniAli Khenchaf. Aircrafts Recognition using Convolutional Neurons Network
International Conference on Radar Systems, RADAR’17, Oct 2017, Belfast, United Kingdom
...
hal-01497267v1  Article dans une revue
Thomas Le MézoLuc JaulinBenoit Zerr. An Interval Approach to Compute Invariant Sets
IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, 2017, 62 (8), pp.4236 - 4242. ⟨10.1109/TAC.2017.2685241⟩
hal-01708026v1  Communication dans un congrès
Yannick DevilleAlain DevilleSimon RebeyrolAli Mansour. Analytical performance analysis for blind quantum source separation with time-varying coupling
23rd Asia-Pacific Conference on Communications (APCC), Curtin University; The University of New South Wales, Dec 2017, Perth, Australia
hal-01507268v1  Communication dans un congrès
Zahra KatbaySawsan SadekMarc Le RoyMohamad-Raafat LababidiAndré Pérennec et al.  Antenne compacte pour la détection de tumeurs cancéreuses du sein
20èmes Journées Nationales Microondes, mai 2017 - Saint-Malo, May 2017, Saint-Malo, France
hal-01507279v1  Communication dans un congrès
Zahra KatbaySaadou Al MokdadMarc Le RoyMohamad-Raafat LababidiSawsan Sadek et al.  Antenne Ultra-Large-Bande en contact direct avec le sein pour la détection de tumeurs cancéreuses
20èmes Journées Nationales Microondes, mai 2017 - Saint-Malo, May 2017, Saint-Malo, France
hal-01623030v1  Communication dans un congrès
Erwan FabianiLoïc LagadecMohamed Ben HammoudaCiprian Teodorov. Asserting causal properties in High Level Synthesis
2017 IEEE 2nd International Verification and Security Workshop (IVSW), Jul 2017, Thessaloniki, Greece
...
hal-01698416v1  Article dans une revue
Anthony WelteLuc JaulinMartine CeberioVladik Kreinovich. Avoiding Fake Boundaries in Set Interval Computing
Journal of Uncertain Systems, World Academic Press, 2017, 11 (2), pp.137 - 148
hal-01551453v1  Communication dans un congrès
Kahina BensafiaAli MansourSalah Haddab. Blind Source Subspace Separation and Classification of ECG Signals
ATS 2017, Mar 2017, Sousse, Tunisia
...
hal-01702404v1  Communication dans un congrès
Benoît DesrochersLuc Jaulin. Chain of set inversion problems; Application to reachability analysis
20th World Congress of the International Federation of Automatic Control, IFAC 2017, Jul 2017, Toulouse, France
hal-01653133v1  Article dans une revue
Florian DigneAlexandre BaussardCécric CornuAli KhenchafDaniel Jahan. Classification of radar pulses in a naval warfare context using Bézier curve modeling of the instantaneous frequency law
IEEE Transactions on Aerospace and Electronic Systems, Institute of Electrical and Electronics Engineers, 2017, 53 (3), pp.1469 - 1480. ⟨10.1109/TAES.2017.2671578⟩
hal-01497911v1  Communication dans un congrès
Ayoub KarineAbdelmalek ToumiAli KhenchafMohammed El Hassouni. Classification parcimonieuse pour l’aide à la reconnaissance de cibles radar
17 ème édition de la conférence Extraction et Gestion de Connaissance (EGC), Jan 2017, Grenoble, France
...
hal-01698372v1  Article dans une revue
Anthony WelteLuc JaulinMartine CeberioVladik 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-01298366v1  Article dans une revue
Benoît DesrochersLuc Jaulin. Computing a Guaranteed Approximation of the Zone Explored by a Robot
IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, 2017, 62 (1), pp.425 - 430. ⟨10.1109/TAC.2016.2530719⟩
hal-01699280v1  Article dans une revue
Thibaud BerthomierAli MansourLuc BressolletteFrédéric Le RoyDominique Mottier. Deep venous thrombus characterization: ultrasonography, elastography and scattering operator
Advances in Science, Technology and Engineering Systems Journal, Advances in Science Technology and Engineering Systems Journal (ASTESJ), 2017, 2 (3), pp.48 - 59. ⟨10.25046/aj020308⟩