The goal of this thesis is the study of a harmonious way to combine any first order theory with the theory of finite or infinite trees. For that: First of all, we introduce two classes of theories that we call \emph{infinite-decomposable} and \emph{zero-infinite-decomposable}. We show that these theories are complete and accept a decision procedure which for every proposition gives either $\vrai$ or $\faux$. We show also that these classes of theories contain a large number of fundamental theories used in computer science, we can cite for example: the theory of additive rational or real numbers, the theory of the linear dense order without endpoints, the theory of finite or infinite trees, the construction of trees on an ordered set, and a combination of trees and ordered additive rational or real numbers. We give then an automatic way to combine any first order theory $T$ with the theory of finite or infinite trees. A such hybrid theory is called \emph{extension into trees} of the theory $T$ and is denoted by $T^*$. After having defined the axiomatization of $T^*$ using those of $T$, we define a new class of theories that we call \emph{flexible} and show that if $T$ is flexible then $T^*$ is zero-infinite-decomposable and thus complete. The flexible theories are first order theories having elegant properties which enable us to handle easily first order formulas. We show among other theories that the theory $\add$ of ordered additive rational numbers is flexible and thus that the extension into trees $\addd$ of $\add$ is complete. Finally, we end this thesis by a general algorithm for solving efficiently first order constraints in $\addd$. The algorithm is given in the form of 28 rewriting rules which transform every formula $\varphi$, which can possibly contain free variables, into a disjunction $\phi$ of solved formulas equivalent to $\varphi$ in $\addd$ and such that $\phi$ is either the formula $\vrai$, or the formula $\faux$, or a formula having at least one free variable and being equivalent neither to $\vrai$ nor to $\faux$ in $\addd$. Moreover, the solutions of the free variables of $\phi$ are expressed in a clear and explicit way in $\phi$.

Brandenburgische Techn. Universiẗat, Diss., 1999--Cottbus. / Dateiformat: zip, Dateien in unterschiedlichen Formaten.

No description available.

No description available.

Un automate cellulaire est un système dynamique discret qui modélise des objets ayant une évolution parallèle synchrone: l'espace est divisé en cellules ayant chacune un état et qui évoluent toutes selon une même règle locale, qui ne dépend que d'un nombre fini de cellules voisines. Malgré la simplicité de la formalisation de ce système, des comportements très complexes peuvent apparaître, qui en font notamment un modèle de calcul. Cette complexité a été rattachée à diverses théories: topologie, mesure, décidabilité, information...Nous adoptons ici une approche basée sur la dynamique symbolique, c'est à dire l'étude des mots infinis sur un alphabet donné auxquels on applique un décalage, suppression de la première lettre. À chaque automate cellulaire peut en effet être associé son tracé, l'ensemble des mots infinis représentant la séquence des états successifs pris par la cellule centrale de l'espace - ou un groupe de cellules centrales. On a alors une factorisation topologique: la lecture d'une lettre dans un de ces mots correspond exactement à une étape de l'évolution de l'automate. De nombreuses propriétés topologiques sont alors transmises par cette factorisation. Inversement, le fait que les cellules évoluent toutes de la même manière permet de déduire certaines propriétés de l'automate à partir de celles de son tracé. La première partie de la thèse est consacrée à ces nombreux liens. Une deuxième partie présente des conditions suffisantes pour qu'un ensemble de mots infinis soit le tracé d'un automate cellulaire. Enfin, une troisième partie donne un point de vue plus informatique, en récapitulant les principaux résultats d'indécidabilité sur le sujet et en prouvant que toutes les propriétés du tracé qui peuvent se voir infiniment tard sont indécidables

Dans ce travail on se concentre sur une méthode alternative de quantification a travers des états cohérents. La méthode canonique associe un pair de variables conjuguées classiques et identifie leur crochet de Poisson au commutateur quantique de ses observables quantiques correspondantes. Les observables sont définies comme des opérateurs auto-adjoints agissant sur un espace de Hilbert particulier. Leurs valeurs physiques se trouvent dans leur résolution spectrale, et pourtant sont liés à une mesure à valeur projection (PV). Néanmoins, il existe un empêchement lorsqu'on impose des bornes sur les ces spectres. Cette restriction sur la définition des opérateurs est décrite par un théorème de W. Pauli et ouvre la voie vers la définition de méthodes alternatives de quantification. La quantification par états cohérents propose une définition d'observable quantique qui prend des valeurs à travers la valeur moyenne sur une famille " cohérente " non-orthogonale et surcomplète de vecteurs dans l'espace de Hilbert. Les états cohérents définis à cet effet partagent avec ceux de oscillateur harmonique la propriété d'être des résolutions de l'identité et d'être parametrisés par un indice discret et une variable complexe. Ceci les rend particulièrement utiles pour " traduire " des variables classiques en opérateurs quantiques bien définis. On a étudié trois cas particuliers ou la définition d'opérateurs auto-adjoints est compromise. En premier on propose une définition de l'opérateur de phase, correspondant à l'angle conjugué à l'action classique. En deuxième place on étudie la quantification du mouvement dans un puits infini de potentiel, notamment, l'opérateur d'impulsion problématique est défini proprement. Finalement ont propose un opérateur temps, conjugué au Hamiltonien, pour une particule libre en utilisant des états cohérents de type SU(1,1) sur des demi plans de Poincaré

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

Der Transkriptionsfaktor C/EBPβ besitzt sehr vielgestaltige Funktionen und ist an Wachstums-und Differenzierungsvorgängen verschiedener Gewebe beteiligt. So fördert es in T-Lymphozyten über Transaktivierung des Il4-Promotors und Repression der TH1-Zytokine IL-2 und IFN-γ die Bildung eines TH2-Phänotyps [Berberich-Siebelt et al. 2000]. Durch Herabregulation von c-Myc bewirkt es einen Zellzyklusarrest in G1 und vermehrte Differenzierung der Zellen auch über eine reziproke Steigerung von Differenzierungsfaktoren wie Mad4 [Berberich-Siebelt et al. 2006]. In einer den G1-Arrest nachweisenden Zellzyklusanalyse von mit C/EBPβ transduzierten EL-4 Zellen zeigte sich daneben ein kleiner Sub-G1-Peak, der auf eine apoptotische Zellpopulation hinweist [Berberich-Siebelt et al. 2006]. Aufgabe dieser Arbeit war es, den möglichen Zusammenhang zwischen der Aktivierung von C/EBPβ und Auslösung von Apoptose in EL-4 Zellen hinsichtlich seiner Spezifität und dabei favorisierter Signalwege zu untersuchen. Gegenstand der Untersuchungen waren mit dem C/EBPβ-ERTM-Konstrukt alleine und in Kombination mit dominant-negativen Mutanten der Caspase-3 und der Caspase-9 transduzierte EL-4 Kulturzellen. Durch Einbringen der Caspasemutanten sollte eine kompetitive Hemmung der entsprechenden endogenen Caspasen bewirkt werden. Methodisch erfolgten Apoptosenachweise mittels durchflusszytometrischer Analysen von mit Annexin V-PE und 7-Amino-Actinomycin (7-AAD) gefärbten EL-4 Zellen sowie die Detektion von gespaltener PARP (Poly-ADP-Ribose-Polymerase), einem Substrat der Caspase-3 im Western Blot. Des Weiteren erfolgten mittels Ribonuklease-Protektionsanalysen Untersuchungen der RNA-Expression von Zytokinen, Caspasen und von Mitgliedern der Myc- und der Bcl-2-Proteinfamilien, um das Verhalten der Zellen unter Hemmung von Apoptosewegen bzw. Caspasen bei Aktivierung von C/EBPβ näher betrachten zu können. In Annexin V-PE- und 7-AAD-Färbungen sowie durch Nachweis der spezifischen Spaltung von PARP konnte gezeigt werden, dass C/EBPβ Zelluntergang und Apoptose fördert. Diese war durch den Pancaspaseinhibitor Z-VAD fmk hemmbar, was, wie auch die PARP-Spaltung, auf einen caspaseabhängigen Signalweg hinweist. Hemmung der Caspase-3 durch Transduktion der Zellen mit einer Caspase-3-Mutante besaß kaum Einfluss auf die durch C/EBPβ veränderte Zytokinexpression und die Repression von c-Myc, doch erschien eine vermehrte Hochregulation des Differenzierungsfaktors Mad4, der endogenen Caspase3- und der Caspase11-RNA. Die Steigerung von Caspase-3 unter Aktivierung von C/EBPβ fand sich auch auf Proteinebene. Allerdings konnte eine Hemmung der Caspase-3 bei den untersuchten EL-4 Zellen die durch C/EBPβ vermittelte Apoptose nicht verhindern, was auf andere Apoptosewege oder kompensatorischer Effekte verwies. Durch Beeinflussung des intrinsischen Signalweges mit Hemmung der Caspase-9 zeigten sich ebenfalls kaum Auswirkungen auf die Zytokinexpression der untersuchten Zellen. Hier fanden sich Hochregulationen sowohl der pro- als auch antiapoptotischen Mitglieder der Bcl-2-Familie. Funktionell konnte auch eine Hemmung von Caspase-9 die Zellen nicht vor der Apoptose durch Aktivierung von C/EBPβ bewahren. So konnte hier gezeigt werden, dass Aktivierung von C/EBPβ in den untersuchten EL-4 Zellen Apoptose fördern kann, dies über eine Aktivierung der Caspasekaskade zu geschehen scheint und mit einer Steigerung endogener Caspase-3-Expression einhergeht. Aus den Untersuchungen dieser Arbeit konnte eine Favorisierung eines bestimmten Apoptosesignalweges nicht abgeleitet werden, da eine Hemmung des intrinsischen Weges die Zellen nicht vor dem Zelltod schützen konnte. Insgesamt lässt sich aber, obwohl nicht alle Details geklärt werden konnten, festhalten, dass C/EBPβLAP in T-Zellen neben Proliferationshemmung und Differenzierungsinduktion auch für Caspase vermittelten Zelltod verantwortlich ist. / The transcription factor C/EBPβ belongs to the family of the basic leucine zipper transcription factors C/EBP. It possesses a wide range of functions and is involved in cell growth and differentiation processes in a variety of tissues. Transactivating the Il4-Promotor and repressing the Th1 type cytokines Il-2 and IFN-γ it promotes a Th2 phenotype in T cells [Berberich-Siebelt et al. 2000]. Through downregulation of c-Myc it is able to arrest T cells in the G1 phase of the cell cycle and together with reciprocal upregulation of differentiation factors like Mad4 it is able to promote cell differentiation [Berberich-Siebelt et al. 2006]. Beside the G1 arrest the cell cycle analysis of C/EBPβ transduced EL-4 cells also showed a small sub-G1 peak, indicating that these cells had undergone apoptosis [Berberich-Siebelt et al. 2006]. The task of this dissertation was to investigate a possible connection between activation of C/EBPβ and initiation of apoptosis in EL-4 cells referring to its specifity and possibly involved signaling pathways. Subject of the investigations were EL-4 cells transduced with the C/EBPβ-ERTM construct alone or in combination with dominant negative mutations of caspase-3 and caspase-9. The mutants should have effected a competitive inhibition of the endogenous caspases. For apoptosis detection flow cytometric analysis of cells stained with annexin-V and 7-AAD (7-amino-actino-mycin) was used beside western blot analysis of PARP (poly-ADP-ribose- polymerase) cleavage fragments. Furthermore ribonuclease protection assays for the expression of cytokines, caspases, Myc and Bcl-2 family members were performed in order to examine the behavior of the cells with inhibition of apoptotic signaling pathways and activation of C/EBPβ. Both the annexin-V and 7-AAD stainings and the detection of PARP cleavage products showed that C/EBPβ was able to promote cell death and apoptosis. For this could be inhibited by the pancaspase inhibitor Z-VAD fmk together with the PARP cleavage indicated a caspase dependent apoptotic pathway. Inhibition of caspase-3 by the caspase-3 mutant had hardly no influence on the C/EBPβ mediated cytokine expression profile and the repression of Myc, but lead to an increase of the differentiation factor Mad4, the endogenous Caspase3- and Caspase11-RNA. The augmentation of endogenous Caspase-3 by activation of C/EBPβ was also found at protein level. However, inhibition of Caspase-3 could not protect the EL-4 cells from C/EBPβ mediated apoptosis, indicating an alternative apoptotic pathway or compensatory effects. Inhibition of caspase-9 in the intrinsic apoptotic pathway also showed hardly no influence on the cytokine expression of the cells. It resulted in an upregulation of both pro- and anti-apoptotic Bcl-2 family members. Functionally, inhibition of Caspase-9 could not protect the EL-4 cells from C/EBPβ mediated apoptosis. So activation of C/EBPβ is able to promote apoptosis in EL-4 cells. This seems to be performed by activation of caspases and is accompanied by an increase of Caspase-3 expression. The results of this work cannot conclude a preference of a specific apoptotic pathway following activation of C/EBPβ, for inhibition of the intrinsic pathway could not protect the cells from apoptosis. To sum up, although far away from clearing all the details this work can state that in T-cells C/EBPβLAP is responsible both for inhibition of proliferation, induction of differentiation processes and for caspase mediated cell death.

This thesis treats the area of ontology-based cooperation of information systems. We propose a global architecture called OWSCIS that is based on ontologies and web-services for the cooperation of distributed heterogeneous information systems. In this thesis, we focus on the problem of connecting the local information sources to the local ontologies within OWSCIS architecture. This problem is articulated by three main axes: 1) the creation of the local ontology from the local information sources, 2) the mapping of local information sources to an existing local ontology, and 3) the translation of queries over the local ontologies into queries over local information sources.

To provide personalized services to users in pervasive environments, we should consider both user's privacy, trust and security requirements. Traditional authentication and access control mechanisms are not able to adapt their security policies to a changing context while insuring privacy and trust issues. This thesis introduces a new global vision for the protection of pervasive environments, based on context-aware principle. The aim of this thesis is to get a flexible and scalable framework including user authentication, user privacy preserving and trust management in order to optimize the access control strategy to personalized services. The first contribution include the proposal of a mutual authentication protocol supported by both robust key establishment schemes based on elliptic curves (MaptoPoint/Curve algorithm, Weil Pairing) and a dynamic model based on attributes issued from contextual data. The second contribution include the design of a new architecture built on an attribute based model and organized over 3 layers: the privacy control layer which insure the protection of the user private life by controlling their personal data, the access layer which associate authentication and access control processes while providing mechanisms dedicated to trust parameters management , and finally the service layer for service access management according to the user profile and his environment. The third contribution the implementation and the deployment of a prototype within the service delivery platform in Handicom lab of Telecom & Management SudParis.