Nous proposons une approche d'optimisation globale de critères de moindres carrés pénalisés par la « norme » 0, avec un algorithme de séparation et évaluation progressive (branch-and-bound). Nous construisons une procédure dédiée d'exploration de l'arbre de recherche combinatoire. Nous montrons que chaque noeud parcouru peut être évalué par l'optimisation de problèmes en norme 1 avec des contraintes de borne. Nous construisons alors un algorithme de type active-set pour les résoudre. Notre procédure permet de résoudre des problèmes de taille modérée mais difficiles, et s'avère notamment plus efficace que le solveur générique CPLEX s'appuyant sur une reformulation MIQP (...

New solutions in operational environments are often, among objective measurements, evaluated by using subjective assessment and judgement from experts. Anyhow, it has been demonstrated that subjective measures suffer from poor resolution due to a high intra and inter operator variability. Also, performance measures, if available, could provide just partial information, since an operator could achieve the same performance but experiencing a different workload. In this study we aimed to demonstrate i) the higher resolution of neurophysiological measures in comparison to subjective ones, and ii) how the simultaneous employment of neurophysiological measures and behavioural...

The "surface" in interactive touch systems is both the support of touch and im- age. While over time touch surfaces have been transformed in their thicknesses, shapes or stiffness, the interaction modality is still limited, as on the first de- vices, to a simple contact of the finger with the screen in a gesture that pretends to manipulate what is displayed. The sense of touch, even for touch devices in- stalled in critical systems, such as in the aeronautics or automotive fields, re- mains mainly used as an extension of vision, to point and control. While the theories of the phenomenology of perception, ecological perception and tangible and embodied...

La gestion des flux de trafic aérien (ATFM) cherche à structurer le trafic de manière à réduire la congestion dans l'espace aérien. La congestion étant causée par les avions volant dans les mêmes portions de l'espace aérien en même temps, l'ATFM organise le trafic dans les dimensions spatiales (ex. le réseau de routes) et dans la dimension temporelle (ex. séquencement et fusion de flux d'avions atterrissant ou décollant aux aéroports). L'objectif de cette thèse est de développer une méthodologie qui permet au trafic aérien de s'auto-structurer dans les dimensions spatiales et temporelle quand la demande est élevée. Cette structuration disparait quand la demande diminue....