La plasticité synaptique activité-dépendante forme la base physiologique de l’apprentissage et de la mémoire dépendants de l’hippocampe. Le rôle joué par les différents sous-types d’interneurones dans l’apprentissage et la mémoire hippocampiques reste inconnu, mais repose probablement sur des mécanismes de la plasticité spécifique aux synapses de certains sous-types d’interneurones. Les synapses excitatrices établies sur les interneurones de l’oriens-alveus dans l’aire CA1 exhibent une forme persistante de potentialisation à long terme induite par la stimulation chimique des récepteurs métabotropiques du glutamate de type 1 (mGluR1) [mGluR1-mediated chemical late long-term potentiation (cL-LTPmGluR1)]. Le présent projet de recherche avait pour objectifs d’identifier les sous-types d’interneurones de l’oriens-alveus exprimant la cL-LTPmGluR1 et d’examiner les mécanismes d’induction et d’expression de celle-ci. Nous avons déterminé que la stimulation répétée des mGluR1 induit de la cL-LTPmGluR1 aux synapses excitatrices établies sur le sous-type d’interneurones exprimant le peptide somatostatine (SOM-INs). Des enregistrements électrophysiologiques couplés à des inhibiteurs pharmacologiques et à un knock-out fonctionnel de mammalian target of rapamycin complexe 1 (mTORC1) ont montré que l’induction de la cL-LTPmGluR1 (qui consiste en trois applications de l’agoniste des mGluR1/5, le (S)-3,5-dihydroxyphénylglycine (DHPG) en présence de l’antagoniste des récepteurs métabotropiques du glutamate de type 5 (mGluR5), le 2-méthyl-6-(phényléthynyl)-pyridine (MPEP)) des SOM-INs requiert les voies de signalisation des mGluR1, de extracellular signal-regulated protein kinase (ERK) et de mTORC1. L’ensemble de nos résultats montre qu’une forme persistante de plasticité synaptique sous-tendue par mTORC1 est induite par la stimulation répétée des mGluR1 dans les interneurones hippocampiques exprimant le peptide somatostatine. La connaissance des mécanismes sous-tendant la cL-LTPmGluR1, couplée à l’utilisation de modèles animal in vivo, rendront maintenant possible le blocage de la cL-LTPmGluR1 dans les SOM-INs et l’examen de son rôle dans l’apprentissage et la mémoire dépendants de l’hippocampe. / Hippocampus-dependent learning and memory are mediated by activity-dependent synaptic plasticity. The role that different subtypes of interneurons play in hippocampal learning and memory remains largely unknown, but likely relies on cell type-specific plasticity mechanisms at interneuron synapses. Excitatory synapses onto CA1 oriens-alveus interneurons show persistent long-term potentiation induced by chemical stimulation of metabotropic glutamate receptor 1 (mGluR1) [mGluR1-mediated chemical late long-term potentiation (cL-LTPmGluR1)]. The objectives of this project were to identify the oriens-alveus interneuron subtypes expressing cL-LTPmGluR1 and examine its induction and expression mechanisms. We determined that repeated mGluR1 stimulation induces cL-LTPmGluR1 at excitatory synapses onto the somatostatin-expressing interneuron subtype (SOM-INs). Electrophysiological recordings coupled to pharmacological inhibitors and a functional knock-out of mammalian target of rapamycin complex 1 (mTORC1) showed that SOM-INs cL-LTPmGluR1 induction (which consisted of three applications of the mGluR1/5 agonist (S)-3,5-dihydroxyphenylglycine (DHPG) in the presence of metabotropic glutamate receptor 5 (mGluR5) antagonist 2-methyl-6-(phenylethynyl)-pyridine (MPEP)) requires mGluR1, extracellular signal-regulated protein kinase (ERK) and mTORC1 signaling pathways. Collectively, our results show that persistent synaptic plasticity mediated by mTORC1 is induced by repeated mGluR1 stimulation in somatostatin-expressing hippocampal interneurons. Knowledge of cL-LTPmGluR1’s underlying mechanisms, coupled to in vivo models, will now make it possible to interfere with SOM-INs cL-LTPmGluR1 and examine its role in hippocampal-dependent learning and memory.

Dans ce mémoire, nous proposons une solution possible à la question suivante : comment formaliser des environnements associés à un processus (quelconque) et comment utiliser les informations qu'ils contiennent pour produire des actions pertinentes ? Cette question nous a amené à introduire la notion de contexte ainsi qu'une représentation réutilisable des connaissances pour le formaliser. Nous nous sommes donc intéressés aux notions d'ontologies, de contextes et d'actions. Pour la représentation et le raisonnement sur les contextes et les actions, nous proposons une solution appelée DTF. Celle-ci étend une théorie constructive des types existante permettant ainsi de disposer d'une grande expressivité, de la décidabilité de la véri cation de types et d'un mécanisme de sous-typage e cace. Nous montrons comment modéliser les contextes et les actions sous la forme de types dépendants à partir des données fournies sur un problème et des actions à entreprendre pour le résoudre. En n, pour tester la faisabilité et pouvoir juger de la complexité d'une telle solution, un "démonstrateur de contexte " est réalisé avec un langage fonctionnel. Puis, une application test appelée " le monde du Wumpus " où un agent logiciel se déplace dans un environnement inconnu, est alors implantée en LISP.

Cette thèse porte sur l’adaptation de la réalisabilité et la paramétricité au cas des types dépendants dans le cadre des Systèmes de Types Purs. Nous décrivons une méthode systématique pour construire une logique à partir d’un langage de programmation, tous deux décrits comme des systèmes de types purs. Cette logique fournit des formules pour exprimer des propriétés des programmes et elle offre un cadre formel adéquat pour développer une théorie de la réalisabilité au sein de laquelle les réalisateurs des formules sont exactement les programmes du langage de départ. Notre cadre permet alors de considérer les théorèmes de représentation pour le système T de Gödel et le système F de Girard comme deux instances d'un théorème plus général.Puis, nous expliquons comment les relations logiques de la théorie de la paramétricité peuvent s'exprimer en terme de réalisabilité, ce qui montre que la logique engendrée fournit un cadre adéquat pour développer une théorie de la paramétricité du langage de départ. Pour finir, nous montrons comment cette théorie de la paramétricité peut-être adaptée au système sous-jacent à l'assistant de preuve Coq et nous donnons un exemple d'application original de la paramétricité à la formalisation des mathématiques. / This thesis focuses on the adaptation of realizability and parametricity to dependent types in the framework of Pure Type Systems. We describe a systematic method to build a logic from a programming language, both described as pure type systems. This logic provides formulas to express properties of programs and offers a formal framework that allows us to develop a theory of realizability in which realizers of formulas are exactly programs of the starting programming language. In our framework, the standard representation theorems of Gödel's system T and Girard's system F may be seen as two instances of a more general theorem. Then, we explain how the so-called « logical relations » of parametricity theory may be expressed in terms of realizability, which shows that the generated logic provides an adequate framework for developping a general theory of parametricity. Finally, we show how this parametricity theory can be adapted to the underlying type system of the proof assistant Coq and we give an original example of application of parametricity theory to the formalization of mathematics.

Les réactions de fusion-évaporation et de transfert de nucléons entre ions lourds à des énergies proches de la barrière de Coulomb jouent un rôle essentiel dans l’étude de la structure nucléaire et des mécanismes de réaction. Dans le cadre de cette thèse, deux expériences de fusion-évaporation et de transfert de nucléons ont été réalisées au Laboratoire National de Legnaro en Italie : 40Ca+58Ni et 40Ca+64Ni. Dans une première expérience, les sections efficaces de fusion de 40Ca+58,64Ni ont été mesurées à des énergies au-dessus et en dessous de la barrière de Coulomb et ont été interprétées à l’aide de calculs en voies couplées et Hartree-Fock dépendants du temps (TDHF). Les résultats montrent l’importance de l’excitation à un phonon octupolaire dans le noyau 40Ca et les excitations à un phonon quadripolaire dans les noyaux 58Ni et 64Ni, ainsi que l’importance des voies de transfert de nucléons dans le système riche en neutrons 40Ca+64Ni. Dans une expérience complémentaire, les probabilités de transfert de nucléons de 40Ca+58,64Ni ont été mesurées dans le même domaine d’énergie que l’expérience précédente et ont été interprétées en effectuant des calculs TDHF+BCS. Les résultats confirment l’importance des voies de transfert de nucléons dans 40Ca+64Ni. Une description conjointe des probabilités de transfert de nucléons et des sections efficaces de fusion a été réalisée pour les deux réactions étudiées en utilisant une approche en voies couplées. / Heavy-ion fusion-evaporation and nucleon transfer reactions at energies close to the Coulomb barrier play an essential role in the study of nuclear structure and reaction dynamics. In the framework of this PhD thesis, two fusion-evaporation and nucleon transfer experiments have been performed at the Laboratori Nazionali di Legnaro in Italy : 40Ca+58Ni and 40Ca+64Ni. In a first experiment, fusion cross sections for 40Ca+58,64Ni have been measured from above to below the Coulomb barrier and have been interpreted by means of coupled-channels and Time-Dependent Hartree-Fock (TDHF) calculations. The results show the importance of the one-phonon octupole excitation in the 40Ca nucleus and the one-phonon quadrupole excitations in the 58Ni and 64Ni nuclei, as well as the importance of the nucleon transfer channels in the neutron-rich system 40Ca+64Ni. In a complementary experiment, nucleon transfer probabilities for 40Ca+58,64Ni have been measured in the same energy region as the previous experiment and have been interpreted by performing TDHF+BCS calculations. The results confirm the importance of nucleon transfer channels in 40Ca+64Ni. A simultaneous description of the nucleon transfer probabilities and the fusion cross sections has been performed for both reactions, using a coupled-channels approach.

Cette thèse présente l'étude de la réduction de modèles pour les réseaux électriques et les réseaux de transmission. Un point de vue mathématique a été adopté pour la réduction de modèles. Les réseaux électriques sont des réseaux immenses et complexes, dont l'analyse et la conception nécessite la simulation et la résolution de grands modèles non-linéaires. Dans le cadre du développement de réseaux électriques intelligents (smart grids) avec une génération distribuée de puissance, l'analyse en temps réel de systèmes complexes tels que ceux-ci nécessite des modèles rapides,fiables et précis. Dans la présente étude, nous proposons des méthodes de réduction de de modèles à la fois a priori et a posteriori, adaptées aux modèles dynamiques des réseaux électriques.Un accent particulier a été mis sur la dynamique transitoire des réseaux électriques, décrite par un modèle oscillant non linéaire et complexe. La non-linéarité de ce modèle nécessite une attention particulière pour bénéficier du maximum d'avantages des techniques de réduction de modèles.Initialement, des méthodes comme POD et LATIN ont été adoptées avec des degrés de succès divers. La méthode de TPWL, qui combine la POD avec des approximations linéaires multiples, a été prouvée comme étant la méthode de réduction de modèles la mieux adaptée pour le modèle dynamique oscillant.Pour les lignes de transmission, un modèle de paramètres distribués en domaine fréquentiel est utilisé. Des modèles réduits de type PGD sont proposés pour le modèle DP des lignes de transmission. Un problème multidimensionnel entièrement paramétrique a été formulé, avec les paramètres électriques des lignes de transmission inclus comme coordonnées additionnelles de la représentation séparée. La méthode a été étendue pour étudier la solution du modèle des lignes de transmission pour laquelle les paramètres dépendent de la fréquence. / This thesis presents the study of the model order reduction for power grids and transmission networks. The specific focus has been the transient dynamics. A mathematical viewpoint has been adopted for model reduction. Power networks are huge and complex network, simulation for power grid analysis and design require large non-linearmodels to be solved. In the context of developing “SmartGrids” with the distributed generation of power, real time analysis of complex systems such as these needs fast,reliable and accurate models. In the current study we propose model order reduction methods both a-priori and aposteriori suitable for dynamic models of power grids.The model that describes the transient dynamics of the power grids is complex non-linear swing dynamics model. The non-linearity of the swing dynamics model necessitates special attention to achieve maximum benefit from the model order reduction techniques. In the current research, POD and LATIN methods were applied initially with varying degrees of success. The method of TPWL has been proved as the best-suited model reduction method for swing dynamics model ; this method combines POD with multiple linear approximations.For the transmission lines, a distributed parameters model infrequency-domain is used. PGD based reduced-order models are proposed for the DP model of transmission lines. A fully parametric problem with electrical parameters of transmission lines included as coordinates of the separated representation. The method was extended to present the solution of frequency-dependent parameters model for transmission lines.

Cette thèse s’intéresse au problème classique de tournées de véhicules avec contraintes de capacité (CVRP pour Capacitated Vehicle Routing Problem) ainsi qu’une variante beaucoup plus complexe, soit le problème de tournées de véhicules dépendant du temps avec fenêtres de temps et points de transfert défini sur un réseau routier (TDVRPTWTP-RN pour Time-Dependent Vehicle Routing Problem with Time Windows and Transfer Points on a Road Network). Dans le premier article, le TDVRPTWTP-RN est résolu en adaptant une métaheuristique qui représente l’état de l’art pour le CVRP, appelé Slack Induction for String Removals (SISR). Cette métaheuristique fait appel au principe “détruire et reconstruire” en retirant des séquences de clients consécutifs dans les routes de la solution courante et en réinsérant ensuite ces clients de façon à créer une nouvelle solution. Le problème est défini sur un réseau routier où différents chemins alternatifs peuvent être utilisés pour se déplacer d’un client à l’autre. De plus, le temps de parcours sur chacun des arcs du réseau n’est pas fixe, mais dépend du moment où le véhicule quitte le sommet origine. S’inspirant de problèmes rencontrés en logistique urbaine, nous considérons également deux types de véhicules, de petite et grande capacité, où les grands véhicules sont interdits de passage au centre-ville. Ainsi, les clients du centre-ville ne peuvent être servis que suite au transfert de leur demande d’un grand à un petit véhicule à un point de transfert. Comme un point de transfert n’a pas de capacité, une problématique de synchronisation apparaît quand un grand véhicule doit y rencontrer un ou plusieurs petits véhicules pour leur transférer une partie de son contenu. Contrairement aux problèmes stricts de tournées de véhicules à deux échelons, les grands véhicules peuvent aussi servir des clients localisés à l’extérieur du centre-ville. Comme le problème abordé est beaucoup plus complexe que le CVRP, des modifications importantes ont dû être apportées à la métaheuristique SISR originale. Pour évaluer la performance de notre algorithme, un ensemble d’instances tests a été généré à partir d’instances existantes pour le TDVRPTW-RN. Les réseaux omt été divisés en trois régions : centre-ville, frontière et extérieur. Le centre-ville et l’extérieur sont respectivemnt les royaumes des petits et grands véhicules, tandis que la frontière (où l’on retrouve les points de transfert) peut être visité par les deux types de véhicules. Les résultats numériques montrent que la métaheuristique proposée exploite les opportunités d’optimiser une solution en déplaçant autant que possible les clients neutres, soit ceux qui peuvent être servis indifféremment par un petit ou un grand véhicule, des routes des petits véhicules vers les routes des grands véhicules, réduisant ainsi les coûteuses visites aux points de transfert. Les deuxième et troisième article s’intéressent à des concepts plus fondamentaux et font appel au problème plus simple du CVRP pour les évaluer. Dans le second article, un étude expérimentale est conçue afin d’examiner l’impact de données (distances) imprécises sur la performance de différents types d’heuristiques, ainsi qu’une méthode exacte, pour le CVRP. À cette fin, différents niveaux d’imprécision ont été introduits dans des instances tests classiques pour le CVRP avec 100 à 1 000 clients. Nous avons observé que les meilleures métaheuristiques demeurent les meilleures, même en présence de hauts niveaux d’imprécision, et qu’elles ne sont pas affectées autant par les imprécisions qu’une heuristique simple. Des expériences avec des instances réelles ont mené aux mêmes conclusions. Le troisième article s’intéresse à l’intégration de l’apprentissage automatique dans la métaheuristique SISR qui représente l’état de l’art pour le CVRP. Dans ce travail, le principe “détruire et reconstruire” au coeur de SISR est hybridé avec une méthode d’apprentissage par renforcement qui s’inspire des systèmes de colonies de fourmis. L’ap- prentissage automatique a pour but d’identifier les arêtes les plus intéressantes, soit celles qui se retrouvent le plus fréquemment dans les solutions de grande qualité précédemment rencontrées au cours de la recherche. L’inclusion de telles arêtes est alors favorisé lors de la réinsertion des clients ayant été retirés de la solution par le mécanisme de destruction. Les instances utilisées pour tester notre approche hybride sont les mêmes que celles du second article. Nous avons observé que notre algorithme ne peut produire que des solutions lé- gèrement meilleures que la métaheuristique SISR originale, celle-ci étant déjà quasi-optimale. / This thesis is concerned both with the classical Capacitated Vehicle Routing Problem (CVRP) and a much more complex variant called the Time-Dependent Vehicle Routing Problem with Time Windows and Transfer Points on a Road Network (TDVRPTWTP-RN ). In the first paper, the TDVRPTWTP RN is solved by adapting a state-of-the-art metaheuris- tic for the CVRP, called Slack Induction for String Removals (SISR). This metaheuristic is based on the ruin and recreate principle and removes strings of consecutive customers in the routes of the current solution and then reinserts the removed customers to create a new solution. The problem is formulated in a full road network where different alternative paths can be used to go from one customer to the next. Also, the travel time on each arc of the road network is not fixed, but depends on the departure time from the origin node. Motivated from city logistics applications, we also consider two types of vehicles, large and small, with large vehicles being forbidden from the downtown area. Thus, downtown customers can only be served through a transfer of their goods from large to small vehicles at designated transfer points. Since transfer points have no capacity, synchronization issues arise when a large vehicle must meet one or more small vehicles to transfer goods. As opposed to strict two-echelon VRPs, large vehicles can also directly serve customers that are outside of the downtown area. Given that the TDVRPTWTP-RN is much more complex than the CVRP, important modifications to the original SISR metaheuristic were required. To evaluate the performance of our algorithm, we generated a set of test instances by extending existing instances of the TDVRPTW-RN . The road networks are divided into three regions: downtown, boundary and outside. The downtown and outside areas are the realm of small and large vehicles, respectively, while the boundary area that contains the transfer points can be visited by both small and large vehicles. The results show that the proposed metaheuristic exploits optimization opportunities by moving as much as possible neutral customers (which can be served by either small or large vehicles) from the routes of small vehicles to those of large vehicles, thus avoiding costly visits to transfer points. The second and third papers examine more fundamental issues, using the classical CVRP as a testbed. In the second paper, an experimental study is designed to examine the impact of inaccurate data (distances) on the performance of different types of heuristics, as well as one exact method, for the CVRP. For this purpose, different levels of distance inaccuracies were introduced into well-known benchmark instances for the CVRP with 100 to 1,000 customers. We observed that the best state-of-the-art metaheuristics remain the best, even in the presence of high inaccuracy levels, and that they are not as much affected by inaccuracies when compared to a simple heuristic. Some experiments performed on real-world instances led to the same conclusions. The third paper focuses on the integration of learning into the state-of-the-art SISR for the CVRP. In this work, the ruin and recreate mechanism at the core of SISR is enhanced by a reinforcement learning technique inspired from ant colony systems. The learning component is aimed at identifying promising edges, namely those that are often found in previously encountered high-quality solutions. The inclusion of these promising edges is then favored during the reinsertion of removed customers. The benchmark instances of the second paper were also used here to test the new hybrid algorithm. We observed that the latter can produce only slightly better solutions than the original SISR, due to the quasi-optimality of the original solutions.