Les facteurs de risque individuels et environnementaux associés à la contamination par l'agent de la tremblante classique du mouton et à la durée d'incubation des animaux infectés demeurent mal connus. En l'absence de diagnostic antemortem précoce, la longue durée d'incubation de la maladie et les durées de vie limitées des animaux conduisent à une connaissance partielle du statut sanitaire des animaux. De plus, l'analyse doit tenir compte du fait qu'une partie seulement des animaux se contamine. <br />Nous utilisons des modèles d'analyse des données de survie prenant en compte l'existence d'une fraction non à risque. Nous proposons une approche par vraisemblance pénalisée, qui allie les avantages des modèles paramétriques et semi paramétriques existants. Nous nous intéressons ensuite aux modèles paramétriques de survie avec fraction non à risque et effets aléatoires afin de tenir compte du regroupement des animaux dans les élevages. Ces différentes approches sont évaluées à l'aide d'études de simulations.<br />L'application des ces modèles aux données issues du suivi longitudinal d'élevages infectés des Pyrénées Atlantiques (France) confirme le rôle déterminant du génotype au gène PRP sur le risque de contamination et les durées d'incubation. Nos résultats suggèrent de plus que la contamination par l'agent infectieux a principalement lieu en période néonatale. Enfin la forte hétérogénéité des risques de contamination et des durées d'incubation mise en évidence entre troupeaux pourrait être partiellement expliquée par la prise en compte de la structure génétique des élevages et du nombre d'animaux infectés présents.

Issue des travaux sur la logique linéaire et l'analyse calculatoire de la logique classique, la notion de polarités semble jouer un rôle essentiel dans l'étude actuelle des systèmes logiques. La polarisation est une contrainte qui simplifie les objets tout en conservant une expressivité suffisante d'un point de vue informatique.<br /><br />L'objet de cette thèse est d'étudier et d'exploiter cette nouvelle structure afin en particulier de mettre à jour les relations entre la logique classique et la logique linéaire (LL). L'introduction des polarités dans LL permet de mieux appréhender ce vaste système et de prolonger le développement de différents outils trop complexes en l'absence de cette contrainte. Nous définissons ainsi, pour la logique linéaire polarisée (LLP), des réseaux de preuve intégrant les connecteurs additifs de manière satisfaisante, une sémantique des jeux polarisés qui réconcilie jeux et dualité, une géométrie de l'interaction parallèle et d'autres sémantiques dénotationnelles basées sur des notions connues (espaces de corrélation, catégories de contrôle).<br /><br />Il est important de montrer que malgré cette contrainte, LLP reste un système suffisamment expressif. Pour cela nous étudions en détail les traductions des différents systèmes de logique classique déterministe connus (LC, lambda-mu calcul, ...) aussi bien en appel par nom qu'en appel par valeur. De surcroît, les traductions obtenues pour ces systèmes sont plus simples que celles vers LL.<br /><br />Enfin la souplesse de ces traductions nous permet d'analyser plus finement certaines propriétés de la logique classique tout comme LL permet d'analyser la logique intuitionniste. On peut ainsi étudier un équivalent linéaire des CPS-traductions.

Texte remanié de : Dissertation : philosophie : Augsburg : 1999. / Bibliogr. p. 300-312.

Texte remanié de: Diss.--Philosophische Fakultät--Bonn--Rheinische Friedrich-Wilhelms-Universität, 1989/90.

Akademisk avhandling--Humanistiska fakulteten--Lund, 1980. / Bibliogr. p. 153-155. Index.

Aucun texte de loi n'affirme que la société anonyme est régie selon les principes de hiérarchie et de séparation des pouvoirs. C'est la jurisprudence de l'arrêt Motte qui fonde ces principes à l'image d'une démocratie politique. L'enjeu consiste donc à vérifier l'application de ces principes dans les sociétés anonymes de type classique. La présence du principe de séparation des pouvoirs semble associée à la présence du principe de hiérarchie. Pourtant, les rapports entre les deux principes sont traditionnellement tumultueux. Pour autant, il ne s'agit guère d'un simple constat. L'affirmation selon laquelle l'assemblée d'actionnaires occupe une position souveraine dans la hiérarchie ne résiste pas longtemps à l'analyse. L'apparente cohabitation 'paisible entre principe de hiérarchie et principe de séparation des pouvoirs s'érode devant les exigences du marché. Ce marché est un acteur externe à la société anonyme mais démontre intensément que les règles régissant l'organisation des pouvoirs dans la société anonyme reflètent imparfaitement les rapports entre ces principes. Les différentes figures de ces principes ont permis de constater la présence de forts déséquilibres très contraignants et paradoxaux, voire une distorsion entre la pratique de ces principes et ce qu'exige l'essence de leurs déterminants. Ces constats ne s'opposent pas à la possibilité de retrouver une cohérence et une harmonie générale au fonctionnement de la société anonyme. Toutefois, le développement des solutions alternatives ne devrait guère contester l'influence légitime du marché; bien au contraire, il convient d'affirmer le rôle économique de la société anonyme. Ainsi, l'un des objectifs premiers de cette thèse est de montrer que si les principes de hiérarchie et de séparation des pouvoirs sont des principes fondateurs du fonctionnement des sociétés anonymes; ils nécessitent néanmoins une refondation. Celle-ci consiste à déterminer les finalités des principes, la redéfinition des pouvoirs de l'organe souverain, ainsi qu'une rationalisation des pouvoirs de l'organe de gestion. Enfin, pour renouer le dialogue entre ces deux organes, il convient de relativiser leurs rapports, en intégrant les valeurs de collaboration et de conciliation dans la culture de la société anonyme. / There is no legislation asserting that the limited company is governed according to the principles of hierarchy and separation of powers. It is the jurisprudence of the Motte ruling that establishes these principles modeled on a political democracy. The challenge is therefore to verity the application of these principles in classic limited companies. The presence of the principle of separation of powers seems to be associated with the presence of the principle of hierarchy. However, the relationship between the two principles is traditionally tumultuous. Nevertheless, it is hardly about a simple report. Indeed, the assertion according to which shareholders assembly occupies a sovereign position in the hierarchy does not resist for a long time to the analysis. The apparent peaceful coexistence between the principle of hierarchy and the principle of separation of powers is eroded when facing the market requirements. This market is an external actor to the limited company. However it intensely demonstrates that the rules governing the organization of power in the company imperfectly reflect the relationship between these principles. The different cases of these principles revealed the presence of strongly binding and paradoxical imbalances, even distortions, between the practice of these principles and what is required by the essence of their determinants. These findings are not opposed to the possibility of reaching consistency and harmony in the general operation of the limited company. However, the development of alternatives should not challenge the legitimate influence of the market. On the contrary, it is to enforce the economic role of the company. Thus, a primary objective of this thesis is to show that even though the principles of hierarchy and separation of powers are the founders of the companies operating principles, they nevertheless require a re-founding. The re-founding aims to determine the purpose of the principles, redefining the powers of the sovereign body, as well as streamlining the powers of the managing body. Finally, to resume the dialogue between the two bodies, their relationship should be relativized, incorporating the values of cooperation and conciliation in the culture of the company.

Cette thèse s'intéresse à la correspondance de Curry-Howard classique et son interaction avec le forcing de Cohen, en s'appuyant sur les outils de la réalisabilité classique. Dans une première partie, nous commençons par une introduction générale à la réalisabilité classique dans PA2, avec pour fil directeur l'extraction de témoin. Cette introduction couvre la description de la machine abstraite de Krivine (KAM), la construction des modèles, la réalisation de l'arithmétique et les deux principales problématiques calculatoires : la spécification et l'extraction de témoin. Pour illustrer la flexibilité de ce cadre, nous montrons ensuite qu'il s'adapte sans effort à diverses extensions : l'ajout d'instructions supplémentaires dans la KAM ou l'introduction de types de données primitifs tels que les entiers, les rationnels et les réels. Ces divers travaux ont été formalisés dans l'assistant de preuves Coq.Dans une seconde partie, nous redéfinissons ce cadre à l'ordre supérieur et le comparons à PA2. Ce changement, nécessaire pour exprimer pleinement la transformation de forcing, uniformise la théorie et permet d'intégrer tous les types de données. Nous présentons ensuite le forcing en réalisabilité classique, initialement dû à Krivine, puis l'étendons aux filtres génériques, lorsque les conditions de forcing forment un type de données. Cela permet de relire le forcing comme une transformation de programmes, dans le but d'obtenir des réalisateurs plus efficaces plutôt que des résultats d'indépendance. Cette méthode est illustrée notamment par l'exemple du théorème de Herbrand, dont la preuve par forcing donne un programme nettement plus efficace que la preuve habituelle. / This thesis focuses on the computational interpretation of Cohen's forcing through the classical Curry-Howard correspondence, using the tools of classical realizability. In a first part, we start by a general introduction to classical realizability in second-order arithmetic (PA2). We cover the description of the Krivine Abstract Machine (KAM), the construction of the realizability models, the realizers for arithmetic and the main two computational topics: specification and witness extraction. To illustrate the flexibility of this approach, we show that it can be effortlessly adapted to several extensions such as new instructions in the KAM or primitive datatypes like natural, rational and real numbers. These various works are formalized in the Coq proof assistant.In the second part, we redesign this framework in a higher-order setting and compare it to PA2.This change is necessary to fully express the forcing transformation, but it also allows us to uniformize the theory and integrate all datatypes. We present forcing in classical realizability, initially due to Krivine, and extend it to generic filters whenever the forcing conditions form a datatype. We can then see forcing as a program transformation adding a memory cell with its access primitives. Our aim is to find more efficient realizers rather than independence results, which are the common use of forcing techniques. The methodology is illustrated on the example of Herbrand's theorem, the proof by forcing of which gives a much more efficient program than the usual proof. Furthermore, we can recover the natural algorithm that one can write to solve the underlying computational problem if we use a datatype as forcing poset.

Made available in DSpace on 2015-05-14T12:39:31Z (GMT). No. of bitstreams: 1 arquivototal.pdf: 2003021 bytes, checksum: 389c611005766052d62013008d73cd89 (MD5) Previous issue date: 2011-04-11 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / Le présent travail, Tragicité dans le Chant XI de l Odyssée : Anticlea, Agamemnon, Achilles et Ajax, vise à analyser les aspects tragiques observés dans le Chant XI de l Odyssée et, en conséquence, sa pertinance dans la structure de l épique homérique rapportée. Ces aspects seront étudiés, a partir des rencontres d Odysseus, dans l Hadès, avec sa mère Anticlea, Agamemnon, Achilles et Ajax. De telle façon, nous utiliserons, entre autres oeuvres, La Poétique, d Aristote, et ses considérations sur le genre épique et le tragique. Cette oeuvre sera fondamentale pour le développement de notre travail, par être un héritage des plus importants que nous avons sur la définition des genres et de la structure de la poi¢hsij. En outre, dans cette oeuvre nous trouvons aussi considérations sur les éléments tragiques, comme aãth, Moiªra, a¹na¯gkh, dai¯mwn, a¨marti/a, uÁbrij, fo¯boj, e¹le/oj, a¹nagnw¿risij et, principalement, sur la ka/tarsij. Tels éléments, comme nous analyserons, peuvent aussi être reconnus dans l épique homérique. Ainsi, nous constaterons, dans notre recherche, l assertive d Aristote, au Ve siècle ap. J.-C, concernant l intergénéricité. Comme nous voyons, ce fait n est pas privilège des littératures modernes, mais, au contraire, cela peut être envisagé depuis la Période Archaïque de la Littérature Grecque, au VIIIe siècle av.J.-C., à partir d Homère et, dans le cas espécifique de notre étude, dans le Chant XI de l Odyssée. Dans celui-ci, nous observons la manifestation de la tragicité que, plus tard, au Ve siècle av. J. -C., ce sera le fondement mythique des tragédies grecques. Nous utiliserons aussi, pour se baser compréhension du tragique, auteurs comme Vernant, Pierre Grimal, Jacqueline de Romilly, Sandra Luna, Junito Brandão entre autres. Afin que nous puissions mieux embrasser l objectif de notre travail, nous l avons divisé en trois chapitres : le premier intitulé, « Contextualisation mythique et religieuse de l Odyssée » ; le deuxième, « Tragique : aspects théoriques et conceptuels » ; et, finalement, le troisième, « Tragicité dans le Chant XI de l Odyssée : Anticlea, Agamemnon, Achilles, Ajax », où nous analyserons l aspect tragique de ces rencontres. / O presente trabalho, Tragicidade no Canto XI da Odisséia: Anticléia, Agamémnon, Aquiles e Ájax, visa analisar os aspectos trágicos observados no Canto XI da Odisséia e, consequentemente, sua relevância na estrutura da referida épica homérica. Esses aspectos serão estudados, a partir dos encontros de Odisseu, no Hades, com a sua mãe Anticléia, Agamémnon, Aquiles e Ájax. Para tanto, utilizaremos, entre outras obras, A Poética, de Aristóteles, e suas considerações sobre o gênero épico e o trágico. Esta obra será fundamental para o desenvolvimento do nosso trabalho, por ser um legado dos mais importantes que temos sobre a definição dos gêneros e da estrutura da poi¢hsij. Além do mais, nela também encontramos considerações sobre os elementos trágicos, como aãth, Moiªra, a¹na¯gkh, dai¯mwn, a¨marti/a, uÁbrij, fo¯boj, e¹le/oj, a¹nagnw¿risij e, principalmente, sobre a ka/tarsij. Tais elementos, como analisaremos, também podem ser reconhecidos na épica homérica. Assim, constataremos, em nossa pesquisa, a assertiva de Aristóteles, no século V d.C, acerca da intergenaricidade. Como vemos, esse fato não é privilegio das literaturas modernas, mas, ao contrário, pode ser contemplado desde o Período Arcaico da Literatura Grega, no século VIII a.C, a partir de Homero e, no caso específico do nosso estudo, no Canto XI da Odisséia. Neste, observamos a manifestação da tragicidade que, mais tarde, no século V a.C, será o fundamento mítico das tragédias gregas. Utilizaremos também, para fundamentar-nos compreensão do trágico, autores como Vernant, Pierre Grimal, Jacqueline de Romilly, Sandra Luna, Junito Brandão entre outros. A fim de que possamos melhor abarcar o objetivo do nosso trabalho, dividimo-lo em três capítulos: o primeiro intitulado, ―Contextualização mítica e religiosa da Odisséia‖; o segundo, ―Trágico: aspectos teóricos e conceituais‖; e, por fim, o terceiro, ―Tragicidade no Canto XI da Odisséia: Anticléia, Agamêmnon, Aquiles, Ájax‖, em que analisaremos o aspecto trágico desses encontros.

No description available.

Malgré le nombre et la qualité des travaux sur le néolibéralisme, la pensée néolibérale britannique est encore mal connue aujourd’hui, notamment parce qu’elle est souvent ramenée à sa seule dimension négative, telle qu’elle s’exprime par exemple dans le célèbre essai publié en 1944 par Friedrich Hayek, La route de la servitude, où se trouve développée une critique systématique de toutes les formes d’interventionnisme économique. Afin d’enrichir les recherches existantes, nous avons entrepris de dégager la dimension positive de la pensée néolibérale, à partir d’une enquête terminologique sur les définitions que les néolibéraux donnent du mot néolibéralisme et de ses équivalents, comme libertarianisme. Il apparaît que, loin de prôner le laissez-faire communément imputé aux libéraux classiques, les néolibéraux ambitionnent de mettre en ordre les activités marchandes en fixant le cadre juridique du marché, c’est-à-dire en affinant les lois qui règlementent les comportements des agents économiques, au premier rang desquels se trouvent les grandes entreprises. Après la Seconde Guerre mondiale, ce premier néolibéralisme, théorisé durant l’entre-deux-guerres, subit un mouvement de radicalisation doctrinale qui donne naissance à un second néolibéralisme, moins soucieux de circonscrire juridiquement les comportements des agents économiques que de contraindre constitutionnellement ceux des agents politiques, tenus désormais pour uniques responsables des dysfonctionnements du système capitaliste. Au fil du temps, l’édification du cadre constitutionnel de l’État se substitue par conséquent à la construction du cadre juridique du marché. / Although the field of neoliberal studies is rich with diverse and valuable contributions, British neoliberal thought is still little known today, especially since it is often reduced to its negative dimension, as expressed for example in Friedrich Hayek’s famous 1944 essay, The Road to Serfdom, which systematically criticized all forms of economic interventionism. So as to fill this gap in the current state of research, this study sketches out the positive dimension of neoliberalism, starting with a terminological inquiry into the definitions that neoliberals gave of the word neoliberalism and of its equivalents, such as libertarianism. It appears that far from preaching the kind of do-nothing – or laissez-faire – policies commonly ascribed to classical liberals, neoliberals ambitioned to put economic activities in order by setting the legal framework of the market, that is to say by fine-tuning the laws that regulate the behavior of economic agents – first among whom stand corporations. This first neoliberalism, born during the inter-war period, underwent after the Second World War a process of doctrinal radicalization out of which emerged a second neoliberalism, less concerned with legally constraining the behavior of economic agents than with imposing constitutional restraints on the behavior of political agents, who were from then on seen to be the sole cause of all markets disturbances. Over time, creating the legal framework of the market therefore gave way to building the constitutional framework of the state.