Le développement des marchés électroniques organisés induit une pression constante sur la recherche académique en finance. L'impact sur le prix d'une transaction boursière portant sur une grande quantité d'actions sur une période courte est un sujet central. Contrôler et surveiller l'impact sur le prix est d'un grand intérêt pour les praticiens, sa modélisation est ainsi devenue un point central de la recherche quantitative de la finance. Historiquement, le calcul stochastique s'est progressivement imposé en finance, sous l'hypothèse implicite que les prix des actifs satisfont à des dynamiques diffusives. Mais ces hypothèses ne tiennent pas au niveau de la ``formation des prix'', c'est-à-dire lorsque l'on se place dans les échelles fines des participants de marché. Des nouvelles techniques mathématiques issues de la statistique des processus ponctuels s'imposent donc progressivement. Les observables (prix traité, prix milieu) apparaissent comme des événements se réalisant sur un réseau discret, le carnet d'ordre, et ceci à des échelles de temps très courtes (quelques dizaines de millisecondes). L'approche des prix vus comme des diffusions browniennes satisfaisant à des conditions d'équilibre devient plutôt une description macroscopique de phénomènes complexes issus de la formation des prix. Dans un premier chapitre, nous passons en revue les propriétés des marchés électroniques. Nous rappelons la limite des modèles diffusifs et introduisons les processus de Hawkes. En particulier, nous faisons un compte rendu de la recherche concernant le maket impact et nous présentons les avancées de cette thèse. Dans une seconde partie, nous introduisons un nouveau modèle d'impact à temps continu et espace discret en utilisant les processus de Hawkes. Nous montrons que ce modèle tient compte de la microstructure des marchés et est capable de reproduire des résultats empiriques récents comme la concavité de l'impact temporaire. Dans le troisième chapitre, nous étudions l'impact d'un grand volume d'action sur le processus de formation des prix à l'échelle journalière et à une plus grande échelle (plusieurs jours après l'exécution). Par ailleurs, nous utilisons notre modèle pour mettre en avant des nouveaux faits stylisés découverts dans notre base de données. Dans une quatrième partie, nous nous intéressons à une méthode non-paramétrique d'estimation pour un processus de Hawkes unidimensionnel. Cette méthode repose sur le lien entre la fonction d'auto-covariance et le noyau du processus de Hawkes. En particulier, nous étudions les performances de cet estimateur dans le sens de l'erreur quadratique sur les espaces de Sobolev et sur une certaine classe contenant des fonctions « très » lisses / The development of organized electronic markets induces a constant pressure on academic research in finance. A central issue is the market impact, i.e. the impact on the price of a transaction involving a large amount of shares over a short period of time. Monitoring and controlling the market impact is of great interest for practitioners; its modeling and has thus become a central point of quantitative finance research. Historically, stochastic calculus gradually imposed in finance, under the assumption that the price satisfies a diffusive dynamic. But this assumption is not appropriate at the level of ”price formation”, i.e. when looking at the fine scales of market participants, and new mathematical techniques are needed as the point processes. The price (last trade, mid-price) appears as events on a discrete network, the order book, at very short time scales (milliseconds). The Brownien motion becomes rather a macroscopic description of the complex price formation process. In the first chapter, we review the properties of electronic markets. We recall the limit of diffusive models and introduce the Hawkes processes. In particular, we make a review of the market impact research and present this thesis advanced. In the second part, we introduce a new model for market impact model at continuous time and living on a discrete space using process Hawkes. We show that this model that takes into account the market microstructure and it is able to reproduce recent empirical results as the concavity of the temporary impact. In the third chapter, we investigate the impact of large orders on the price formation process at intraday scale and at a larger scale (several days after the meta-order execution). Besides, we use our model to discuss stylized facts discovered in the database. In the fourth part, we focus on the non-parametric estimation for univariate Hawkes processes. Our method relies on the link between the auto-covariance function and the kernel process. In particular, we study the performance of the estimator in squared error loss over Sobolev spaces and over a certain class containing "very'' smooth functions

Considerando a execução criminal como o momento em que a sanção fixada em abstrato se concretiza, analisa-se o cumprimento da pena privativa de liberdade no sistema prisional brasileiro, sobretudo no paulista, durante a apuração de faltas disciplinares de pessoas sentenciadas; estuda-se o contexto dos procedimentos administrativos disciplinares, eminentemente verticais, punitivos, neutralizadores e de viés ressocializador. Considerando ainda que o cumprimento da decisão judicial condenatória tem, segundo nossa legislação específica (Lei de Execução Penal), caráter social integrativo, verifica-se como tal escopo inserido no sistema fechado de justiça penal pode cumprir sua meta de integração. Para tanto, propõe-se a utilização de elementos e princípios da Justiça Restaurativa que propiciem a abertura do paradigma repressivo a práticas não punitivas. Como objetivo geral da pesquisa, verifica-se a possibilidade de compatibilizar a Justiça Restaurativa com a apuração das faltas disciplinares no âmbito da execução penal. Como objetivos específicos, procura-se aclarar o sentido do termo integração social, bem como ampliar as bases do paradigma restaurador. Desse modo, realiza-se a pesquisa utilizando os métodos dedutivo e dialético, com a feitura de revisão bibliográfica e análise da tese (execução penal), da antítese (justiça restaurativa) e o elemento que possibilita a síntese destas (reintegração social em seu viés criminológico e filosófico). Como resultados, nota-se a pertinência da concepção reintegrativa social na ampliação das bases restauradoras e na interpretação do escopo da execução da pena, a fim de aplicar a Justiça Restaurativa às faltas disciplinares. Ademais, a utilização da reintegração social apresenta contribuições teórica e prática ao presente estudo: em abstrato, auxilia na estruturação do paradigma restaurativo e, em termos pragmáticos, possibilita a criação de mais um programa restaurativo, qual seja, a mediação restauradora. Conclui-se, assim, que o presente estudo contribui para reflexões no âmbito da justiça criminal que favoreçam uma mentalidade não punitiva, na medida em que procura sair do círculo vicioso causado pelo paradigma retributivo (sistema tradicional de justiça penal reprodutor de violências), com a proposta de utilização do paradigma restaurador que propicie uma efetiva cultura de paz, ao permitir que as partes interessadas busquem a resolução efetiva do conflito. / En considérant lexécution criminelle comme le moment dans lequel la sanction fixée abstraitement se concrétise, on analyse laccomplissement de la peine privative de liberté dans le système demprisonnement brésilien, surtout dans celui de São Paulo, pendant lapurement de fautes disciplinaires de personnes qui ont été jugées par sentence. On étudie le contexte des procédures administratives disciplinaires, éminemment verticales, punitives, neutralisantes et de caractère resocialisant. En considérant aussi que laccomplissement de la décision judiciaire condamnatrice a, selon notre législation spécifique (Loi dÉxecution Pénale), caractère social intégrateur, on vérifie la façon dont ce but inséré dans le système fermé de justice penale peut accomplir son propos dintégration. En vue de cette vérification, on propose lemploi déléments et principes de la Justice Restauratrice qui procurent louverture du modèle répressif aux pratiques qui ne sont pas punitives. Cette recherche a pour but général la vérification de la possibilité de conciliation de la Justice Restauratrice avec lapurement des fautes disciplinaire dans le domaine de lexécution pénale. Comme objetifs spécifiques, on essaie déclaircir le sens de la locution integration sociale, et aussi damplifier les bases du modèle restaurateur. De cette façon, on entame cette recherche en utilisant les méthodes déductive et dialectique, avec la réalisation de la révision bibliographique et lanalyse de la thèse (lexécution penale), de lantithèse (la justice restauratrice) et de lélément qui fournit la possibilité de synthèse des deux autres (la réintégration sociale dans son caractère criminologique et philosophique). On constate, comme résultats, la pertinence de la conception reintégratrice sociale dans lamplification des bases restauratrices et dans linterprétation du but de lexécution de la peine, pour appliquer la Justice Restauratrice aux fautes disciplinaires. En outre, lutilisation de la réintegration sociale présente des contributions théoriques et pratiques pour cette étude: abstraitement, elle est un élément auxiliaire dans la structuration du modèle restaurateur et, du point de vue pragmatique, elle assure la possibilité de création dun autre programme restaurateur, à savoir, la médiation restauratrice. On peut conclure que cette étude prête une contribution pour des réflexions dans le domaine de la justice criminelle qui favorisent une mentalité non punitive, étant donné quelle cherche de sortir du cercle vicieux causé par le modèle rétributeur (système traditionnel de justice pénale reproducteur de violences), avec la proposition demploi du modèle restaurateur qui procure une culture effective de paix, en permettant que les parties interessées cherchent la résolution effective du conflit.

Les travaux de cette thèse s’inscrivent à la frontière des neurosciences et de la physiologie musculaire. Trois études se sont articulées de la préparation et l’exécution motrice. La première étude (A) a relié l'activité cérébrale à l'activité musculaire lors de la préparation motrice. Les résultats ont montré que des régions, telles que le cortex moteur primaire et l’aire motrice supplémentaire sont impliquées dans l'activité du muscle fléchisseur (FDS) alors que d’autres régions, telles que les ganglions de la base, les aires fronto-pariétales et le cervelet, sont impliquées dans l'activité du muscle extenseur (EDC). L’étude (B) a exploré le rôle du réseau cérébro-cérébelleux et du réseau striatal lors de l’exécution d’une tâche cognitive et motivationnelle. Les données ont révélé que la partie antérieure du lobule VI droit était activée par l'exécution motrice tandis que sa partie postérieure était spécifiquement activée par les encouragements verbaux. Les mesures de l’interaction psychophysiologique ont permis de faire immerger une boucle de connectivité fermée et formée par le cortex cérébral, le cervelet et les noyaux rouges. La troisième étude (C) concerne l’effet de la consigne réalisée lors de l’exécution motrice sur les paramètres neuromusculaires de FDS et EDC. Les résultats ont montré que la Force Maximale Volontaire, la Pente Maximale de Montée de Force et l’éléctromyographie associée étaient plus élevées (p < 0.05) avec la consigne accompagnée d’encouragement verbal. / The present work fits on the border of neurosciences and muscular physiology. Three studies explored the brain and muscle activities following motor preparation and execution. The first study (A) linked brain and muscle activity during motor preparation. The results revealed that regions (e.g primary motor cortex and supplementary motor area) are involved in the activity of the flexor muscle (FDS) while other regions (e.g basal ganglia, fronto-parietal areas and cerebellum) are involved in the activity of the extensor muscle (EDC). The study (B) explored the role of cerebro-cerebellar and striatal networks during the execution period of cognitive and motivational task. The data showed that the anterior part of the right lobule VI was activated by the motor task, while its posterior part was specifically activated by verbal encouragement. Measurements of psychophysiological interaction revealed a closed connectivity loop formed by the cerebral cortex, the cerebellum and the red nuclei. The third study (C) concerned the effect of instruction on neuromuscular parameters of FDS and EDC muscles during motor execution. The results showed that the Maximum Voluntary Force, the Maximum Rate of Force Development and the associated electromyographic signal are the highest (p < 0.05) with cognitive, motivational and verbal encouragement condition.

En raison de la complexité croissante des systèmes réactifs, le test est devenu un des éléments essentiels dans le processus de leur développement. Les tests de conformité avec des méthodes formelles concernent la correction du contrôle fonctionnel, par le biais des tests d'un système en boîte noire avec une spécification formelle du système. Les techniques passives de test sont utilisées lorsque l’exécution des systèmes testés ne peut pas être perturbée ou l'interface du système n'est pas fournie. Les techniques passives de test sont fondées sur l'observation et la vérification des propriétés du comportement d'un système sans interférer avec son fonctionnement normal. Les tests contribuent également à établir les comportements anormaux pendant l’exécution sur la base de l'observation de toute déviation d'un comportement prédéterminé. L'objectif principal de cette thèse est de présenter une nouvelle approche pour la mise en place des tests passifs fondés sur l'analyse des parties contrôle et données du système sous test. Au cours des dernières décennies, de nombreuses théories et outils ont été développés pour effectuer les tests de conformité. De fait, les spécifications ou les propriétés des systèmes réactifs sont souvent modélisés par différentes variantes de Labeled Transition Systems (LTS). Toutefois, ces méthodes ne prennent pas explicitement en compte les parties données du système, étant donné que le modèle sous-jacent de LTS n’est pas en mesure de le faire. Par conséquent, avec ces approches il est nécessaire d'énumérer les valeurs des données avant la modélisation du système. Cela conduit souvent au problème de l'explosion combinatoire de l'état-espace. Pour palier à cette limitation, nous avons étudié un modèle appelé Input-Output Symbolic Transition Systems (IOSTS) qui inclut explicitement toutes les données d'un système réactif. De nombreuses techniques de tests passives prennent uniquement en considération la partie du contrôle du système en négligeant les données, ou elles sont confrontées à une quantité énorme de données du processus. Dans notre approche, nous prenons en compte la partie contrôle et données en intégrant les concepts d'exécution symbolique et nous améliorons l'analyse de traces en introduisant des techniques de slicing des traces d’exécution. Les propriétés sont décrites à l'aide d'IOSTS et nous illustrons dans notre approche comment elles peuvent être testées sur l'exécution réelle des traces en optimisant l'analyse. Ces propriétés peuvent être conçues pour tester la conformité fonctionnelle d'un protocole ainsi que des propriétés de sécurité. Au-delà de l'approche théorique, nous avons développé un outil logiciel qui implémente les algorithmes présentés dans nos travaux. Enfin, comme preuve de concept de notre approche et de l'outil logiciel, nous avons appliqué les techniques à deux études de cas réels : le protocole SIP et le protocole Bluetooth / Due to the increasing complexity of reactive systems, testing has become an important part in the process of the development of such systems. Conformance testing with formal methods refers to checking functional correctness, by means of testing, of a black-box system under test with respect to a formal system specification, i.e., a specification given in a language with a formal semantics. In this aspect, passive testing techniques are used when the implementation under test cannot be disturbed or the system interface is not provided. Passive testing techniques are based on the observation and verification of properties on the behavior of a system without interfering with its normal operation, it also helps to observe abnormal behavior in the implementation under test on the basis of observing any deviation from the predefined behavior. The main objective of this thesis is to present a new approach to perform passive testing based on the analysis of the control and data part of the system under test. During the last decades, many theories and tools have been developed to perform conformance testing. However, in these theories, the specifications or properties of reactive systems are often modeled by different variants of Labeled Transition Systems (LTS). However, these methodologies do not explicitly take into account the system's data, since the underlying model of LTS are not able to do that. Hence, it is mandatory to enumerate the values of the data before modeling the system. This often results in the state-space explosion problem. To overcome this limitation, we have studied a model called Input-Output Symbolic Transition Systems (IOSTS) which explicitly includes all the data of a reactive system. Many passive testing techniques consider only the control part of the system and neglect data, or are confronted with an overwhelming amount of data values to process. In our approach, we consider control and data parts by integrating the concepts of symbolic execution and we improve trace analysis by introducing trace slicing techniques. Properties are described using Input Output Symbolic Transition Systems (IOSTSs) and we illustrate in our approach how they can be tested on real execution traces optimizing the trace analysis. These properties can be designed to test the functional conformance of a protocol as well as security properties. In addition to the theoretical approach, we have developed a software tool that implements the algorithms presented in this paper. Finally, as a proof of concept of our approach and tool we have applied the techniques to two real-life case studies: the SIP and Bluetooth protocol

Les peines d’emprisonnement constituent à ce jour la première réponse aux exigences de répression de la délinquance dans le paysage français. Alors que bon nombre de détenus, dès leur entrée dans le système pénitentiaire, se trouvent être sans-abri, sans couverture sociale, malades physiquement et/ou psychologiquement, consommateurs de drogues, d’alcool ou encore de médicaments, le système pénal se trouve confronté à un paradoxe entre besoins des détenus en matière de soins d’une part et répression des crimes et délits d’autre part. Cette contradiction aboutit bien souvent à ce que les problématiques d’ordre médico-psychologique des détenus ne trouvent pas de solutions en prison et persistent à la sortie, une situation préjudiciable tant pour les individus que pour les systèmes judiciaires et pénitentiaires. Face au tiraillement entre soin, punition et réinsertion, cette thèse adopte un double point de vue prospectif et empirique avec pour ambition d’articuler les récentes réformes législatives et les pratiques de traitement médico-psychologique exercées au sein d’une maison d’arrêt. / Prison sentences constitute the first response to the requirements of delinquency repression in France. Since many prisoners, as they enter the penitentiary system, happen to be homeless, with no social security cover, physically and/or mentally ill, drug, alcohol or medicine addicts, the penal system finds itself confronted to a paradox between the needs of the detainees regarding health care on the one hand and crime repression on the other. This contradiction often has for a result that the prisoners’ medico-psychological problems find no solution in jail and remain as they get out. This situation may become prejudicial as much for the individuals than for the penal and judiciary systems. In front of the conflict between health care, punition and rehabilitation, this Ph. D. adopts a double perspective, both prospective and empirical: it aims at hanging together the recent legal reforms and the medico-psychological treatment practices that are currently at stake in a specific detention center.

Le système CADOC est un outil de conception assisté pour circuits VLSI, basé sur le langage CADOC-LD. Présentation du langage CADOC-LD en tenant compte de l'étude du langage de description de matériel CHDL. Application à partir du langage CADOC-LD basée sur les techniques d'exécution symbolique temporisée et de l'intelligence artificielle

Cette thèse est consacrée à l'analyse algorithmique des systèmes hybrides. Nous examinons plusieurs problèmes liés à l'étude et au controle des systèmes hybrides linéaires par morceaux. Dans une première partie, nous présentons les notions de base de la théorie. Nous illustrons notre propos grace à de nombreux exemples. La deuxième partie est dédiée au calcul algorithmique des exécutions acceptées par un système hybride. Une méthode de détection des événements (changement de valeur de la variable discrète du système) est proposée. Le cas des exécutions périodiques est également examiné. Dans la troisième partie, nous abordons le problème du calcul de l'ensemble atteignable des systèmes hybrides. Nous apportons un soin particulier aux systèmes où les dynamiques continues sont connues de manière incertaine. Dans la quatrième partie, nous nous intéressons au controle des systèmes hybrides. Nous construisons une analyse multirésolution de l'espace des entrées d'un système linéaire et calculons une base d'ondelettes associée. Les propriétés de cette base se révèlent intéressantes pour la synthèse de signaux d'entrée d'un système hybride. Dans la dernière partie nous montrons que les techniques développées pour les systèmes hybrides linéaires par morceaux peuvent etre utilisées pour analyser des systèmes dynamiques non-linéaires.

Afin de garantir qu'un programme respectera toutes ses contraintes temporelles, nous devons être capable de calculer une estimation fiable de son temps d'exécution au pire cas (WCET: worst case execution time). Cependant, identifier une borne précise du pire temps d'exécution devient une tâche très complexe du fait de la sophistication croissante des processeurs. Ainsi, l'objectif de nos travaux de recherche a été de définir une méthode formelle qui puisse s'adapter aux évolutions du matériel. Cette méthode consiste à développer un modèle du processeur cible, puis à l'exécuter symboliquement afin d'associer à chaque trace d'exécution un temps d'exécution au pire cas. Une méthode de fusionnement est également prévue afin d'éviter une possible explosion combinatoire. Cette méthode a pour principale contrainte de ne pas introduire trop d'imprécision sur les temps calculés.

Cette thèse étudie la gestion de ressources pour des services de calcul intensif à la demande sur une grappe de calcul partagée. Dans un tel contexte, il s'agissait de définir des outils d'exploitation qui permettent d'allouer dynamiquement les ressources pour l'exécution des requêtes à la demande, de partager équitablement les ressources entre les différents services, tout en maximisant leur utilisation. Financé par le pôle de compétitivité Minalogic dans le cadre du projet Ciloe (http://ciloe.minalogic.net), ce travail s'adresse à des organisations de types PME ou PMI, où les budgets de fonctionnement ne permettent pas de supporter les charges d'une infrastructure de calcul dédiée. Dans un premier temps, nous avons dressé un état de l'art sur la gestion de ressources dans les domaines de nuage de calcul et de calcul intensif. Puis, tirant partie de cette étude, nous avons défini une architecture virtualisée pour faciliter l'exécution dynamique des requêtes grâce à un gestionnaire de ressources spécifique. Nous avons enfin proposé une stratégie de partage et d'allocation de ressources flexible qui offre un compromis entre équité et utilisation efficace de ressources. Ayant travaillé dans un contexte de collaboration avec des industriels, nous avons développé un prototype comme une preuve de concept. Basé sur des standards ouverts, ce prototype s'appuie sur des outils existants de virtualisation tel que OpenNebula pour allouer et manipuler les machines virtuelles sur les noeuds de la grappe. A partir de ce prototype et diverses charges de travail qui sont détaillés dans cette thèse, nous avons mené des expériences pour évaluer l'architecture et les algorithmes de gestion de ressources. Les résultats montrent que ces différentes contributions satisfont les objectifs fixés tout en étant performantes et efficaces.

De nos jours, le nombre de langages de modélisation ne cesse d'augmenter en raison de différentes exigences et contextes (par exemple les langages spécifiques au domaine). Pour être utilisés, ces langages ont besoin d'outils pour réaliser différentes fonctionnalités comme l'édition, la transformation, la validation et l'exécution de modèles conformes à ces langages. La construction de ces outils est un enjeu et un objectif important aussi bien dans la communauté du génie logiciel que celle des Systèmes d'Information. C'est une tâche non-triviale qui fait appel à des approches différentes parmi lesquelles l'utilisation des environnements méta-CASE et des langages de méta-programmation. Par rapport à une approche ad-hoc, les méta-CASE définissent un support outillé et une démarche basée sur la méta-modélisation. Ils apportent des améliorations significatives à la problématique de construction d'outils. Néanmoins, des limitations majeures persistent, notamment pour les langages de modélisation des processus, à cause de la complexité de l'expression de la sémantique opérationnelle d'un modèle de processus et la capture de la logique d'exécution de celui-ci. La construction de ces outils selon une approche ad-hoc engendre un coût élevé, des risques d'erreurs et des problèmes de maintenabilité et de portabilité. En outre, un outil d'exécution de modèle doit satisfaire un critère d'interactivité avec son environnement d'exécution. Cet aspect n'est pas suffisamment pris en compte dans les travaux de recherche actuels sur la spécification des langages de modélisation. Pour répondre à cette problématique, nous proposons dans cette thèse une démarche dirigée par les modèles qui permet de dériver l'architecture d'un moteur d'exécution à partir de la spécification conceptuelle d'un langage de modélisation de processus. Cette spécification repose sur une méta-modélisation élargie qui intègre l'expression de la sémantique d'exécution d'un méta-modèle de processus. Elle est composée, d'une part, d'une structure à deux niveaux d'abstraction qui permet de représenter de manière générique les modèles à exécuter et les instances générées lors de leur exécution. D'autre part, cette spécification est complétée par une représentation déclarative et graphique du comportement du méta-modèle de processus. Pour cette représentation, nous avons choisi un formalisme orienté événement qui reflète la vision systémique et les différentes interactions du modèle de processus avec son environnement. Finalement, afin d'exploiter la sémantique d'exécution, nous proposons des règles de transformation permettant de dériver l'architecture technique d'un outil d'exécution sous une forme standard pour pouvoir l'implémenter dans un environnement de génération de code existant, le code généré correspondra à l'outil d'exécution souhaité. La démarche proposée a été appliquée dans le cas d'un modèle de processus intentionnel appelé Map. Cette application a permis d'explorer la faisabilité de la proposition et d'évaluer la qualité de la spécification de l'outil d'exécution obtenue par rapport aux exigences fixées. La pertinence de notre proposition est qu'elle permet de guider l'ingénieur dans le processus de spécification et de construction d'un outil d'exécution tout en minimisant l'effort de programmation. De plus, en appliquant les étapes de la démarche proposée, nous sommes en mesure de fournir un outil d'exécution d'une certaine qualité ; à savoir un outil interagissant avec son environnement, facilement maintenable et à moindre coût.