Sein und Zeit est une Abhandlung, un « traité ». Si à aucun moment il ne donne de ce statut, qu’il revendique pourtant explicitement, une définition expresse, Sein und Zeit le fonde cependant dans sa propre structure méréologique, c’est-à-dire dans l’articulation, en lui, d’un tout et de parties. Cette structure ne se limite pas à la division textuelle de l’ouvrage en parties, sections, chapitres et paragraphes. Mais elle implique plus profondément la concordance de ces divisions textuelles et de celles de la chose même, c’est-à-dire du Dasein, dont la structure : l’être-au-monde, fait elle-même l’objet d’une tripartition. Il en résulte un risque, conjointement textuel et ontologique, de fragmentation, qui s’avère en définitive inhérent à l’acte même de détermination. Ce serait donc l’acte problématique de déterminer le Dasein qui, s’approfondissant en problème méréologique, confèrerait à Sein und Zeit sa structure de traité. Notre propos est alors de montrer que le traité de 1927 permet d’interpréter son inachèvement précisément à partir de sa structure de traité – c’est-à- dire à partir d’un projet méréologique de détermination qui, parce qu’il culmine dans la découverte d’une indétermination constitutive, n’autorise plus aucune articulation du tout et des parties, et qui, pourtant, ne peut ou ne veut abandonner la structure de traité qu’il avait initialement adoptée. / “Sein und Zeit” is a Abhandlung, a “treatise”. Even though it never gives an express definition of this status, which it claims yet explicitly, “Sein und Zeit” founds it nevertheless on its own mereological structure, in other words on the articulation of a whole and its parts. This structure isn’t limited to a textual division of the work into parts, sections, chapters and paragraphs. At a deeper level, it implies the concordance of these textual divisions and those of the thing itself, that is to say those of the Dasein, whose structure: being-in-the-world, is itself the object of a tripartition. As a result, there’s a risk of fragmentation, both textual and ontological, which turns out to be inherent in the very act of determination. Thus, it would be the problematic act of determining the Dasein, which, by going deeper into the mereological problem, would give to “Sein und Zeit” its treatise structure. Consequently, our purpose is to show that the treatise of 1927 allows to interpret its incompletion precisely on the basis of its treatise structure – that is to say on the basis of a merelogical project of determination which doesn’t authorize an articulation of a whole and of its parts because it reaches its highest point with the discovery of a constituent indetermination, and which nevertheless can’t or doesn’t want to abandon the treatise structure it had initially adopted.

Les serveurs Internet sont des logiciels particuliers. Ils doivent répondre aux demandes d'un grand nombre de clients distants, supporter leur évolution et être robustes car ils ne s'arrêtent jamais. Les modèles de concurrence permettent d'entrelacer les traitements d'un grand nombre de clients. Aucun consensus ne se dégage sur un meilleur modèle. Pour s'abstraire du modèle de concurrence, je propose un modèle de développement de serveurs Internet. Les outils de vérification formelle permettent d'accroître la sûreté des logiciels mais il est nécessaire de leur fournir un modèle simple du logiciel. Le modèle de développement que je propose est utilisé pour générer le serveur et son modèle formel. Le décodage d'une requête cliente dépend du modèle de concurrence. Je propose d'utiliser un générateur d'analyseur syntaxique qui s'abstrait de ce problème et automatise le développement du décodage / Internet servers are software with specific features. Indeed, they answer request of wide and distant clients, support the customer evolution and be robust because they never stop. The concurrency models allow to interleave the statements of wide customers. No general agreement frees on a better model. To abstract himself from the concurrency model, I propose a development model of Internet servers. Model checkers allow to increase the software safety. But, it is necessary to provide a simple model of software to check it. I propose to use my development model of servers in order to genrate ther server automatically and its formal model. Finally as the request parsing depends on the concurrency model, I propose to use Tatoo, a parser generator. Tatoo abstracts himself from this dependency and automates the development of parsing

Les systèmes actuels d’improvisation musicales sont capables de générer des séquences musicales unidimensionnelles par recombinaison du matériel musical. Cependant, la prise en compte de plusieurs dimensions (mélodie, harmonie...) et la modélisation de plusieurs niveaux temporels sont des problèmes difficiles. Dans cette thèse, nous proposons de combiner des approches probabilistes et des méthodes issues de la théorie des langages formels afin de mieux apprécier la complexité du discours musical à la fois d’un point de vue multidimensionnel et multi-niveaux dans le cadre de l’improvisation où la quantité de données est limitée. Dans un premier temps, nous présentons un système capable de suivre la logique contextuelle d’une improvisation représentée par un oracle des facteurs tout en enrichissant son discours musical à l’aide de connaissances multidimensionnelles représentées par des modèles probabilistes interpolés. Ensuite, ces travaux sont étendus pour modéliser l’interaction entre plusieurs musiciens ou entre plusieurs dimensions par un algorithme de propagation de croyance afin de générer des improvisations multidimensionnelles. Enfin, nous proposons un système capable d’improviser sur un scénario temporel avec des informations multi-niveaux représenté par une grammaire hiérarchique. Nous proposons également une méthode d’apprentissage pour l’analyse automatique de structures temporelles hiérarchiques. Tous les systèmes sont évalués par des musiciens et improvisateurs experts lors de sessions d’écoute / Current musical improvisation systems are able to generate unidimensional musical sequences by recombining their musical contents. However, considering several dimensions (melody, harmony...) and several temporal levels are difficult issues. In this thesis, we propose to combine probabilistic approaches with formal language theory in order to better assess the complexity of a musical discourse, both from a multidimensional and multi-level point of view in the context of improvisation where the amount of data is limited. First, we present a system able to follow the contextual logic of an improvisation modelled by a factor oracle whilst enriching its musical discourse with multidimensional knowledge represented by interpolated probabilistic models. Then, this work is extended to create another system using a belief propagation algorithm representing the interaction between several musicians, or between several dimensions, in order to generate multidimensional improvisations. Finally, we propose a system able to improvise on a temporal scenario with multi-level information modelled with a hierarchical grammar. We also propose a learning method for the automatic analysis of hierarchical temporal structures. Every system is evaluated by professional musicians and improvisers during listening sessions

Bakgrund: Inom yrket som röntgensjuksköterska används dagligen kontrastmedel i samband med undersökningar. För att räkna ut hur mycket kontrastmedel som patienter ska erhålla för att förebygga kontrastinducerade njurskador används ekvationsformler för att räkna ut njurfunktionens glomerulära filtrationshastighet. Två formler som jämfördes var CKD-EPI och MDRD. Syfte: I denna litteraturstudie var syftet att jämföra vilken av de två mest förekommande ekvationsformler är mest optimal att använda för att räkna ut estimerat GFR. Metod: Denna studie genomfördes i form av en litteraturstudie där 11 artiklar kvalitetsgranskades och sammanställdes. Resultat: CKD-EPI-formeln uppvisade generellt bättre prestationsförmåga för noggrannhet, precision och avvikelse än MDRD-formeln för estimering av GFR. Dock hade båda ekvationerna svagheter och är inte universella då MDRD och CKD-EPI-formlerna inte är lämpliga att använda på alla individer. Slutsats: I dagsläget är CKD-EPI-formeln den som ter sig vara mest användbar, dock behövs det mer forskning för att kunna utveckla ekvationsformler som passar för alla typer av patienter. / Background: In the profession as radiology nurse contrast media is used daily in radiologic examinations. In order to determine the volume of contrast media that patients should be administered and to prevent contrast-induced nephropathy equation formulas are applied to calculate the kidney function glomerular filtration rate. Two formulas were compared the CKD-EPI and MDRD. Aim: In this literature study the aim was to compare which of the two most commonly used equation formulas is the most optimal for calculating estimated GFR. Methods: This study was conducted as a literature study, where 11 articles were quality assessed and compiled. Results: The CKD-EPI formula generally showed better performance for estimating GFR in accuracy, precision and bias than the MDRD formula. However, both equation formulas present inadequacies and are not universal as they are not applicable to all individuals. Conclusions: At the moment the CKD-EPI formula appears to be the most applicable, although more research is required in order to develop equation formulas which cater to all types of patients.

La quantification par déformation et la correspondance de McKay forment les grands thèmes de l'étude qui porte sur des variétés algébriques singulières, des quotients d'algèbres de polynômes et des algèbres de polynômes invariants sous l'action d'un groupe fini. Nos principaux outils sont les cohomologies de Poisson et de Hochschild et la théorie des représentations. Certains calculs formels sont effectués avec Maple et GAP. Nous calculons les espaces d'homologie et de cohomologie de Hochschild des surfaces de Klein, en développant une généralisation du Théorème de HKR au cas de variétés non lisses et utilisons la division multivariée et les bases de Gröbner. La clôture de l'orbite nilpotente minimale d'une algèbre de Lie simple est une variété algébrique singulière sur laquelle nous construisons des star-produits invariants, grâce à la décomposition BGS de l'homologie et de la cohomologie de Hochschild, et à des résultats sur les invariants des groupes classiques. Nous explicitons les générateurs de l'idéal de Joseph associé à cette orbite et calculons les caractères infinitésimaux. Pour les algèbres de Lie simples B, C, D, nous établissons des résultats généraux sur l'espace d'homologie de Poisson en degré 0 de l'algèbre des invariants, qui vont dans le sens de la conjecture d'Alev et traitons les rangs 2 et 3. Nous calculons des séries de Poincaré à 2 variables pour des sous-groupes finis du groupe spécial linéaire en dimension 3, montrons que ce sont des fractions rationnelles, et associons aux sous-groupes une matrice de Cartan généralisée pour obtenir une correspondance de McKay algébrique en dimension 3. Toute l'étude a donné lieu à 4 articles.

Les méthodes formelles et la sûreté de fonctionnement sont deux domaines connexes qui s'intéressent à l'analyse des comportements des systèmes critiques. Ces domaines adoptent des points de vue différents mais complémentaires sur les systèmes. Les méthodes formelles considèrent le point de vue fonctionnel et adoptent, en général, une approche « vérification de programme ». Dans ce domaine on cherche en général à mettre en évidence un scénario menant le programme à un bogue, ou à générer de manière automatique des programmes sûrs (par rapport à leurs spécifications). La sûreté de fonctionnement considère plutôt les aspects dysfonctionnels des systèmes. Dans ce domaine on cherche à déterminer les scénarios prépondérants qui mènent le système à une défaillance ou à évaluer des mesures probabilistes sur ses comportements (fiabilité, disponibilité, ...).<br /><br />Les travaux présentés dans cette thèse ont été réalisés dans le cadre d'un projet industriel, AltaRica, qui ambitionne le rapprochement des méthodes formelles et<br />de la sûreté de fonctionnement. Cette unification se concrétise par le développement d'un atelier d'analyse système, l'atelier AltaRica, qui fédèrera à terme un ensemble de modèles et d'outils pour l'analyse des systèmes. Cet atelier propose une représentation unique pour la description des systèmes ; celle-ci étant destinée à être compilée vers des modèles/outils existants. Ce rapport présente le formalisme supporté par cet atelier, sa forme textuelle et graphique (le langage AltaRica), certaines propriétés de sa sémantique et quelques exemples de modélisations.<br /><br /> L'étude des scénarios de panne est un des principaux problèmes de la sûreté de<br />fonctionnement. Ce problème est généralement traité en utilisant le modèle des arbres de défaillances. Ce modèle ne permettant pas de prendre en compte le séquencement des pannes, cette thèse propose une solution au problème de l'obtention des scénarios de panne minimaux pour l'ordre des sous-mots.

Le sujet global de cette thèse est l'étude des solutions périodiques des systèmes plans d'équations différentielles ordianaires. Elle est divisée en deux grandes parties.<br />La première partie, (il s'agit d'un travail publié et écrit en collaboration avec R. Chouikha) est consacré à la recherche des solutions périodiques de « l'équation de Liénard généralisée ». On démontre un théorème qui asure dans certains cas l'existence de telles solutions.<br />La seconde partie est consacré à la recherche de centres isochrones de systèmes d'équations différentielles ordinaires polynomiaux plans. Grâce à l'usage de C-algorithme, on détermine huit nouveaux cas. On montre aussi l'efficacité de la méthode des formes normales dans de telles recherches, en examinant des systèmes d'ordre 2, 3, 4 et en retrouvant de manière uniforme plusieurs résultats déjà connus.

Cette thèse se rattache à l'algèbre linéaire formelle. Elle est composée de deux parties: la première, consacrée à l'étude des formes normales de matrices, constitue un ensemble d'outils utilisés dans la seconde qui, pour sa part, présente des méthodes matricielles de résolution de deux types de systèmes différentiels: les systèmes différentiels à coefficients constants et les systèmes différentiels ayant un point singulier régulier isolé. Dans la première partie, nous avons étudié, implémentés dans le système de calcul formel AXIOM, et comparés tant de manière théorique qu'expérimentale des algorithmes de calcul de diverses formes normales (Frobenius, Smith, Jordan) de matrices à coefficients rationnels. Dans la seconde, nous avons montré quels sont les avantages et les inconvénients de l'utilisation de ces algorithmes pour trois applications: le calcul de l'exponentielle d'une matrice, la résolution d'équations matricielles et la résolution matricielle de systèmes différentiels ayant une singularité régulière isolée. En particulier, nous avons abordé le problème épineux de la manipulation des nombres algébriques apparaissant nécessairement lorsque l'on calcule formellement, la forme de Jordan d'une matrice à coefficients rationnels

On considère la résolution exacte des systèmes linéaires en parallèle et on traite deux aspects de base du problème : le calcul du noyau d'une matrice dont les coefficients sont dans un corps fini et la résolution des systèmes à coefficients entiers. On évalue les couts des différents algorithmes proposes, en mettant l'accent sur couts des communications

Proposition d'une formulation combinatoire pour la conception d'algorithmes de produit matriciel sur les réseaux systoliques linéaires. Étude de la validation des algorithmes systoliques. Deux logiciels sont proposes: le premier, Sisyc, est un simulateur numérique d'algorithmes systoliques; le second, sisyc2, calcule la trace symbolique des algorithmes systoliques et permet lorsqu'il est couple avec un système de calcul formel, de réaliser une simulation formelle