Dissertations / Theses: '[INFO'

1

Papia, Daniel Robert. "The info-narrative." Thesis, Bangor University, 2013. https://research.bangor.ac.uk/portal/en/theses/the-infonarrative(c07e50fe-29b8-437e-ae7d-aab0936edbaf).html.

Full text

Abstract:

The novel is tenacious. The form continues to offer, aso one critic observes, "the most comprehensive reports that humans can deliver, of their private experiences, to other humans." Though overtaken by film (several decades ago) in terms of popular consumption, and though being tested (at present) by digital presentation and distribution, the novel has proven itself admirably resilient. This no doubt has to do with the fact that the novel is, like the very humans whose experiences it so effectively chronicles, highly adaptable. Effective members of modern Information Age societies must process at least five times the data per day as compared to just a quarter century previous. Not only have sleeker novels evolved to fit the needs of faster lifestyles (i.e. books with more aerodynamic structures, communicating maximal plot in fewer pages), but there has also come into being a type of storytelling within which plot and character have become secondary to the uncomplicated description of facts and information. This new literary subspecies could be called the "info-narrative". The two best-known authors who have made the "info-narrative" a popular modern phenomenon are considered. Dan Brown's The Da Vinci Code broke bestseller records and Michael Crichton's Jurassic Park spawned an almost immediate franchise without precedent. Yet both did so less on the back of memorable stories, characters, and plot twists. This dissertation contends that it is the informative content that serves as the primary attraction, with the stories themselves often little more than delivery devices.

APA, Harvard, Vancouver, ISO, and other styles

2

Huber, Ferdinand. "Forschungsarbeit: Kompatibilität von Hotelbad und BarriereFreiheit? innovatives Hotelbad-Konzept vereint Wirtschaftlichkeit, Gastanspruch und Barrierefreiheit! ; ein Resümee aus der Sachverständigen-Praxis, die Bedürfnisse motorisch eingeschränkter Personen betreffend." Wörth/Erding KBT Huber, 2008. http://www.kbt-verlag.de/info/wbudis1f.php.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Louie, Tak-Wing 1973. "Mediated urban civic space : info deck of the Hong Kong SAR Government Info-tainment Headquarters." Thesis, Massachusetts Institute of Technology, 2001. http://hdl.handle.net/1721.1/68366.

Full text

Abstract:

Thesis (M.Arch.)--Massachusetts Institute of Technology, Dept. of Architecture, 2001.
Includes bibliographical references (p. 179).
After being a British colony for more than hundred years, Hong Kong's final handover back to China took place 1st July 1997. There are tremendous demands on the new government to reflect her status during this critical transition. The mission of designing a new government headquarters to represent her new identity, present order and future vision is vital for all parties involved - China, HK and mostly importantly her citizens. This thesis will address both the urban and architectural design of the New Government Info-tainment Headquarters by way of a unique synergy of contemporary media and government in program and technology. The focus will be the mediated interface of the information spaces and communicative facades in shaping the civic plaza - the Info Deck - along the harbour waterfront. This high tech communication, media intensive mixed-use civic complex aims to enhance both participatory and representative Democracy. Its prominence functions as a true forum that provides multiple communication channels and enhance dialogue in an open society. It serves as information symbol or media icon of the representation, communication and interaction between HK government and her citizens. In this proposal, government sponsored political and educational media is strategically juxtaposed and overlaid with privatized independent political media, entertainment and educational media to increase transparency and accessibility of government programs and operations. This framework suggests the activation of the plaza during the day as well as at night with different activities. This design seeks not only to transform the government's mental image perceptually, but also the actual physical appearance of the complex and its plaza. Its synthesis will challenge the conservative concept of the traditional political domain, information territory and institutional building typology using both traditional media and contemporary multi-media in this information era.
by Tak-Wing Louie.
M.Arch.

APA, Harvard, Vancouver, ISO, and other styles

4

Abi-Char, Pierre. "A dynamic trust-based context-aware secure authentication framework for pervasive computing environments." Phd thesis, Institut National des Télécommunications, 2010. http://tel.archives-ouvertes.fr/tel-00542331.

Full text

Abstract:

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.

APA, Harvard, Vancouver, ISO, and other styles

5

Wallace, Rick L. "Locating Health Info Via the Internet." Digital Commons @ East Tennessee State University, 2004. https://dc.etsu.edu/etsu-works/8795.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

García, De León Pedro Lenin. "Quantification de variables conjuguées par états cohérents." Phd thesis, Université Paris-Est, 2008. http://tel.archives-ouvertes.fr/tel-00432055.

Full text

Abstract:

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é

APA, Harvard, Vancouver, ISO, and other styles

7

Gouyet, Lionel. "Conception d'un système pour l'acquisition sélective de signaux neurophysiologiques. Électrode multipolaire, prétraitement analogique et circuit d'amplification." Phd thesis, Université Montpellier II - Sciences et Techniques du Languedoc, 2008. http://tel.archives-ouvertes.fr/tel-00366380.

Full text

Abstract:

Les recherches menées dans le domaine des implants médicaux visent à améliorer la qualité de vie de patients atteints de pathologies diverses. Dans ce cadre la Stimulation Electrique Fonctionnelle (SEF) consistant à produire des contractions artificielles de groupements musculaires par stimulation électrique sur les voies nerveuses ou sur les muscles, est une solution utilisée pour contourner certains dysfonctionnements du système neural. Le Projet DEMAR (DEambulation et Mouvement ARtificiel), dont les axes ont pour objectifs la compréhension et la quantification objective des désordres moteurs d'une part, et la recherche de solutions palliatives des déficiences motrices d'autre part, a développé en 2005 par le travail de thèse de Jean-Denis TECHER, un stimulateur électrique implantable. Afin de pourvoir contrôler ce système de stimulation en boucle fermée, nous avons développé les deux premiers étages d'une chaîne d'acquisition de signaux neurophysiologiques sensoriels. Ces étages sont l'électrode cuff multipolaire à distribution hexagonale et l'amplificateur faible-bruit à calcul de moyenne pondérée.

APA, Harvard, Vancouver, ISO, and other styles

8

Vache, Marconato Geraldine. "Evaluation quantitative de la sécurité informatique : approche par les vulnérabilités." Phd thesis, INSA de Toulouse, 2009. http://tel.archives-ouvertes.fr/tel-00462530.

Full text

Abstract:

Cette thèse présente une nouvelle approche pour l'évaluation quantitative de la sécurité des systèmes informatiques. L'objectif de ces travaux est de définir et d'évaluer plusieurs mesures quantitatives. Ces mesures sont des mesures probabilistes visant à quantifier les influences de l'environnement sur un système informatique en présence de vulnérabilités. Dans un premier temps, nous avons identifié les trois facteurs ayant une influence importante sur l'état du système : 1) le cycle de vie de la vulnérabilité, 2) le comportement de la population des attaquants et 3) le comportement de l'administrateur du système. Nous avons étudié ces trois facteurs et leurs interdépendances et distingué ainsi deux scénarios principaux, basés sur la nature de la découverte de la vulnérabilité, malveillante ou non. Cette étape nous a permis d'identifier les états possibles du système en considérant le processus d'exploitation de la vulnérabilité et de définir quatre mesures relatives à l'état du système qui peut être vulnérable, exposé, compromis, corrigé ou sûr. Afin d'évaluer ces mesures, nous avons modélisé ce processus de compromission. Par la suite, nous avons caractérisé de manière quantitative les événements du cycle de vie de la vulnérabilité à partir de données réelles issues d'une base de données de vulnérabilités pour paramétrer nos modèles de manière réaliste. La simulation de ces modèles a permis d'obtenir les valeurs des mesures définies. Enfin, nous avons étudié la manière d'étendre le modèle à plusieurs vulnérabilités. Ainsi, cette approche a permis l'évaluation de mesures quantifiant les influences de différents facteurs sur la sécurité du système.

APA, Harvard, Vancouver, ISO, and other styles

9

Richoux, Florian. "Toward a complexity classification of CSP through kernel width." Phd thesis, Ecole Polytechnique X, 2009. http://pastel.archives-ouvertes.fr/pastel-00005564.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Chapuy, Guillaume. "Combinatoire bijective des cartes de genre supérieur." Phd thesis, Ecole Polytechnique X, 2009. http://pastel.archives-ouvertes.fr/pastel-00005289.

Full text

Abstract:

Cette thèse est une contribution à l'étude énumérative et statistique d'objets combinatoires appelés cartes. Une carte est une surface discrète formée par le recollement d'un nombre fini de polygones, ou de manière équivalente un graphe qui a été plongé sans croisements d'arêtes dans une surface orientable. Si de nombreux travaux concernent la combinatoire des cartes planaires, nous nous intéressons ici aux cartes de genre g>0, c'est-à-dire dont la surface sous-jacente possède g anses indépendantes. Nous donnons des bijections nouvelles reliant les cartes de genre fixé à des objets de nature arborescente. Nous en déduisons des résultats énumératifs (formules et identités combinatoires, formules d'énumération asymptotique), des résultats probabilistes concernant la limite continue de ces objets (caractérisation du profil métrique limite d'une grande carte de genre g), et de génération aléatoire (algorithmes efficaces pour engendrer ces objets).

APA, Harvard, Vancouver, ISO, and other styles

11

Nannicini, Giacomo. "Point-to-point shortest paths on dynamic time-dependent road networks." Phd thesis, Ecole Polytechnique X, 2009. http://pastel.archives-ouvertes.fr/pastel-00005275.

Full text

APA, Harvard, Vancouver, ISO, and other styles

12

Gaillard, Antoine. "Problèmes de communication dans les systèmes distribués: ruptures et corruptions." Phd thesis, Ecole Polytechnique X, 2009. http://pastel.archives-ouvertes.fr/pastel-00004991.

Full text

Abstract:

Nous nous intéressons dans la présente thèse aux problèmes de communication dans les systèmes distribués, qu'il s'agisse d'une absence de transmission de l'information ou d'une corruption de l'information échangée. Dans un premier temps, nous généralisons le modèle HO, défini par Charron-Bost et Schiper pour l'étude des systèmes distribués sujets à des pannes bénignes, au cas des erreurs de transmission par valeurs. Nous étudions la capacité de ce modèle à couvrir les systèmes classiques rencontrés dans la littérature, qu'ils soient à mémoire partagée ou à échanges de messages et décrivons de nouvelles solutions algorithmiques pour le Consensus en présence d'erreurs de transmission par valeurs. Dans un second temps, nous nous penchons sur deux algorithmes de routage introduits par Gafni. Nous présentons une formalisation simple qui unifie de manière élégante ces deux algorithmes et permet une analyse exacte de leur complexité en travail. De plus, nous présentons une analyse partielle de la complexité en temps de notre algorithme pour un sous-ensemble des graphes d'entrée, qui améliore tous les résultats existants.

APA, Harvard, Vancouver, ISO, and other styles

13

Potsdam, Kommunalwissenschaftliches Institut der Universität. "KWI-Info [Heft 4/2001] : [Schwerpunkt: Kommunalfinanzen]." Universität Potsdam, 2001. http://opus.kobv.de/ubp/volltexte/2007/1538/.

Full text

Abstract:

Inhalt: Schwerpunkt : Kommunalfinanzen Finanzlage der Kommunen in den neuen Ländern (Hanns Karrenberg) Der kommunale Finanzausgleich 2001 in Brandenburg (Josef Odendahl) Finanzausstattung Brandenburger Städte und Gemeinden. Auskömmlich oder schleichender Exodus? (Karl-Ludwig Böttcher) Kommunaler Finanzausgleich und die Maßstäbe des Verfassungsgerichtes Brandenburg Ein Arbeitsgespräch Zur finanziellen Situation der Stadt Prenzlau (Klemens Schmitz) Die finanzielle Situation der Kreisstadt Herzberg (Elster) unter den gegenwärtigen Bedingungen der Gemeindefinanzierung (Matthias Krüger) Aktuelles Tagungshinweis Anmerkungen zur Gemeindegebietsreform. Chancen einer nachhaltigen Modernisierung der Gemeindestrukturen im Land Brandenburg (Christian Maaß) Aus der Arbeit des KWI - Neu: Arbeitshefte des KWI - Call for papers - Neues Forschungsvorhaben: Forschungsnetzwerk integrierte Kommunalverwaltung/e-government - Aufgabenkritik in der Brandenburgischen Landesverwaltung - KWI-Kolloquium - Neues kommunales Haushalts- und Rechnungswesen - Neuerscheinung: Verwaltungsreform: Warum und wie. - Ankündigung Fachseminar - Vorankündigung Fachseminar - Neue Literatur am KWI - Reform auf dem Prüfstand

APA, Harvard, Vancouver, ISO, and other styles

14

Редько, Т. "Редакторський аналіз текстів інтернет-газети «Шостка. info»." Thesis, Сумський державний університет, 2016. http://essuir.sumdu.edu.ua/handle/123456789/49266.

Full text

Abstract:

У статті проаналізовано тексти інтернет-газети «Шостка. info» з точки зору їх редакторської підготовки, виявлено недоліки текстового наповнення інтернет-ЗМІ, сформовано поради щодо підготовки текстів для інтернет-видання.
The article analyzes the texts online newspaper «Shostka. info» in terms of editorial training, revealed shortcomings text content online media, advice on preparation formed texts for the online edition. .

APA, Harvard, Vancouver, ISO, and other styles

15

Kročilová, Martina. "Budování vztahu se zákazníkem pomocí info-produktů." Master's thesis, Vysoká škola ekonomická v Praze, 2014. http://www.nusl.cz/ntk/nusl-193346.

Full text

Abstract:

This diploma thesis is focused on the topic of content marketing for businesses with an emphasis on creation of a content strategy, which is an important anchor in building a relationship with the customer. The first part focuses on the essential theory which was used as a starting point for the development of this paper. In the practical part of this thesis, there was executed a survey, which aimed to identify the online shopping behavior of current and potential customers of VinoPortugal. On the basis of this survey and several additional analyzes, the in-depth content strategy for this company was created. Creation of this strategy was the main goal of this thesis.

APA, Harvard, Vancouver, ISO, and other styles

16

Notz, Martin. "Datenbankgestütztes Info- und Verwaltungssystem für WWW-Inhalte." [S.l. : s.n.], 1998. http://www.bsz-bw.de/cgi-bin/xvms.cgi?SWB8937698.

Full text

APA, Harvard, Vancouver, ISO, and other styles

17

Imbert, Laurent. "Arithmexotiques." Habilitation à diriger des recherches, Université Montpellier II - Sciences et Techniques du Languedoc, 2008. http://tel.archives-ouvertes.fr/tel-00341744.

Full text

APA, Harvard, Vancouver, ISO, and other styles

18

Sorbier, De Pougnadoresse François De. "Approches visuelles pour l'amélioration de la présence en réalité virtuelle." Phd thesis, Université Paris-Est, 2008. http://tel.archives-ouvertes.fr/tel-00469460.

Full text

Abstract:

Le sentiment de présence, but ultime de la réalité virtuelle, peut être atteint en stimulant ces quatre "piliers" que sont l'immersion, l'interaction, le maintien de la boucle action-perception et les émotions. Notre objectif est de proposer des méthodes visant à améliorer ce sentiment en s'intéressant plus particulièrement à la perception visuelle. Dans cette optique, nous proposons tout d'abord une solution appliquant le rendu stéréoscopique sur carte graphique. Traditionnellement effectué en deux passes, ce rendu se fait maintenant en une passe, grâce aux shaders et au regroupement de certaines phases de calculs. Nous étendons ce processus de rendu aux tout récents écrans auto-stéréoscopiques nécessitant plus de deux vues, améliorant d'autant plus les temps de calcul. Pour assurer l'immersion et l'interaction, voire l'émotion, nous avons aussi cherché à diminuer la fatigue oculaire induite par les images stéréoscopiques, en ajoutant un flou de profondeur de champ. Ce flou, obtenu en temps réel grâce aux shaders, permet également d'inviter l'observateur à focaliser son attention sur des objets précis au lieu de laisser son regard errer. Enfin, un objectif pour obtenir le sentiment de présence est de faire croire à l'utilisateur qu'il existe dans la scène virtuelle. Notre contribution à ce but, est d'intégrer de manière naturelle une représentation virtuelle de l'utilisateur. Pour cela, nous créons par visual hulls un avatar à l'aide de caméras. Finalement, cet avatar est employé pour illustrer la présence de l'utilisateur au travers de surfaces réfléchissantes virtuelles ou de la projection de son ombre

APA, Harvard, Vancouver, ISO, and other styles

19

Berry, Vincent. "On building and comparing trees Application to supertrees in phylogenetics." Habilitation à diriger des recherches, Université Montpellier II - Sciences et Techniques du Languedoc, 2008. http://tel.archives-ouvertes.fr/tel-00360926.

Full text

Abstract:

The research work presented in this manuscript is of algorithmic kind: it is mainly composed of polynomial, fixed parameter and approximation algorithms, while hardness results are also mentioned.

This work is about building and comparing labelled trees. These objects find application in different areas, but notoriously in phylogenetics, where they represent evolutionary relationships of organisms or sequences.

Most of this work can be considered as investigating solutions to so-called \emph{supertree} problems. Supertrees are large trees built by a dynamic programming approach from smaller trees. For instance, the latter are gene trees from which a comprehensive tree on many living species is to be built, such as the \emph{Tree of Life}.

First definitions are introduced, then a part of the manuscript is dedicated to quartet tree building methods. The next part details tree comparison methods, mainly variants of the maximum agreement subtree method. Next follows a part on supertree problems in all generality.
The manuscript ends with a report of the research plan for the next few years.

Several journal papers illustrating the material described in this manuscript are adjoined in appendix.

APA, Harvard, Vancouver, ISO, and other styles

20

Wieczorek, Samuel. "Une mesure d'inclusion entre objets structurés : application à la classification de molécules." Phd thesis, Grenoble 1, 2009. http://www.theses.fr/2009GRE10121.

Full text

Abstract:

L'identification de molécules bio-actives est un problème majeur pour la recherche thérapeutique et la recherche en biologie. La découverte de ces molécules repose largement sur le criblage de très grandes collections de molécules mais qui restent petites devant la taille de l'espace chimique. Dans ce contexte, les scientifiques sont demandeurs d'outils d'analyse automatique de chimiothèques et de molécules. L'objectif de cette thèse est de fournir un outil de comparaison des molécules et plus généralement d'objets structurés. Nous proposons dans ce travail un algorithme générique qui identifie plusieurs sous-structures communes à entre deux objets, représentés par des graphes ou des formules logiques et évalue un degré d'inclusion entre ces objets. Ce degré d'inclusion correspond à un test de subsomption à valeur réelle entre formules logiques qui pourrait compléter le test de theta-subsomption classique dans les algorithmes d'apprentissage relationnel. Dans le domaine de la chimie, une mesure de similarité moléculaire a été définie à partir de deux degrés d'inclusion pour classer des molécules. L'algorithme se révèle être plus performant que les mesures de similarité et fonctions noyau auxquelles il a été comparé. Il pourra être envisagé de l'utiliser dans des problèmes de prédiction de bio-activité
The identification of bioactive molecules is a major problem in biology and medicinal chemistry. The discovery of such molecules is mainly based on the screening of large chemical libraries, that are small regarding the size of the chemical space. In this context, scientists need automatic tools to analyze and design rational chemical libraries. The subject of this thesis is to provide a tool that is able to compare molecules or, more generally, structured objects. We propose a generic algorithm which identifies several common substructures between two structured objects (such as graphs or logical formulae), and evaluates an inclusion index between theses objects. This inclusion index corresponds to a real value subsumption test, and should complete the theta subsumption test which is classically used in relational learning algorithms. In the field of chemistry, a molecular similarity measure, defined with two inclusion indexes, allows to classify compounds with respect to their structures. The algorithm is more efficient than the molecular similarity measures or the kernel functions it was compared to. The algorithm may be used to predict the bioactivity of chemical compounds

APA, Harvard, Vancouver, ISO, and other styles

21

Wieczorek, Samuel. "Une mesure d'inclusion entre objets structurés : application à la classification de molécules." Phd thesis, Université Joseph Fourier (Grenoble), 2009. http://tel.archives-ouvertes.fr/tel-00406361.

Full text

Abstract:

L'identification de molécules bio-actives est un problème majeur pour la recherche thérapeutique et la recherche en biologie. La découverte de ces molécules repose largement sur le criblage de très grandes collections de molécules mais qui restent petites devant la taille de l'espace chimique. Dans ce contexte, les scientifiques sont demandeurs d'outils d'analyse automatique de chimiothèques et de molécules.
L'objectif de cette thèse est de fournir un outil de comparaison des molécules et plus généralement d'objets structurés. Nous proposons dans ce travail un algorithme générique qui identifie plusieurs sous-structures communes à entre deux objets, représentés par des graphes ou des formules logiques et évalue un degré d'inclusion entre ces objets.

Ce degré d'inclusion correspond à un test de subsomption à valeur réelle entre formules logiques qui pourrait compléter le test de theta-subsomption classique dans les algorithmes d'apprentissage relationnel. Dans le domaine de la chimie, une mesure de similarité moléculaire a été définie à partir de deux degrés d'inclusion pour classer des molécules. L'algorithme se révèle être plus performant que les mesures de similarité et fonctions noyau auxquelles il a été comparé. Il pourra être envisagé de l'utiliser dans des problèmes de prédiction de bio-activité.

APA, Harvard, Vancouver, ISO, and other styles

22

Grandchamp, Enguerran. "Quelque contribution à l'optimisation de constellations de satellites." Phd thesis, Institut National Polytechnique de Toulouse - INPT, 2001. http://tel.archives-ouvertes.fr/tel-00634769.

Full text

Abstract:

A mi-chemin entre l optimisation et l astronautique ce travail de recherche s attaque au problème du design de constellations de satellites Déterminer le nombre de satellites nécessaires pour ré- pondre à un besoin et les positionner de manière correcte tels sont les enjeux techniques de cette thèse Minimiser les coûts et les délais tels sont les enjeux économiques auxquels est confronté le domaine spatial au quotidien Les difficultés majeures de ce problème sont d une part la taille et les caractéristiques de l espace de recherche; D autre part la non-régularité des critères utilisés et la nature mathématique et phy- sique hétérogène de l ensemble des paramètres (paramètres entiers et paramètres réels) interdisant l utilisation d algorithmes classiques; Enfin l évaluation des solutions qui met en oeuvre une simu- lation coûteuse en temps et en calculs sans retourner d information pertinente sur les bonnes ou mauvaises propriétés de la constellation évaluée interdit une exploration massive de l espace de recherche De ces constatations et de diverses études préliminaires est née une nouvelle approche Basé sur une meilleure exploitation de la simulation et sur une simplification des critères utilisés l algorithme composé de plusieurs niveaux met en oeuvre plusieurs techniques d optimisation En intégrant une base de connaissance sur les orbites et une méthode numérique de recherche d optimum le tout or- chestré par un algorithme métaheuristique cette nouvelle approche tente de résoudre les difficultés intrinsèques au domaine d application en décomposant le problème.

APA, Harvard, Vancouver, ISO, and other styles

23

Fourcaud, Christine. "La phraséologie dans le journal d'informations Arte-Info." Paris 4, 2005. http://www.theses.fr/2005PA040037.

Full text

Abstract:

Le recours à des locutions figées, imagées, préfabriquées et idiomatiques, appelées phrasèmes, est une constante du discours télévisuel. Leur emploi et leur fonction varient selon les thématiques et genres télévisuels. Le journal d'informations bilingue Arte-Info présente, de par son contexte rédactionnel particulier, une asymétrie sémiotique contraignante (une version images/deux versions sonores). Ceci élargit la problématique à l'aspect interlingal: les techniques de traductions, le statut des langues (langue source/langue cible), la double orientation du discours, etc. Quelles conséquences ces facteurs ont-ils sur la réalisation linguistique du journal? De quelles stratégies discursive relève la densité phraséologique particulièrement marquée de la version française? Trois paramètres d'analyse font apparaître, en évitant toute stéréotypisation nationale et/ou culturelle, l'interaction des mécanismes fonctionnels et pragmatiques: les genres du discours télévisuel, leur situationalité discursive et leur ancrage thématique
Recourse to established, illustrative and idiomatic expressions is a standard feature of journalistic discourse on television. The use of phrasemes is text-sort specific and provides added thematic reference to the relevant topic under discussion. In television journalism, the bilingual, French-German public affairs program Arte-Info is exceptional due to a particular feature of its journalistic format. Individual images are accompanied by to sound and, above all, linguistic tracks. Given this bilingual quality, variuos issues related to the program's inter-lingual format arise (translation and interpreting procedure, source and target language, orientation toward two linguistic communities, etc. ). What effects do these factors have on the production of the linguistic discourse? This study has been organized according to three parameters of analysis: parameter one concerns the specifics of the various sorts of texts; parameter two is addressed to the framing context of the entire discourse; the third parameter deals with the specifics of thematic reference

APA, Harvard, Vancouver, ISO, and other styles

24

Jylhä, Joel. "Där klockorna smälter ... : subjektivt tidsrum i Juan Rulfos Pedro Páramo /." Åbo : Åbo Akademi, Litteraturvetenskapen, 2007. http://web.abo.fi/library/aapub/info-07/hf_978952121982_5_buy.html.

Full text

APA, Harvard, Vancouver, ISO, and other styles

25

Bouassida, Rodriguez Ismael. "Dynamic software architecture management for collaborative communicating systems. Gestion dynamique des architectures logicielles pour les systèmes communicants collaboratifs." Phd thesis, INSA de Toulouse, 2011. http://tel.archives-ouvertes.fr/tel-00583926.

Full text

Abstract:

Dans ce manuscrit, nous proposons de concevoir et de mettre en oeuvre un environnement logiciel pour une "gestion guidée par les modèles" des changements dans les architectures des applications distribuées coopératives. Les aspects adaptabilité des applications, les aspects transformations de graphe et les aspects particuliers des applications distribuées coopératives sont étudiés. Une approche d'adaptation s'appuyant sur une modélisation par les graphes et un style architectural de type Poducteur/Consommateur est présentée pour des applications communicantes collaboratives sensibles au contexte. Une démarche de raffinement est proposée permettant de garantir un certain degré d'adaptabilité en faisant un compromis entre les différents paramètres du contexte. Ces travaux de recherche ont aussi permis de définir un cadre algorithmique générique de reconfiguration architecturale multi-niveaux pour la sélection des architectures de déploiement les plus adaptées à un contexte et aux situations associées. Ce cadre a été appliqué au cas de la communication et de la coopération de groupe. Elle a aussi permis de modéliser le style architectural Producteur/Consommateur pour une communication orientée évènement. Des règles d'adaptation ont été définies. Elles comportent une partie basée sur SWRL pour la description du contexte et des règles d'adaptation, et une partie basée sur les grammaires de graphes pour la transformation des configurations de déploiement

APA, Harvard, Vancouver, ISO, and other styles

26

Diaz, caro Alejandro. "Du typage vectoriel." Phd thesis, Université de Grenoble, 2011. http://tel.archives-ouvertes.fr/tel-00631514.

Full text

Abstract:

L'objectif de cette thèse est de développer une théorie de types pour le λ-calcul linéaire-algébrique, une extension du λ-calcul motivé par l'informatique quantique. Cette extension algébrique comprend tous les termes du λ-calcul plus leurs combinaisons linéaires, donc si t et r sont des termes, α.t+β.r est aussi un terme, avec α et β des scalaires pris dans un anneau. L'idée principale et le défi de cette thèse était d'introduire un système de types où les types, de la même façon que les termes, constituent un espace vectoriel, permettant la mise en évidence de la structure de la forme normale d'un terme. Cette thèse présente le système Lineal , ainsi que trois systèmes intermédiaires, également intéressants en eux-même : Scalar, Additive et λCA, chacun avec leurs preuves de préservation de type et de normalisation forte.

APA, Harvard, Vancouver, ISO, and other styles

27

El, Mrabet Nadia. "Arithmétique des couplages, performance et résistance aux attaques par canaux cachés." Phd thesis, Université Montpellier II - Sciences et Techniques du Languedoc, 2009. http://tel.archives-ouvertes.fr/tel-00450099.

Full text

Abstract:

Ma thèse porte sur l'étude des couplages, et plus particulièrement leur utilisation en cryptographie. Mes premiers travaux ont portés sur l'arithmétique des couplages à travers une comparaison des complexités en nombre d'opérations des couplages de Weil et Tate. Puis je me suis intéressée à l'étude de l'arithmétique utile pour les couplages. Un de mes travaux propose d'utiliser une représentation alternative des corps finis pour améliorer l'efficacité des calculs impliqués dans les couplages. Le second étudie en détail l'arithmétique des couplages pour les courbes dont le degré d'enfoncement est 15. Ces premiers travaux m'ont permis de me familiariser avec les couplages et je me suis alors orientée vers la résistance aux attaques par canaux cachés des algorithmes de couplage. J'ai étudié les faiblesses de l'algorithme de Miller lorsqu'il subit des attaques par analyse de consommation de courant et par injection de fautes.

APA, Harvard, Vancouver, ISO, and other styles

28

Laarouchi, Youssef. "Sécurités (immunité et innocuité) des architectures ouvertes à niveaux de criticité multiples : application en avionique." Phd thesis, INSA de Toulouse, 2009. http://tel.archives-ouvertes.fr/tel-00468923.

Full text

Abstract:

La conception et le développement des applications critiques en avionique sont soumis à des contraintes strictes visant à assurer un niveau de confiance compatible avec les exigences de sécurité-innocuité (au sens safety) des tâches mises en Suvre. Ces contraintes induisent un accroissement considérable des coûts de production et de maintenance, ce qui rend le prix de revient de tels systèmes prohibitif. D'un autre côté, les composants sur étagère (Commercial Off-The-Shelf, COTS), matériels et logiciels, sont maintenant d'usage courant et offrent des services étendus pour un coût faible. Cependant, les COTS ne répondent pas aux contraintes d'innocuité exigées pour les tâches critiques ; de plus, ils présentent des vulnérabilités facilement exploitables par des attaques, les rendant incompatibles avec des exigences élevées de sécurité-immunité (au sens security). Il serait toutefois intéressant de profiter de tels composants dans un contexte avionique, mais en faisant en sorte qu'ils ne puissent affecter de façon préjudiciable les tâches critiques. Intégrer de tels composants dans les systèmes avioniques conduit donc à prendre en considération l'hétérogénéité des niveaux de confiance entre d'une part les applications critiques classiques, et d'autre part de nouvelles applications utilisant des composants sur étagère. Dans le cadre de cette thèse, nous proposons une architecture autorisant de telles interactions tout en préservant les propriétés de safety et security. La définition de cette architecture s'appuie sur le modèle Totel, et elle utilise la virtualisation afin de faciliter la mise en Suvre des mécanismes de tolérance aux fautes destinés à augmenter la crédibilité d'une application exécutée de façon répliquée sur des plateformes d'exécution COTS de niveau de confiance faible. Afin de valider notre approche, nous avons réalisé un prototype en nous appuyant sur deux cas d'étude identifiés avec Airbus et concernant tous deux des ordinateurs portables : un dédié à la maintenance et un au calcul du profil de décollage d'un avion.

APA, Harvard, Vancouver, ISO, and other styles

29

Silveira, Netto Nunes Maria Augusta. "Système de Recommendation basé sur Traits de Personnalité." Phd thesis, Université Montpellier II - Sciences et Techniques du Languedoc, 2008. http://tel.archives-ouvertes.fr/tel-00348370.

Full text

Abstract:

Internet est une source énorme de produits et services disponibles pour les utilisateurs. Il existe un grand effort de la part des chercheurs pour créer des stratégies destinées à personnaliser ces produits/services pour chaque utilisateur. Cette personnalisation peut être fournie par les Systèmes de Recommandation capables de répertorier les préférences des utilisateurs avec des produits ou services spécifiques. Les chercheurs dans la cadre de la psychologie, de la neurologie et de l'informatique affective sont accord pour affirmer que le raisonnement humain et la prise de décision dans les systèmes informatiques sont difficilement affectées par les aspects psychologiques. Ainsi, pour maintenir le même niveau de personnalisation assuré par les humains, les ordinateurs devraient " raisonner " de la même façon, en prenant en compte les aspects psychologiques des utilisateurs. Néanmoins, ces aspects psychologiques ne sont malheureusement pas considérés dans la plupart des modèles de Profils d'Utilisateurs utilisés dans les Systèmes de Recommandation. Par conséquent, les Systèmes de Recommandation existants n'utilisent pas les caractéristiques psychologiques comme les traits de Personnalité au cours du procédé de prise de décisions caractéristiques. Dans cette thèse, nous proposons d'implanter des traits de Personnalité dans les Profils d'utilisateurs dans le but d'être capable d'obtenir quelques éléments sur l'utilisation de ces aspects psychologiques dans les Systèmes de Recommandation peuvent être cohérents et efficaces.

APA, Harvard, Vancouver, ISO, and other styles

30

Ferneborg, Daniel. "SIS och Info Ops : varför finns det vissa likheter?" Thesis, Swedish National Defence College, Swedish National Defence College, 2009. http://urn.kb.se/resolve?urn=urn:nbn:se:fhs:diva-99.

Full text

Abstract:

Denna uppsats är en jämförelse mellan den verksamhet som Statens Informationsstyrelse (SIS) bedrev under andra världskriget och den verksamhet som idag bedrivs inom ramen för Informationsoperationer (Info Ops). Uppsatsen syftar till att undersöka om likheterna mellan SIS och Info Ops har en koppling till konfliktens (krigets) natur.

Huvudfrågorna i uppsatsen är:

Vilka likheter finns mellan den statliga informationsverksamheten som bedrevs av Statens Informationsstyrelse under andra världskriget och den verksamhet som idag bedrivs inom ramen för informationsoperationer?
Kan likheterna kopplas till konfliktens (krigets) natur och i så fall hur?

För att besvara mina frågor har jag använt mig av följande tillvägagångssätt:

För min inledande del av uppsatsen har jag valt Deskription. Metodiken jag använt är arkiv- och litteraturstudier, vilket vanligen och även i mitt fall föregåtts av en litteratursökning. För den avslutande delen av uppsatsen har jag använt mig av komparation i syfte att finna likheter mellan SIS och Info Ops. För min slutledning har jag använt mig av deduktion.

Det centrala i likheterna mellan SIS och Info Ops är att båda använde/använder data och information för att påverka ett agerande hos människor. Genom att påverka agerandet hos människorna i konflikten (kriget), kan man påverka utgången av konflikten (kriget).

APA, Harvard, Vancouver, ISO, and other styles

31

Potsdam, Kommunalwissenschaftliches Institut der Universität. "KWI-Info [Heft 1/1999] : [Schwerpunkt: Finanzmanagementreformen und Rechnungswesen]." Universität Potsdam, 1999. http://opus.kobv.de/ubp/volltexte/2007/1534/.

Full text

Abstract:

Inhalt: Schwerpunkt: Finanzmanagement und Rechnungswesen - Zur fünften Fachtagung des KWI (Christiane Büchner) - Kommunales Rechnungswesen - Anforderungen und Entwicklungstendenzen (Klaus Lüder) - Budgetierung - Stand und Perspektiven (Hansjürgen Bals) - Vom kameralen Haushalt zu Produktbudgets (Klaus-Peter Lütcke) Aus der Arbeit des Instituts: - Fachseminar: Haushalt – Produkte – KLR - Vorankündigung: Ausfallhaftung des Staates für zahlungsunfähige Gemeinden – Fünfter Band der Schriftenreihe des KWI - Gutachten: Ämter auf dem Weg zur wirtschaftlichen und leistungsfähigen Verwaltung - Abschlußbericht: „Rezeptbuch“ für innovationsfreudige Gemeinden - Neuerscheinung: Kommunale Selbstverwaltung - Gutachten: Dezentrale Wahrnehmung von Kreisaufgaben Kurzmitteilungen: - Aktuell: Neues Kommunales Finanzmanagement - Veranstaltungen - Neuerscheinungen - Ausschreibung: Die bürgernahe öffentliche Verwaltung der Zukunft - Internet

APA, Harvard, Vancouver, ISO, and other styles

32

Potsdam, Kommunalwissenschaftliches Institut der Universität. "KWI-Info [Heft 3/2000] : [Schwerpunkt: Bürger und Kommune]." Universität Potsdam, 2000. http://opus.kobv.de/ubp/volltexte/2007/1555/.

Full text

Abstract:

Inhalt: Schwerpunkt : Bürger und Kommune Editorial (Werner Jann) Die Bürger - vom Störenfried zum Lückenbüßer? Über die Reformperspektive Bürgergesellschaft (Chris Boeck) Kommunale "Multifunktionale Serviceläden" (Klaus Lenk) Der virtuelle Bürgerladen (Rudolf Seidel) Von der Idee zur Wirklichkeit - Potsdam eröffnet ersten Bürgerservice (Kristina Trilk) Elektronische Akteneinsicht - Möglichkeiten und Grenzen an Beispielen aus der Stadtverwaltung Rathenow (A. Erhardt Ewert) Neues aus dem Kommunen Organisationsuntersuchungen auf dem Prüfstand - Positive Bilanz der Kreisverwaltung Uckermark (Helaman Krause, Rainer Hampke) "Bürgerorientierte Kommune - Wege zur Stärkung der Demokratie" Aus der Arbeit des KWI - Aktuelles - Aktuelles - Aktuelles - Buchanzeige: KWIS, Band 6 erschienen - Ankündigung Fachseminar - Evaluation des Institutes - Interdisziplinäre Kolloquien - Neueingänge in die Bibliothek des KWI - Job in Aussicht Kurzmitteilungen - Praktika - Tagungsberichte - Absage an das Amtsgemeindemodell? - Neues VOM ... Profilbereich Verwaltung, Organisation und Management der Universität Potsdam im Netz

APA, Harvard, Vancouver, ISO, and other styles

33

Potsdam, Kommunalwissenschaftliches Institut der Universität. "KWI-Info [Heft 5/2002] : [Schwerpunkt: Kommunen und Kultur]." Universität Potsdam, 2002. http://opus.kobv.de/ubp/volltexte/2007/1558/.

Full text

Abstract:

Inhalt: Schwerpunkt: Kommunen und Kultur Editorial (Christoph Reichard) Perspektiven kommunaler Kulturpolitik (Julian Nida-Rümelin) Kultur- und Kulturentwicklungsplanung in der Kommune. Eine Bilanz (Albrecht Göschel) Zur Rolle von Kultur für die Entwicklung der Stadt Potsdam. Ein Arbeitsgespräch mit der Beigeordneten Gabriele Fischer Ein gutes Klima für Kulkturentwicklung: Landkreis Uckermark (Helaman Krause/Annegret Hannemann) Mönche und Preußen im Gemischtwarenladen. Zweieinhalb Jahre „Dominikanerkloster Prenzlau. Kulturzentrum und Museum“ (Dirk Keil) Wie in Kultur(bauten) investieren? Kulturentwicklungsprogramme in den neuen Ländern (Cornelia Dümcke) Attraktivität von Museen im Ruppiner Land. Ein Projektbericht (Nadine Bender/Clemens Koch/Andrè Wilhelmi) Aus der Arbeit des KWI Berichte - Aus dem Jahresbericht 2001 (Christiane Büchner) - Konkurrieren statt Privatisieren - Kommunale Einrichtungen im Wettbewerb (Hansjürgen Bals) - Die öffentlich-rechtliche Kreditwirtschaft im Europäischen Bankenbinnenmarkt (Oliver Klein) - Integrierte Kommunalverwaltung/e-Government. Neues aus dem Projekt e-logo (Jörg Penning-Poggenbeck) - Neue „Vertriebswege“ für Verwaltungsleistungen. Ergebnisse einer Kundenbefragung im Landkreis Potsdam-Mittelmark (Jörg Penning-Poggenbeck/Michael Scheske) Neuerwerbungen der Bibliothek des KWI (Burkhard von Watzdorf) Veranstaltungen - Ankündigung Fachseminar „Der Produkthaushalt. Kern der neuen Ressourcenund Produktsteuerung“ - Ankündigung Fachseminar „Beteiligungsmanagement. Steuerung und Kontrolle kommunaler Unternehmen“ - Einladung zur 8. Fachtagung des KWI „E-Government - Schlüssel zur Modernisierung von Kommunen“ Buchhinweise - Christoph Reichard (Hrsg): Kommunen am Markt - Herbert Küpper: Autonomie im Einheitsstaat Aktuelles - Freiwilligkeitsphase der Gemeindestrukturreform kurz vor dem Abschluss (Christiane Büchner) - Verwaltungspolitischer Zwischenruf (Christian Maaß)

APA, Harvard, Vancouver, ISO, and other styles

34

Potsdam, Kommunalwissenschaftliches Institut der Universität. "KWI-Info [Heft 6/2003] : [Schwerpunkt: Arbeits- und Sozialverwaltung]." Universität Potsdam, 2003. http://opus.kobv.de/ubp/volltexte/2007/1559/.

Full text

Abstract:

Inhalt: Schwerpunkt: Arbeits- und Sozialverwaltung Editorial (Werner Jann) Moderne Arbeitsmarkt- und Sozialpolitik. Ein Mitglied der Hartz-Kommission äußert sich (Werner Jann) Zusammenführung von Arbeits- und Sozialverwaltung. Eine juristische Betrachtung (Oliver Klein) Finanzierung eines neuen einheitlichen Systems zur Erwerbsintegration für erwerbsfähige Arbeitslose und Sozialhilfeempfänger (Hans-Günter Henneke/Matthias Wohltmann) Erfolgsmodell „Fallmanagement“. Ein ganzheitlicher Organisatiosansatz zur Integration erwerbsfähiger Arbeitslosen- und Sozialhilfeempfänger in den Arbeitsmarkt (Angela Dovifat) Job Center. Konzeption und Diskussion der lokalen Zentren für Erwerbsintegration Kooperative Leistungserbringung in der Sozialverwaltung des kreisangehörigen Raums durch eGovernment (Jörg Penning-Poggenbeck) Literaturempfehlungen zum Thema Hartz und die Arbeitsämter. Interview mit dem Vizepräsidenten des Landesarbeitsamtes Berlin-Brandenburg zu dem Hartz-Konzept Informationen zum Thema - Empfehlungen der Hartz-Kommisson zur Zusammenlegung von Arbeits- und Sozialverwaltung - Kommunale Kompetenz für eine erfolgreiche Umsetzung des Reformvorhaben. Stellungnahme des Brandenburgischen Landkreistages zu den Vorschlägen einer Neuordnung von Arbeits- und Sozialveraltung (Paul-Peter Humpert) - Zusammenlegung von Arbeitshilfe und Sozialhilfe Stellungnahme des Deutschen Städte- und Gemeindebundes Aus der Praxis - Gemeinsam Projekte entwickeln und Arbeit schaffen! Projekte in der Landeshauptstadt Potsdam - Gemeinsame Initiative von Sozial- und Arbeitsamt Projekt GEMINI im Landkreis Elbe-Elster - NATAN-Bundesmodellprojekt MoZArt im Landkreis Potsdam-Mittelmark - „Hilfe nach Maß“ im Landkreis Spree-Neiße - Lernen aus MoZArt? - Erste Ergebnisse der wissenschaftlichen Begleitforschung vorgestellt - Projekte im Rahmen des MoZArt-Programmes Aus der Arbeit des KWI - Fellows des KWI - Aus dem Jahresbericht 2002 (Christiane Büchner) - Aktuelle Neuerscheinungen aus dem KWI - Neues vom Projekt „e-LoGo“ – Integrierte Kommunalverwaltung/eGovernment (Jörg Penning-Poggenbeck) - Neues eGovernment-Projekt am KWI (Tino Schuppan) - Kommunale Dienstleistungen im Wettbewerb. „Konkurrieren statt Privatisieren“ (Christoph Andersen/Robert Kösling/Sandra Rechlin) - Neuer Forschungsschwerpunkt am KWI: Ortsteilverfassung in Brandenburg (Christiane Büchner) - Neuerwerbungen der Bibliothek des KWI (Burkhard von Watzdorf) - Ankündigung von Seminaren: - Gebäudemanagement: Handlungsstrategien und Umsetzungsbeispiele zur Wirtschaftlickeits- und Qualitätsverbesserung und zur Vermögensoptimierung - Aufsichtsrat in kommunalen Unternehmen - Beteiligungsmanagement: Steuerung und Kontrolle der kommunalen Unternehmen - Der Produkthaushalt: Kern der neuen Ressourcen- und Produktsteuerung - Brandenburger Thesen zur Umsetzung von eGovernment - Weiterbildungsveranstaltungen des KWI für das erste Halbjahr 2003

APA, Harvard, Vancouver, ISO, and other styles

35

Choto, Jennifer Rudo. "The Info Market: Transformation of the Harare City Library." University of Cincinnati / OhioLINK, 2010. http://rave.ohiolink.edu/etdc/view?acc_num=ucin1283460367.

Full text

APA, Harvard, Vancouver, ISO, and other styles

36

Ritchie, David. "Algorithmes Haute-Performance pour la Reconnaissance de Formes Moléculaires." Habilitation à diriger des recherches, Université Henri Poincaré - Nancy I, 2011. http://tel.archives-ouvertes.fr/tel-00587962.

Full text

Abstract:

Ce mémoire résume ma contribution aux problèmes de la représentation et de la comparaison des formes et propriétés chimiques de molécules au moyen de nouvelles techniques de transformées de Fourier rapides (FFT). Les trois principaux domaines abordés ici sont le clustering et la classification des formes de macromolécules protéiques, le docking ou amarrage protéine-protéine visant à modéliser la conformation structurale de deux partenaires susceptible d'exister in vivo, et enfin la comparaison rapide de nombreuses petites molécules pour le criblage virtuel de potentiels inhibiteurs thérapeutiques. Les techniques basées sur la FFT sont largement utilisées dans de nombreux domaines de la science. Par ailleurs, les approches conventionnelles basées sur les grilles cartésiennes de FFT peuvent accélérer les calculs d'appariement moléculaire dans seulement trois des six degrés de liberté (ceux de translation) du corps rigide. Le thème principal de mon travail repose sur l'idée que la comparaison des formes complexes en trois dimensions (3D) de molécules est en grande partie un problème de rotation, dès lors les molécules peuvent efficacement être représentées par des systèmes de coordonnées polaires afin de pouvoir les comparer à l'aide de FFT rotationelles. Dans ce mémoire, je montre qu'en représentant les molécules par des développements orthogonaux en harmoniques sphériques et des polynômes de Gauss-Laguerre et en n'utilisant que des techniques classiques de calcul, leurs formes peuvent être mises en rotation et translatées analytiquement. Les paires de formes peuvent alors être comparées ou amarrées de façon très efficace en utilisant une série de 1D, 3D, ou même 5D FFT de rotation. Même si une grande partie des fondamentaux théoriques sont bien connue dans les domaines de la chimie ou de la physique, l'approche globale est originale dans le contexte de l'appariement de formes moléculaires, du docking de protéines et plus généralement de la reconnaissance d'objets 3D. La dernière partie de ce mémoire ouvre sur les perspectives futures visant à étendre ces différentes approches aux défis actuels posés par la biologie systémique et structurale tels que le criblage virtuel à haut-débit, l'intégration de la flexibilité des protéines lors de leur complexation mais aussi l'assemblage de structures macromoléculaires multi-composants.

APA, Harvard, Vancouver, ISO, and other styles

37

Baude, Françoise. "De la programmation parallèle structurée à la programmation pour la grille." Habilitation à diriger des recherches, Université de Nice Sophia-Antipolis, 2006. http://tel.archives-ouvertes.fr/tel-00507049.

Full text

APA, Harvard, Vancouver, ISO, and other styles

38

Kirchner, Florent. "Systèmes de preuve interopérables." Phd thesis, Ecole Polytechnique X, 2007. http://pastel.archives-ouvertes.fr/pastel-00003192.

Full text

Abstract:

Les developpements de speciﬁcations et des preuves formelles ont pris de l'ampleur durant les dernieres decennies, elabores au sein d'une diversite de canevas, de systemes et de communautes. Cependant l'heterogeneite de ces environnements gene quelques-unes des etapes fondamentales du processus de reﬂexion scientiﬁque : le partage et la reutilisation des resultats. Cette dissertation propose une methode de distribution du meme developpement formel entre de divers systemes de preuve, augmentant ainsi eur interoperabilite. es chapitres 1 et 2 presentent le cadre logique qui est employe pour centraliser les speciﬁcations et les preuves formelles. Sa principale contribution est une ariation du λµ˜ µ-calcul conçu pour supporter le eveloppement interactif de preuves. Les chapitres 3 et 4 developpent les structures de recriture et categoriques necessaire a l'expression formelle de la semantique des langages de preuve. Base sur ces premiers resultats, le chapitre 5 utilise un systeme de types pour des langages de preuve pour asseoir un propriete de surete de typage, et le chapitre 6 expose une serie de traductions des developpements centralises dans d'autres cadres formels majeurs. Entre autres, le dernier contribue a une simpliﬁcation des systemes de deduction a la Frege-Hilbert. En conclusion, les chapitres 7 et 8 s'interessent aux problemes resultant de l'implementation de notre systeme de developpement centralise de preuve. Ainsi, celui-ci decrit les details du logiciel cree, et celui-la fait la presentation d'une theorie de classes qui permet l'expression ﬁnie au premier ordre de schemas d'axiomes.

APA, Harvard, Vancouver, ISO, and other styles

39

Eric, Fusy. "Combinatoire des cartes planaires et applications algorithmiques." Phd thesis, Ecole Polytechnique X, 2007. http://pastel.archives-ouvertes.fr/pastel-00002931.

Full text

Abstract:

Cette these traite de l'algorithmique des cartes planaires (graphes dessines dans le plan sans intersection d'aretes) et propose des procedures efficaces pour le codage, la generation aleatoire, et le dessin de plusieurs familles importantes: 3-connexes, triangulations, quadrangulations... En particulier, on decrit le premier algorithme optimal de codage des incidences faces-aretes-sommets des maillages polygonaux de topologie spherique, qui atteint la borne inferieure de 2bits par arete. En partant d'un generateur de cartes 3-connexes, on developpe un nouveau generateur aleatoire uniforme de graphes planaires dont la complexite est la meilleure connue actuellement: quadratique (en esperance) en taille exacte et lineaire (en esperance) en taille approchee. Enﬁn, on donne plusieurs algorithmes de dessin en lignes droites (aretes representees par des segments) de cartes planaires sur la grille. Les procedures de dessin sont a la fois tres simples a decrire et donnent les meilleures performance (en probabilite) pour le dessin de deux familles de cartes: les triangulations du carre sans 3-cycle rempli —dite irreductibles— et les quadrangulations. Pour developper les algorithmes presentes dans la these, on exploite plusieurs structures combinatoires sur les cartes (orientations speciﬁques, partitions en arbres couvrants...) ainsi que de nouvelles constructions bijectives.

APA, Harvard, Vancouver, ISO, and other styles

40

Delande, Olivier. "Symmetric dialogue games in the proof theory of linear logic." Phd thesis, Ecole Polytechnique X, 2009. http://pastel.archives-ouvertes.fr/pastel-00006196.

Full text

Abstract:

Cette thèse développe une approche originale de l'interprétation interactive de la théorie de la démonstration en logique linéaire. À l'inverse du cadre joueur/opposant communément associé aux sémantiques des jeux pour la logique, nous proposons un modèle dans lequel les deux joueurs ont des rôles symétriques. Plus précisément, nous passons d'une situation dans laquelle un joueur tente de démontrer un énoncé tandis que l'autre tente de le réfuter à une situation dans laquelle les deux joueurs tentent de démontrer des énoncés contraires. Dans la tradition du calcul vu comme comme recherche de démonstrations, chaque étape de l'interaction est vue comme une étape de deux recherches de démonstrations orthogonales en calcul des séquents. Ce travail contribue dans une certaine mesure à formaliser les liens entre la recherche de démonstrations et la normalisation de démonstrations. Nous présentons d'abord un jeu symétrique simple pour le fragment additif de la logique linéaire, en guise d'introduction à la recherche duale de démonstrations. Nous passons ensuite à un jeu symétrique bien plus complexe pour le fragment additif et multiplicatif de la logique linéaire. Afin d'obtenir un résultat de pleine complétude, nous développons ensuite un troisième jeu à la fois symétrique et concurrent. Enfin, nous étudions quelques extensions de notre modèle.

APA, Harvard, Vancouver, ISO, and other styles

41

Kojadinovic, Ivan. "Contributions à l'interprétation de mesures non additives et `a l'identification de modèles décisionnels fondés sur l'intégrale de Choquet." Habilitation à diriger des recherches, Université de Nantes, 2006. http://tel.archives-ouvertes.fr/tel-00481256.

Full text

Abstract:

Ce document présente une synthèse des activités de recherche que j'ai menées depuis dé- but 2002 sur les mesures non additives. J'ai choisi, par souci de clarté, de présenter en détails les résultats concernant l'interprétation et l'identication de mesures non additives obtenus dans le cadre de diverses collaborations et de ne décrire que succinctement les recherches connexes que je mène de façon moins soutenue sur la classication et la sélection de variables dans le contexte de l'analyse de données et de la modélisation statistique (cf. Annexes A et A). Les travaux sur les mesures et intégrales non additives décrits dans ce document s'organisent selon deux axes : le premier axe porte sur l'interprétation de mesures non additives dans le contexte de la théorie des jeux coopératifs et de l'aide multicritère à la décision fondée sur les intégrales non additives ; le deuxième axe concerne l'identication de mesures non additives dans le contexte de l'agrégation par intégrale de Choquet. Ces deux directions de recherche sont fortement complémentaires dans la mesure où l'utilisation d'intégrales non additives dans un contexte décisionnel nécessite, dans un premier temps, l'identication d'une mesure non additive et, dans un deuxième temps, son interprétation an de rendre le modèle de décision plus transparent pour le décideur.

APA, Harvard, Vancouver, ISO, and other styles

42

Guigue, Philippe. "Constructions géométriques à précision ﬁxée." Phd thesis, Université de Nice Sophia-Antipolis, 2003. http://tel.archives-ouvertes.fr/tel-00471447.

Full text

Abstract:

Les problèmes de robustesse liés à la substitution du calcul exact sur les réels par le calcul flottant approché sont souvent un obstacle à l'implantation pratique des algorithmes géométriques. Si l'adoption du paradigme exact apporte une solution satisfaisante à ce type de problèmes pour les algorithmes ayant un résultat purement combinatoire, cette solution ne permet cependant pas de résoudre en pratique le cas des algorithmes qui réutilisent voire cascadent la construction de nouveaux objets géométriques. Cette thèse aborde le problème de l'arrondi sur la grille entière du résultat d'opérations booléennes sur des régions polygonales et propose plusieurs notions d'arrondi permettant de garantir certaines propriétés métriques et topologiques intéressantes entre le résultat exact et sa version arrondie telles que la garantie de relations d'inclusion et la préservation de la convexité du résultat. Nos méthodes sont basées sur l'utilisation de constructeurs élémentaires arrondis pour lesquels nous présentons également plusieurs algorithmes efficaces. Nous proposons enfin des tests rapides permettant la détection robuste d'intersection entre plusieurs types d'objets convexes dans le plan et dans l'espace. L'ensemble de ces solutions trouvent une application directe en CAO et en graphisme.

APA, Harvard, Vancouver, ISO, and other styles

43

Devillers, Olivier. "Randomisation, sphères et déplacements de robots." Habilitation à diriger des recherches, Université de Nice Sophia-Antipolis, 1993. http://tel.archives-ouvertes.fr/tel-00338329.

Full text

Abstract:

Ce mémoire d'habilitation présente 14 articles différents, structurés en trois parties : algorithmes randomisés, algorithmes sur les sphères et placements de robots.

Les algorithmes randomisés ont été un des sujets ``chauds'' de ces dernières années et nous proposons ici des travaux ayant trait à des algorithmes dynamiques ou semi-dynamiques : tout d'abord un schéma général d'algorithmes semi-dynamiques avec des applications aux diagrammes de Voronoï, aux diagrammes de Voronoï d'ordre k aux arrangements, et ensuite deux algorithmes dynamiques (permettant d'insérer et de supprimer des données) pour la triangulation de Delaunay et le calcul d'un arrangement de segments. D'autres résultats concernent des algorithmes statiques, notamment le calcul du squelette d'un polygone simple en temps O(n log* n).

La deuxième partie explore différentes modélisations des sphères. On peut en déduire notamment un algorithme en O(tk log n) pour la triangulation de Delaunay de n points appartenant à k plans en 3 dimensions, si t désigne la taille du résultat; dans la cas de deux plans cet algorithme atteint une complexité optimale de O(t+n log n). Nous proposons également un algorithme de complexité O(n^ ceil(d/2) +n log n) pour le calcul de l'enveloppe convexe de n sphères en dimension d, et un algorithme optimal (quadratique) pour le calcul de la surface de Connolly.

La dernière partie traite de problèmes spécifiques à la planification de trajectoires, un premier chapitre concerne le cas de plusieurs robots polygonaux en translation dans le plan: certaines configurations appellées double-contacts peuvent jouer un rôle particulier dans certains cas. Ensuite deux résultats à propos de robots à pattes : l'analyse d'un cas simple que nous avons baptisé robot araignée, et l'étude de la stabilité d'un robot un peu plus complexe.

APA, Harvard, Vancouver, ISO, and other styles

44

Martin, Sébastien. "Utilisation d'atlas anatomiques et de modèles déformables pour la segmentation de la prostate en IRM." Phd thesis, Grenoble 1, 2008. http://www.theses.fr/2008GRE10287.

Full text

Abstract:

Le principal objectif de cette thèse est le développement d'outils permettant le contourage automatique de la prostate en IRM. Dans un futur proche, ces outils s'intègreront à des systèmes informatiques permettant d'assister le clinicien dans la réalisation du geste de curiethérapie de la prostate. Notre méthode se base sur l'utilisation d'un atlas anatomique et de modèles déformables pour réaliser une segmentation automatique de la prostate. La méthode se déroule suivant une approche hiérarchique en 3 étapes permettant d'intégrer efficacement différents types de connaissances a priori. Une première étape de pré-traitements permet la correction des très fortes inhomogénéités d'intensités caractéristiques des images IRM acquises par l'intermédiaire de sondes endorectales. Dans une seconde étape, l'anatomie du patient est mise en correspondance avec un atlas anatomique ; ce qui permet d'obtenir une première segmentation du rectum et de la prostate. Enfin, dans une dernière étape, deux modèles déformables évoluent successivement pour raffiner les segmentations précédemment obtenues. Dans un premier temps, le rectum est segmenté suivi de la prostate. L'intégration du rectum dans le processus de segmentation permet de contraindre l'évolution du modèle déformable de la prostate. L'atlas anatomique utilisé est construit grâce à un algorithme de recalage hybride permettant la mise en correspondance d'une population sur une référence. L'algorithme hybride en exploitant conjointement des informations géométriques et iconiques permet la construction d'atlas qui se sont avérés plus performants que ceux construits par un recalage iconique pur
In this thesis we focus on the development of tools for the automatic segmentation of the prostate gland in Magnetic Resonance Images. In a near future, these tools will be used to help clinicians for prostate brachytherapy. Our method is based on the use of both an anatomical atlas and deformable models to achieve an automatic segmentation. We use a hierachical approach composed of three steps. In the first step, a pre-processing of input images is performed to correct the inhomogeneity of images acquired with an endorectal MRI coil. In the second step, the target patient is registered onto an anatomical atlas ; this step allows for a first segmentation of the prostate and of the rectum. In the last step, two deformable models evolve to refine segmentations obtained in the previous step. The segmentation of the rectum is executed first. In a second time, a deformable model evolves to segment the prostate. The segmentation of the rectum is used to constrain the evolution of the prostate deformable model. The anatomical atlas is built using a hybrid registration method. The later both exploits geometric and intensity-based information for mapping a population onto a standard patient. We have shown that this strategy improves the accuracy of obtained automatic segmentations

APA, Harvard, Vancouver, ISO, and other styles

45

Martin, Sébastien. "Utilisation d'atlas anatomiques et de modèles déformables pour la segmentation de la prostate en IRM." Phd thesis, Université Joseph Fourier (Grenoble), 2008. http://tel.archives-ouvertes.fr/tel-00374342.

Full text

Abstract:

Le principal objectif de cette thèse est le développement d'outils permettant le contourage automatique de la prostate en IRM. Dans un futur proche, ces outils s'intègreront à des systèmes informatiques permettant d'assister le clinicien dans la réalisation du geste de curiethérapie de la prostate. Notre méthode se base sur l'utilisation d'un atlas anatomique et de modèles déformables pour réaliser une segmentation automatique de la prostate. La méthode se déroule suivant une approche hiérarchique en 3 étapes permettant d'intégrer efficacement différents types de connaissances a priori. Une première étape de pré-traitements permet la correction des très fortes inhomogénéités d'intensités caractéristiques des images IRM acquises par l'intermédiaire de sondes endorectales. Dans une seconde étape, l'anatomie du patient est mise en correspondance avec un atlas anatomique ; ce qui permet d'obtenir une première segmentation du rectum et de la prostate. Enfin, dans une dernière étape, deux modèles déformables évoluent successivement pour raffiner les segmentations précédemment obtenues. Dans un premier temps, le rectum est segmenté suivi de la prostate. L'intégration du rectum dans le processus de segmentation permet de contraindre l'évolution du modèle déformable de la prostate. L'atlas anatomique utilisé est construit grâce à un algorithme de recalage hybride permettant la mise en correspondance d'une population sur une référence. L'algorithme hybride en exploitant conjointement des informations géométriques et iconiques permet la construction d'atlas qui se sont avérés plus performants que ceux construits par un recalage iconique pur.

APA, Harvard, Vancouver, ISO, and other styles

46

Appert, Caroline. "Modélisation, Évaluation et Génération de Techniques d'Interaction." Phd thesis, Université Paris Sud - Paris XI, 2007. http://tel.archives-ouvertes.fr/tel-00539139.

Full text

Abstract:

La recherche en Interaction Homme-Machine a produit de nombreuses techniques d'interaction pour améliorer l'utilisabilité des applications graphiques alors que les produits industriels n'en tirent que très rarement profit. Ce constat est dû à un manque d'outils pour faire des choix informés et mettre en oeuvre ces choix. Cette thèse propose trois outils utilisables en synergie pour favoriser l'adoption de techniques d'interaction avancées, depuis l'imagination d'une technique jusqu'à son implémentation. Le premier outil, Complexity of Interaction Sequences (CIS), est un modèle pour décrire une technique d'interaction et prédire son efficacité dans un contexte d'utilisation donné. Le niveau d'abstraction élevé de CIS en fait un outil utilisable en amont de la conception et de l'évaluation afin de pouvoir envisager plusieurs techniques et apprécier leur efficacité à moindre coût. Le second outil, Touchstone, est une plateforme pour aider à la conception d'expérimentations contrôlées. Son aspect exploratoire et son architecture modulaire permettent la réutilisation et facilitent la réalisation d'expérimentations contrôlées. Touchstone est non seulement destinée aux évaluateurs, mais également aux concepteurs grâce à sa fonction d'entrepôt de résultats empiriques. Enfin, SwingStates est une boîte à outils qui introduit un modèle de dessin et des structures de contrôle adaptées à la programmation de techniques d'interaction avancées. SwingStates est une extension de Java Swing, une boîte à outils largement utilisée pour le développement d'interfaces graphiques, et offre ainsi de nouvelles possibilités au développeur tout en restant dans leur cadre de travail habituel.

APA, Harvard, Vancouver, ISO, and other styles

47

Mukhtar, Hamid. "Intergiciel pour la composition des tâches utilisateurs dans les environnements pervasifs étant donné les préférences utilisateurs." Phd thesis, Institut National des Télécommunications, 2009. http://tel.archives-ouvertes.fr/tel-00537308.

Full text

Abstract:

En raison du grand succès des réseaux sans _l et des appareils portatifs, le paradigme de l'informatique pervasive est devenu une réalité. L'un des plus di_ciles objectifs à atteindre dans de tels environnements est de permettre à l'utilisateur d'exécuter une tâche en composant à la volée, les services et les ressources de l'environnement. Cela implique la correspondance et la sélection automatique de services à travers divers dispositifs de l'environnement pervasif. Les approches existantes considèrent souvent seulement les aspects fonctionnels des services et ne prennent pas en compte diff érents aspects non-fonctionnels tels que les préférences utilisateur, les capacités des dispositifs en termes matériels et logiciels, et l'hétérogénéité du réseau de ces dispositifs. Nous présentons une approche pour la sélection dynamique des composants et des dispositifs dans un environnement pervasif en considérant simultanément tous les aspects précédemment mentionnés. Premièrement, nous proposons une modélisation abstraite et concrète de l'application, des capacités des terminaux et des ressources, des préférences des utilisateurs, ainsi que la modélisation de la plate-forme réseau sous-jacente. Les capacit és des dispositifs sont représentées par notre extension du modèle CC/PP et les préférences des utilisateurs en utilisant notre extension du modèle CP-Net. Nous mod- élisons sous forme d'un graphe la tâche de l'utilisateur et des services réseau sous-jacent, ainsi que les exigences des services, des préférences utilisateur et les capacités des dispositifs. L'hétérogénéité des protocoles de communication est également considérée dans les graphes. Les aspects algorithmiques ont été traités en fournissant des algorithmes pour la correspondance entre les services et les composants, pour la projection des applications sur la plate-forme de composants existants et pour l'évaluation des préférences utilisateurs. Pour la description de la composition de l'application nous proposons un modèle SCA étendu. Partant d'une composition abstraite de services, nous arrivons à réaliser une composition concrète de l'application distribuée à travers les dispositifs existants. Si pendant l'exécution un nouveau meilleur dispositif apparaît, l'application est recomposée en tenant compte des nouveaux composants. Cela permet de réaliser la continuité de la session d'un dispositif vers un autre. Une mise en oeuvre d'un prototype et son évaluation sont également fournis.

APA, Harvard, Vancouver, ISO, and other styles

48

Cho, Song Yean. "Efficace de diffusion de l'information sans fil multi-hop Réseaux." Phd thesis, Ecole Polytechnique X, 2008. http://pastel.archives-ouvertes.fr/pastel-00004228.

Full text

Abstract:

Many protocols and applications in wireless multi-hop networks indispensably use broad- casting to delivery messages to all nodes in a network. Wireless routing protocols such as DSR, AODV and ODRMP broadcast route discovery messages, and many application protocols exchange query and response messages by broadcasting. Hence, the eﬃciency of broadcasting is critical to eﬃciency of these wireless protocols. Eﬃcient wireless broadcast- ing is a topic that this thesis studies where eﬃciency is measured by the total transmission number to broadcast one unit data to the whole network. The study is done in two ways: extending classical methods and utilizing a novel method, network coding. Classical broadcasting protocols are based on store-and-forward routing that views pack- ets as atomic objects and lets a node store incoming packets in its local queue for some delay, before forwarding one or several copies of the packets to its neighbors. Among the classical broadcast protocols, the simplest and most widely used broadcast protocol is pure ﬂood- ing. Pure ﬂooding reliably provides total coverage of a network, but causes redundancy of packets, resulting in unnecessary collisions, and enormous ineﬃciency. To combat this inef- ﬁciency, many eﬃcient broadcast protocols have been studied using probabilistic algorithms such as a gossip protocol, or algorithms based on topology control such as a Multi-Point Relay (MPR) based protocol. These broadcast protocols have been successfully used in many wireless protocols standardized in IEEE 802.11 and IETF. One possible application of the broadcast protocols is wireless mesh networks standard- ized in 802.11Working Group S. The 802.11 mesh networks face challenges such as ineﬃcient broadcasting of so-called associated station information that is partially updated; there ex- ists redundancy between newly updated data and already broadcasted data. This thesis addresses these challenges by introducing an Association Discovery Protocol (ADP) that is combined with MPR-based broadcasting and integrated with an extension of an Optimized Link State Routing (OLSR) protocol for the 802.11 mesh networks. The results of analysis with modeling and simulation show that the protocol eﬀectively decreases control overhead. However, for continuous data traﬃc, there exists another possible broadcast solution, which could theoretically outperform the broadcast protocols with classical store-and-forward routing and would not require precise topology information. This solution is network coding. Theoretically, network coding enables an optimized solution for wireless broadcasting in a polynomial time, while it is NP-complete with classical store-and-forward routing and only approximation algorithms exist. Hence, broadcasting with network coding is, theoretically, at least as eﬃcient as any other broadcasting. This thesis focuses on utilizing network coding speciﬁcally as a practical solution for eﬃcient wireless broadcasting. For the practical solution, this thesis proposes simple al- gorithms based on intuitive rationale about optimal eﬃciency of wireless network coding. The eﬃciency of the proposed simple algorithms is theoretically analyzed, and proven to be asymptotically optimal. The eﬃciency also is experimentally analyzed and shown, in some examples, to outperform other broadcasting with classical store-and-forward routing. Finally, from these simple algorithms we derive a practical broadcasting protocol executing with a simple and eﬃcient coding method (that is, random linear coding). In addition, we propose a simple novel method for real-time decoding that could be combined with the practical network coding broadcasting protocol.

APA, Harvard, Vancouver, ISO, and other styles

49

Fila, Barbara. "Automates pour l'analyse de documents XML compressés, applications à la sécurité d'accès." Phd thesis, Université d'Orléans, 2008. http://tel.archives-ouvertes.fr/tel-00491193.

Full text

Abstract:

Le problème de l'extraction d'information dans des documents semi-structurés, du type XML, constitue un des plus importants domaines de la recherche actuelle en informatique. Il a généré un grand nombre de travaux tant d'un point de vue pratique, que d'un point de vue théorique. Dans ce travail de thèse, notre étude porte sur deux objectifs : 1. évaluation des requêtes sur un document assujetti à une politique de contrôle d'accès, 2. évaluation des requêtes sur un document pouvant être partiellement ou totalement compressé. Notre étude porte essentiellement sur l'évaluation des requêtes unaires, càd. sélectionnant un ensemble des noeuds du document qui satisfont les propriétés spéciées par la requête. Pour exprimer les requêtes, nous utilisons le XPath le principal langage de sélection dans les documents XML. Grâce à ses axes navigationels, et ses ltres qualicatifs, XPath permet la navigation dans des documents XML, et la sélection des noeuds répondant à la requête. Les expressions XPath sont à la base de plusieurs formalismes de requêtes comme XQuery, XSLT, ils permettent également de dénir les clés d'accès dans XML Schema et XLink, et de référencer les éléments d'un document externe dans XPointer.

APA, Harvard, Vancouver, ISO, and other styles

50

Kloukinas, Christos. "Composition of Software Architectures." Phd thesis, Université Rennes 1, 2002. http://tel.archives-ouvertes.fr/tel-00469412.

Full text

Abstract:

Les systèmes informatiques deviennent de plus en plus complexes et doivent offrir un nombre croissant de propriétés non fonctionnelles, comme la fiabilité, la disponibilité, la sécurité, etc.. De telles propriétés sont habituellement fournies au moyen d'un intergiciel qui se situe entre le matériel (et le système d'exploitation) et le niveau applicatif, masquant ainsi les spécificités du système sous-jacent et permettant à des applications d'être utilisées avec différentes infrastructures. Cependant, à mesure que les exigences de propriétés non fonctionnelles augmentent, les architectes système se trouvent confrontés au cas où aucun intergiciel disponible ne fournit toutes les propriétés non fonctionnelles visées. Ils doivent alors développer l'infrastructure intergicielle nécessaire à partir de rien, voire essayer de réutiliser les multiples infrastructures intergicielles existantes, où chacune fournit certaines des propriétés exigées. Dans cette thèse, nous présentons une méthode pour composer automatiquement des architectures d'intergiciels, afin d'obtenir une architecture qui fournit les propriétés non fonctionnelles visées. Pour arriver à l'automatisation de la composition, nous montrons d'abord comment on peut reformuler ce problème sous la forme d'un problème de model-checking. Cette reformulation donne une définition formelle au problème de la composition et nous permet de réutiliser les méthodes et outils qui ont été développés pour le model-checking. Nous présentons ensuite des améliorations à notre méthode de base, utilisées pour éviter le problème d'explosion d'états dans le cas de la composition d'architectures de grande taille. Nous montrons comment il est possible d'exploiter l'information structurelle, présente dans les architectures d'intergiciels que nous souhaitons composer, afin de réduire l'espace de recherche analysé. Ceci nous permet d'obtenir une méthode pour composer les architectures d'intergiciels qui peut être automatisée et donc utilisée en pratique. Nous proposons ainsi une solution à l'analyse systématique de différentes compositions et offrons un outil pour aider la construction de systèmes de qualité.

APA, Harvard, Vancouver, ISO, and other styles

Dissertations / Theses on the topic '[INFO'

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles