Cette thèse est constituée de trois articles. Le premier étudie le problème de pollution globale dans un contexte environnemental incertain. Le deuxième article traite des accords internationaux sur l'environnement. Le troisième article montre comment la libéralisation du commerce peut affecter le bien-être et les taxes sur la pollution dans un monde où les pays sont hétérogènes et la pollution transfrontalière. Dans le premier article, je considère un monde dans lequel les pays souffrent uniformément de la pollution globale. Ils font face à une menace continuelle de voir les dommages causés par cette pollution globale s'accroître subitement de façon irréversible. Je caractérise le niveau des émissions, le stock de pollution, et le niveau de bien-être actualisé en équilibres coopératif et non-coopératif. L'objectif visé est d'analyser l'impact de ce type d'incertitude sur les équilibres issus des comportements stratégiques des pays. Je trouve que cette incertitude peut avoir un effet significatif sur ces équilibres. Les pays réduisent leurs émissions pour atténuer leur exposition à cette menace. Plus la menace est grande, plus les pays ajustent leurs émissions afin de réduire le stock de pollution globale. Cependant, en dépit du fait que cette incertitude diminue le bien-être net initial, elle peut à long terme avoir un effet net positif sur le bien-être. Le deuxième article étend la classe des modèles dynamiques standards traitant des accords internationaux sur l'environnement au cas où la durée de la période d'engagement à de tels accords est un paramètre que l'on peut varier de façon exogène. Nous y étudions les évolutions dans le temps de la taille des coalitions stables, du stock de pollution et du taux d'émissions en fonction de la durée d'engagement. Nous montrons que la longueur de la période d'engagement a un effet très significatif sur l'équilibre. Trois intervalles de durée d'engagement sont identifiés pour lesquels l'équilibre et sa dynamique diffèrent considérablement. Alors que pour des durées de la période d'engagement très longues on observe des coalitions stables constituées d'un petit nombre de pays, si ces durées sont suffisamment courtes on peut observer un niveau de coopération élevé. Les durées d'engagement entre ces deux extrêmes sont caractérisées par une relation inverse entre la durée de la période d'engagement et la taille des coalitions stables. Ces faits portent à croire qu'il faudrait accorder une attention toute particulière au choix de la durée d'engagement lors de l'élaboration de tels accords internationaux. Le troisième article s'inscrit dans un contexte où les activités de production des pays potentiellement hétérogènes génèrent de la pollution qui peut traverser les frontières et nuire au bien-être des pays impliqués. Dans chacun de ces pays, l'état impose des taxes sur la pollution aux firmes polluantes et des tarifs à l'importation afin de corriger cette distorsion. Ce papier a pour but d'évaluer les effets que pourrait avoir une diminution des tarifs douaniers sur la production, les taxes sur la pollution et le bien-être de ces pays. La littérature existante a étudié ce problème, mais seulement dans le cadre d'un commerce bilatéral entre pays identiques. Cet article fournit un cadre d'analyse plus réaliste dans lequel les pays ne seront pas nécessairement identiques et où le commerce pourra être multilatéral. Il devient alors possible de mettre en évidence le biais introduit en négligeant ces deux facteurs. Dans ce nouveau contexte, je montre qu'une réduction des tarifs d'importation n'augmente pas nécessairement la production; elle peut aussi nuire au bien-être, même si la pollution est purement locale. / This thesis is composed of three papers. The first paper studies the problem of global pollution in the context of environmental uncertainty. The second paper has to do with international environmental agreements. The third paper shows how trade liberalization can affect welfare and pollution taxes in a world of heterogeneous countries and transboundary pollution. In the first paper, I consider a world where countries suffer uniformly from global pollution while facing a continuous threat that the damages from this global pollution will suddenly jump to an irreversible high-damage state. I characterize the equilibrium level of emissions, the equilibrium stock of global pollution and the discounted net social welfare for both the cooperative and non-cooperative equilibria. The purpose is to analyze the impact of this type of uncertainty on the equilibrium behavior of the countries. I find that this uncertainty can have a significant effect on those equilibria. Countries reduce their emissions to mitigate their exposure to that threat. As the level of threat rises, countries adjust their emissions to lower the stock of pollutant. However, although initially this type of uncertainty has the effect of lowering the discounted net welfare, it can in the long run have a net positive effect on welfare. The second paper extends the standard model of self-enforcing dynamic international environmental agreements by allowing the length of the period of commitment of such agreements to vary as a parameter. It analyzes the pattern of behavior of the size of stable coalitions, the stock of pollutant and the emission rate as a function of the length of the period of commitment. It is shown that the length of the period of commitment can have very significant effects on the equilibrium. Three distinct intervals for the length of the period of commitment are identified, across which the equilibrium and its dynamic behavior differ considerably. Whereas for sufficiently high values of the period of commitment only self-enforcing agreements by a small number of countries are possible, for sufficiently low such values cooperation on the part of a very high number of countries can be occur. Lengths of periods of commitment between those two thresholds are characterized by an inverse relationship between the length of commitment and the membership size of the agreement. This suggests that considerable attention should be given to the determination of the length of such international agreements. The third paper considers a trade situation where the production activities of potentially heterogeneous countries generate pollution which can cross borders and harm the well-being of all the countries involved. In each of those countries the policy maker levies pollution taxes on the polluting firms and a tariff on imports in order to correct that distortion. The purpose of the paper is to investigate the effect of a reduction in the tariff on equilibrium pollution taxes and welfare. The existing literature has investigated this problem for trade between two identical countries. This paper analyzes the problem in the more realistic context where countries are not necessarily identical and trade can be multilateral. It becomes possible to show what bias is introduced when those two realities are neglected. I find that a tariff reduction can actually lower output; it can also lower welfare even if pollution is purely local.

This thesis aims to contribute to a fundamental objective of Network Economics: to provide based incentives explanations of real social network topologies. By using game theoretical tools, the three papers of this thesis analyze how real social networks can arise from the strategic interaction of self-interested individuals.In the first paper, we discuss the influence of imperfect information on the process of social network formation and, specifically, on the possibilities of observing racially segregated societies when agents' preferences are not racially biased. The second work attempts to complete the Network Economics' explanation of the puzzle regarding how agents can benefit from structural holes over a long time period. The third paper presents a model that focuses on the mechanisms underlying the formation of scientific collaboration networks. We show how researchers' heterogeneity and limited processing capability explain the basic characteristics of these networks. / Aquesta tesi aspira a contribuir a un objectiu fonamental de l'Economia de Xarxes: oferir explicacions basades en els incentius de les topologies que adopten les xarxes socials. Usant les eines de la Teoria de Jocs, els tres articles de la tesi analitzen com les xarxes socials que observem a la realitat poden esser fruit de la interacció entre individus que responen als seus propis interessos.En primer lloc, estudiem la influència de la informació imperfecte en la formació de xarxes socials i, específicament, en les possibilitats de tenir societats racialment segregades quan les preferències dels agents no estan racialment esbiaixades. El segon treball, intenta completar l'explicació que l'Economia de Xarxes dóna a l'interrogant referent als forats estructurals i a la gent que s'en beneficia de manera continuada. El darrer capítol, se centra en els mecanismes que expliquen la formació de xarxes de col·laboració científica. Es mostra com l'heterogeneïtat i la limitada capacitat de processament dels investigadors expliquen les caractarístiques bàsiques d'aquestes xarxes.

O presente trabalho visa apresentar um panorama geral a respeito da terceira espécie de inadimplemento no Direito brasileiro, considerando os esforços da doutrina e da jurisprudência em nosso sistema jurídico no trato deste tema, bem como considerando aspectos relevantes colhidos na experiência estrangeira. Na tentativa de contribuir para debate, será apresentada uma proposição para a identificação dessa terceira espécie de inadimplemento no Direito brasileiro. / The present work aims to present an overview regarding the third kind of default in Brazilian law, considering the efforts of the doctrine and of the jurisprudence in our legal system in dealing with this issue, as well as considering relevant aspects gathered from the experience of foreign law. In an attempt to contribute to debate, a proposition will be presented for the identification of this third kind of default in Brazilian law.

SILVA, Gezenira Rodrigues da. Aspecto verbal: uma abordagem semântico-discursiva. 2007, 102 f.Dissertação (Mestrado em Linguística) – Universidade Federal do Ceará, Departamento de Letras Vernáculas, Programa de Pós-Graduação em Linguística, Fortaleza-CE, 2007. / Submitted by nazareno mesquita (nazagon36@yahoo.com.br) on 2012-08-21T13:50:43Z No. of bitstreams: 1 2007_Diss_GRSilva.pdf: 738353 bytes, checksum: 6ed3b1612bf4e01f00eea9269af7d940 (MD5) / Approved for entry into archive by Maria Josineide Góis(josineide@ufc.br) on 2013-10-10T13:09:49Z (GMT) No. of bitstreams: 1 2007_Diss_GRSilva.pdf: 738353 bytes, checksum: 6ed3b1612bf4e01f00eea9269af7d940 (MD5) / Made available in DSpace on 2013-10-10T13:09:49Z (GMT). No. of bitstreams: 1 2007_Diss_GRSilva.pdf: 738353 bytes, checksum: 6ed3b1612bf4e01f00eea9269af7d940 (MD5) Previous issue date: 2007 / This paper approaches the semantic-discursive behavior of the verbal Aspect in the simple forms of the tenses: Perfect Past and Imperfect Past of the Indicative mode, in a corpus of six inquiries of the database PORCUFORT - Português Oral Culto de Fortaleza. The theoretical chapters of this work retake some of the main researches made, previously, regarding the verbal Aspect; a study that adopts the way as this category is seen inside of the Semantics and of the Speech; in addition to the subject of the reference of this category in the speech and of the linguistic elements that, generally, that aid in its characterization, like the adverbs of time and the verbs argument. In the methodology, we show the analysis factors, they are: parameters of transitivity, verb types, foreground and background, and interpretation types. Thus, we have noticed that this verbal category possesses semantic-discursive characteristics that are not just conditioned by the morphological or lexical form of the verbs, but also by the arguments that accompany them, and by the discursive context in which they are inserted. / Esta dissertação aborda o comportamento semântico-discursivo do Aspecto verbal nas formas simples dos tempos: Pretérito Perfeito e Pretérito Imperfeito do modo Indicativo, em um corpus de seis inquéritos do Banco de Dados PORCUFORT - Português Oral Culto de Fortaleza. A fundamentação teórica deste trabalho retoma algumas das principais pesquisas feitas, anteriormente, a respeito do Aspecto verbal; um estudo que trata da maneira como esta categoria é vista dentro da Semântica e do Discurso; além da questão da referência desta categoria no discurso e dos elementos lingüísticos que, geralmente, auxiliam na sua caracterização, como: os circunstanciadores temporais e os argumentos do verbo. Na metodologia, apresentamos os fatores de análise, quais sejam: parâmetros de transitividade, tipos de verbo, figura e fundo e tipos de interpretação. Assim, conseguimos perceber que esta categoria verbal possui características semântico-discursivas que são condicionadas não apenas pela forma lexical ou morfêmica dos verbos, mas também pelos argumentos que os acompanham e pelo contexto discursivo no qual estão inseridos.

<p align="justify">Computer Science is currently facing a grand challenge :finding good design practices for embedded systems. Embedded systems are essentially computers interacting with some physical process. You could find one in a braking systems or in a nuclear power plant for example. They present several design difficulties :first they are reactive systems, interacting indefinitely with their environment. Second,they must satisfy real-time constraints specifying when they should respond, and not only how. Finally, their environment is often deeply continuous, presenting complex dynamics. The formal models of choice for specifying such systems are timed and hybrid automata for which model checking is pretty well studied.</p> <p><p align="justify">In a first part of this thesis, we study a complete design approach, including verification and code generation, for timed automata. We have to define a new semantics for timed automata, the AASAP semantics, that preserves the decidability properties for model checking and at the same time is implementable. Our notion of implementability is completely novel, and relies on the simulation of a semantics that is obviously implementable on a real platform. We wrote tools for the analysis and code generation and exemplify them on a case study about the well known Philips Audio Control Protocol.</p> <p><p align="justify">In a second part of this thesis, we study the problem of controller synthesis for an environment specified as a hybrid automaton. We give a new solution for discrete controllers having only an imperfect information about the state of the system. In the process, we defined a new algorithm, based on the monotonicity of the controllable predecessors operator, for efficiently finding a controller and we show some promising applications on a classical problem :the universality test for finite automata. / Doctorat en sciences, Spécialisation Informatique / info:eu-repo/semantics/nonPublished

Abstract Multiple-input multiple-output transmitted signal design for the partially coherent Rayleigh fading channels with discrete inputs under a given average transmit power constraint is consider in this thesis. The objective is to design the space-time constellations and linear precoders to adapt to the degradation caused by the imperfect channel estimation at the receiver and the transmit-receive antenna correlation. The system is partially coherent so that the multiple-input multiple-output channel coefficients are estimated at the receiver and its error covariance matrix is fed back to the transmitter. Two constellation design criteria, one for the single and another for the multiple transmit antennae are proposed. An upper bound on the average bit error probability for the single transmit antenna and cutoff rate, i.e., a lower bound on the mutual information, for multiple transmit antennae are derived. Both criteria are functions of channel estimation error covariance matrix. The designed constellations are called as partially coherent constellation. Additionally, to use the resulting constellations together with forward error control codes requires efficient bit mapping schemes. Because these constellations lack geometrical symmetry in general, the Gray mapping is not always possible in the majority of the constellations obtained. Moreover, different mapping schemes may lead to highly different bit error rate performances. Thus, an efficient bit mapping algorithm called the modified binary switching algorithm is proposed. It minimizes an upper bound on the average bit error probability. It is shown through computer simulations that the designed partially coherent constellation and their optimized bit mapping algorithm together with turbo codes outperform the conventional constellations. Linear precoder design was also considered as a simpler, suboptimal alternative. The cutoff rate expression is again used as a criterion to design the linear precoder. A linear precoder is obtained by numerically maximizing the cutoff rate with respect to the precoder matrix with a given average transmit power constraint. Furthermore, the precoder matrix is decomposed using singular-value-decomposition into the input shaping, power loading, and beamforming matrices. The beamforming matrix is found to coincide with the eigenvectors of the transmit correlation matrix. The power loading and input shaping matrices are solved numerically using the difference of convex functions programming algorithm and optimization under the unitary constraint, respectively. Computer simulations show that the performance gains of the designed precoders are significant compared to the cutoff rate optimized partially coherent constellations without precoding. / Tiivistelmä Väitöskirjassa tarkastellaan lähetyssignaalien suunnittelua osittain koherenteissa Rayleigh-häipyvissä kanavissa toimiviin monitulo-monilähtöjärjestelmiin (MIMO). Lähettimen keskimääräinen lähetysteho oletetaan rajoitetuksi ja lähetyssignaali diskreetiksi. Tavoitteena on suunnitella tila-aikakonstellaatioita ja lineaarisia esikoodereita jotka mukautuvat epätäydellisen kanavaestimoinnin aiheuttamaan suorituskyvyn heikkenemiseen sekä lähetin- ja vastaanotinantennien väliseen korrelaatioon. Tarkasteltavien järjestelmien osittainen koherenttisuus tarkoittaa sitä, että MIMO-kanavan kanavakertoimet estimoidaan vastaanottimessa, josta niiden virhekovarianssimatriisi lähetetään lähettimelle. Työssä esitetään kaksi konstellaatiosuunnittelukriteeriä, toinen yhdelle lähetinantennille ja toinen moniantennilähettimelle. Molemmat kriteerit ovat kanavan estimaatiovirheen kovarianssimatriisin funktioita. Työssä johdetaan yläraja keskimääräiselle bittivirhetodennäköisyydelle yhden lähetinantennin tapauksessa sekä rajanopeus (cutoff rate), joka on alaraja keskinäisinformaatiolle, usean lähetinantennin tapauksessa. Konstellaatioiden käyttö yhdessä virheenkorjauskoodien kanssa edellyttää tehokaita menetelmiä, joilla bitit kuvataan konstellaatiopisteisiin. Koska tarvittavat konstellaatiot eivät ole tyypillisesti geometrisesti symmetrisiä, Gray-kuvaus ei ole yleensä mahdollinen.Lisäksi erilaiset kuvausmenetelmät voivat johtaa täysin erilaisiin bittivirhesuhteisiin. Tästä johtuen työssä esitetään uusi kuvausalgoritmi (modified bit switching algorithm), joka minimoi keskimääräisen bittivirhetodennäköisyyden ylärajan. Simulointitulokset osoittavat, että työssä kehitetyt konstellaatiot antavat paremman suorituskyvyn turbokoodatuissa järjestelmissä kuin perinteiset konstellaatiot. Työssä tarkastellaan myös lineaarista esikoodausta yksinkertaisena, alioptimaalisena vaihtoehtona uusille konstellaatioille. Esikoodauksen suunnittelussa käytetään samaa kriteeriä kuin konstellaatioiden kehityksessä eli rajanopeutta. Lineaarinen esikooderi löydetään numeerisesti maksimoimalla rajanopeus kun rajoitusehtona on lähetysteho. Esikoodausmatriisi hajotetaan singulaariarvohajotelmaa käyttäen esisuodatus, tehoallokaatio ja keilanmuodostusmatriiseiksi, jonka havaitaan vastaavan lähetyskorrelaatiomatriisin ominaisvektoreita. Tehoallokaatiomatriisi ratkaistaan numeerisesti käyttäen difference of convex functions -optimointia ja esisuodatusmatriisi optimoinnilla unitaarista rajoitusehtoa käyttäen. Simulaatiotulokset osoittavat uusien esikoodereiden tarjoavan merkittävän suorituskykyedun sellaisiin rajanopeusoptimoituihin osittain koherentteihin konstellaatioihin nähden, jotka eivät käytä esikoodausta.

Cette thèse est une contribution à la résolution du problème d’optimisation sous contrainte de fiabilité. Cette méthode de dimensionnement probabiliste vise à prendre en compte les incertitudes inhérentes au système à concevoir, en vue de proposer des solutions optimales et sûres. Le niveau de sûreté est quantifié par une probabilité de défaillance. Le problème d’optimisation consiste alors à s’assurer que cette probabilité reste inférieure à un seuil fixé par les donneurs d’ordres. La résolution de ce problème nécessite un grand nombre d’appels à la fonction d’état-limite caractérisant le problème de fiabilité sous-jacent. Ainsi,cette méthodologie devient complexe à appliquer dès lors que le dimensionnement s’appuie sur un modèle numérique coûteux à évaluer (e.g. un modèle aux éléments finis). Dans ce contexte, ce manuscrit propose une stratégie basée sur la substitution adaptative de la fonction d’état-limite par un méta-modèle par Krigeage. On s’est particulièrement employé à quantifier, réduire et finalement éliminer l’erreur commise par l’utilisation de ce méta-modèle en lieu et place du modèle original. La méthodologie proposée est appliquée au dimensionnement des coques géométriquement imparfaites soumises au flambement. / This thesis is a contribution to the resolution of the reliability-based design optimization problem. This probabilistic design approach is aimed at considering the uncertainty attached to the system of interest in order to provide optimal and safe solutions. The safety level is quantified in the form of a probability of failure. Then, the optimization problem consists in ensuring that this failure probability remains less than a threshold specified by the stakeholders. The resolution of this problem requires a high number of calls to the limit-state design function underlying the reliability analysis. Hence it becomes cumbersome when the limit-state function involves an expensive-to-evaluate numerical model (e.g. a finite element model). In this context, this manuscript proposes a surrogate-based strategy where the limit-state function is progressively replaced by a Kriging meta-model. A special interest has been given to quantifying, reducing and eventually eliminating the error introduced by the use of this meta-model instead of the original model. The proposed methodology is applied to the design of geometrically imperfect shells prone to buckling.

This work concentrates on the study of mathematical models of human behaviour in dynamic games; in particular games with aspects of cooperation, implementation of a model and experimentation with the model. The game DarkElf was chosen for this project. It is a strategic, turn based game with economic and military features, where the decisions made by players are simultaneously implemented at a predetermined time.

Les épopées d’Homère et de Virgile, la Chanson de Roland sont marquées par une alternance qui peut paraître capricieuse. En fait, on la saisit beaucoup mieux dès lors qu’on prend en compte la présence des corps : ceux du jongleur, de l’aède, du récitant ; le corps du public. Postures, gestuelle, mouvements, regard, souffle, musique s’articulent à cette alternance pour en faire une véritable danse. Cette thèse étudie d’abord comment dansent chacun des temps principaux du récit dans ces épopées, en accordant la priorité à Homère et au Roland ; puis elle étudie comment cette danse des temps prend corps dans chacune des petites pièces dont nous décelons que sont composées les épopées anciennes comme le Roland : les laisses. / The Homeric and Virgilian epics, as well as the Chanson de Roland are full of tenseswitching, the use of which might seem capricious to the modern reader. It is in fact much better understood when bodies’ presence is taken into account — these bodies being the bard’s one as well as the audience’s. Postures, gestures, moves, eyes, breath, music are joint partners to tenseswitching, so that tenses really dance in epics. This study is firstly about how each one of the main narrative tenses dances in Homer and the Roland, and also in the Æneid. Then it studies the way tenses dance in each of the small pieces we find in the classical epics as well as in the Roland : the laisses.

L’apprentissage adaptatif distribué sur les réseaux permet à un ensemble d’agents de résoudre des problèmes d’estimation de paramètres en ligne en se basant sur des calculs locaux et sur des échanges locaux avec les voisins immédiats. La littérature sur l’estimation distribuée considère essentiellement les problèmes à simple tâche, où les agents disposant de fonctions objectives séparables doivent converger vers un vecteur de paramètres commun. Cependant, dans de nombreuses applications nécessitant des modèles plus complexes et des algorithmes plus flexibles, les agents ont besoin d’estimer et de suivre plusieurs vecteurs de paramètres simultanément. Nous appelons ce type de réseau, où les agents doivent estimer plusieurs vecteurs de paramètres, réseau multitâche. Bien que les agents puissent avoir différentes tâches à résoudre, ils peuvent capitaliser sur le transfert inductif entre eux afin d’améliorer les performances de leurs estimés. Le but de cette thèse est de proposer et d’étudier de nouveaux algorithmes d’estimation distribuée sur les réseaux multitâches. Dans un premier temps, nous présentons l’algorithme diffusion LMS qui est une stratégie efficace pour résoudre les problèmes d’estimation à simple-tâche et nous étudions théoriquement ses performances lorsqu’il est mis en oeuvre dans un environnement multitâche et que les communications entre les noeuds sont bruitées. Ensuite, nous présentons une stratégie de clustering non-supervisé permettant de regrouper les noeuds réalisant une même tâche en clusters, et de restreindre les échanges d’information aux seuls noeuds d’un même cluster / Distributed adaptive learning allows a collection of interconnected agents to perform parameterestimation tasks from streaming data by relying solely on local computations and interactions with immediate neighbors. Most prior literature on distributed inference is concerned with single-task problems, where agents with separable objective functions need to agree on a common parameter vector. However, many network applications require more complex models and flexible algorithms than single-task implementations since their agents involve the need to estimate and track multiple objectives simultaneously. Networks of this kind, where agents need to infer multiple parameter vectors, are referred to as multitask networks. Although agents may generally have distinct though related tasks to perform, they may still be able to capitalize on inductive transfer between them to improve their estimation accuracy. This thesis is intended to bring forth advances on distributed inference over multitask networks. First, we present the well-known diffusion LMS strategies to solve single-task estimation problems and we assess their performance when they are run in multitask environments in the presence of noisy communication links. An improved strategy allowing the agents to adapt their cooperation to neighbors sharing the same objective is presented in order to attain improved learningand estimation over networks. Next, we consider the multitask diffusion LMS strategy which has been proposed to solve multitask estimation problems where the network is decomposed into clusters of agents seeking different