Search

Ethical approval: The research related to human use complies with all the relevant national regulations, institutional policies and was performed in accordance with the tenets of the Helsinki Declaration and has been approved by the authors’ institutional review board or equivalent committee.; International audience; Deep brain stimulation is widely used to alleviate symptoms of movement disorders. During intraoperative stimulation the influence of active or passive movements on the neuronal activity is often evaluated but the evaluation remains mostly subjective. The objective of this paper is to investigate the potential of a previously developed Weightedfrequency Fourier Linear combiner and Kalman filter-based algorithm to identify tremor types and to isolate the tremorous part. The method is applied to ten intraoperatively acquired accelerometer recordings from eight patients from which 186 phases were manually annotated into: rest, postural and kinetic phase without tremor, and rest, postural and kinetic phase with tremor. The overall accuracy for tremorous phases only is 89.1% and 76.3% when also non-tremorous phases are considered. Two main misclassification cases are identified and further discussed. The results demonstrate the potential of the developed algorithm for the use as an online tremorous movement classifier based on the acquired digital biomarkers.

We shall give the geometric definition of several holomorphic curve invariants for symplectic and contact manifolds, such as contact homology, symplectic homology and some of their variants. We shall then explain the relationship between these theories, leading to a common algebraic framework. These relations can also be used to translate structural results from one of these invariants to the other ones. This can be illustrated with the effect of some geometric operations on these invariants, such as Legendrian surgery.

International audience; PSA results are expected to be used to improve the design, the operating procedures or the safety policy of a system. It then appears logical to combine a risk analysis with an optimisation procedure, aiming at minimising a cost function to determine the most appropriate strategy. This idea is applied in this work to dynamic systems, i.e. installations for which the probabilistic risk analysis must be conducted using dynamic reliability methods. As several system parameters can be uncertain, the cost function turns out to be a random variable. Stochastic programming techniques are convenient for such calculations. The whole optimisation procedure is presented, and a first application of the algorithm on a HNO3 supply system is provided.

International audience; We show that, for every contact manifold $M$ and for every Riemann surface $\Sigma$ of genus at least 1, the manifold $\Sigma \times M$ admits a contact structure. In particular, the tori $T^{2n+1}$ are contact manifolds.

Crisis management challenges decision support systems designers. One problem in the decision marking is to develop systems able to help the coordination of the different involved teams. Another challenge is to make the system work with a degraded communication infrastructure. Each workstation or embedded application must be able to help to make a decision with a degraded network by taking into account the potential decisions made by other agents. We propose in this article a multi-agent model, based on an ant colony optimization, and designed to manage the complexity in the deployment of resources to solve a crisis. This model is able to manage data uncertainty, and its global goal is to optimize, in a stable way, fitness functions, like saving lives, defined by multiple users. Moreover, thanks to a reflexive process, the model is able to manage the effects into the environment of its decisions, in order to take more appropriate decisions. Thanks to our transactional model, the system is also able to take into account a large data amount without exploring all potential solutions. The graphical interface should be able to make the user defining rules database. %Each rule associates, for each potential event, a goal with its fitness functions, and a list of possible tasks to do. Then, if the nature of the crisis is deeply unchanged, users should be able to change rules' databases.

Contact homology was introduced by Eliashberg, Givental and Hofer. In this theory, we count holomorphic curves in the symplectization of a contact manifold, which are asymptotic to periodic Reeb orbits. These closed orbits are assumed to be nondegenerate and, in particular, isolated. This assumption makes practical computations of contact homology very difficult. In this thesis, we develop computational methods for contact homology in Morse-Bott situations, in which closed Reeb orbits formsubmanifolds of the contact manifold. We require some Morse-Bott type assumptions on the contact form, a positivity property forthe Maslov index, mild requirements on the Reeb flow, and $c_1(\xi) = 0$. We then use these methods to compute contact homology for several examples, in order to illustrate their efficiency. As an application of these contact invariants, we show that $T^5$ and $T^2 \times S^3$ carry infinitely many pairwise non-isomorphiccontact structures in the trivial formal homotopy class., L'homologie de contact a ete introduite par Eliashberg, Givental etHofer. Dans cette theorie, on compte des courbes pseudo-holomorphes dans la symplectisation d'une variete de contact, qui convergent a l'infini vers des orbites fermees du champ de Reeb. Ces orbites sont supposees non degenerees et, en particulier, isolees. Cette hypothese rend le calcul de l'homologie de contact tres difficile.L'objet de cette these est de developper des techniques de calcul pour l'homologie de contact dans des situations de type Morse-Bott, dans lesquelles les orbites de Reeb fermees forment des sous-varietes de la variete de contact. On demande une hypothese de type Morse-Bott sur la forme de contact, une propriete de positivite pour l'indice de Maslov, des restrictions generales sur le flot de Reeb, et $c_1(\xi) = 0$.On utilise ensuite ces methodes pour calculer l'homologie de contact dans plusieurs exemples, pour illuster leur efficacite. On utilise ces invariants de contact pour montrer que $T^5$ et $T^2 \times S^3$ possedent une infinite de structures de contact deux a deux non isomorphes, dans la classe d'homotopie formelle triviale.