Search
Now showing items 1-10 of 10131
-
Towards Corecursion Without Corecursion in Coq
Pré-publication ou Document de travailfulltext -
Vector control method applied to a traveling wave in a finite beam
IEEE Transactions on Ultrasonics, Ferroelectrics and Frequency Control, Institute of Electrical and Electronics Engineers, 02-01-2014, 61; 1, 147-158Article dans une revue scientifiquefulltext -
Computing Possible and Certain Answers over Order-Incomplete Data
Theoretical Computer Science, Elsevier, 2019, 797, 42-76Article dans une revue scientifiquefulltext -
Anonymisation du locuteur : représentation, évaluation et garanties formelles
Université de Lille, 02-12-2021Thèsefulltext -
Is there any impact of HLA-DPB1 disparity in 10/10 HLA-matched unrelated hematopoietic SCT? Results of a French multicentric retrospective study.
BONE MARROW TRANSPLANTATION, Nature Publishing Group, 2015, 50, 232-236Article dans une revue scientifique -
Joint estimation of state and noise parameters in a linear dynamic system with impulsive measurement noise: Application to OFDM systems
Digital Signal Processing, Elsevier, 2014, 35, 1-16Article dans une revue scientifique -
Understanding Gesture Articulations Variability
16th IFIP Conference on Human-Computer Interaction (INTERACT), Bombay, 25-09-2017, Human-Computer Interaction - INTERACT 2017, Lecture Notes in Computer Science, Springer International Publishing, 2017Communication dans un congrès avec actesfulltext -
observability of spontaneous switched linear singular systems
6th Multi-Conferences on Computational Engineering in Systems Applications, Marrakech, 24-03-2015 -
Distributed Formation Control of Fractional-Order Multi-Agent Systems with Absolute Damping and Communication delay
Pré-publication ou Document de travail -
Distributed Finite-Time Consensus Tracking for Nonlinear Multi-Agent Systems with A Time-Varying Reference State
Pré-publication ou Document de travail