Cette thèse se divise en trois parties. Dans l'introduction, nous rappelons d'abord les problèmes et les motivations philosophiques a l'origine de l'étude des logiques polyvalentes. Nous élaborons une methode qui permet d'obtenir mécaniquement a partir de la définition matricielle d'une logique, des règles d'inférence pour les connecteurs propositionnels d'un calcul des tableaux. Un traitement similaire est fait pour les règles d'inférence pour les quantificateurs. Le raffinement étudie alors est une skolemisation paresseuse. Elle permet l'utilisation de l'unification pour calculer les instances utiles a la construction d'un tableau ferme. Une implémentation dans atinf les concrétise. Nous proposons les logiques polyvalentes avec égalité graduelle, un calcul par resolution-paramodulation ordonnées. La première partie finit par une extension qui consiste a munir les valeurs de vérité de structures de treillis ou de treillis bi-dimensionnels. Au traitement systématique des logiques finies suit une étude de deux cas typiques de logiques polyvalentes infinies du premier ordre une étude systématique étant théoriquement impossible : les logiques de post et de Ukasiewicz. Le lien entre les logiques de Horn et les logiques de post est utilise, pour proposer une automatisation des logiques de post basée sur une sémantique des mondes possibles. A partir de cette sémantique nous définissons un calcul des tableaux préfixes. Afin d'augmenter l'efficacité, des contraintes, résolues en temps polynomial sur les préfixes sont introduites. Chaque développement inclut une étude bibliographique très documentée du domaine de la logique mathématique, de l'intelligence artificielle et de la déduction automatique

Le calage historique permet l'intégration de données acquises après la production dans la construction de modèles de réservoir. Le filtre de Kalman d'ensemble (EnKF) est une méthode d'assimilation (ou calage historique) séquentielle capable d'intégrer les données mesurées dès qu'ils sont obtenus. Ce travail est basé sur l'application de l' EnKF pour le calage historique et est divisé en deux sections principales. La première section traite l'application de la EnKF à plusieurs cas d'études afin de mieux comprendre les avantages et les inconvénients de la méthode. Ces cas d'étude incluent deux cas d'étude synthétiques (un simple et un plutôt complexe), un modèle de faciès et un modèle de réservoir réel. Dans la plupart des cas, la méthode a réussi à reproduire les données mesurées. Les problèmes rencontrés sont expliqués et des solutions possibles sont proposées. La seconde partie traite deux nouveaux algorithmes proposé en combinant l'EnKF avec deux méthodes de paramétrisation: méthode des points pilotes et méthode de déformation graduelle, permettant la préservation les propriétés statistiques de l'ordre de deux (moyenne et covariance). Les deux algorithmes développés sont appliqués au cas d'étude synthétique simple : la première méthode peut réussir avec un nombre suffisant et un bon positionnement des points pilotes. Pour la déformation graduelle, l'application peut réussir si l'ensemble de fond est assez grand.

Libéralité assortie de charges au profit d’un tiers bénéficiaire, double libéralité en usufruit et en nue-propriété, double libéralité conditionnelle, libéralité graduelle, libéralité résiduelle, libéralité précative, attribution gratuite du bénéfice d’une assurance sur la vie, libéralité exécutée grâce à l’intervention d’un exécuteur testamentaire, d’un mandataire à effet posthume, d’un administrateur des biens donnés ou légués à un mineur, telles sont les principales figures que l’on peut rassembler sous l’expression « libéralités à trois personnes ». Toutes ont ceci de commun de procéder du concours d’un intermédiaire de transmission, qui va être le trait d’union nécessaire entre le disposant et le gratifié. Face à une telle profusion, si le profane peut paraître démuni quant au choix de l’institution la mieux appropriée pour accomplir sa volonté libérale, il peut en être tout autant du juriste. Au-delà de l’embarras que l’on peut éprouver à établir ce qui sépare chacune de ces variétés de libéralités à trois personnes, c’est le régime juridique applicable à chacune d’entre elles qui suscite également des difficultés. / Liberality subject to charges in favor of a third party beneficiary, double liberality in usufruct and bare ownership, double conditional liberality, generosity gradual, residual liberality, generosity precatory, the bonus benefit of life insurance, executed with liberality the intervention of an executor, an agent with posthumous effect, director of property given or bequeathed to a minor, are the main figures that we can gather under the term "three gifts persons". All have in common to carry the contest through a transmission, which will be the link needed between the settlor and gratified. Faced with such profusion, if the layman may appear helpless in choosing the most appropriate institution to fulfill his will liberal, it may be as much of the lawyer. Beyond the embarrassment that can be experienced in establishing what separates each of these varieties of gifts to three persons, the legal regime applicable to each of them which also raises difficulties.

Les technologies multimédias ont récemment connues une grande évolution surtout avec la croissance rapide d'internet ainsi que la création quotidienne de grands volumes de données vidéos. Tout ceci nécessite de nouvelles méthodes performantes permettant d'indexer, de naviguer, de rechercher et de consulter les informations stockées dans de grandes bases de données multimédia. La récupération de données basée sur le contenu vidéo, qui est devenue un domaine de recherche très actif durant cette décennie, regroupe les différentes techniques conçues pour le traitement de la vidéo. Dans le cadre de cette thèse de doctorat, nous présentons des applications permettant la segmentation temporelle d'une vidéo ainsi que la récupération d'information pertinente dans une séquence vidéo. Une fois le processus de classification effectué, il devient possible de rechercher l'information utile en ajoutant de nouveaux critères, et aussi de visualiser l'information d'une manière appropriée permettant d'optimiser le temps et la mémoire. Dans une séquence vidéo, le plan est considéré comme l'unité élémentaire de la vidéo. Un plan est défini comme une suite d'image capturée par une même caméra représentant une action dans le temps. Pour composer une vidéo, plusieurs plans sont regroupés en utilisant des séquences de transitions. Ces transitions se catégorisent en transitions brusques et transitions progressives. Détecter les transitions présentes dans une séquence vidéo a fait l'objet de nos premières recherches. Plusieurs techniques, basées sur différents modèles mathématiques, ont été élaborées pour la détection des changements de plans. L'utilisation de la décomposition en valeur singulière (SVD) ains que la norme Frobenius ont permis d'obtenir des résultats précis en un temps de calcul réduit. Le résumé automatique des séquences vidéo est actuellement un sujet d'une très grande actualité. Comme son nom l'indique, il s'agit d'une version courte de la vidéo qui doit contenir l'essentiel de l'information, tout en étant le plus concis possible. Ils existent deux grandes familles de résumé : le résumé statique et le résumé dynamique. Sélectionner une image représentative de chaque plan permet de créer un scénarimage. Ceci est considéré comme étant un résumé statique et local. Dans notre travail, une méthode de résumé globale est proposée. / With the recent advancement in multimedia technologies, in conjunction with the rapid increase of the volume of digital video data and the growth of internet ; it has becom mandatory to have the hability browse and search through information stored in large multimedia databases. For this purpose, content based video retrieval (CBVR) has become an active area of research durinf the last decade. The objective of this thesis is to present applications for temporal video segmentation and video retrieval based on different mathematical models. A shot is considered as the elementary unit of a video, and is defined as a continuous sequence of frames taken from a single camera, representing an action during time. The different types of transitions that may occur in a video sequence are categorized into : abrupt and gradual transition. In this work, through statistical analysis, we segment a video into its constituent units. This is achieved by identifying transitions between adjacent shots. The first proposed algorithm aims to detect abrupt shot transitions only by measuring the similarity between consecutive frames. Given the size of the vector containing distances, it can be modeled by a log normal distribution since all the values are positive. Gradual shot transition identification is a more difficult task when compared to cut detection. Generally, a gradual transition may share similar characteristics as a dynamic segment with camera or object motion. In this work, singular value decomposition (SVD) is performed to project features from the spatial domain to the singular space. Resulting features are reduced and more refined, which makes the remaining tasks easier. The proposed system, designed for detecting both abrupt and gradual transitions, has lead to reliable performances achieving high detection rates. In addition, the acceptable computational time allows to process in real time. Once a video is partitioned into its elementary units, high-level applications can be processed, such as the key-frame extraction. Selecting representative frames from each shot to form a storyboard is considered as a static and local video summarization. In our research, we opted for a global method based on local extraction. Using refined centrist features from the singular space, we select representative frames using modified k-means clustering based on important scenes. This leads to catch pertinent frames without redoudancy in the final storyboard.

Cette thèse est composée de trois articles indépendants qui ont pour trait commun d’analyser le comportement d’investisseurs et de firmes en situation de concurrence imparfaite. Nous considérons d’abord un modèle de marché financier à la Kyle (1985) où les investisseurs peuvent produire soit un signal (fondamental) sur la valeur d’un actif risqué, soit un signal (non-fondamental) sur la demande aléatoire des noise traders. Nous montrons que réduire le coût du signal non-fondamental détériore l’efficience informationnelle du prix du titre et,sous certaines conditions, le bien-être des noise traders. Nous étendons ensuite le modèle au cas où les investisseurs non-fondamentalistes soumettent des ordres à cours limité. Leur activité s’apparente alors à du “front running”. Par ce biais, nous enrichissons nos résultats et montrons que l’effet potentiellement néfaste de l’accès à l’information non-fondamentale persiste.Nous considérons ensuite un marché à la Kyle (1985) où des agents non informés échangent pour un motif de partage de risque avec des investisseurs répartis sur un réseau.Ces derniers partagent leurs signaux avec leurs contacts, ce qui formalise une meilleure diffusion de l’information. Nous évaluons alors l’effet de cette hypothèse sur deux critères: le profit spéculatif et l’espérance d’utilité des agents non informés qui mesure l’efficacité du partage de risque sur le marché. Nous montrons que l’ajout du réseau peut simultanément améliorer ces deux critères ainsi que l’efficience informationnelle du prix. Un résultat original qui ne peut pas être obtenu sans l’ajout du réseau. Enfin, nous caractérisons la coopération graduelle entre deux firmes concurrentes de tailles différentes incapables de contracter et dont les contributions sont irréversibles. Nous montrons que l’asymétrie entre les deux firmes ralentit fortement le processus de collaboration,ce qui souligne l’importance des arrangements contractuels dans certaines situations. Nous montrons aussi qu’un renforcement de la concurrence entre les deux firmes peut nuire au bien-être social en réduisant leur capacité à collaborer. / This thesis contains three distinct papers related to the behavior of investors or firms acting under imperfect competition. First, we consider a Kyle’s (1985) model where investors can produce either a (fundamental) signal on the value of the risky asset, or a (non fundamental)signal on the forth coming demand from noise traders. We show that reducing the cost of the non-fundamental signal worsens price informativeness as well as the welfare of noise traders under some conditions. Then, we extend the model by allowing non fundamental traders to submit limit orders. Their activity is then analogous to front running. By this mean, we enrich our results and show that the potentially detrimental effect of non-fundamental information still pertains. Then, we consider a market à la Kyle (1985) where uninformed hedgers trade for risk sharing purposes with investors located on a network, who share their signal with their“contacts”. This hypothesis formalizes a better diffusion of information. We evaluate its effect on speculative gains and hedgers’ expected utility which depends on the risk sharing role of the market. We show that the introduction of the network might simultaneously improve these two welfare measures as well as price informativeness. An original result that cannot be obtained otherwise. Finally, we consider a contribution game between two competitors of different sizes. We obtain the value of their (irreversible) contributions during each period of the game. We show that the asymmetry between the two firms strongly slowers the collaboration process,high lighting the importance of contractual arrangements in some circumstances. Also, we obtain that increasing competition might be detrimental to social welfare, because it harms the ability of the two firms to set up a mutually beneficial process of collaboration.

Le genre Angraecum est un groupe d’orchidées tropicales qui compte environ 221 espèces réparties en Afrique subsaharienne, dans l’ouest de l’Océan Indien, et au Sri Lanka. Plus de la moitié des espèces se trouvent à Madagascar, dont au moins 90% sont endémiques à l’île. L’étude systématique et taxonomique du genre Angraecum a toujours été problématique à cause de sa grande diversité morphologique. Pour faciliter la classification, des sections ont été établies dont la plus connue est celle de Garay (1973), qui regroupe les espèces sous 19 sections. Plusieurs analyses phylogénétiques avaient montré que le genre Angraecum et les sections de Garay ne sont pas monophylétiques. Cependant, aucune révision systématique n’a été apportée à cause du faible échantillonnage dans ces analyses. En incorporant un plus grand nombre d'espèces et en ajoutant d’autres caractères morphologiques dans l’analyse, nous avons apporté une plus grande résolution à la reconstruction phylogénétique du groupe. Cette résolution concerne surtout les nœuds plus profonds qui représentent les différents clades à l’intérieur d'Angraecum, qui correspondent à des sections naturelles. A partir de ces clades, nous avons redéfini 14 sections monophylétiques toute en reconnaissant cinq nouvelles. Grâce à cette nouvelle phylogénie d'Angraecum, nous avons pu étudier la diversification du genre et de la sous-tribu Angraecinae en utilisant des méthodes macroévolutives, notamment les roles joués par les traits floraux dans la spéciation, tout en l'interprétant grâce aux histoires géologique et paléoclimatique. Le modèle de diversification chez les Angraecinae semble avoir été celui communément rencontré dans les forêts tropicales humides, c’est-à-dire une diversification par accumulation graduelle d’espèces à travers le temps et non pas une radiation adaptative rapide, comme souvent observée chez des lignées animales malgaches. Plusieurs caractères morphologiques jouent un rôle important dans la diversification des espèces d'Angraecum. Le début de la diversification d'Angraecum à Madagascar coïncide avec le mouvement progressif de l’île vers le nord, l’établissement de la mousson dans la partie nord de l’île durant le Miocène, et l’expansion de la forêt tropicale malgache pendant cette période. Notre étude de l’histoire biogéographique des Angraecinae suggère une origine malgache de la sous-tribu et du genre Angraecum. On observe de la dispersion à longue distance à partir de Madagascar vers le reste du monde dans le genre Angraecum. La forêt tropicale humide du Nord Est de Madagascar est le point de départ de la diversification des espèces d'Angraecum. Le premier événement de dispersion a débuté à l’intérieur de l’île vers la fin du Miocène. Cet évènement est marqué par une migration du Nord Est vers le centre de Madagascar. Par ailleurs, la majorité des événements de dispersion à longue distance se sont produits durant le Pliocène-Pléistocène à partir soit du centre, soit du Nord Est de l'île. On assiste à des migrations indépendantes vers l’Afrique de l’est et les Comores d’une part, et vers les Mascareignes d’autre part. Un seul événement fondateur ayant conduit à l’apparition de la section Hadrangis est observé dans les Mascareignes. La saison cyclonique joue un rôle significatif dans la dispersion à longue distance des graines d’orchidées, comparée aux vents dominants qui soufflent dans la région ouest de l’Océan Indien, notamment l’alizé et la mousson. La similarité des niches écologiques a facilité l’expansion des espèces d'Angraecum dans les Comores et les Mascareignes. / Angraecum is a group of tropical orchids that includes ca. 221 species distributed in Sub-Saharan Africa, the western Indian Ocean region, and Sri Lanka. At least half of the species are found in Madagascar, 90% being endemic to the island. Taxonomic studies of Angraecum have always been problematic because of the great morphological diversity of the group. To facilitate classification, sections have been proposed, the best-known system to date being that of Garay (1973) that subdivides the genus into 19 sections. Previous phylogenetic studies had shown that genus Angraecum and Garay’s sections are not monophyletic. However, no systematic review was made because of a reduced species sample in these analyses. Using a greater sampling from Madagascar and adding morphological characters to the analyses, we brought greater resolution to the phylogenetic reconstruction of the group. This resolution mainly concerns the deeper nodes representing different clades within Angraecum, which basically correspond to natural sections. By using these clades, we redefined 14 sections and recognized five new ones. Using this phylogeny of Angraecum, we evaluated species diversification using macroevolutionary methods, essentially the effect of floral traits in speciation. The great diversity of Angraecum species in Madagascar, the high endemicity, and the geology and paleoclimate histories allowed us to evaluate diversification patterns within the genus as well as sub-tribe Angraecinae. The model of diversification in Angraecinae follows that of most tropical rain forest taxa, which results from the gradual accumulation of species through time and not from a rapid adaptive radiation, as is often the case for Malagasy fauna lineages. Several morphological characters are involved in the diversification of Angraecum. The beginning of Angraecum diversification in Madagascar coincided with the progressive movement of the island northwards, the establishment of a monsoon regime in the northern part of the island during the Miocene, and the expansion of the Malagasy rainforest during that period. Our historical biogeographic study of Angraecinae suggests a Malagasy origin of the subtribe Angraecinae and Angraecum. We observed out-of Madagascar long-distance dispersal in Angraecum. The north-eastern Malagasy rainforest is the center of species radiation for the genus. The first dispersal event within the island started in the late Miocene. This event was a migration from the north to the central highland. The majority of long-distance dispersal events outside Madagascar occurred during the Pliocene-Pleistocene, originating from either the center or the North East of the island. There were multiple independent dispersals to East Africa and the Comoros, and to the Mascarenes. A single founder-effect event in section Hadrangis is observed in the Mascarenes. The cyclonic seasons play a significant role in long-distance dispersal of orchid seeds, as compared to prevailing winds in the western Indian Ocean region, essentially trade wind and monsoon. Ecological niche similarity favored the expansion of Angraecum species in the Comoros and Mascarene archipelagos.

No description available.

Predictive coding theorizes the capacity of neural structures to form predictions about forthcoming sensory events based on previous sensory input. This concept increasingly gains attention within experimental psychology and cognitive neuroscience. In auditory research, predictive coding has become a useful model that elegantly explains different aspects of auditory sensory processing and auditory perception. Many of these aspects are backed up by experimental evidence. However, certain fundamental features of predictive auditory processing have not been addressed so far by experimental investigations, like correlates of neural predictions that show up before the onset of an expected event. Four experiments were designed to investigate the proposed mechanism under more realistic conditions as compared to previous studies by manipulating different aspects of predictive (un)certainty, thereby examining the ecological validity of predictive processing in audition. Moreover, predictive certainty was manipulated gradually across five conditions from unpredictable to fully predictable in linearly increasing steps which drastically decreases the risk of discovering incidental findings. The results obtained from the conducted experiments partly confirm the results from previous studies by demonstrating effects of predictive certainty on ERPs in response to omissions of potentially predictable stimuli. Furthermore, results partly suggest that the auditory system actively engages in stimulus predictions in a literal sense as evidenced by gradual modulations of pre-stimulus ERPs associated with different degrees of predictive certainty. However, the current results remain inconsistent because the observed effects were relatively small and could not consistently be replicated in all follow-up experiments. The observed effects could be regained after accumulating the data across all experiments in order to increase statistical power. However, certain questions remain unanswered regarding a valid interpretation of the results in terms of predictive coding. Based on the current state of results, recommendations for future investigations are provided at the end of the current thesis in order to improve certain methodological aspects of investigating predictive coding in audition, including considerations on the design of experiments, possible suitable measures to investigate predictive coding in audition, recommendations for data acquisition and data analysis as well as recommendations for publication of results.

Predictive coding theorizes the capacity of neural structures to form predictions about forthcoming sensory events based on previous sensory input. This concept increasingly gains attention within experimental psychology and cognitive neuroscience. In auditory research, predictive coding has become a useful model that elegantly explains different aspects of auditory sensory processing and auditory perception. Many of these aspects are backed up by experimental evidence. However, certain fundamental features of predictive auditory processing have not been addressed so far by experimental investigations, like correlates of neural predictions that show up before the onset of an expected event. Four experiments were designed to investigate the proposed mechanism under more realistic conditions as compared to previous studies by manipulating different aspects of predictive (un)certainty, thereby examining the ecological validity of predictive processing in audition. Moreover, predictive certainty was manipulated gradually across five conditions from unpredictable to fully predictable in linearly increasing steps which drastically decreases the risk of discovering incidental findings. The results obtained from the conducted experiments partly confirm the results from previous studies by demonstrating effects of predictive certainty on ERPs in response to omissions of potentially predictable stimuli. Furthermore, results partly suggest that the auditory system actively engages in stimulus predictions in a literal sense as evidenced by gradual modulations of pre-stimulus ERPs associated with different degrees of predictive certainty. However, the current results remain inconsistent because the observed effects were relatively small and could not consistently be replicated in all follow-up experiments. The observed effects could be regained after accumulating the data across all experiments in order to increase statistical power. However, certain questions remain unanswered regarding a valid interpretation of the results in terms of predictive coding. Based on the current state of results, recommendations for future investigations are provided at the end of the current thesis in order to improve certain methodological aspects of investigating predictive coding in audition, including considerations on the design of experiments, possible suitable measures to investigate predictive coding in audition, recommendations for data acquisition and data analysis as well as recommendations for publication of results.:1. Introduction ... 5 1.1 An introduction to predictive coding theory ... 9 1.2 Predictive coding in audition ... 11 1.3 Electrophysiological correlates of predictive auditory processing ... 14 1.4 Limitations of previous research and aims of the thesis ... 21 2. Traditional correlates of auditory prediction ... 24 2.1 Experiment 1: Reliability of auditory predictions ... 25 2.2 Experiment 2: Accuracy of auditory predictions ... 39 3. Pre-stimulus correlates of auditory prediction ...47 3.1 Pre-stimulus effects in Experiment 1 and 2 ... 48 3.2 Experiment 3: Temporal dynamics of auditory prediction ... 56 3.3 Experiment 4: The influence of omissions on stimulus processing ... 64 4 Results across experiments ... 74 4.1 Methods ... 76 4.2 Results ... 80 4.3 Discussion ... 82 5. General Discussion ... 87 5.1 Implications for current research ... 89 5.2 Recommendations for future investigations ... 93 5.3 Future prospects ... 101 5.4 Conclusion ... 104 References ...106 Appendix ... 116