Segui questo link per vedere altri tipi di pubblicazioni sul tema: Système déclaratif.
Tesi sul tema "Système déclaratif"
Cita una fonte nei formati APA, MLA, Chicago, Harvard e in molti altri stili
Vedi i top-39 saggi (tesi di laurea o di dottorato) per l'attività di ricerca sul tema "Système déclaratif".
Accanto a ogni fonte nell'elenco di riferimenti c'è un pulsante "Aggiungi alla bibliografia". Premilo e genereremo automaticamente la citazione bibliografica dell'opera scelta nello stile citazionale di cui hai bisogno: APA, MLA, Harvard, Chicago, Vancouver ecc.
Puoi anche scaricare il testo completo della pubblicazione scientifica nel formato .pdf e leggere online l'abstract (il sommario) dell'opera se è presente nei metadati.
Vedi le tesi di molte aree scientifiche e compila una bibliografia corretta.
1
Nguyen, Phuong Lan. "Un système déclaratif de types pour PROLOG". Phd thesis, Grenoble INPG, 1992. http://tel.archives-ouvertes.fr/tel-00004731.
Testo completoAbstract (sommario):
Cette thèse présente un système de types pour le langage Prolog, intégrant la notion de mode, c'est-à-dire le degré d'instanciation des termes. Le type d'un prédicat est caractérisé par les types d'appel et de retour de ses arguments, ce qui permet d'en spécifier plus finement le comportement. Le système est déclaratif : l'utilisateur doit fournir les types de tous les prédicats. Un langage de types est défini, permettant d'exprimer la notion de polymorphisme paramétrique, ainsi que la relation d'inclusion entre types. Une condition suffisante de bon typage est présentée et validée théoriquement. Cette condition permet de vérifier qu'un programme a un comportement compatible avec les spécifications de types de ses prédicats. Un prototype du système a été réalisé, permettant une validation pratique de la condition de bon typage.
2
Plaice, John. "Sémantique et compilation de LUSTRE, un langage déclaratif synchrone". Grenoble INPG, 1988. http://www.theses.fr/1988INPG0032.
Testo completoAbstract (sommario):
Le langage étudie est un langage de programmation des systèmes temps réel fonde sur une interprétation synchrone des réseaux a flux de données. Son compilateur a été conçu entièrement à partir de descriptions formelles de la sémantique du langage. L'originalité principale du compilateur est qu'il tient d'une part aux vérifications statiques de cohérence temporelle et d'autre part à la génération de code séquentiel, par synthèse du contrôle sous forme d'automate fini
3
Channac, Stéphance. "Conception et mise en oeuvre d'un système déclaratif de géométrie dynamique". Université Joseph Fourier (Grenoble), 1999. http://tel.archives-ouvertes.fr/tel-00004819.
Testo completoAbstract (sommario):
Cette thèse a pour objet de montrer la faisabilité d'un système de "géométrie dynamique déclarative". Un tel système, GDRev (pour Géométrie Déclarative Réversible) a été conçu et réalisé, dans l'optique de l'enseignement de la géométrie. D'un point de vue conceptuel, GDRev repose sur la définition d'un langage logique, ELDL (pour Extented Logical Description Language), pour l'expression de spécifications de "figures" (l'objet mathématique sous-jacent à un dessin) : il intègre la possibilité de spécifications modulaires et récursives, via l'usage de "clauses". Au niveau dessin, GDRev est pourvu d'un langage de construction et d'animation dont la sémantique est définie à l'aide de ELDL. L'interface, qui peut être vu comme une extension déclarative de celle de Cabri-Géomètre, doit assurer, d'une façon originale, d'une part des fonctionnalités équivalentes par manipulation directe sur la figure et sur le dessin, d'autre part un invariant imposant la cohérence temporelle entre figure et dessin. D'un point de vue algorithmique, GDRev résout les contraintes géométriques par "coopération de solveurs" reposant sur un schéma de "programmation concurrente avec contraintes". Trois résolveurs généraux (linéaires, quadratiques, intervalle) coopèrent avec trois résolveurs spécifiques et originaux : complétion d'objets (créant automatiquement des objets), complétion de propriétés (ajoutant automatiquement des propriétés redondantes à la figure), règle et compas (calculant une construction optimisée de la figure pour l'animation du dessin). D'un point de vue pratique, GDRev est réalisé par interopérabilité entre les interfaces écrites en Visual C++ et le résolveur de contraintes géométriques écrit en Prolog IV. Les expérimentations réalisées ont donné des résultats encourageants en particulier en ce qui concerne le choix des heuristiques utilisées.
4
Lavergne-Boudier, Valérie. "Système dynamique d'interrogation des bases de données bibliographiques". Paris 7, 1990. http://www.theses.fr/1990PA077243.
Testo completoAbstract (sommario):
Les bases de données bibliographiques répondent à des protocoles d'organisation très formels qui vont de pair avec des méthodes d'interrogation rigides. Cette étude propose de nouvelles méthodes d'interrogation qui prennent en compte le point de vue de l'utilisateur et son modèle personnel d'organisation et de représentation des connaissances. La requête se fait à partir de la structuration des données disponibles de la base de données bibliographique, sous forme de cartes cognitives. Les cartes cognitives sont des représentations personnalisées de connaissances dans lesquelles sont définies des conditions d'apparition de concepts selon des modèles booléens. Une carte cognitive permet d'exploiter un fonds bibliographique de façon nouvelle, en se présentant comme une grille d'analyse définie spécifiquement pour répondre à une question donnée. Elle permet également d'exploiter des coïncidences partielles qui permettent de révéler de l'information en émergence.
5
Makris, Dimitrios. "Etude et réalisation d'un système déclaratif de modélisation et de génération de styles par algorithmes génétiques : Application à la création architecturale". Limoges, 2005. http://www.theses.fr/2005LIMO0037.
Testo completoAbstract (sommario):
Dans ce mémoire nous étudions la possibilité d'introduire le concept de style dans la modélisation déclarative afin de faciliter la conception architecturale pendant la phase conceptuelle. Pour étudier une telle hypothèse, une méthodologie de la phase de conception architecturale utilisant le style a été développée. La méthode est placée dans le cadre de la modélisation déclarative et des algorithmes évolutionnaires. En particulier nous développons le cadre de modélisation des connaissances architecturales. Nous proposons une modélisation du style dans le cycle de conception déclaratif et un moteur de génération de solutions basé sur un algorithme génétique multi-objectif. Le résultat est le système prototype de conception déclarative évolutionnaire-MultiCAD d'aide à la conception architecturale. La méthode résultante permet de quantifier avec succès des critères qualitatifs esthétiques d'un bâtiment. Notre système constitue un outil de conception esthétique assisté par ordinateur. In this thesis we study the possibility to introduce the concept of style in declarative modelling in order to aid architectural design during the conceptual phase. In order to study such a hypothesis we have develop a methodology of architectural conceptual design utilising style. The method is based in the frame of declarative modelling, and evolutionary algorithms. In particular, we develop a framework for the modelling of architectural knowledge. We define a model of style based on the declarative conceptual cycle. Moreover we develop a new engine for the generation of solutions. This engine is based on multiobjective genetic algorithms. The result is a system prototype for Evolutionary Declarative Design-MultiCAD for the aid of conceptual architectural design. The resulted method could successfully quantify aesthetic qualitative criteria of a building. Our system points towards a computer aided aesthetic design tool
6
Ahmad, Kassem Ahmad. "Programming Networks with Intensional Destinations". Phd thesis, INSA de Lyon, 2013. http://tel.archives-ouvertes.fr/tel-00908354.
Testo completoAbstract (sommario):
La programmation distribuée est une tâche difficile. Elle a énormément gagné en importance avec le développement des réseaux qui supportent un nombre croissant exponentiellement d'applications. Les systèmes distribués fournissent des fonctionnalités assurées par les noeuds qui forment un réseau et échangent des données et services, éventuellement par le biais de messages. La provenance du service n'est souvent pas pertinente, alors que sa fiabilité est essentielle. Notre objectif est de fournir un nouveau modèle de communication qui permet de spécifier intentionnellement lequel service est demandé, et non les noeuds qui le fournissent. Cette spécification intentionnelle des échanges offre un potentiel pour faciliter la programmation distribuée, garantir la persistance des données dans les messages et la résilience des systèmes, qui constituent le sujet de cette thèse. Nous proposons donc un cadre qui supporte des messages avec destinations intentionnelles, qui sont évaluées uniquement à la volée au fur et à mesure du déplacement des messages. Nous introduisons un langage, Questlog, qui gère les destinations intentionnelles. Contrairement aux langages à base de règles existants pour les réseaux, comme Datalog, qui suivent le mode push, Questlog permet d'exprimer des stratégies complexes afin de récupérer de manière récursive des données distribuées en mode pull. Le langage fonctionne sur une machine virtuelle qui s'appuie sur un SGBD. Nous démontrons l'approche avec des exemples pris dans deux domaines: (i) les architectures orientées données, où une classe restreinte d'applications client-serveur sont distribuées de manière transparente sur les systèmes pair-à-pair basés sur une DHT, (ii) les réseaux de capteurs sans fil, où un protocole de groupement des noeuds en clusters virtuels est proposé pour agréger les données. Dans ce protocole, les chefs des clusters sont élus à l'aide des destinations intentionnelles. Nos simulations sur la plate-forme QuestMonitor montrent que cette approche offre une simplicité, une modularité aux protocoles, ainsi qu'une fiabilité accrue.
7
Roncancio, Claudia Lucia. "Règles actives et règles déductives dans les bases de données à objets". Université Joseph Fourier (Grenoble), 1994. http://www.theses.fr/1994GRE10240.
Testo completoAbstract (sommario):
L'objectif de cette thèse est l'enrichissement d'un système de gestion de bases de données à objets (SGBDO) par l'intégration de certaines fonctions typiquement remplies par des langages de règles. Plus précisément, nous nous sommes intéressés à l'intégration de règles actives dans un système à objets, afin de lui conférer la capacité de réagir à des situations particulières. Nous avons travaillé cet aspect en profondeur et nous proposons un modèle de règles actives qui tient pleinement compte des spécificités du contexte objet. Nous avons étudié l'approche langage de programmation pour base de données (LPBD) et l'intégration des règles actives dans un tel langage. Ceci a été validé par l'application de notre modèle de règles au LPBD orienté objet Peplom, pour lequel nous proposons les éléments nécessaires à une intégration harmonieuse du point de vue du modèle de données, du langage proprement dit ainsi que de sa mise en œuvre. Ceci constitue la partie principale de notre travail. Une deuxième partie de cette thèse, plus prospective et complémentaire à la première, porte sur l'intégration de règles déductives dans ce même contexte. Nous nous intéressons ici à des règles propres aux bases de données déductives, dont le principal objectif est de fournir un langage à la fois déclaratif et puissant pour la déduction d'information. Ces caractéristiques, fortement appréciées pour la manipulation de données, sont absentes de la plupart des LPBD des systèmes à objets et ne sont pas non plus les traits essentiels des règles actives telles que nous les proposons. Face à cette constatation, nous proposons l'intégration d'un langage de règles déductives à un langage de programmation essentiellement impératif
8
Niang, Papa Maleye. "Langage déclaratif pour la détection d'intrusions". Thesis, Université Laval, 2014. http://www.theses.ulaval.ca/2014/30523/30523.pdf.
Testo completoAbstract (sommario):
Ce mémoire présente un langage déclaratif de description de scénarios et de modèles d’attaques, ainsi qu’un moteur de détection qui lui est associé. Le langage s’inspire fortement de l’état de l’art dans le domaine des IDS (système de détection d’intrusions) et il s’approprie les qualités de plusieurs de ses références telles que LTL, Snort, Lambda, ou Chronicle. Il représente aussi une évolution majeure de la première version introduite dans un précédent travail, dans le sens où nous avons introduit de nouveaux opérateurs, nous avons associé une sémantique formelle au langage, ainsi qu’un système de règles de réécriture permettant le calcul d’une forme normale ; nous offrons aussi la possibilité de définir des modèles d’attaques. Les modèles étant différents des scénarios, le comportement du moteur de détection a été enrichi, augmentant l’expressivité du langage par rapport à sa version initiale.
9
Dragonas, Jean. "Modélisation déclarative collaborative : systèmes collaboratifs pour la modélisation déclarative en synthèse d'image". Limoges, 2006. http://aurore.unilim.fr/theses/nxfile/default/8981cb7b-81c5-4bfb-9e01-33b2f5f36ab7/blobholder:0/2006LIMO0027.pdf.
Testo completoAbstract (sommario):
Ce mémoire contribue au développement de systèmes collaboratifs de modélisation déclarative par décomposition hiérarchique en synthèse d’images. Nous avons étudié dans un premier temps les systèmes actuels qui existent dans le domaine de la conception collaborative basée sur Internet et sur les technologies Web. Ensuite, nous avons développé un modèle d’utilisateur et de processus de modélisation collaborative déclarative. Puis un mécanisme de collaboration pendant la phase de description déclarative de scènes a été développé, basé sur la gestion de l’arbre de décomposition de la scène et du contenu sémantique du modèle déclaratif. Une méthode et des outils appropriés de gestion de projets en Modélisation Déclarative Collaborative ont été développés, focalisés sur le support du processus d’administration des flux de travailThis thesis is concerned with the contribution to the development of collaborative systems for declarative modelling by hierarchical decomposition in image synthesis. Initially, we have studied the existing systems in the field of collaborative design based on Internet and Web technologies. Next, we have developed user models and collaborative processes for declarative modelling. A mechanism for collaboration during the phase of declarative description of scenes has been developed, based on the management of the decomposition tree of the scene and the semantic contents of the declarative model. Finally, a method and the appropriate tools for project management in Collaborative Declarative Modelling have been developed, focused on the administration support of the process workflow
10
Michel, Olivier. "Représentations dynamiques de l'espace dans un langage déclaratif de simulation". Phd thesis, Université Paris Sud - Paris XI, 1996. http://tel.archives-ouvertes.fr/tel-00305731.
Testo completoAbstract (sommario):
Les travaux de recherche effectués dans cette thèse s'inscrivent dans le cadre du projet 81/2 qui développe des structures de données et de contrôle expressives et efficaces pour la simulation de systèmes dynamiques. L' objectif de ce travail est de concevoir, étudier et développer des représentations dynamiques de l'espace dans un cadre déclaratif.Nos travaux ont consisté à introduire dans 81/2 deux nouvelles structures de données, les GBF et les amalgames, en proposant une formalisation et en étudiant leur implémentation. Les GBF permettent de représenter des espaces réguliers et homogènes, tandis que les amalgames permettent de construire, par calcul, des espaces hétérogènes et ad-hoc. Ces deux nouvelles notions trouvent directement leur application dans le domaine de la simulation des systèmes hautement dynamiques (comme par exemple les processus de croissance en biologie). Elles trouvent aussi une application directe en informatique classique, en fournissant un nouveau cadre théorique pour 1) la spéciffication, l'analyse et l' implémentation de données récursives (les GBF permettent en particulier de considérer les arbres et les tableaux dans le même cadre théorique) ; 2) la conception et la formalisation des nouveaux mécanismes de programmation incrémentielle qui commencent à apparaître dans des langages tels que Java (les amalgames permettent en particulier de conjuguer à la fois un mécanisme d' instanciation par capture implicite et d'extension des programmes). GBF et amalgames sont d'abord étudiés pour eux-mêmes puis sont introduits et intégrés au langage déclaratif 81/2 pour donner lieu à la déffinition du langage 81/2D .
Nous avons montré, par de nombreux exemples signifficatifs, la pertinence des choix effectués. Ceux- ci mettent en évidence le gain en expressivité apporté par l'enrichissement de la notion d'espace, et des primitives permettant la déffinition d'objets sur ces espaces. Les notions de GBF et d'amalgame permettent la déffinition, de façon extrêmement concise, de structures de données régulières et irrégulière, dans un cadre déclaratif, et ouvrent de nouvelles voies pour la paramétrisation et la construction incrémentielle de programmes.
11
Cracco, Amélie. "Les cοnséquences du Brexit sur la liberté de circulatiοn des persοnnes". Electronic Thesis or Diss., Normandie, 2024. http://www.theses.fr/2024NORMR073.
Testo completoAbstract (sommario):
Conformément à l’engagement pris par le parti conservateur , la victoire du Leave à l’occasion du référendum sur l’appartenance du Royaume-Uni à l’Union européenne a entraîné la mise en œuvre de la procédure prévue à l’article 50 du Traité sur l’Union européenne. Le retrait du Royaume-Uni de l’Union européenne a surtout posé la question de la relation future entre les deux entités. La prééminence dont la libre circulation des personnes a fait l’objet lors de la campagne référendaire a invité Londres à envisager les différents scenarii à l’aune des possibilités offertes en matière de maîtrise des mouvements en provenance des États membres. Elles se ramenaient à une alternative : aménager la libre circulation des personnes en faisant usage des marges de manœuvre que le statut de pays tiers devait permettre de dégager, ou, au contraire, la démanteler. Le premier terme s’accommodait mal de la recherche de souveraineté telle qu’elle a été exprimée lors de la campagne référendaire. À travers la mise en œuvre du second, le gouvernement britannique entendait faire montre de sa capacité à tirer les conséquences du retrait dans le calendrier contraint de la sortie et à normaliser la relation avec l’Union européenne en alignant le traitement des citoyens de l’Union européenne et des membres de leur famille sur le droit commun des étrangers. En l’absence de droits acquis, cette entreprise nécessitait qu’un régime transitoire soit mis en place qui permette aux personnes qui ont exercé leur droit à la libre circulation et dont la situation était en cours de pouvoir continuer à en bénéficier.Au Royaume-Uni, l’alignement sur le droit commun n’a pas été opéré sans que ne soient apportées certaines adaptations. Il a d’abord donné lieu à une libéralisation du système d’immigration qui visait principalement à prémunir le marché de l’emploi dynamique et flexible contre l’apparition de carences qui pourraient le déstabiliser. Mais l’augmentation de l’immigration en provenance de pays tiers à l’Union européenne qui en est résultée a eu pour conséquence de soumettre l’entrée et le séjour des citoyens de l’Union européenne et des membres de leur famille à des conditions qui sont progressivement devenues plus restrictives encore. La logique de réciprocité dans laquelle s’inscrit cet alignement a abouti à un double phénomène : la régression des droits et la redistribution des perspectives de mobilité croisée entre, d’une part, l’Union européenne et ses États membres et, d’autre part, le Royaume-Uni. Malgré l’ambition poursuivie, l’alignement est toutefois demeuré incomplet. Le pragmatisme a en effet commandé de laisser subsister un traitement qui demeure à certains égards préférentiel. Il témoigne d’une volonté de préserver une relation essentiellement commerciale désormais et il connaît une exception notable avec l’Irlande, le Royaume-Uni n’ayant eu de cesse de réaffirmer son attachement à la Zone de voyage communeIn accordance with the commitment made by the conservative party, the Leave victory in the referendum on the United Kingdom's membership of the European Union triggered the procedure set out in Article 50 of the Treaty on European Union. Above all, the United Kingdom's withdrawal from the European Union raised the question of the future relationship between the two entities. The prominence given to free movement of people during the referendum campaign prompted London to consider the various scenarios in the light of the possibilities offered in terms of controlling movements from Member States. They came down to an alternative: either to adapt free movement of people or to dismantle it. The first option did not fit well with the quest for sovereignty expressed during the campaign. Through the implementation of the second, the British government intended to demonstrate its ability to draw the consequences of withdrawal within the constrained timetable of the exit and to normalise relations with the European Union by bringing the treatment of EU citizens and their family members into line with the ordinary law on foreign nationals. In the absence of acquired rights, this undertaking required a transitional regime to be put in place to enable people who had exercised their right to free movement and whose situation was ongoing to continue to benefit from it.In the United Kingdom, alignment with ordinary law was not achieved without adaptations. It first led to a liberalisation of the immigration system, the main aim of which was to protect the dynamic and flexible labour market from deficiencies that could destabilise it. However, the consecutive increase in immigration from non-EU countries resulted in further restrictions of the conditions that the entry and residence of EU citizens and their family members has been subject to. The logic of reciprocity behind this alignment has led to a twofold phenomenon : loss of rights and redistribution of prospects for cross-mobility between, on the one hand, the European Union and its Member States and, on the other, the United Kingdom. Despite the ambition pursued, alignment has nevertheless remained incomplete. Pragmatism called for a preferential treatment in certain respects, which reflects a desire to preserve an essentially commercial relationship. The case of Ireland, where the United Kingdom has consistently reaffirmed its attachment to the Common Travel Area, is a noteworthy exception
12
Jouve, Wilfried. "Approche déclarative pour la génération de canevas logiciels dédiés à l'informatique ubiquitaire". Phd thesis, Université Sciences et Technologies - Bordeaux I, 2009. http://tel.archives-ouvertes.fr/tel-00402605.
Testo completoAbstract (sommario):
Les applications ubiquitaires évoluent dans des environnements plus hétérogènes et plus dynamiques que ceux des systèmes distribués traditionnels. La criticité des domaines applicatifs impliqués et la vocation non intrusive de l'informatique ubiquitaire exigent de garantir la robustesse des applications avant et pendant leur déploiement en situation réelle. Les solutions proposant de gérer la dynamicité des environnements ubiquitaires offrent des canevas de programmation dont la généricité ne permet pas de garantir la fiabilité des applications développées. D'autres solutions permettent davantage de vérifications en assurant, par exemple, l'intégrité des communications. Cependant, ces vérifications, telles que proposées dans ces solutions, empêchent la prise en compte de la dynamicité, indispensable à la mise en oeuvre d'applications ubiquitaires. Dans cette thèse, nous proposons un canevas logiciel visant à concevoir, développer, vérifier et tester les applications ubiquitaires avant leur déploiement en environnements réels. Notre approche repose sur des spécifications haut niveau des applications cibles. Chaque spécification, écrites dans le langage DIASPEC, est analysée, vérifiée et compilée par le compilateur DIASPEC qui génère un canevas logiciel dédié, incluant un canevas de programmation et un canevas de simulation. Les canevas de programmation générés fournissent du support pour la programmation d'applications ubiquitaires. Ils garantissent l'intégrité des communications tout en permettant la gestion de la dynamicité des environnements ubiquitaires. Les canevas de simulation générés fournissent du support pour le test des applications ainsi développées. Les contributions de cette thèse sont les suivantes :– Nous proposons l'approche DIAGEN qui permet, à partir de spécifications d'architectures logicielles ubiquitaires, de générer du support de programmation et un ensemble de vérifications dédiés au développement d'applications ubiquitaires. Ces spécifications reposent sur un langage déclaratif, appelé DIASPEC, qui permet de décrire les types de services composant les applications ubiquitaires cibles. Le compilateur DIASPEC vérifie la cohérence des spécifications et génère, à partir de celles-ci, des canevas de programmation dédiés. Les canevas de programmation générés garantissent l'intégrité des communications d'applications dynamiques.
– Nous avons développé DIASIM, un simulateur pour tester à l'exécution, le comportement des applications développées avec l'approche DIAGEN. DIASIM permet de tester les applications sans les modifier et d'intégrer incrémentalement des services réels dans les scénarios de simulation.
– Nous avons montré que l'approche DIAGEN permet davantage de vérifications statiques tout en gérant la dynamicité des environnements ubiquitaires et en permettant une plus grande concision des applications développées. Nous avons analysé les canevas de programmation générés pour la gestion de réunion, l'immotique et la téléphonie.
13
Iksal, Sébastien. "Spécification déclarative et composition sémantique pour des documents virtuels personnalisables". Paris, EHESS, 2002. http://www.theses.fr/2002EHES0144.
Testo completoAbstract (sommario):
Le Document Virtuel Personnalisable est une approche intéressante pour personnaliser, réutiliser et automatiser l’accès à l’information. Un DVP compose dynamiquement un document réel à partir d’informations provenant de sources diverses qui satisfont au mieux à des besoins utilisateurs. En effet, les utilisateurs ne sont pas tous intéressés par les mêmes informations, ils n’ont pas les mêmes attentes, acquis et connaissances. Toutes ces caractéristiques sont représentées au sein d’un modèle utilisateur. Nous proposons une approche de conception de DVP qui repose d'une part sur un principe de spécification déclarative des processus de sélection, d’organisation et d’adaptation par un auteur, ce qui renforce la cohérence sémantique du document généré, et d’autre part sur un principe de composition d’un hypermédia pour un lecteur particulier. Cette approche est fondée sur quatre ontologies. Il s’agit d’une approche qui repose sur la réutilisation de fragments d’information et qui est elle-même réutilisableThe Adaptive Virtual Document is a very convenient approach to adapt, reuse and automate information access on the Web. An AVD creates a real document on the fly with informations coming from various sources and according to user’s needs. Every users are not concerned by the same information, they don’t have the same objectives, experience, background and knowledge. All theses user’s features are represented in a user model. We propose a new approach for AVD in two parts. First, an author creates a generic document which is a declarative specification for the processes of selection, organization and adaptation, this author oriented specification increases the semantic coherence of a document. Next, the system composes on the fly an hypermedia from this generic document and according to a particular reader. This approach is based on four ontologies. Our approach is based on the reusability of information on the Web, and it was thought in order to be reusable in different contexts
14
Martel, Guillaume. "Mémoire déclarative et mémoire procédurale : quand et comment s'opère la sélection du système de mémoire adapté ?" Bordeaux 1, 2006. http://www.theses.fr/2006BOR13234.
Testo completoAbstract (sommario):
Les phénomènes de consolidation permettant le maintien d'informations ont pour support des cascades moléculaires ayant un rôle spécifique dans les processus mnésiques. Ainsi, bien que la voie AMPc/PKA/CREB semble nécessaire à la consolidation d'informations, une augmentation de l'activité de cette voie est observée dans des structures mnésiques non nécessaires au stockage d'un type d'information donné. Ce travail de thèse a consisté à préciser le rôle de cette augmentation d'activité lors des processus de consolidation. L'étude de la cinétique de phosphorylation de CREB dans l'hippocampe (Hpc) et le striatum (Str) a révélé que l'Hpc développe une activité biphasique avec un pic précoce et un pic tardif. Les études pharmocologiques ont révélé que seule la phase tardive d'activité est critique pour la sélection du système de mémoire adapté. Le Str présente une activité monophasique avec un pic précoce et transitoire, les effets des modifications de la voie AMPc/PKA/CREB étant différents en fonction de la partie du Str considérée, au moment de l'intervention et du type d'information traité. L'implication différentielle de 2 isoformes d'adénylyl-cyclase dans l'Hpc lors de la consolisation d'informations procédurales et relationnelles a été révélée, caractérisant ainsi l'augmentation de l'activité de la voie AMPc/PKA/CREB lors de la consolidation de ces deux types d'informations. Ce travail suggère que les phénomènes de consolisation permettent la sélection du système de mémoire adapté et qu'un fonctionnement particulier de l'Hpc oriente la stratégie comportementale vers une modalité relationnelle ou procédurale. De plus, la réalisation de l'épreuve modifié en direct ces processus de consolisation, permettant d'adapter la stratégie comportementale. Il faut donc considérer les phénomènes de Consolidation comme des mécanismes flexibles intervenant dans la configuration du réseau cérébral mnésique, permettant une adaptation appropriée à l'environnement.
15
Julien, David. "Goliath : un environnement à base de modèles et d'agents pour la conception d'interfaces utilisateur". Paris 6, 2004. http://www.theses.fr/2004PA066171.
Testo completo
16
Golfinopoulos, Vassilios. "Étude et réalisation d’un système de rétro-conception basé sur la connaissance pour la modélisation déclarative de scènes". Limoges, 2006. http://aurore.unilim.fr/theses/nxfile/default/703547fa-495c-4c51-b75f-029c56a65c17/blobholder:0/2006LIMO0015.pdf.
Testo completoAbstract (sommario):
La modélisation déclarative permet au concepteur de décrire, sans devoir définir les propriétés géométriques, une scène en précisant ses propriétés qui peuvent être imprécises et incomplètes. La modélisation déclarative par décomposition hiérarchique est une approche spéciale qui donne à l'utilisateur la capacité de décrire une scène par décomposition descendante (de haut en bas) à différents niveaux de détail. L'architecture du système MultiCAD met en application la modélisation déclarative par décomposition hiérarchique, elle accepte une description déclarative, elle produit un ensemble de solutions géométriques qui rencontrent la description et elle visualise les solutions par un modeleur géométrique. Le but de ce travail est d’établir le processus de rétro-ingénierie par le système RS-MultiCAD, qui est un système basé sur la connaissance, afin de coupler un modeleur déclaratif avec un modeleur géométrique classique. Le cycle de conception déclaratif de la modélisation déclarative est prolongé, afin d'inclure le processus de rétro-conception, en introduisant la phase de reconstruction et le processus itératif de conception qui est supportée par ordinateur. Pendant la phase de reconstruction, le système RS-MultiCAD reçoit une solution géométrique choisie, qui est sémantiquement comprise, il permet au concepteur d'effectuer des modifications géométriques et topologiques sur la scène et débouche sur une description déclarative qui incarne les modifications du concepteur. Cette description déclarative résultante mène à des solutions plus prometteuses et réduit l'espace initial de solutionsDeclarative modelling allows the designer to describe a scene, without the need to define the geometric properties, by specifying its properties which can be imprecise and incomplete. Declarative modelling by hierarchical decomposition is a special approach which gives the user the ability to describe a scene by top-down decomposition at different levels of detail. The MultiCAD system architecture implements the declarative modelling by hierarchical decomposition, accepting a declarative description, generating a set of geometric solutions that meet the description and visualizing the solutions through a geometric modeller. The aim of the present work is to settle the reverse engineering process through the RS-MultiCAD system, which is a knowledge-based system, in order to couple a declarative with a traditional geometric modeller. The declarative conception cycle of declarative modelling is extended, in order to include the reverse engineering process, by introducing the reconstruction phase and the iterative design process becomes automated. During the reconstruction phase, RS-MultiCAD receives a selected geometric solution, which is semantically understood, permits the designer to perform geometric and topological modifications on the scene and results a declarative description which embodies the designer modifications. That resultant declarative description leads to more promising solutions and reduces the initial solution space
17
Meller, Alain. "Apsis : un système pour l'expression de connaissances décisionnelles en robotique". Paris 11, 1985. http://www.theses.fr/1985PA112153.
Testo completoAbstract (sommario):
La modélisation de la fonction décision d'un robot ou d'un système robotique évolue a donne lieu a des travaux qui se sont le plus souvent attachés à la problématique de la génération de plans d'actions et ont considéré le contrôle d'exécution de ces plans de façon secondaire. Cette approche a quelque peu situe cette fonction décision dans un cadre "hors ligne" ou tout au moins en recul par rapport a la phase "action" du robot. Si cette approche a ses succès pour différents problèmes, elle a révélé ses faiblesses partout ou planification et exécution sont étroitement liées, en particulier en robotique, ou de nombreuses connaissances décisionnelles peuvent être exploitées dynamiquement. Il est apparu alors qu'il fallait au préalable définir un cadre d'expression et d'exploitation pour de telles connaissances. L'objectif de ce travail est de souligner les motivations et de décrire le système APSIS qui constitue un tel cadre. Ce système est basé sur la méthodologie des systèmes de productions et constitue un moteur d'inférences dont on précisera les fonctionnalités et dont on illustrera l'utilisation à l'aide d'exemples. Enfin, un manuel d'utilisation d'APSIS figure en annexe à cette thèse.
18
Miaoulis, Georges. "Contribution à l'étude des systèmes d'information multimédia et intelligent dédiés à la conception déclarative assitée par l'ordinateur : Le projet MultiCAD". Limoges, 2002. http://www.theses.fr/2002LIMO0060.
Testo completoAbstract (sommario):
Notre étude porte sur les systèmes de conception d'entités physiques complexes (susceptibles d'être décomposées) et vise à étudier l'architecture d'un système d'information intelligent et multimédia pour la conception assistée par ordinateur. La méthodologie de conception adoptée est celle de la modélisation déclarative de scènes (en tant que représentations mentales des entités physiques) et en particulier la modélisation déclarative par décomposition hiérarchique qui répond à la complexité structurelle de ces entités. Le champ d'application de ces systèmes de conception est vaste, il couvre des domaines comme l'architecture , l'urbanisme, les arts décoratifs, la composition d'images, l'ingénierie (mécanique, génie civil), etc. La méthodologie de cette étude repose sur la modélisation des composants de ce système (modèles utilisateurs, modèles de processus et de mécanismes cognitifs ou de cycles de vie de conception, modèles des informations et des connaissances) pour proposer un cadre d'architecture logicielle qui comporte les spécifications et la structure de ces composants, et des bases de données et de connaissances. Ce cadre nommé "MultiCAD" est testé par le développement d'une série de logiciels prototypes. Les résultats de cette recherche, ainsi que les futurs travaux envisagés sont discutés au dernier chapitre de cette thèseThis study is concerned with design systems of decomposable complex physical entities aiming to studying the architecure of an intelligent multimedia information system for computer-aided design
19
Baligand, Fabien. "Une approche déclarative pour la gestion de la qualité de service dans les compositions de service". Phd thesis, École Nationale Supérieure des Mines de Paris, 2008. http://tel.archives-ouvertes.fr/tel-00308934.
Testo completoAbstract (sommario):
L'avènement des architectures orientées service tend à promouvoir un style d'architecture logicielle où des services, exposant des fonctionnalités accessibles à l'aide de protocoles hautement standardisés sont composés avec un couplage lâche. Dans un tel contexte où les services sont aisément amenés à être remplacés ou utilisés par un grand nombre d'utilisateurs, la notion de Qualité de Service (QdS), qui s'intéresse à la qualité de la relation entre un service et ses clients, constitue un enjeu majeur. La QdS regroupe diverses préoccupations telles que la sécurité, la garantie de livraison, la performance (temps de réponse ou accessibilité) ou encore le coût. Bien qu'il existe déjà d'importants travaux autour des compositions de services, qui ont notamment permis l'élaboration du standard BPEL4WS, le problème de la gestion de la QdS dans les compositions de services manque de solution flexible, réutilisable et offrant un degré d'abstraction approprié.L'objectif de cette thèse est de faciliter la gestion de la QdS dans les compositions de services en s'appuyant sur une meilleure séparation des préoccupations. Pour cela nous proposons QoSL4BP, un langage dédié qui permet la spécification de politiques de QdS à l'échelle des compositions de services. Ces politiques gèrent des contraintes et des mécanismes de QdS statiquement et dynamiquement à l'aide d'un ensemble limité de primitives de haut niveau. En encapsulant l'expertise liée au domaine de la gestion de QdS et en offrant une expressivité de haut niveau, le langage QoSL4BP permet une spécification aisée, flexible et réutilisable de la gestion des contrats de QdS et des mécanismes liés à la QdS. Ce langage est mis en œuvre par notre plateforme ORQOS qui coopère de manière non intrusive avec les moteurs d'orchestration. Ainsi, au moment du déploiement d'une composition de services, ORQOS sélectionne les services de la composition, selon leurs offres de QdS et les exigences spécifiées dans les politiques QoSL4BP. A l'exécution, les politiques QoSL4BP permettent de réagir aux variations de QdS et de mettre en œuvre des mécanismes liés à la gestion de QdS. Deux scénarii, appartenant respectivement aux domaines des télécommunications et du médical, permettent de valider l'approche proposée.
20
Plemenos, Dimitrios. "Contribution à l'étude et au développement des techniques de modélisation, génération et visualisation de scènes : le projet multiformes". Nantes, 1991. http://www.theses.fr/1991NANT2041.
Testo completoAbstract (sommario):
Après une brève présentation des techniques classiques en modélisation, génération et visualisation de scènes, l'insuffisance de ces techniques est mise en évidence. Une nouvelle démarche, la démarche déclarative, est proposée, permettant la création et la visualisation de scènes à partir de la description de leurs propriétés
21
Bardis, Georgios P. "Apprentissage et aide à la décision pour la modélisation déclarative de scènes : acquisition et gestion des préférences morphologiques dans le cadre d'un environnement de conception". Limoges, 2006. http://aurore.unilim.fr/theses/nxfile/default/393ea46e-a652-4333-8dbd-1c30f992d37d/blobholder:0/2006LIMO0028.pdf.
Testo completoAbstract (sommario):
The Declarative Modelling methodology offers the designer the ability to describe an object or an environment using abstract terms instead of explicit values for concrete geometric properties. The major advantage of this approach, especially during early-phase design, is that it allows concentration on characteristics which are closer to human intuition. Moreover, it may yield acceptable geometric representations not originally conceived by the designer. On the other hand, its main disadvantage stems from the fact that a moderate declarative description generally leads to a large number of alternative geometric representations, all legitimate solutions, in the sense of compliance with the submitted description, yet not equally preferable on behalf of the designer. The aim of the current work has been the study and implementation of a methodology for the acquisition and representation of the designer’s preferences in the form of a computational model. Such a model should be capable of providing a declarative design environment with intelligent behaviour features with respect to user preferences. The herein proposed and implemented methodology combines elements from the areas of machine learning and decision support offering two respective preference models. The core of the former is an incrementally learning mechanism, based on user solution evaluation during regular system use, whereas the latter comprises a set of vectors, representing the importance and scaling for a series of observed attributes according to the specific user. An Intelligent User Profile Module, implementing both preference models and the required additional information system components, has been integrated to a declarative design environment, allowing comparison and testing. A series of experiments has been conducted, with respect to alternative module settings and user profiles yielding results suggesting that a declarative design environment may benefit from the application of the proposed preference modelsLa méthodologie de Modélisation Déclarative offre au concepteur la possibilité de décrire un objet ou un environnement en utilisant des termes abstraits, au lieu des valeurs explicites pour des propriétés géométriques concrètes. L’avantage principal de cette approche, particulièrement pendant la première phase de conception, est de permettre au concepteur de se concentrer sur des caractéristiques qui sont plus près à l’intuition humaine. La Modélisation Déclarative peut proposer des solutions acceptables, souvent originales, aux quelles le concepteur n’aurait peut-être pas pensé. D’autre part, son désavantage principal provient du fait qu’une description déclarative mène généralement à un grand nombre de représentations géométriques alternatives, toutes solutions légitimes, dans le sens de la conformité avec la description soumise, pourtant pas équitablement préférées par le concepteur. Le but du présent travail a été l’étude et l’implémentation d’une méthodologie pour l’acquisition et la représentation des préférences du concepteur sous une forme de modèle informatique. Un tel modèle devrait être capable de fournir un environnement déclaratif de conception avec un comportement intelligent en ce qui concerne les préférences d’utilisateur. La méthodologie proposée, combine des éléments de domaine de l’apprentissage automatique et de l’aide à la décision offrant deux modèles respectifs de préférence. Le noyau du premier modèle est un mécanisme d’apprentissage incrémental, basé sur l’évaluation des solutions par l’utilisateur, durant l’utilisation régulière du système, tandis que le deuxième comporte un ensemble des vecteurs, représentant l’importance et la graduation d’une série d’attributs observés selon l’utilisateur spécifique. Un Module Intelligent de Profil d’Utilisateur, qui implémente les deux modèles de préférence et les composants additionnels exigés par le système d’information, a été intégré à un environnement déclaratif de conception, permettant la comparaison et l’essai. Une série d’expériences a été entreprise, avec différentes configurations du module et différents profils d’utilisateur, donnant des résultats qui suggèrent qu’un environnement déclaratif de conception puisse tirer bénéfice de l’application des modèles de préférence proposés
22
Michel, Olivier. "There's Plenty of Room for Unconventional Programming Languages or Declarative Simulations of Dynamical Systems (with a Dynamical Structure)". Habilitation à diriger des recherches, Université d'Evry-Val d'Essonne, 2007. http://tel.archives-ouvertes.fr/tel-00305748.
Testo completo
23
Zaragoza, Rios Jaime Alberto. "Declarative modeling based on knowledge". Toulouse 3, 2009. http://thesesups.ups-tlse.fr/778/.
Testo completoAbstract (sommario):
Les nouvelles technologies de l'image 3D permettent la création de mondes virtuels et des créatures qui les peuplent avec un tel niveau de détails, que pour les effets spéciaux de cinéma, il est difficile de distinguer les éléments sont générés par ordinateur. Cependant, cette technologie est dans les mains habiles de designers, artistes et programmeurs, pour lesquels il faut des semaines à plusieurs années pour se former aux outils et obtenir ces résultats. La Modélisation Déclarative est une méthode qui permet de créer des modèles en fournissant les propriétés donnant la description des composants du modèle. Appliquée à l’infographie, la modélisation déclarative est utilisée pour générer le monde virtuel, en déterminant le contexte nécessaire à l'animation et à la conception de la scène, en calculant la position de chaque objet relativement aux relations spatiales, et en générant le rendu de la scène, utilisé par une système d'animation et de visualisation. Ce mémoire présente les travaux de recherche consacrés à l'utilisation de la modélisation déclarative pour créer des environnements virtuels, en tirant partie des connaissances sur le contexte de la scène. Les connaissances sont utilisées afin de faciliter la tâche de description, en automatisant ce qui peut être déduit, comme les usages et les fonctionnalités habituelles. Elles sont également fondamentales pour que le résultat produit corresponde le mieux possible à ce qui est attendu par le concepteur à partir de la description fournie. Les connaissances sont enfin nécessaires pour faciliter la transition entre le modèle de données et l'architecture qui aura la charge d'animer et de faire évoluer la scèneModern technology has allowed the creation and presentation or VirtualWorlds and creatures with such a high level of detail, that when used in movies, sometimes it is difficult to tell which elements arecomputer-generated and which not. Also, video-games had reached a level close to photographicrealism. However, such technology is at the hands of skillful designer, artists, and programmers, for whom ittakes from weeks to years to complete these results. Declarative modeling is a method which allows to create models specifying just a few properties for the model’s components. Applied to VW creation, declarative modeling can be used to construct theVW, establishing the layout for the objects, generating the necessary context to provide animation and scene design, and generate the outputs used by a visualization/animation system. This document present a research devoted to explore the use of declarative modeling to create VirtualEnvironments, using knowledge exploitation to support the process and ease the transition from the data model to an underlaying architecture which take the task of animating and evolving the scene
24
Labonté, Sébastien. "La construction judiciaire de la victime et de ses attentes dans la sentence du droit pénal : vers un nouveau fondement du droit de punir?" Thesis, Université d'Ottawa / University of Ottawa, 2019. http://hdl.handle.net/10393/39787.
Testo completoAbstract (sommario):
Notre recherche nous amène à nous intéresser à la détermination de la peine et à la
manière dont les juges mobilisent, à ce stade des procédures, les inputs des victimes qui y sont fréquemment observées. À la fin des années 1980, le rôle de la victime dans les procédures judiciaires s’est étendu de la victime-témoin de l’acte (témoin traditionnel) à celui de la victime-témoin de l’impact.
Le contexte théorique de cette recherche est celui d’une combinaison de la théorie des systèmes autoréférentiels de Niklas Luhmann et de la théorie de la rationalité pénale moderne d’Alvaro P. Pires. Le système judiciaire, désignant ici les tribunaux ayant compétence en matière criminelle et pénale, est compris comme un système opérationnellement clos sur lui-même, mais cognitivement ouvert sur son environ-nement (Luhmann, 1992).
À l’intérieur de ce cadre théorique, l’ouverture cognitive du système judiciaire, au
moment de déterminer la peine, est structurellement déterminée par les théories de la peine formant le système d’idée de la rationalité pénale moderne (RPM) (Pires, 2008). La relation que le système judiciaire développe avec les victimes d’actes criminels serait alors soumise hypothétiquement à l’influence de cette rationalité juridique. Ainsi, plutôt que de voir les victimes comme étant hostiles en elles-mêmes, nous voulons explorer l’influence du système dans la sélection et la mise en forme d’un discours victimaire répressif.
25
Rougier, Nicolas. "Modèles de mémoires pour la navigation autonome". Nancy 1, 2000. https://tel.archives-ouvertes.fr/tel-01746477v2.
Testo completoAbstract (sommario):
Nous proposons une approche du problème de la navigation d'un agent autonome fondée sur une architecture connexionniste inspirée de données biologiques concernant le cortex cérébral et l'hippocampe. Notre approche se fonde sur la distinction des mémoires, le cortex cérébral étant fortement impliqué dans la mémoire procédurale, permettant l'apprentissage de procédures, alors que l'hippocampe est impliqué dans la mémoire déclarative, permettant la mémorisation explicite de faits et d'événements. Notre travail concerne la modélisation de ces mémoires dans le contexte du comportement autonome. L'étude des différentes mémoires met en évidence l'importance de cette dichotomie procédurale/déclarative dans les tâches cognitives et l'étude de la navigation autonome met en exergue la notion de carte cognitive topologique ainsi que la nécessité de disposer de systèmes de mémoires adéquats. Notre travail de modélisation s'articule alors en deux temps. Les données concernant le cortex humain ont permis de modéliser une mémoire procédurale pour la construction des liens reliant les différents lieux d'un environnement simulé permettant une recherche guidée par le but ainsi que le ralliement à tout instant d'un lieu visité auparavant. Par ailleurs, les différentes données concernant la structure de l'hippocampe ont permis de proposer un modèle de mémoire de type déclaratif. L'architecture de ce modèle ainsi que les mécanismes originaux participant à son fonctionnement lui assurent une efficacité et une robustesse aussi bien sur des données simulées que sur des données réelles. Ce modèle permet alors de caractériser de façon adéquate les différents lieux d'un environnement donnéWe propose a method for autonomous agent navigation problem grounded on a connectionist architecture inspired by neurobiological data concerning cortex and hippocampus. Our approach is grounded on distinction between memories : cerebral cortex is believed to be implied within declarative memory, allowing explicit memorization of facts and events. Our works concerns modeling of these memories in the framework of autonomous behavior. The study of these different memories underlines the importance of this procedural/declarative dichotomy in cognitive tasks while autonomous navigation study underlines the topological cognitive map notion as well as the necessity of having at disposal ad hoc memory systems. Our modeling work is separated in two parts. Available data concerning human cortex allow us to model a procedural memory for the construction of links between places of a simulated environment allowing a goal-guided search as well as the possibility of reaching anytime any known place in the environment. Furthermore, available data concerning hippocampus allow us to model a declarative memory system. The architecture of the model as well as the original mechanisms implied make this system able to handle both simulated and real-world data. This model finally allows to characterize and memorize the different places of a given environment
26
Settouti, Lotfi. "Systèmes à base de traces modélisées : modèles et langages pour l'exploitation des traces d'interactions". Thesis, Lyon 1, 2011. http://www.theses.fr/2011LYO10019.
Testo completoAbstract (sommario):
Ce travail de thèse s'inscrit dans le cadre du projet < personnalisation des environnements informatiques pour l'apprentissage humain (EIAH) > financé par la Région Rhône-Alpes. La personnalisation des EIAH est essentiellement dépendante de la capacité à produire des traces pertinentes et exploitables des activités des apprenants interagissant avec un EIAH. Dans ce domaine, l'exploitation des traces relève explicitement plusieurs problématiques allant de sa représentation de manière normalisée et intelligible à son traitement et interprétation en temps différé ou en temps réel au moment même de l'apprentissage. La multiplication des pratiques et des usages des traces requiert des outils génériques pour soutenir leurs exploitations. L'objectif de cette thèse est de définir les fondements théoriques de tels outils génériques permettant l'exploitation des traces d'interaction. Ceci nous a amené à définir la notion de Systèmes à Base de Trace modélisées : une classe de systèmes à base de connaissances facilitant le raisonnement et l'exploitation des traces modélisées. L'approche théorique proposée pour construire de tels systèmes s'articule autour de deux contributions : (1) La définition d'un cadre conceptuel définissant les concepts, l'architecture et les services mobilisés par les SBT. (2) La définition d'un cadre formel pour les systèmes à base de traces modélisées. Plus précisément, la proposition d'un langage pour l'interrogation et la transformation de trace modélisées à base de règles permettant des évaluations ponctuelles et continues. La sémantique formelle de ce langage est définie sous forme d'une théorie des modèles et d'une théorie de point fixe, deux formalismes habituellement utilisés pour décrire la sémantique formelle des langages de représentation de connaissancesThis thesis is funded by the Rhône-Alpes Region as a part of the project < Personalisation of Technology-Enhanced Learning (TEL) Systems >. Personalising TEL Systems is, above all, dependent on the capacity to produce relevant and exploitable traces of individual or collaborative learning activities. In this field, exploiting interaction traces addresses several problems ranging from its representation in a normalised and intelligible manner to its processing and interpretation in continuous way during the ongoing TEL activities. The proliferation of trace-based exploitations raises the need of generic tools to support their representation and exploitation. The main objective of this thesis is to define the theoretical foundations of such generic tools. To do that, we define the notion of Trace-Based System (TBS) as a kind of Knowledge-based system whose main source of knowledge is a set of trace of user-system interactions. This thesis investigates practical and theoretical issues related to TBS, covering the spectrum from concepts, services and architecture involved by such TBS (conceptual framework) to language design over declarative semantics (formal framework). The central topic of our framework is the development of a high-level trace transformation language supporting deductive rules as an abstraction and reasoning mechanism for traces. The declarative semantics for such language is defined by a (Tarski-style) model theory with accompanying fixpoint theory
27
Nguyễn, Khánh Toàn. "La francophonie comme acteur des relations internationales contemporaines : enjeux et perspectives (1986-2010)". Thesis, Lyon 3, 2012. http://www.theses.fr/2012LYO30102.
Testo completoAbstract (sommario):
Depuis 1986, face aux mutations du contexte interne et international, la Francophonie poursuit et accentue la prise en compte d’objectifs politiques et noue l’ambition de devenir un acteur influent des relations internationales. Pour ce faire, elle n’a cessé de s’élargir et de se doter progressivement des moyens institutionnels et normatifs nécessaires. Aujourd’hui, son rôle politique commence à être reconnu. Elle est devenue un laboratoire d’un système international multipolaire en formation et d’une autre mondialisation humaniste. Elle est, aussi, un nouvel acteur et interlocuteur politique de ses membres en matière de démocratie, de droits de l’Homme ainsi que de prévention et de règlement des conflits. Pourtant, plusieurs défis stratégiques et le manque de moyens l’empêchent de devenir un acteur de premier plan et les « acquis » de ses actions demeurent fragiles. Face à cette situation, il est important pour la Francophonie, dans la perspective du nouveau Cadre stratégique décennal (2015-2024), de redéfinir sa stratégie. L’avenir de la Francophonie peut épouser, en effet, plusieurs scénarios. Doit-elle évoluer vers une vraie organisation politique en abandonnant les autres volets de son engagement et en particulier les volets solidarité et développement ? Doit–elle, au contraire, fidèle à sa spécificité, conjuguer étroitement, sans renoncer à aucune, ses missions de dialogue, de solidarité et de développement ? Avant tout, il convient qu’elle redevienne conquérante. De toute façon, il apparait indispensable de la rendre utile aux peuples francophones et de renforcer l’adhésion de ceux-ci par le vivre ensemble. Deux chantiers sont incontournables : l’éducation et l’économieSince 1986, in response to changes in the domestic and international context, the Francophonie has taken into consideration political objectives and showed ambition to become an influential actor in international relations. In order to achieve this goal, the organization has not stopped widening and gradually been equipped with necessary institutional and normative tools. Today, its political role begins to be internationally recognized. It has become a laboratory of a multi-polar international system which has been forming and of another humanist globalization project. It is also a new actor and political interlocutor of its members in terms of democracy, human rights, as well as conflict prevention and resolution. Nevertheless, several strategic challenges and lack of resources prevent it from becoming a major player at the forefront and its "achievements" remain fragile. Faced with this situation, it is important that the Francophonie, in the perspective of the new ten-year strategic framework (2015-2024), redefines its strategy. In fact, the future of the Francophonie can engage in several scenarios. Must it evolve towards a real political organization by abandoning its commitment to other sectors, particularly solidarity and development ? Must it, on the contrary, be faithful to its specificity and conjugate the factors of dialogue, solidarity, and development without sacrificing any of them ? Above all, it should again become a conqueror. By any means, it appears indispensable to make the Francophonie useful for the French-speaking peoples and to strengthen their engagement by fostering their common activities. Two domains are indispensable : education and economy
28
Didic-Hamel, Cooke Mira. "Apport de l'étude des systèmes mnésiques mesiotemporaux au diagnostic précoce de la Maladie d'Alzheimer débutante". Thesis, Aix-Marseille 2, 2011. http://www.theses.fr/2011AIX20651.
Testo completoAbstract (sommario):
Un nombre croissant de travaux chez l’animal et chez l’homme suggèrent que les différentes structures composant le lobe temporal interne (LTI) contribuent de manière différentielle à la mémoire déclarative. Chez l’homme, deux réseaux neuraux impliquant le LTI sont décrits : un réseau mésiotemporal antérieur, constitué de structures pour lesquelles les études chez les patients cérébro-lésés indiquent qu’elles contribueraient à la mémoire décontextualisée (mémoire des objets et mémoire sémantique ou mémoire du « quoi ») ; un réseau mésiotemporal postérieur, constitué d’autres structures pour lesquelles ces études suggèrent plutôt une implication dans la mémoire contextualisée (mémoire spatiale, épisodique ou mémoire du «où » et du « quand»). Dans la Maladie d’Alzheimer (MA), les dégénérescences neurofibrillaires, dont la distribution topographique est corrélée à la nature des déficits cognitifs, se développent initialement dans les cortex sous-hippocampiques - transentorhinal et entorhinal - qui sont des composants du réseau mésiotemporal antérieur, avant de s’étendre à l’hippocampe. Les éventuels déficits cognitifs en relation avec l’atteinte de cette région ne sont pas clairement identifiés dans la MA. Les travaux présentés dans ce mémoire sont centrés sur l’étude des cortex sous-hippocampiques avec les méthodes de la neuropsychologie et la neuroimagerie. Ils suggèrent que la MA aux stades les plus précoces pourrait représenter un « modèle » d’étude privilégié des systèmes mnésiques auxquels contribue le LTI. Ces résultats sont en faveur de l’utilité de l’évaluation de la mémoire décontextualisée dans le diagnostic de la MA débutanteThere is increasing evidence from experiments in rodents and non-human primates, as well as from human studies, to suggest that the different structures within the medial temporal lobe (MTL) differentially contribute to declarative memory. In the human brain, two neural networks implicating MTL structures have been described: an anterior MTL network that includes brain areas that contribute to context-free memory (object memory and semantic memory or memory for « what ») and a posterior MTL network that contributes to context-rich memory (spatial memory, episodic memory or memory for “where” and “when”). In Alzheimer’s disease (AD), neurofibrillary tangles (NFT), associated with cognitive signs, initially appear in the sub-hippocampal (transentorhinal and entorhinal) cortex, which are part of the anterior MTL network, before reaching the hippocampus. Potential cognitive deficits related to the dysfunction of this brain area in AD are not clearly identified. In the presented studies, the emphasis is placed on the investigation of sub-hippocampal corteces using a neuropsychological approach and neuroimaging techniques. Our findings suggest that the very earliest stages of AD could represent a “model” leading to a better understanding of memory systems that involve the MTL. They also provide evidence that evaluating context-free memory may be useful in the diagnosis of early AD
29
Bottius, Mathurin. "Le rôle financier et économique de l'intendant de province d'ancien régime : l'exemple de la Nouvelle-France, 1663-1760". Thesis, Aix-Marseille, 2015. http://www.theses.fr/2015AIXM1055.
Testo completoAbstract (sommario):
C'est en février 1663, que la Compagnie de la Nouvelle-France remis à LOUIS XIV le territoire de la Nouvelle-France. Elle donnait suite à sa demande de restitution exprimée par LOUIS XIV. Pour mémoire cette restitution mettait fin à la Charte de LOUIS XIII du 29 avril 1628. Par suite, c'est par une déclaration de mars 1663 que LOUIS XIV accepta de recevoir les droits de propriété, justice et seigneur de la Nouvelle-France. Sa volonté d'administrer directement le territoire et non par Charte est exprimée dans le corps de la déclaration. C'est dans cet esprit, qu'il transférera, en tant que de besoin au Canada, des institutions du Royaume, notamment celle de l'Intendant de Justice, Police et Finances. Cette orientation ne sera pas remise en cause par son successeur LOUIS XV ce, jusqu'en 1760. La présente thèse a pour finalité de décrire ou d'exposer, ce que fut la juridiction financière et économique de l'Intendant de 1663 à 1760It is in february 1663 that the Nouvelle-France company hands over to LOUIS XIV the Nouvelle-France territory. This followed-up the claim to secure the return of the territories expressed by LOUIS XIV. To remenber right, this retutn of the territories put an end to the charter of LOUIS XIII dated april 29th 1628. Consequently, it is by a statement of march 1663 that LOUIS XIV agreeds to acquire the freehold, justice and lord of Nouvelle-France. His intention to directly govern the territory is clearly indicated in the body of doctrines and not in the charter. It is in state of mind thathe will trandfer for the purpose in hands to Canada institutions of the kingdom, particulary those of justice, police and finance intendants. This way of thinking will not be called inio question by his heir to the throne LOUIS XV until 1760; This actual thesis purpose is to describe or expound what was the coming within the financial and economic jurisdiction of the intendant from 1663 to 1760
30
Cohen, Julien. "Intégration des collections topologiques et des transformations dans un langage fonctionnel". Phd thesis, Université d'Evry-Val d'Essonne, 2004. http://tel.archives-ouvertes.fr/tel-00008522.
Testo completoAbstract (sommario):
Ces travaux s'inscrivent dans le projet MGS qui étudie l'apport de notions topologique dans les langages de programmation. Nous étudions et développons les notions de collection topologique (un ensemble de valeurs muni d'une relation de voisinage) et de transformation (une fonction définie par des règles de réécriture utilisant la notion de voisinage). Ces notions apportent un point de vue unifié sur les structures de données, une extension de la définition des fonction par cas et un cadre alternatif à la notion de polytypisme, sans se limiter aux types de données algébriques. Dans cette thèse, nous développons : -un algorithme générique de filtrage ; -un schéma d'évaluation d'ordre supérieur ; -un système de types traitant les collections hétérogènes, les transformations polytypiques et doté d'inférence automatique ; -l'utilisation du typage pour la compilation ; -de nombreux exemples validant la pertinence des choix effectués.
31
Nguyễn, Hữu Nghĩa. "A symbolic approach for the verification and the test of service choreographies". Thesis, Paris 11, 2013. http://www.theses.fr/2013PA112250/document.
Testo completoAbstract (sommario):
L'ingénierie orientée services est un nouveau paradigme pour développer des logiciels distribués et collaboratifs. Un tel logiciel se compose de plusieurs entités, appelés services, chacun d'entre eux étant par exemple une application Web, un service Web, ou même un humain. Les services peuvent être développés indépendamment et sont composés pour atteindre quelques exigences. Les chorégraphies de service définissent ces exigences avec une perspective globale, basée sur les interactions entre des participants qui sont implémentés en tant que services. Cette thèse vise à formaliser des problèmes et tente d'élaborer un environnement intégré avec lequel les chorégraphies de services peuvent être développés correctement pour les deux types d'approches de développement: l'approche descendante et l'approche ascendante. Elle consiste à analyser la relation entre une spécification de chorégraphie et une implémentation de la chorégraphie au niveau du modèle et aussi au niveau de l'implémentation réelle. Particulièrement, il s'agit de la composition/décomposition des services, la vérification, et le test de l'implémentation de chorégraphie. Le premier point-clé de notre environnement intégré est de représenter le passage de valeurs entre les services en utilisant la technique symbolique et un solveur SMT. Cette technique nous permet de réduire les faux négatifs et de contourner le problème d'explosion combinatoire de l'espace d'états, ces problèmes sont durs à l'abstraction et à l'énumération des valeurs pour les approches existantes basées données. Le second point-clé est le test passif boîte noire de l'implémentation de chorégraphie. Il ne nécessite pas d'accéder au code source, ni de rendre indisponible l'implémentation pendant le processus de test. Notre environnement intégré est mis en œuvre dans nos outils qui sont disponibles en téléchargement ou à utiliser en ligne à l’adresse http://schora.lri.frService-oriented engineering is an emerging software development paradigm for distributed collaborative applications. Such an application is made up of several entities abstracted as services, each of them being for example a Web application, a Web service, or even a human. The services can be developed independently and are composed to achieve common requirements through interactions among them. Service choreographies define such requirements from a global perspective, based on interactions among a set of participants. This thesis aims to formalize the problems and attempts to develop a framework by which service choreographies can be developed correctly for both top-down and bottom-up approaches. It consists in analyzing the relation between a choreography specification and a choreography implementation at both model level and real implementation level. Particularly, it concerns the composition/decomposition service design, the verification, and the testing of choreography implementation. The first key point of our framework is to support value-passing among services by using symbolic technique and SMT solver. It overcomes false negatives or state space explosion issues due by abstracting or limiting the data domain of value-passing in existing approaches. The second key point is the black-box passive testing of choreography implementation. It does not require neither to access to source codes nor to make the implementation unavailable during the testing process. Our framework is fully implemented in our toolchains, which can be downloaded or used online at address: http://schora.lri.fr
32
Gour, Natalina. "Réorganisation des systèmes anatomo-fonctionnels et de la topologie cérébrale entre les formes à début précoce et tardif de maladie d'Alzheimer. : Approche comportementale et en IRMf de repos". Thesis, Aix-Marseille, 2013. http://www.theses.fr/2013AIXM5069.
Testo completoAbstract (sommario):
Les fonctions cognitives reposent sur la communication dynamique de régions cérébrales interconnectées. Dans la maladie d’Alzheimer (MA), les travaux antérieurs suggèrent que le processus neuropathologique cible de façon précoce un ou plusieurs systèmes anatomo-fonctionnels spécifiques. La dysfonction du réseau par défaut a été objectivée de façon consistante. Cependant, ses relations avec les symptômes cliniques et avec l’atteinte des régions du lobe temporal interne qui lui sont fonctionnellement connectées restent à clarifier. L’IRM fonctionnelle de repos est une technique pertinente pour caractériser in vivo chez l’Homme la connectivité cérébrale.Par une approche des systèmes neuraux, ce travail de thèse a pour objectif de caractériser la réorganisation fonctionnelle neuronale dans la MA, ses corrélats cliniques, ainsi que l’influence de l’âge de début des symptômes. Par le recueil et l’analyse des données neuropsychologiques, en IRMf de repos et en IRM structurale, acquises chez des sujets avec des troubles de la mémoire et avec une forme mnésique légère de MA, notre travail apporte des éclairages : i) sur l’implication du réseau temporal antérieur dans la mémoire déclarative décontextualisée et ses modifications dans le cours de la MA ; ii) sur les similitudes et spécificités des systèmes anatomo-fonctionnels ciblés dans les deux formes cliniques distinctes - à début précoce et tardif - de la MA ; iii) sur la réorganisation de l’organisation topologique cérébrale dans son ensemble de ces deux formes de la maladieCognitive functions rely on the dynamic interplay of connected brain regions. Previous studies suggest that in Alzheimer disease (AD), early pathological changes target one or several specific anatomo-functional networks. Dysfunction of the default mode network is a consistent finding. However, its relationship with clinical symptoms and interconnected medial temporal regions remains to be clarified. Resting state functional MRI (fMRI) is an emerging method aimed at characterizing in vivo brain connectivity in the Human.Using a neural system approach, the aim of this thesis was to characterize neuronal functional reorganization in AD, its clinical correlates, and to determine the influence of age at onset. Neuropsychological data, structural and fMRI were obtained in subjects with early memory impairment and mild “amnestic” AD. This work provides new insights into : i) the functional role of the anterior temporal network in context-free declarative memory and its changes throughout the course of AD; ii) the common and specific features in targeted anatomo-functional networks between early and late onset AD ; iii) the reorganization of whole brain topological properties in the two forms of the disease
33
Bachert, Audrey. "L'équilibre des pouvoirs législatif et juridictionnel à l'épreuve des systèmes de protection des droits et libertés : étude comparée : États-Unis, Canada, Royaume-Uni". Thesis, Aix-Marseille, 2017. http://www.theses.fr/2017AIXM0155.
Testo completoAbstract (sommario):
Alors que la protection effective des droits et libertés est souvent conçue comme dépendante de leur garantie juridictionnelle, cette dernière implique une transformation de l'équilibre qui s'établit entre le juge, non élu, et le législateur, représentant du peuple souverain. À travers une analyse pratique des effets du travail juridictionnel sur l'activité législative, tels qu'ils se sont déployés aux États-Unis, au Canada et au Royaume-Uni sur les quinze dernières années, il est possible d'évaluer les conséquences de la consécration de certains droits dans un catalogue opposable par le juge au législateur, en matière d'équilibre entre les pouvoirs législatif et juridictionnel. Si ces trois systèmes, aux traditions constitutionnelles éloignées, disposent chacun de mécanismes spécifiques pour assurer le respect des droits consacrés, plusieurs points de convergence peuvent être mis en lumière. Leur étude sera alors l'occasion d'appréhender dans une perspective renouvelée l'équilibre qui s'établit entre les deux institutions. Elle fera progressivement apparaitre l'idée d'une véritable collaboration du législateur et du juge en matière de protection des droits et libertés dans les démocraties contemporainesEffective human rights protection is often perceived as being dependent upon their judicial enforcement. However, such a mechanism transforms the relationship between unelected judges and electorally accountable legislators. Through an empirical analysis of the effects of judicial review on legislation and legislative decision-making, in the United States, Canada and the United Kingdom, during the last fifteen years, the actual impact of the entrenchment of human rights in a written bill of rights will be assessed and evaluated. Even though these three countries have different processes to guarantee the respect of entrenched rights, and despite their long-settled and contrasting traditions, their systems are not as conflicting as it is often thought. This study finally leads to a better understanding of the relationship between judges and legislators in contemporary democracies and underlines the idea of a genuine collaboration of powers
34
Falesse, Mireille. "Une analyse de l'entame conversationnelle de communications orales et écrites, sur répondeur téléphonique et Internet". Doctoral thesis, Universite Libre de Bruxelles, 2005. http://hdl.handle.net/2013/ULB-DIPOT:oai:dipot.ulb.ac.be:2013/211034.
Testo completoAbstract (sommario):
UNE ANALYSE DE L’ENTAME CONVERSATIONNELLE DE COMMUNICATIONS ORALES ET ECRITES (SUR RÉPONDEUR TÉLÉPHONIQUE ET INTERNET)MIREILLE FALESSE
ULB - FACULTÉ DE PHILOSOPHIE ET LETTRES - FÉVRIER 2005
La trame de base de l’étude est essentiellement linguistique et la plupart des catégorisations des éléments relevés sont de cet ordre également, l’étude prenant en compte le langage sous son aspect pragmatique dans les limites de la présentation des situations particulières ainsi que du collationnement des données du corpus.
Deux types de messages ont été choisis :des messages oraux laissés par des appelants sur répondeur téléphonique et des messages – provenant de nouveaux utilisateurs – recueillis dans des forums de discussion sur Internet.
L’analyse permet de préciser les souhaits et intentions communicationnels des émetteurs ;d’autre part le relevé des éléments constitutifs du corpus auquel nous avons procédé dans la seconde partie nous a permis d’entrer plus avant dans sa description.
L’énonciation est à l’énoncé ce que le processus de fabrication est à l’objet produit ;l'énoncé est le résultat alors que l'énonciation est l'acte de création du locuteur. C’est cet acte, la procédure de construction du message, les intentions du locuteur, les marques de son intervention en tant que sujet parlant – ses pensées, ses intentions, ses émotions au moment de la « prise de parole » (orale ou écrite) – qui ont fait l’objet de notre propos. Dès lors, les éléments de base du schéma de la communication ont été posés et les particularités de notre corpus explicitées à la suite d’un double choix :celui des outils d’analyse réellement utiles à la démarche et celui des éléments essentiels et nécessaires constitutifs des énoncés retenus et à retenir.
L’énonciation et l’énoncé
Le travail porte sur l’analyse d’un certain type de discours à l’intérieur d’actes de communication sur base d’énoncés, produits d’un acte d'énonciation, qui comportent des marques énonciatives faisant référence à la fois au locuteur et à l'allocutaire.
Il en est tenu compte lors de la description du corpus car les éléments retenus portent non seulement sur la structuration phrastique de l’énoncé mais également sur le sens qui lui est donné ainsi que ses utilisations caractéristiques en fonction des intentions, choix et motivations des destinateurs.
Le sens et le son
La considération du langage sous sa double articulation favorise une analyse appariant les points de vue sémantique et phonologique :le sens et le son.
\
Doctorat en philosophie et lettres, Orientation linguistique
info:eu-repo/semantics/nonPublished
35
Shamsi, Nejad Mohammad Ali. "Architectures d'alimentation et de commande d'actionneurs tolérants aux défauts : régulateur de courant non linéaire à large bande passante". Thesis, Vandoeuvre-les-Nancy, INPL, 2007. http://www.theses.fr/2007INPL046N/document.
Testo completoAbstract (sommario):
L’objectif de ce travail est d’étudier les différentes structures d’alimentation et de commande d’actionneurs dédiés aux systèmes embarqués, motorisés par des machines synchrones à aimants permanents (MSAP) alimentées par des onduleurs de tension. En analysant les avantages et les inconvénients de ces structures, nous choisissons deux structures à puissance segmentée: Une MSAP triphasée alimentée par deux onduleurs à trois bras et une MSAP double-étoile alimentée par deux onduleurs à trois bras. L’autre aspect étudié est la détection de défauts et la reconfiguration de l'alimentation et de la commande pour pouvoir fonctionner en mode dégradé. Pour les défauts circuit-ouvert ou court-circuit d'un transistor d'un onduleur, une ou plusieurs stratégies de commande en mode dégradé sont proposées. Les résultats de simulation et d’expérimentation permettent de valider l’efficacité des méthodes proposées. La dernière partie de ce travail est consacrée à l’étude et l’établissement de modèle pour un régulateur hybride de courant à large bande passante sous le nom d’hystérésis modulé. La comparaison de ses performances avec celles d’autres régulateurs est également effectuéeThe objective of this work is to study different structures of supply and control of actuators for the embarked systems, motorized by permanent magnet synchronous machines (PMSM) supplied with voltage source inverters (VSI). By analyzing the advantages and the disadvantages of these structures, we choose two power segmented structures: a three-phase PMSM supplied with two three-leg VSI and a double-star PMSM supplied by two three-leg VSI. The other aspect is the fault detection and the reconfiguration of the supply and command to make possible the operation in degraded mode. For the open-circuit or short-circuit fault of an inverter switch, one or several strategies in degraded operating mode are proposed. The simulation and experimentation results validate the effectiveness of the proposed methods. The last part of this work is devoted to the study and modeling of a large band-width hybrid current controller named "modulated hysteresis". The performances of this controller are compared with the other regulators
36
Abat, Cédric. "Développement de nouveaux outils informatiques de surveillance en temps réel des phénomènes anormaux basés sur les données de microbiologie clinique du laboratoire de la Timone". Thesis, Aix-Marseille, 2015. http://www.theses.fr/2015AIXM5029/document.
Testo completoAbstract (sommario):
Bien que considérées comme étant sous contrôle durant la seconde partie du 20ième siècle avec la découverte des antimicrobiens, les maladies infectieuses demeurent une menace bien réelle pour l’humanité. Quelque soit l’état de connaissance que nous avons sur ces maladies, toutes demeurent imprédictibles. Afin de lutter contre ce phénomène, de nombreuses stratégies de surveillance ont été développées amenant à la mise en place de divers outils informatiques de surveillance épidémiologique visant à détecter et identifier, le plus précocement possible, des événements anormaux. L’objectif initial de notre travail a consisté à mettre en place, au sein de l’Institut Hospitalo-Universitaire Méditerranée Infection et à partir du logiciel Microsoft Excel, deux nouveaux outils informatiques de surveillance épidémiologique visant à identifier, de façon hebdomadaire et automatisée, des événements anormaux sur la base des données de microbiologie clinique issues du laboratoire du Centre Hospitalo-Universitaire Timone à l’Assistance Publique- Hôpitaux de Marseille (AP-HM). Une fois cette étape achevée, nous avons par la suite travaillé au développement d’une structure de surveillance complète intégrant l’investigation et la validation des alarmes émises par les systèmes de surveillance créés, l’émission d’alertes à l’Agence Régionale de Santé (ARS) de la région Provence-Alpes Côte d’Azur (PACA), la valorisation des cas d’événements anormaux confirmés par des publications scientifiques, ainsi que la mise en place de rétro-informations et de bulletins épidémiologiques hebdomadaires visant à informer les acteurs locaux de la surveillance épidémiologique des maladies infectieusesAlthough considered under control in the second half of the 20th century with the discovery of antimicrobials, infectious diseases remain a serious threat to humanity. Regardless of the state of knowledge we possess on these diseases, all remained unpredictable. To fight this phenomenon, many monitoring strategies have been developed leading to the implementation of various epidemiological surveillance computer programs to detect and identify, as soon as possible, abnormal events including epidemic phenomena. The initial objective of our work was to implement, within the Hospitalo-Universitaire Méditerranée Infection and based on the Microsoft Excel software, two new automated computer-based programs for the weekly automated epidemiological surveillance of abnormal epidemic events using clinical microbiological data from the Timone teaching hospital of of Assistance Publique- Hôpitaux de Marseille (AP-HM). Once completed, we then worked to develop a comprehensive monitoring structure incorporating the investigation and the validation of alarms emitted by the established surveillance systems, the transmission of alerts to the Regional Health Agency (ARS) of the Provence-Alpes Côte d'Azur (PACA), the public dissemination of confirmed abnormal events by publishing scientific articles, and the implementation of feedback and weekly epidemiological bulletins to inform local infectious diseases epidemiological surveillance actors
37
Channac, Stéphane. "Conception et mise en oeuvre d'un système déclaratif de géométrie dynamique". Phd thesis, 1999. http://tel.archives-ouvertes.fr/tel-00004819.
Testo completoAbstract (sommario):
Cette thèse a pour objet de montrer la faisabilité d'un système de "géométrie dynamique déclarative". Un tel système, GDRev (pour Géométrie Déclarative Réversible) a été conçu et réalisé, dans l'optique de l'enseignement de la géométrie. D'un point de vue conceptuel, GDRev repose sur la définition d'un langage logique, ELDL (pour Extented Logical Description Language), pour l'expression de spécifications de "figures" (l'objet mathématique sous-jacent à un dessin) : il intègre la possibilité de spécifications modulaires et récursives, via l'usage de "clauses". Au niveau dessin, GDRev est pourvu d'un langage de construction et d'animation dont la sémantique est définie à l'aide de ELDL. l'interface, qui peut être vu comme une extension déclarative de celle de Cabri-Géomètre, doit assurer, d'une façon originale, d'une part des fonctionnalités équivalentes par manipulation directe sur la figure et sur le dessin, d'autre part un invariant imposant la cohérence temporelle entre figure et dessin. D'un point de vue algorithmique, GDRev résout les contraintes géométriques par "coopération de solveurs" reposant sur un schéma de "programmation concurrente avec contraintes". Trois résolveurs généraux (linéaires, quadratiques, intervalle) coopèrent avec trois résolveurs spécifiques et originaux : complétion d'objets (créant automatiquement des objets), complétion de propriétés (ajoutant automatiquement des propriétés redondantes à la figure), règle et compas (calculant une construction optimisée de la figure pour l'animation du dessin). D'un point de vue pratique, GDRev est réalisé par interopérabilité entre les interfaces écrites en Visual C++ et le résolveur de contraintes géométriques écrit en Prolog IV. Les expérimentations réalisées ont donné des résultats encourageants en particulier en ce qui concerne le choix des heuristiques utilisées.
38
Maheu, Françoise. "Impact des émotions négatives et du stress sur la mémoire : mécanismes d'action neuropsychoendocriniens spécifiques ou communs?" Thèse, 2004. http://hdl.handle.net/1866/14722.
Testo completo
39
Nguyên̄, Khánh Toàn. "La francophonie comme acteur des relations internationales contemporaines : enjeux et perspectives (1986-2010)". Thesis, 2012. http://www.theses.fr/2012LYO30102/document.
Testo completoAbstract (sommario):
Depuis 1986, face aux mutations du contexte interne et international, la Francophonie poursuit et accentue la prise en compte d’objectifs politiques et noue l’ambition de devenir un acteur influent des relations internationales. Pour ce faire, elle n’a cessé de s’élargir et de se doter progressivement des moyens institutionnels et normatifs nécessaires. Aujourd’hui, son rôle politique commence à être reconnu. Elle est devenue un laboratoire d’un système international multipolaire en formation et d’une autre mondialisation humaniste. Elle est, aussi, un nouvel acteur et interlocuteur politique de ses membres en matière de démocratie, de droits de l’Homme ainsi que de prévention et de règlement des conflits. Pourtant, plusieurs défis stratégiques et le manque de moyens l’empêchent de devenir un acteur de premier plan et les « acquis » de ses actions demeurent fragiles. Face à cette situation, il est important pour la Francophonie, dans la perspective du nouveau Cadre stratégique décennal (2015-2024), de redéfinir sa stratégie. L’avenir de la Francophonie peut épouser, en effet, plusieurs scénarios. Doit-elle évoluer vers une vraie organisation politique en abandonnant les autres volets de son engagement et en particulier les volets solidarité et développement ? Doit–elle, au contraire, fidèle à sa spécificité, conjuguer étroitement, sans renoncer à aucune, ses missions de dialogue, de solidarité et de développement ? Avant tout, il convient qu’elle redevienne conquérante. De toute façon, il apparait indispensable de la rendre utile aux peuples francophones et de renforcer l’adhésion de ceux-ci par le vivre ensemble. Deux chantiers sont incontournables : l’éducation et l’économieSince 1986, in response to changes in the domestic and international context, the Francophonie has taken into consideration political objectives and showed ambition to become an influential actor in international relations. In order to achieve this goal, the organization has not stopped widening and gradually been equipped with necessary institutional and normative tools. Today, its political role begins to be internationally recognized. It has become a laboratory of a multi-polar international system which has been forming and of another humanist globalization project. It is also a new actor and political interlocutor of its members in terms of democracy, human rights, as well as conflict prevention and resolution. Nevertheless, several strategic challenges and lack of resources prevent it from becoming a major player at the forefront and its "achievements" remain fragile. Faced with this situation, it is important that the Francophonie, in the perspective of the new ten-year strategic framework (2015-2024), redefines its strategy. In fact, the future of the Francophonie can engage in several scenarios. Must it evolve towards a real political organization by abandoning its commitment to other sectors, particularly solidarity and development ? Must it, on the contrary, be faithful to its specificity and conjugate the factors of dialogue, solidarity, and development without sacrificing any of them ? Above all, it should again become a conqueror. By any means, it appears indispensable to make the Francophonie useful for the French-speaking peoples and to strengthen their engagement by fostering their common activities. Two domains are indispensable : education and economy