Thèses : « Approches symboliques »

1

Mercier, Chloé. « Modéliser les processus cognitifs dans une tâche de résolution créative de problème : des approches symboliques à neuro-symboliques en sciences computationnelles de l'éducation ». Electronic Thesis or Diss., Bordeaux, 2024. http://www.theses.fr/2024BORD0065.

Texte intégral

Résumé :

L’intégration de compétences transversales telles que la créativité, la résolution de problèmes et la pensée informatique, dans les programmes d’enseignement primaire et secondaire, est un défi majeur dans le domaine de l’éducation aujourd’hui. Nous postulons que l’enseignement et l’évaluation de ces compétences transversales pourraient bénéficier d’une meilleure compréhension des comportements des apprenants dans des activités spécifiques qui requièrent ces compétences. A cette fin, les sciences computationnelles de l’apprentissage (computational learning sciences) sont un champ en émergence qui requiert l’étroite collaboration des neurosciences computationnelles et des sciences de l’éducation pour permettre l’évaluation des processus d’apprentissage. Nous nous concentrons sur une tâche de résolution créative de problème dans laquelle le sujet est amené à construire un “véhicule” en combinant des cubes robotiques modulaires. Dans le cadre d’une action de recherche exploratoire, nous proposons plusieurs approches s’appuyant sur des formalismes symboliques à neuro-symboliques, afin de spécifier une telle tâche et de modéliser les comportements et processus cognitifs sousjacents d’un sujet engagé dans cette tâche. Bien qu’étant à un stade très préliminaire, une telle formalisation semble prometteuse pour mieux comprendre les mécanismes complexes impliqués dans la résolution créative de problèmes à plusieurs niveaux : (i) la spécification du problème et les observables d’intérêt à collecter pendant la tâche ; (ii) la représentation cognitive de l’espace-problème, en fonction des connaissances préalables et de la découverte des affordances, permettant de générer des trajectoires-solutions créatives ; (iii) une implémentation du raisonnement par inférence au sein d’un substrat neuronal
Integrating transversal skills such as creativity, problem solving and computational thinking, into the primary and secondary curricula is a key challenge in today’s educational field. We postulate that teaching and assessing transversal competencies could benefit from a better understanding of the learners’ behaviors in specific activities that require these competencies. To this end, computational learning science is an emerging field that requires the close collaboration of computational neuroscience and educational sciences to enable the assessment of learning processes. We focus on a creative problem-solving task in which the subject is engaged into building a “vehicle” by combining modular robotic cubes. As part of an exploratory research action, we propose several approaches based on symbolic to neuro-symbolic formalisms, in order to specify such a task and model the behavior and underlying cognitive processes of a subject engaged in this task. Despite being at a very preliminary stage, such a formalization seems promising to better understand complex mechanisms involved in creative problem solving at several levels: (i) the specification of the problem and the observables of interest to collect during the task; (ii) the cognitive representation of the problem space, depending on prior knowledge and affordance discovery, allowing to generate creative solution trajectories; (iii) an implementation of reasoning mechanisms within a neuronal substrate

Styles APA, Harvard, Vancouver, ISO, etc.

2

Combettes, Sylvain. « Symbolic representations of time series ». Electronic Thesis or Diss., université Paris-Saclay, 2024. http://www.theses.fr/2024UPASM002.

Texte intégral

Résumé :

Les objectifs de cette thèse sont de définir de nouvelles représentations symboliques et des mesures de distance adaptées aux séries temporelles pouvant être multivariées et non-stationnaires. De plus, elles doivent préserver l'information temporelle, être interprétables et rapides à calculer. Nous passons en revue les représentations symboliques de séries temporelles, ainsi que les mesures de distance sur séries temporelles, chaînes de caractères et séquences symboliques (qui résultent d'un processus de symbolisation).Nous proposons deux contributions: ASTRIDE pour un ensemble de séries temporelles univariées, et d_{symb} pour un ensemble de séries temporelles multivariées. Nous avons également développé le d_{symb} playground, un outil interactif en ligne permettant aux utilisateurs d'appliquer d_{symb} à leurs données téléversées. ASTRIDE et d_{symb} sont pilotées par les données, car elles utilisent la détection de ruptures pour l'étape de segmentation, puis des quantiles ou un partitionnement par les K-moyennes pour l'étape de quantification. Enfin, elles appliquent la distance d'édition générale avec des coûts personnalisés entre les séquences symboliques obtenues.Nous montrons les performances d'ASTRIDE, comparé à 4 autres représentations symboliques, sur des tâches de reconstruction, et lorsque cela s'applique, sur des tâches de classification. Pour d_{symb}, les expériences montrent à quel point la symbolisation est interprétable. De plus, comparée à 9 distances élastiques sur une tâche de partitionnement, d_{symb} atteint des performances compétitives tout en étant plusieurs ordres de grandeur plus rapide
The objectives of this thesis are to define novel symbolic representations and distance measures that are suited for time series that can be multivariate and non-stationary. In addition, they should preserve the time information, be interpretable, and fast to compute. We review symbolic representations of time series (that transform a real-valued series into a shorter discrete-valued series), as well as distance measures on time series, strings, and symbolic sequences (that result from a symbolization process).We propose two contributions: ASTRIDE for a data set of univariate time series, and d_{symb} for a data set of multivariate time series. We also developed the d_{symb} playground, an online interactive tool that allows users to apply d_{symb} to their uploaded data. ASTRIDE and d_{symb} are data-driven as they use change-point detection for the segmentation step, then either quantiles or a K-means clustering algorithm for the quantization step. Finally, they apply the general edit distance with custom costs between the resulting symbolic sequences.We show the performance of ASTRIDE compared to 4 other symbolic representations on reconstruction and, when applicable, on classification tasks. For d_{symb}, experiments show how interpretable the symbolization is. Moreover, compared to 9 elastic distances on a clustering task, d_{symb} achieves a competitive performance while being several orders of magnitude faster

Styles APA, Harvard, Vancouver, ISO, etc.

3

Moulinier, Isabelle. « Une approche de la categorisation de textes par l'apprentissage symbolique ». Paris 6, 1996. http://www.theses.fr/1996PA066638.

Texte intégral

Résumé :

L'objectif principal des travaux presentes dans cette these est de determiner si la classification automatique, en particulier au moyen de l'apprentissage symbolique supervise, peut etre appliquee a la categorisation de documents, tache qui permet d'affecter des categories semantiques a des documents en fonction de leur contenu. Le memoire s'articule autour de deux axes complementaires. L'axe principal consiste a determiner si les techniques d'apprentissage apportent des solutions aux preoccupations de la recherche documentaire, en particulier le filtrage de documents. Dans cette optique, il est necessaire de prendre en compte les caracteristiques des collections textuelles, en particulier celles liees aux dimensions des donnees textuelles (plusieurs milliers d'exemples et des dizaines de milliers d'attributs), qui sortent du cadre classique des applications de l'apprentissage. Ce probleme constitue le second axe de notre travail. Pour des raisons de complexite, notre demarche est d'introduire une etape prealable de selection d'attributs avant tout apprentissage. Ceci nous conduit a proposer une methode originale de reduction, appelee scar, qui tire parti des caracteristiques des donnees textuelles. Nous comparons scar a deux methodes classiques pour la reduction de dimension. Nous evaluons ces methodes sur la collection reuters-22 173, dont la taille est consequente. Nous nous interessons ensuite aux liens entre le presuppose d'apprentissage (nature de l'apprentissage) et les donnees textuelles, dans l'optique d'une application au filtrage. Nos resultats montrent que, malgre la relative equivalence observee en moyenne en comparant les differents algorithmes proposes, on peut distinguer une reelle influence du presuppose d'apprentissage sur la performance de l'algorithme, lorsque celui est applique a certaines classes de problemes que nous avons identifie.

Styles APA, Harvard, Vancouver, ISO, etc.

4

Notué, Jean-Paul. « La Symbolique des arts Bamileke (Ouest Cameroun) : approche historique et anthropologique ». Paris 1, 1988. http://www.theses.fr/1988PA010669.

Texte intégral

Résumé :

L'étude de la production artistique bamiléké montre ici que les objets d'arts sont essentiellement symboliques, qu'ils sont aussi d'éminents témoins culturels et d'importantes sources de l'histoire, qu'ils perpétuent la mémoire des faits individuels et collectifs. Elle démontre en outre que les arts et les symboles qui leur sont attaches ne sont pas figes, mais ont connu de nombreuses transformations dont celles mises en évidence concernant la période allant du XIVe siècle à nos jours. L'étude des symboles (liée a une esthétique remarquable) tout en dégageant les lois de la création relative à la genèse de ces symboles, et en mettant en relief les liens étroits entre eux et l'environnement (naturel, social, économique, historique) tente en même temps de résoudre les problèmes concernant : les représentations, l'évolution, les significations, et les fonctions sociales des objets symboliques; la distribution des différents styles et les influences mutuelles au grasland du sud. En montrant l'intérêt de la symbolique dans les arts bamiléké, cette étude pose aussi le problème de sa portée dans les recherches relatives aux arts en Afrique. Elle démontre en plus l'importance de l'art comme source de l'histoire africaine.

Styles APA, Harvard, Vancouver, ISO, etc.

5

Sayed, Mazen El. « Une approche logico-symbolique des connaissances nuancées via des modificateurs linguistiques ». Angers, 2001. http://www.theses.fr/2001ANGE0021.

Texte intégral

Résumé :

Le traitement de la connaissance imprécise occupe une place centrale dans les recherches en Intelligence Artificielle. Parmi les approches proposées, on peut faire ressortir deux grandes catégories principales : 1. Celles numériques se basant sur la théorie des ensembles flous et la logique floue, 2. Celles symboliques dédiées au traitement de l'imprécision de nature qualitative. Ces approches se basent sur la théorie des multi-ensembles et des logiques symboliques multivalentes. Dans cette thèse, nous présentons une approche qualitative purement symbolique de représentation et d'exploitation des connaissances imprécises du langage naturel. Cette approche est construite sur le substrat d'une logique symbolique multivalente proposée par Pacholczyk. Dans un premier temps, nous proposons une modélisation multi-ensembliste pour les termes imprécis du langage. Dans cette modélisation, nous associons à chaque terme imprécis une " réglette " dont la géométrie représente le caractère imprécis et graduel de ce terme. La description de cette " réglette " est fournie par un expert dans un langage déclaratif et purement symbolique. En nous basant sur la nouvelle modélisation, nous définissons des modificateurs linguistiques (notamment les modificateurs de précision et ceux de translation) dans un contexte multi-ensembliste. Ensuite, nous proposons de nouvelles règles de Modus Ponens généralisé enrichissant ainsi le système d'exploitation symbolique de connaissances imprécises proposé par Pacholczyk. Dans ces généralisations, nous utilisons une relation de similarité multi-ensembliste et une relation de proximité. La première est une relation réflexive, symétrique et " faiblement transitive ". La deuxième est une relation réflexive et " faiblement transitive "

Styles APA, Harvard, Vancouver, ISO, etc.

6

TROMA, LAURENT. « Surveillance et diagnostic de systemes industriels complexes : une approche hybride numerique/symbolique ». Rennes 1, 2000. http://www.theses.fr/2000REN10009.

Texte intégral

Résumé :

La surveillance et le diagnostic de pannes (sdp) dans les systemes complexes reposent ici sur la connaissance d'un comportement de reference et sur l'exploitation de signaux delivres par les capteurs, numeriques ou symboliques (marche/arret, alarmes). Nous prenons pour cadre une modelisation conjointe, ou hybride numerique/symbolique, de la production de ces signaux, par modele a etat continu parametre pour l'aspect numerique et sinon par systeme a evenements discrets, ici un reseau de petri (rdp). La conception du rdp propose exploite les connaissances a priori disponibles : arbres de defaillances, issus des analyses de risque des systemes, et graphe (des modes) de fonctionnement, issu par exemple d'un grafcet de commande. La sdp consiste alors a estimer dans un cadre bayesien, la sequence optimale d'evenements non observes (les defaillances) survenus dans le rdp, conditionnellement aux signaux numeriques dans lesquels se manifestent les pannes : pour cela deux algorithmes de type viterbi sont developpes, selon que le modele hybride est purement stochastique ou non. Dans le premier cas, le rdp est restreint a la dynamique des defaillances, supposee completement probabilisee, ce qui permet d'adopter un cadre markovien cache pour l'estimation. Dans le second cas, on inclut les possibilites de changement de mode de fonctionnement : un ensemble de modeles d'etat decrit la production des signaux numeriques selon les phases de fonctionnement du systeme ; leur alternance etant observee de maniere certaine, le rdp est maintenant partiellement deterministe. Un algorithme de viterbi generalise, recemment developpe pour les rdp partiellement stochastiques, est ici etendu a ce type de systeme. Dans les deux cas, les observations numeriques du viterbi sont elaborees selon l'approche asymptotique locale. Un exemple simule presente les qualites et limites de cette approche.

Styles APA, Harvard, Vancouver, ISO, etc.

7

Carron, Thierry. « Segmentations d'images couleur dans la base teinte-luminance-saturation : approche numérique et symbolique ». Chambéry, 1995. http://www.theses.fr/1995CHAMS026.

Texte intégral

Résumé :

L'utilisation de la couleur dans les étapes de segmentation va aboutir, grâce à l'apport complémentaire d'informations (données tridimensionnelles), à de meilleurs résultats qu'en utilisant une représentation monochrome. La traduction de cette information dans un espace Teinte-Luminance-Saturation, très proche de la perception humaine des couleurs, permet une interprétation aisée, une certaine indépendance et une complémentarité entre les informations. Ceci va faciliter l'intégration des caractéristiques spécifiques des images couleurs dans le processus de segmentation. Cependant, l'un des soucis de la mise au point des méthodes de traitement couleur sera de ne pas payer le gain de performance par un accroissement important des temps de traitements. Une stratégie peut alors consister à chercher à fusionner les informations apportées par les trois composantes afin de définir une information unique traduisant soit un critère d'homogénéité dans le cas de la segmentation en régions, soit un critère de discontinuité dans le cas de la détection de contours. Cette fusion des données peut être envisagée par une approche classique, en effectuant une somme pondérée des informations, ou bien en employant des techniques de fusion plus élaborées reposant sur des représentations symboliques associées à la théorie des sous-ensembles flous.

Styles APA, Harvard, Vancouver, ISO, etc.

8

Charrier, Tristan. « Complexité théorique du raisonnement en logique épistémique dynamique et étude d’une approche symbolique ». Thesis, Rennes 1, 2018. https://ged.univ-rennes1.fr/nuxeo/site/esupversions/2a4b2a55-42ff-4768-9b9e-677421fef507.

Texte intégral

Résumé :

Nous étudions la complexité théorique de tâches de raisonnement mettant en jeu la connaissance des agents dans les systèmes multi-agents. Nous considérons la logique épistémique dynamique (DEL) comme une façon naturelle d'exprimer la connaissance, qui permet d'exprimer la connaissance d'ordre supérieur des agents et des actions dynamiques partiellement observées. Nous montrons des résultats de complexité algorithmique pour la vérification de modèles et la satisfiabilité de formules de DEL, et définissons une approche symbolique pour ces mêmes problèmes. Nous étudions également la planification basée sur DEL ainsi que des quantifications sur certaines actions : les annonces publiques
We study the theoretical complexity of reasoning tasks involving knowledge in multi-agent systems. We consider dynamic epistemic logic (DEL) as a natural way of expressing knowledge, which allows to express nested knowledge of agents and partially observed dynamic actions. We show complexity results for model checking and satisfiability of DEL formulas, and define a symbolic approach for these problems. We also study DEL-based planning and quantification over specific actions: public announcements

Styles APA, Harvard, Vancouver, ISO, etc.

9

Léonard, Jean-Raymond. « La voie du aïkido : approche anthropologique des pratiques au Japon et en France ». Nice, 1992. http://www.theses.fr/1992NICE2008.

Texte intégral

Résumé :

L'aïkido au Japon est une mise en valeur du corps à la fois support incontournable à la prise de conscience de l'homme face à lui-même et pivot de l'intégration du sujet dans la trame sociale à laquelle il appartient. Différemment, cette même pratique en France, vise davantage une unification du sujet avec lui-même dans un souci d'intégration du mouvement et du vécu dans le jeu de la rencontre. L'aïkido participe de fait au discours envahissant qui veut répondre à la nécessité de restaurer un enracinement à l'existence humaine devenu évanescent par la modernité. Aussi notre étude porte sur la place du corps au Japon comme fondement de l'âme individuelle et sociale. L'aïkido, héritier du bushido, tout en participant à la modernité japonaise perpétue la tradition ancestrale, enracinant le sujet-acteur dans le tissu du monde auquel il est lié. Nous avons ainsi dégagé comment cette pratique culturelle convoquant le corporel engage le japonais dans un récit moderne qui est celui de la modernité, sans laisser de côté la tentative occidentale de rénover avec son corps, comme espace-temps intime de la condition humaine

Styles APA, Harvard, Vancouver, ISO, etc.

10

Gouabault, Emmanuel. « La résurgence contemporaine du symbole du dauphin : approche socio-anthropologique ». Montpellier 3, 2006. http://www.theses.fr/2006MON30022.

Texte intégral

Résumé :

Le développement d’un intérêt sans cesse croissant pour le dauphin, dans les sociétés occidentales, s’observe dès les années 1950. L’image du cétacé est aujourd’hui si répandue, notamment en France, qu’il faut l’analyser en termes de phénomène de société. Cependant, dans un premier mouvement voulu par une socio-anthropologie de l’animal, la relation homme-dauphin doit être envisagée à travers ses différentes manifestations, historiques et culturelles. Ainsi, une étude zoohistorique de nos représentations du mammifère marin révèle-t-elle leur ancrage au sein des cultures minoenne, hellénique puis romaine. Par la suite, après avoir représenté le Christ chez les premiers chrétiens, le dauphin n’apparaît plus qu’en filigrane dans les pages de l’Histoire. D’autre part, la pratique du comparatisme anthropologique met en évidence la spécificité de différents imaginaires socioculturels. Une analyse homologique a révélé la permanence de structures et de grandes images qui fondent tout système symbolique basé sur le dauphin. Le second mouvement de cette étude, fort des résultats précédents, se recentre sur les sociétés postmodernes et sur la France en particulier. Après avoir précisé les étapes contemporaines du phénomène dauphin, nous avons décrit, à travers une approche mythanalytique, l’imaginaire social et les archaïsmes qui ont permis son émergence. Ce phénomène agit comme le promoteur de certaines valeurs. L’opposition structurale dauphin-requin, l’imaginaire évolutionniste, les delphinariums et la delphinothérapie constituent les principaux axes d’une mythologie delphinienne en acte. Cette analyse permet de conclure notamment sur la fonction de révélateur socio-anthropologique dont est porteur cet animal d’élection qu’est le dauphin
Since the 1950’s, the western societies have been observed to develop an ongoing and growing interest for the dolphin. The image of this cetacean is indeed so widely spread, notably in France, that it warrants an analysis in terms of it being a phenomenon of the society. However, in the context of the first part of our research structured around the socio-anthropology of this animal, the man-dolphin relationship would have to be envisaged by means of its different manifestations, both historical and cultural. Thus a zoohistorical study of our representations of this marine mammal reveals their primary connection to the Minoan, Hellenistic and later Roman cultures. At a later stage, after having represented Christ among the early Christians, the dolphin ceases to appear as anything more than simply a distant and random association through the pages of History. On the other hand the application of anthropological comparatism renders evident the specificity of different socio-cultural imaginaries. A homological analysis has unveiled the permanence of structures and grand images which establish in their entirety a system of symbols based on the dolphin. The second part of this thesis, enforced by precedent results, refocuses on the postmodern societies and France in particular. After having identified the contemporary stages of the dolphin phenomenon, we have described, employing a mythanalytical approach, the imaginary and archaisms that have facilitated its emergence. This phenomenon acts as the promoter of certain values. The structural opposition dolphin-shark, the evolutionary imaginary, the existence of dolphinaria and the wide practice of dolphin-therapy, constitute the principal axes of a dolphinian mythology in practice. This analysis enables us to attain certain conclusions notably on the function of a socio-anthropological revealer, the bearer of which is this animal of choice, the dolphin

Styles APA, Harvard, Vancouver, ISO, etc.

11

Khoukhi, Faddoul. « Approche logico-symbolique dans le traitement des connaissances incertaines et imprecises dans les sbc ». Reims, 1996. http://www.theses.fr/1996REIMS014.

Texte intégral

Résumé :

L'un des problemes les plus importants en informatique, et plus particulierement en intelligence artificielle, depuis l'apparition de l'ordinateur, est la simulation du processus d'automatisation du raisonnement humain, notamment dans les systemes a base de connaissances. Le raisonnement dans les systemes a base de connaissances est multiforme. En effet, les qualificatifs associes generalement au mot raisonnement correspondent soit a la nature du raisonnement (raisonnement hypothetique, analogique, etc. ), soit a la nature des connaissances capables de realiser des fonctions de raisonnement. Ainsi, la modelisation du raisonnement constitue, a l'heure actuelle une part importante des recherches et des developpements en intelligence artificielle. De tels systemes necessitent en particulier une representation adequate, des connaissances mises en jeu et des mecanismes efficaces d'exploitation de ces connaissances (raisonnement). Les deux aspects, de representation des connaissances et du traitement, sont etroitement lies. Le raisonnement humain s'appuie frequemment sur des connaissances et des donnees peu exactes, incertaines ou encore dont l'expression verbale est elle-meme entachee d'imprecision. Modeliser ce type de connaissances et automatiser le raisonnement capable de le prendre en compte est une activite importante en intelligence artificielle et implique, de ce fait, l'elaboration d'un formalisme permettant de representer les connaissances, et d'une methode permettant de les manipuler. De nombreux formalismes de representation des connaissances resultent des travaux effectues en logique mathematique, en theorie des graphes, en psychologie cognitive et en informatique. Dans cette these, nous proposons une approche logico-symbolique pour le traitement des connaissances imprecises et/ou incertaines dans les systemes a base de connaissances basee essentiellement sur la logique des propositions multivalentes et la theorie des probabilites symboliques

Styles APA, Harvard, Vancouver, ISO, etc.

12

Truck, Isis. « Approches symbolique et floue des modificateurs linguistiques et leur lien avec l'agrégation : Application : le logiciel flous ». Reims, 2002. http://www.theses.fr/2002REIMS022.

Texte intégral

Résumé :

Pour raisonner, l'homme utilise des variables linguistiques dotées, le plus souvent, de modificateurs pour exprimer les nuances. De façon plus générale, les modificateurs linguistiques servent à affiner la pensée et à exprimer la synthèse d'un ensemble de données quelconques. Nous traitons le problème de la modification de données en établissant un lien entre l'acte de modification et celui d'agrégation. Afin de proposer des outils concurrents, nous avons situé nos travaux dans deux cadres formels différents: celui de la théorie des sous-ensembles flous, et celui de la théorie des multi-ensembles. Dans ce dernier, nous apportons des contributions originales comme les modificateurs symboliques généralisés et la médiane symbolique pondérée définie, en partie, d'après nos modificateurs généralisés. Ensuite, dans le premier cadre, nous dressons un classement des modificateurs flous. La faisabilité de toute notre approche est démontrée en proposant une application complète.

Styles APA, Harvard, Vancouver, ISO, etc.

13

Givre, Philippe. « Approche sémiotique de la couleur en psychanalyse : colorations de la pulsion ». Paris 7, 1994. http://www.theses.fr/1994PA070152.

Texte intégral

Résumé :

Ce travail vise principalement à réhabiliter le rôle du sensible et de la couleur en particulier dans une approche psychanalytique. La première partie s'attache tout d'abord à décrire les apports de la phénoménologie dans ces domaines peu exploré par la psychanalyse freudienne. Il s'agit ensuite de reprendre les thèses phénoménologiques pour les entrecroiser avec les présupposés métapsychologiques qu'ils soient freudien, lacanien ou winnicottien. La deuxième partie traite des modes de participation du chromatique au niveau de phénomènes cliniques comme les hyperesthésies sensorielles, les états hypnagogiques, les états oniroides, l'aura épileptique, les pseudo-extases des toxicomanes ou encore l'édification de doubles, avant d'envisager les destins de la couleur dans le travail du rêve
This work essentially aims at restoring the role of sensitiveness and especially of colour in a psychonalytical approach. The first part is mainly devoted to describing the benefits of pheneomenology in those fields that remained not investigated by freudian psychoanalysis. Then, it's a matter of borrowing the phenomenological theses by confronting them with the meta-psychological presuppositions, whether they are freudian, lacanian or winnicottian. The second part deals with the exchanges of chromatic regarding the clinical phenomena such as sensorial hyperaesthesia, "hypnagogical" states, states of dreamlike hallucinosis, epileptic aura, pseudo-ecstasy of drug addicts or even the buildings of duplicate, prior to apprehending the outcomes of colour in the making of dream

Styles APA, Harvard, Vancouver, ISO, etc.

14

Catellin, Sylvie. « L' enquête et le labyrinthe dans la littérature et la fiction multimédia : une approche socio-cognitive et communicationnelle des dispositifs interactifs ». Paris 10, 2000. http://www.theses.fr/2000PA100013.

Texte intégral

Résumé :

Les jeux de fiction multimédia héritent de la structure de deux grands modèles cognitifs et culturels, l'enquête et le labyrinthe. Le récit d'enquête associe la recherche d'informations et l'interprétation d'indices. Sa structure narrative est caractérisée par un récit qui progresse en reconstituant des événements passés. Le labyrinthe s'est développé notamment dans la littérature et les jeux. Il est devenu une expérience de l'écriture et une technique narrative associée à l'enquête. L'histoire de l'enquête-labyrinthe permet de comprendre comment la fiction multimédia a hérité du mouvement progressif de déplacement de la narration romanesque vers de nouvelles formes et de nouveaux usages, liés à la participation accrue du lecteur dans la fiction et aux supports interactifs. L'enquête sollicite l'acivité cognitive du lecteur-joueur et favorise l'abduction. Le labyrinthe narrativise l'espace, c'est un vecteur d'immersion perceptive dans la fiction. Les dispositifs textuels et multimédias sont des systèmes d'information spécifiques, mais dans les deux cas la solution est cachée, et il s'agit d'empêcher le lecteur-joueur d'accéder à l'information pertinente, tout en l'exposant à son regard. Les premiers usent de procédés narratifs. Les seconds sont basés sur la manipulation d'objets et conditionnent le parcours du joueur. Ils utilisent rarement le texte et la coopération interprétative. Or l'interprétation peut être conçue comme espace intersubjectif, générateur de sens et d'interactions sociales. Un dispositif de jeu littéraire balzacien, isomorphe au jeu multimédia, a été mis au point pour cette étude et expérimenté. Il casse la logique duale homme / ordinateur et introduit la multiplicité des acteurs. L'expérimentation a permis de mettre en évidence des procédures d'interprétation, la co-construction d'hypothèses par le dialogue et l'interaction socio-cognitive. Les résultats ont également consolidé l'hypothèse d'une adaptabilité de la littérature au multimédia
[Résumé en anglais] Multimedia fiction games inherit the structure of two important cognitive and cultural models : inquiries and labyrinths. Inquiry narrative combines the search for information and the interpretation of clues. Its narrative structure is characterized by a story whose progression is assured by the reconstitution of past events. Labyrinths have had a particular importance in literature and in games. They have become a writing experiment and a narrative technique associated with inquiries. The history of inquiry-labyrinth allows us to understand what multimedia fiction owes to the progressive shift of narrative in novels towards new forms and practices linked to greater reader participation in fiction and to interactive media. Inquiries stimulate the reader-player's cognitive activity and favour abductive inference. The labyrinth narrativises space, it is a vecor for perceptual immersion in fiction. Textual and multimedia devices are specific information systems but in both cases the solution is hidden and the objective is to prevent the reader-player's access to the relevant information whilst ensuring this information is clearly visible. The former use narrative devices. The latter, based upon the manipulation of objects, determine the reader's path , rarely using textual material and interpretative cooperation. Interpretation can be conceived as intersubjective space, generating meaning and social interactions. A balzacian literary game, morphologically close to multimedia games, was elaborated for this study and tested. It disrupts man/computer dual logic and introduces multiple actors. This experimentation allowed us to show up interpretatives procedures, the co-construction of hypotheses through dialogue and socio-cognitive interaction. Its results have also confirmed the hypothesis of the adaptability of litterature to multimedia

Styles APA, Harvard, Vancouver, ISO, etc.

15

Cuillerai, Marie. « Communauté monétaire : convergence d'intérêts ou cohésion sociale : Pour une approche communicationnelle de la symbolique monétaire ». Paris 8, 1999. http://octaviana.fr/document/17446553X#?c=0&m=0&s=0&cv=0.

Texte intégral

Résumé :

La philosophie, de par sa naissance est intimement liée aux activités de la Cité. Qu'elle en conteste ou consolide les fondements, son action repose sur le jugement des hommes. La communauté et l'institution font partie de son champ de réflexion. Ces notions couvrent un terrain, le politique, délimité -mais souvent recomposé-, le religieux d'un côté, l'économique de l'autre. L'économie, de par sa naissance devait rompre avec l'ancienne compréhension de l'ordre des choses et tracer à son tour les frontières de sa spécialité. Cette partition des savoirs ne convient pas à la compréhension de réalités ambivalentes dont le propre est de redéfinir les logiques disciplinaires. La monnaie est représentative de ces objets idéels et matériels qui transgressent les domaines. Depuis, l'abandon du Gold exchange Standard, les relations monétaires internationales ont changé. . .

Styles APA, Harvard, Vancouver, ISO, etc.

16

Smadhi, Saliha. « Contribution à la découverte de connaissances dans les bases de données : une approche par les objets symboliques ». Aix-Marseille 3, 1997. http://www.theses.fr/1997AIX30011.

Texte intégral

Résumé :

Les travaux exposes dans ce memoire abordent le probleme de l'extraction automatique des connaissances a partir des bases de donnees qui est un des aspects de la problematique de la decouverte de connaissances dans les bases de donnees (plus connue sous l'appellation de kdd, data mining). Une premiere contribution porte sur la proposition d'une methode d'extraction de connaissances fondee sur l'utilisation d'une approche symbolique-numerique basee sur les objets symboliques. L'originalite de cette methode reside dans le fait qu'elle utilise d'une part les informations positives, resultats d'une requete de selection, et d'autre part les informations negatives, donnees de la base qui ne satisfont pas la requete. Trois types de regles sont ainsi extraites: les regles de decision, les regles d'exception et les regles caracteristiques. Une deuxieme contribution porte sur les objets symboliques par l'introduction de la notion de treillis de galois d'objets symboliques. Nous proposons un algorithme d'exploration de ce type de treillis, pour generer des regles a partir de certaines proprietes extraites d'une vue d'une base de donnees. L'implementation informatique de la methode kdso (knowledge discovery by symbolic objects) est presentee

Styles APA, Harvard, Vancouver, ISO, etc.

17

Kim, Do Hoon. « Lieux symboliques et modernisation de la nature en Corée : une approche mésologique en aménagement et en urbanisme ». Paris, EHESS, 2011. http://www.theses.fr/2011EHES0144.

Texte intégral

Résumé :

Cette recherche insiste sur le rythme du trajet mésologique s'opérant dans le propre milieu d'une société, c'est-à-dire celui de la trajectivité. C'est au long du trajet mésologique ou dans la trajectivité que la valeur écologique et la valeur symbolique s'unissent, et encore l'ordre physique et l'ordre phénoménal se croisent. Le concept du trajet mésologique nous conduit à réfléchir sur le déterminisme écologique et sur le mécanicisme moderne, dans lequel l'étendue terrestre n'est pas considérée comme un lieu vivant et concret, mais comme un espace inerte et abstrait. Donc, cette recherche consiste à considérer l'établissement d'un lieu d'habitation humain, pour lequel on rappelle qu'on devrait prendre en compte le point de vue mésologique de tout environnement résidentiel. Surtout qu'il s'appuie sur le sens particulier que les habitants attribuent à la nature et à l'espace. Ce sens contribue à leur bien être vital. Il est devenu le motif principal de toute transformation urbaine. Ce sens est en évolution progressive avec la « prise mésologique » d'un milieu dans la société humaine. Il n'est pas différent de l'étendue indéfinie d'un imaginaire en rapport avec la nature et l'espace. C'est-à-dire qu'il est la suite d'un processus de trajection
This research emphasizes the rhythm of the mesological way taking place in the proper milieu of a society that is to say that of the trajectivitie. It’s along the mesological way or in the trajectivitie that the ecological value and the symbolic value unite, and yet the physical order and the phenomenal order intersect. The concept of mesological way leads us to reflect on the environmental determinism and the mechanistic modem, where the extend land is not considered as a living and concrete place, but as an inert and abstract space. Therefore, this research is to consider the establishment of a human dwelling place, where we recall that we should take into account the mesological view of all residential environment. Especially since it is based the special meaning that people ascribe to nature and space. This meaning contributes to their well being vital. It has become the main motive of an urban transformation. This meaning is changing gradually with the "mesological taken" of a milieu in human society. It is no different from the indefinite extension of an imaginary relationship with nature and space. That is to say that it is following of a process trajection

Styles APA, Harvard, Vancouver, ISO, etc.

18

Ngo, Quoc Dung. « Diagnostic de systèmes hybrides incertains par génération automatique de relations de redondance analytique symboliques évaluées par approche ensembliste ». Phd thesis, Université de Grenoble, 2012. http://tel.archives-ouvertes.fr/tel-00830791.

Texte intégral

Résumé :

Les activités industrielles peuvent induire des risques de nature diverse, voire conduire à des événements catastrophiques. De façon à réduire ces risques à des niveaux acceptables, à en limiter les coûts aussi bien humains, matériels que financiers et à respecter la réglementation, il est crucial d'en prévenir la survenue (prévention) et à identifier des situations anormales en fonction d'informations récupérées sur le terrain. Ceci nécessite de résoudre deux points essentiels : détecter l'anomalie et faire un diagnostic, d'où l'importance des modèles de bon comportement qui modélisent des systèmes physique réels et les méthodes associées permettant d'effectuer la surveillance en continu. L'approche la plus utilisée dans la communauté FDI est l'approche structurelle qui consiste à construire des relations de redondance analytique (RRA). Le principe de l'approche structurelle est de prendre en compte seulement l'existence des relations entre les variables induites par les équations du modèle. En basant sur cette approche, ma thèse consiste à trouver une réponse qui satisfait un triple objectif :1. Extraire les relations valides à partir du modèle de bon comportement d'un système afin de prendre en compte l'évolution du système en éliminant les relations et des mesures invalides ayant pour but d'effectuer le diagnostic en ligne2. Construire, en utilisant une analyse symbolique couplée avec la théorie des graphes, les relations de redondance analytique symboliques (RRAS) pour la détection des défauts dans le système.3. Evaluer ces RRAS en utilisant le calcul par intervalle, an de prendre en compte les incertitudes présents dans les mesures, lors des tests de cohérence.

Styles APA, Harvard, Vancouver, ISO, etc.

19

Raufaste, Éric. « La théorie du support consonant : une approche connexionniste symbolique de l'expertise dans le diagnostic radiologique ». Toulouse 2, 2000. http://www.theses.fr/1999TOU20116.

Texte intégral

Résumé :

Selon le modele hybride proposé, le diagnostic consisterait d'abord à produire un contexte subsymbolique d'où émergerait une représentation symbolique incluant un petit nombre d'hypothèses pertinentes. Une expérience montre que la génération subsymbolique de la pertinence plafonne après quelques années et qu'il existe une différence entre des super experts, dont l'activité quotidienne implique une forte quantité de réflexion délibérée permettant de dépasser les automatismes, et des experts de base chez qui cette activité est moindre. La flexibilité cognitive est modélisée par un mécanisme métacognitif, l'intervention. Une nouvelle théorie psychologique du traitement de l'incertitude est proposée, la théorie du support consonant (CST), basée sur le modèle précédent. Sous les hypothèses que(1) la distribution de l'activation dans les réseaux sémantiques constitue le support subsymbolique du sentiment de confiance associe aux hypothèses, et (2) que ce support se conforme à la théorie mathématique de l'évidence, il suit que (3) la théorie des possibilités devrait etre préférée à la théorie des probabilités en tant que cadre normatif du diagnostic. Une nouvelle mesure de l'incertitude psychologique est présentée, interprétée comme un degré de consonance entre l'hypothèse et le contexte. Les resultats empiriques corroborent la CST en montrant que le modèle possibiliste s'ajuste mieux aux données que le modèle probabiliste. Il est cependant parfois necessaire d'invoquer un traitement à rationalité limitée. Une dernière expérience montre l'existence d'une relation entre flexibilité cognitive et incertitude. Au total, la thèse soutient trois conceptions majeures : (1) modélisation hybride plutôt que connexionniste ou symbolique seulement ; (2) distinction entre une expertise fondée sur l'automatisation, et une expertise permettant plus de flexibilité ; (3) rationalité limitée de l'opérateur et nécessité d'une sélection prudente du cadre normatif pris en référence.

Styles APA, Harvard, Vancouver, ISO, etc.

20

Sebag, Martine. « Une approche symbolique-numérique pour la discrimination à partir d'exemples et de règles : l'apprentissage multicouches ». Paris 9, 1990. https://portail.bu.dauphine.fr/fileviewer/index.php?doc=1990PA090002.

Texte intégral

Résumé :

Dans certains contextes techniques, la discrimination pose les problèmes suivants : les données peuvent comprendre des erreurs ; elles sont souvent insuffisamment représentatives du point de vue de l'analyse de données ; enfin, elles comprennent des exemples et des règles. Les données initiales sont trop imparfaites et/ou de trop grande taille pour se prêter à la recherche directe d'une solution optimale ; nous proposons donc une résolution par approximations successives. L'apprentissage multicouches est un processus itératif en deux temps : un algorithme de généralisation par élimination détermine une base de règles discriminantes approximatives à partir d'une base d'apprentissage incluant des exemples et des règles ; un opérateur de redescription, la réduction, permet de se ramener au nouveau problème, qui consiste à améliorer cette base de règles approximatives. L'itération du processus définit un apprentissage incrémental, capable de raffiner les règles obtenues par un traitement global ou séquentiel des données disponibles

Styles APA, Harvard, Vancouver, ISO, etc.

21

Saulieu, Geoffroy de. « Les Gravures rupestres protohistoriques de la région du mont Bego dans leur contexte symbolique : Approche comparative ». Paris, Muséum national d'histoire naturelle, 2001. http://www.theses.fr/2001MNHN0043.

Texte intégral

Résumé :

Le site rupestre de la région du mont Bego, attribué au Chalcolithique et à l'âge du Bronze ancien, est situé dans les Alpes méridionales à 60 km de la mer, entre 2000 et 2600 m. D'altitude. Plus de 30 000 gravures se répartissent sur plusieurs vallées. Les secteurs se caractérisent par la répartition spatiale des thèmes, des types de gravure et des associations. En résumé on peut distinguer les deux grands secteurs : celui des Merveilles et celui de Fontanalba. Le but de cette recherche est de proposer une relecture des caractéristiques du mont Bego dans le cadre des sites qui lui sont comparables par la chronologie et par leur relative proximité géographique. L'appartenance à un ensemble alpin centré sur la plaine du Pô apparaît une fois de plus comme une évidence, mais la comparaison avec des sites dont on a récemment précisé la chronologie, permet d'aller plus loin et de proposer une approche chronologique des différences entre les secteurs des Merveilles et de Fontanalba. Le secteur de Fontanalba apparaît comme le plus proche des représentations chalcolithiques sur dalle de la période IIIA du Valcamonica. Le secteur des Merveilles se révèle plus proche des la période qui succède à la période IIIA et qui daterait de l'âge du Bronze ancien. L'opposition entre secteurs de Fontanalba et des Merveilles rappelle ainsi l'existence de deux grandes périodes de gravures sur des supports naturels que l'on trouve au Valcamonica avant et après les compositions monumentales de la période IIIA. Le mont Bego se caractérise aussi par l'existence de quelques compositions de gravure. Des comparaisons avec d'autres compositions alpines sont possibles, mais restent limitées à la thématique solaire. Cette dernière est partout associée à la thématique des armes, notamment à deux armes homologues métalliques. Ces compositions montrent dans leur contexte des ressemblances avec d'autres compositions dans l'organisation des représentations : les éléments représentés changent alors que la disposition reste très proche. Cette constatation montre l'importance de la structure des compositions et permet une comparaison directe entre une composition du mont Bego, sur support naturel avec une composition sur un support à caractère mégalithique du Valcamonica. Le lien ainsi établi entre les deux types de supports pose un problème d'interprétations sur le rôle social des gravures sur dalle.

Styles APA, Harvard, Vancouver, ISO, etc.

22

Neyrat, Yvonne. « Le miroir dans la peinture occidentale : une approche diagonale du social ». Besançon, 1997. http://www.theses.fr/1997BESA1014.

Texte intégral

Résumé :

Dans ce travail, notre démarche se situe au cœur de la création de valeur, artistique, culturelle. Nous avons pour cela repris le chemin de l'image en occident. La théologie de l'incarnation a fait le pari du visible, et a ainsi déterminé l'épistème et la culture occidentale. Nous faisons l'hypothèse que le contexte actuel de l'image n'est pas indépendant de cette conception de l'image. L'art contemporain est une remise en question de la problématique du visible et tend à retrouver à partir de la métaphore une valeur symbolique pour les images, valeur que les images technologiques ou l'image-idole, qui ne représente qu'elle-même, n'ont plus aujourd'hui. Tout au long de ce parcours qui prend en compte le miroir dans la peinture, nous avons retrouvé les questions essentiellement anthropologiques qui mettent en scène soi et l'autre de soi, soi et le rapport au monde, à l'objet, au visible. Notre démarche sociologique puise dans d'autres sciences humaines, telles que la psychanalyse, l'épistémologie, l'histoire, établissant des rapports permettant d'élaborer des modèles qui servent une connaissance du social et des cultures
A diagonal approach to the social sphere. This research is situated at the heart of cultural and artistic creations of value. To do this we have traced the history of the image in the western world and have seen how the theology of the incarnation of christ was spread visually. Thus was determined western epistemology and culture. Our hypothesis proposes that the image in a modem context is not independent from this conception of the image. Contemporary art re-examines the problems of visual representation and through this metaphor we can find a symbolic value for images; a value which today's technical or idol-images no longer have. Throughout our work we take into account the mirror in painting and face the essential anthropological questions of the self, the selfs other, and the self in relation to the outside world, the visual world and the object. This is a sociological undertaking hence it draws from the social sciences; psychoanalysis, epistemology, and history have allowed us to build models which advance our understanding of the social sphere and of cultures

Styles APA, Harvard, Vancouver, ISO, etc.

23

Raufast, André. « Apprentissage moteur et psychopathologie infantile : intérêt d'une approche etho-clanique du judo avec des groupes d'enfants pertubés. Aspects symboliques ». Aix-Marseille 2, 1997. http://www.theses.fr/1997AIX22010.

Texte intégral

Résumé :

Les troubles psychiques infantiles non deficitaires s'accompagnent de retards scolaires et de difficultes de socialisation. L'education physique et sportive, discipline scolaire, est-elle aussi affectee par la psychopathologie de l'enfant (psychose et nevrose) ? pourrait-elle jouer aussi le role d'interface entre le jeu et l'activite scolaire, en dynamisant, par des voies motrices et culturelles, les processus de symbolisation requis ? l'activite judo, sport de communication inter-actif aux techniques complexes, sert de support a cette problematique. Une methodologie de type etho-clinique permet alors de degager des quantifications comportementales, indicatrices des niveaux de performances acquis et du sens psychologique que les sujets attribuent aux formes de l'action sportive. Les resultats montrent qu'il existe bien des liaisons significatives entre les differentes structures psychopathologiques et les niveaux atteints dans les apprentissages moteurs en judo. Dans certains cas et sous certaines conditions, l'evolution dans l'activite judo s'accompagne d'une evolution psychologique plus generale, et du demarrage des apprentissages scolaires. Sur le plan theorico-clinique, ces evolutions impliquent la construction motrice d'un espace inter-personnel code, regule par de nouveaux organisateurs moteurs, specifiques a la pratique sportive: la motricite paradoxale et la motricite de volume reactive et predictive. Ces organisateurs constituent, en reference aux recents modeles des interactions precoces, et de l'origine sociale du developpement mental, un moyen de retablissement des liaisons entre la psyche et le soma des enfants perturbes. Ils inaugurent alors de nouvelles conditions symbolico-motrices qui pourraient etayer les pres-requis psychiques necessaires au demarrage des apprentissages scolaires de base

Styles APA, Harvard, Vancouver, ISO, etc.

24

Mraghni, Mohamed-Chadi. « Détection de chaînes de contours dans une image numérique par approche symbolique et par grammaire de formes ». Tours, 1997. http://www.theses.fr/1997TOUR4010.

Texte intégral

Résumé :

On présente une méthode de détection de chaînes de contours dites cohérentes, par un raisonnement symbolique en intégrant la segmentation et l'interprétation. Une étude théorique, fondée sur l'analyse du 8-voisinage, a conduit à décrire ces chaînes par une grammaire dite de cohérence. Le système de détection développe correspond a un système itératif et incrémentiel. Il est composé de deux parties : une base de connaissances qui contient les règles de la grammaire, un moteur qui correspond aux algorithmes de détection. La séparation de la base de connaissance et du moteur de détection apporte plusieurs avantages. Si, par exemple, la base de connaissances subit une mise à jour, cela implique peu ou pas de modification quant aux algorithmes. Cette séparation permet également de définir plusieurs bases de connaissances, qui correspondraient chacune à une forme différente (e. G. Une base pour la détection de chaînes de contours, une autre pour les structures linéaires). Pour décrire les structures linéaires, on a introduit la notion de grammaire de formes qui correspond à une spécialisation de la grammaire de cohérence. On a définit une grammaire de forme par pente (l'étendue des pentes a été quantifiée). Cette méthode a été implémentée et testée sur des images réelles et artificielles. Actuellement deux bases de connaissances ont été établies, l'une concerne les chaines de contours, l'autre les segments de droites

Styles APA, Harvard, Vancouver, ISO, etc.

25

Salas, Pereira Ligia Maria. « La représentation symbolique, la formation ou la construction d'un concept : une approche culturelle pour l'enseignement et l'apprentissage d'une langue étrangère ». Grenoble 3, 2004. http://www.theses.fr/2004GRE39003.

Texte intégral

Résumé :

Chaque enfant a une représentation symbolique de ce qu'il apprend et celle-ci ne correspond pas nécessairement à celle que le maître et les livres prétendent transmettre. Les méthodologies répondent-elles aux besoins des petits Costaricains? Apprendre le français, oui, mais avec quels objectifs, à long et court terme? La présence d'éléments linguistiques, psychologiques et sociologiques dans le processus d'enseignement et d'apprentissage d'une langue demande d'accorder un temps de réflexion avant de répondre aux questions soulevées. Les entretiens faits en France et au Costa Rica ont des documents qui servent de matériel d'analyse. Ils offrent une richesse d'informations qui constituent le support de la thèse. Dans ce cas ce sont des enfants qui l'ont fournie et les individualités sont prises en compte. Des mots et des phrases, des dessins et des réponses vont permettre de tirer des conclusions sur la représentation symbolique des trois univers lexicaux : la famille, l'école et le(s) jeu(x). Ils sont aussi la base du matériel pédagogique qui est proposé. Une approche culturelle pour l'enseignement et l'apprentissage d'une langue étrangère est la proposition méthodologique. L'enfant développe une conscience culturelle où ses idées vont être prises véritablement en compte. Le vocabulaire, la grammaire et les structures en langue étrangère ainsi que la langue maternelle deviennent des instruments "pour pouvoir s'exprimer". Le matériel pédagogique élaboré : Nos mondes. Le monde -présentation CD et support papier- a permis de sensibiliser aux différences et d'atteindre les objectifs proposés comme le montrent les documents annexés.

Styles APA, Harvard, Vancouver, ISO, etc.

26

Teichteil, Florent. « Approche symbolique et heuristique de la planification en environnement incertain : optimisation d'une stratégie de déplacement et de prise d'information ». Toulouse, ENSAE, 2005. http://www.theses.fr/2005ESAE0028.

Texte intégral

Résumé :

Cette thèse porte sur la planiﬁcation en environnement incertain, dont un modèle classique sont les Processus Décisionnels de Markov (MDP). Nous utilisons des modèles structurés de MDP, basés sur les Diagrammes de Décision Algébriques (ADD), qui permettent de modéliser symboliquement le système décisionnel sous une forme factorisée par variables d’état. Dans une première contribution, nous proposons de réduire le nombre de variables d’état en énumérant localement le MDP symbolique, puis en appliquant des techniques de décomposition de graphes sur le sous-MDP énuméré. Le nombre de variables diminuant, l'espace d’états et les ADD sont plus petits, ce qui facilite l'optimisation du MDP. D’autre part, le problème peut être difficile à modéliser lorsque le nombre de valeurs (arité) des variables d’état est important, car les arbres de décision du modèle deviennent très grands. Ainsi, notre deuxième contribution consiste à modéliser le problème sous forme de Réseau Bayésien Dynamique Générique et Hiérarchique, où certaines variables sont des abstractions de variables de grande arité. Notre modèle générique est paramétré puis automatiquement instancié par des macro-actions déﬁnies sur le sous-espace engendré par les variables de grande arité. Nous montrons l'efficacité de notre approche hiérarchique et symbolique sur des problèmes de déplacement et de prise d'information, dont la variable de navigation a une arité généralement très grande. Les macro-actions sont des macro-déplacements locaux, déﬁnis dans des régions distinctes du sous-espace de navigation. Enﬁn, dans une troisième contribution, nous proposons une classe d'algoritlnnes symboliques et heuristiques, qui permettent d'optimiser partiellement un MDP sur un sous-espace d’états atteignables, connaissant des états initiaux possibles du processus. Nous présentons une heuristique de plus sûr chemin stochastique, qui cible la recherche des stratégies optimales sur les buts du problème. Le MDP est ensuite optimisé en alternant une phase d’expansion du sous-espace atteignable, et une phase de programmation dynamique stochastique sur le sous-espace atteignable courant. Nous proposons également une version en ligne de notre algorithme, qui optimise MDP sur une liste de sous-buts qui augmente incrémentalement durant la mission. Nous montrons l'efficacité de notre algorithme sur des problèmes de déplacement et de prise d'information de grande taille.

Styles APA, Harvard, Vancouver, ISO, etc.

27

Goudey, Alain. « Une approche non verbale de l’identité musicale de la marque : influence du « timbre » et du « tempo » sur l’image de marque évoquée ». Paris 9, 2007. https://bu.dauphine.psl.eu/fileviewer/index.php?doc=2007PA090058.

Texte intégral

Résumé :

La littérature relative aux interactions musique – consommateur sur le point de vente, en publicité, en téléphonie et sur Internet, est abondante, mais les résultats peu convergents. Nous proposons donc un nouveau cadre conceptuel basé sur les synesthésies afin de mesurer l’influence du timbre et du tempo, toutes choses étant égales par ailleurs. Nous incluons l’agrément comme médiateur et le sexe, les traits de personnalité et le degré d’expertise musicale en tant que modérateurs. Grâce à un protocole original, nous avons collecté 1 100 dessins issus de méthodes projectives non verbales auprès de 220 individus. Nos résultats confirment l’hypothèse de codage sémantique des synesthésies faibles : le timbre et le tempo contribuent fortement aux valeurs associées à l’image de marque évoquée. Toutefois, un timbre trop cristallin ou un tempo trop élevé engendrent une consommation importante des ressources cognitives qui peut gêner la compréhension globale du message de marque. Nos travaux plaident ainsi en faveur de l’intervention d’un spécialiste capable de prendre en compte ces aspects multifactoriels afin de proposer aux gestionnaires une identité musicale efficiente
The literature on how consumer reacts to music exposure at the point of sales, in adverts, over the phone and on the Internet is rich. However there is a little convergence in the results. We propose a new conceptual framework based on the concept of synesthesia and specifically study the influence of timbre and tempo. We also examine the mediating impact of pleasantness of music and the moderating influence of sex, personality traits and musical expertise. Using nonverbal projective methods and a new protocol, we collected 1,100 drawings from 220 individuals. Our results confirm the existence of semantic-coding of weak synesthesiae. Timbre and tempo are strongly contributing to the evocation of brand image associated values. However, a timbre too crystalline or a tempo too fast call for the heavy use of cognitive resources that can disturb the overall comprehension of the brand message. The major management application of our doctoral work is that a brand manager should take into account all these multi-factor aspects to guarantee an efficient brand musical identity

Styles APA, Harvard, Vancouver, ISO, etc.

28

Ben, Salem Ala Eddine. « Improving the model checking of stutter-invariant LTL properties ». Thesis, Paris 6, 2014. http://www.theses.fr/2014PA066186/document.

Texte intégral

Résumé :

Les systèmes logiciels sont devenus omniprésents se substituant à l'homme pour des tâches délicates, souvent critiques, mettant en jeu des coûts importants voire des vies humaines. Les conséquences des défaillances imposent la recherche de méthodes rigoureuses pour la validation. L'approche par automates du model-checking est la plus classique des approches de vérification automatique. Elle prend en entrée un modèle du système et une propriété, et permet de savoir si cette dernière est vérifiée. Pour cela un model-checker traduit la négation de la propriété en un automate et vérifie si le produit du système et de cet automate est vide. Hélas, bien qu'automatique, cette approche souffre d'une explosion combinatoire du nombre d'états du produit.Afin de combattre ce problème, en particulier lors de la vérification des propriétés insensibles au bégaiement, nous proposons la première évaluation d'automates testeur (TA) sur des modèles réalistes, une amélioration de l'algorithme de vérification pour ces automates et une méthode permettant de transformer un TA en un automate (STA) permettant une vérification en une seule passe.Nous proposons aussi une nouvelle classe d'automates: les TGTA. Ces automates permettent une vérification en une seule passe sans ajouter d'états artificiels. Cette classe combine les avantages des TA et des TGBA (automates de Büchi). Les TGTA permettent d'améliorer les approches explicite et symbolique de model-checking. Notamment, en combinant les TGTA avec la saturation, les performances de l'approche symbolique sont améliorées d'un ordre de grandeur par rapport aux TGBA
Software systems have become ubiquitous in our everyday life. They replace humans for critical tasks that involve high costs and even human lives. The serious consequences caused by the failure of such systems make crucial the use of rigorous methods for system validation. One of the widely-used formal verification methods is the automata-theoretic approach to model checking. It takes as input a model of the system and a property, and answers if the model satisfies or not the property. To achieve this goal, it translates the negation of the property in an automaton and checks whether the product of the model and this automaton is empty. Although it is automatic, this approach suffers from the combinatorial explosion of the resulting product. To tackle this problem, especially when checking stutter-invariant LTL properties, we firstly improve the two-pass verification algorithm of Testing automata (TA), then we propose a transformation of TA into a normal form (STA) that only requires a single-pass verification algorithm. We also propose a new type of automata: the TGTA. These automata also enable a check in a single-pass and without adding artificial states : it combines the benefits of TA and generalized Büchi automata (TGBA). TGTA improve the explicit and symbolic model checking approaches. In particular, by combining TGTA with the saturation technique, the performances of the symbolic approach has been improved by an order of magnitude compared to TGBA. Used in hybrid approaches TGTA prove complementary to TGBA. All the contributions of this work have been implemented in SPOT and LTS-ITS, respectively, an explicit and a symbolic open source model-checking libraries

Styles APA, Harvard, Vancouver, ISO, etc.

29

Ajami, Khalil. « La Vérification des Systèmes Concurrents : une Approche Fondée sur l'Exploitation des Symétries ». Paris 6, 2000. http://www.theses.fr/2000PA066488.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

30

Ioannou, Irina. « Mise en oeuvre d'une approche symbolique floue pour la maîtrise de la qualité des produits alimentaires par contrôle du procédé ». Clermont-Ferrand 2, 2003. http://www.theses.fr/2003CLF21471.

Texte intégral

Résumé :

Les propriétés sensorielles des produits alimentaires conditionnent le choix des consommateurs. La mesure et le contrôle de ces propriétés sont réalisés par les opérateurs pour pallier au manque instrumental pour effectuer ces tâches. Ainsi, un enjeu important pour la maîtrise de la qualité, est la capacité à proposer des modèles d'aide à la decision de l'opérateur pour la conduite du procédé, qui prennent en compte leurs évaluations et qui lui viennent en coopération sur la ligne de fabrication. Nous avons développé sur 3 cas industriels un outil d'aide à la décision de l'opérateur pour le contôle du procédé par la mise en oeuvre d'un concept flou. Puis nous avons synthétisé une méthode d'application de ce concept flou dans les procédés alimentaires. L'utilisation de la connaisance humaine entraîne l'utilisation de données imparfaites, ainsi nous nous sommes intéressés, pour finir, à l'étude de l'impact des imperfections des mesures d'entrée sur la sortie des modèles développés
Sensory properties influence consumer choice and preference. Their measurement and their control are realized by human operators in order to compensate for an instrumental lack in carrying out these tasks. Thus, a challenge for the control of food quality is the capacity to propose decision support systems to the operator for the process control, which take their assessements into account and which help the operator on the manufacturing line. On 3 industrial cases, we developed a decision support system to the operator by the application of the fuzzy symbolic approach. Then we generalized a method of application of this fuzzy approach on the food processes. The use of human knowledge leads to the use of imperfect data, therefore we are interested in studying the "impact" of the input measurement imperfections on the output of the developed models

Styles APA, Harvard, Vancouver, ISO, etc.

31

Font, Stéphane. « Methodologie pour prendre en compte la robustesse des systemes asservis : optimisation h-infini et approche symbolique de la forme standard ». Paris 11, 1995. http://www.theses.fr/1995PA112130.

Texte intégral

Résumé :

A l'origine, prevue pour prendre en compte des incertitudes non structurees et pour garantir des marges de stabilite multivariables en retour de sortie, l'optimisation h-inifini peut prendre en compte une classe plus vaste de problemes, avec une methodologie adequate dont nous presentons le noyau originel. C'est dans cette optique que nous avons travaille: comment poser un probleme d'optimisation h-infini et comment prendre en compte des incertitudes de type parametrique et/ou des non linearites separables ? nous presentons des outils et des methodes permettant d'aborder cette question. Nous abordons egalement le probleme de la representation standard. Nous donnons une methode d'obtention d'une representation standard utilisable dans de nombreux cas, en particulier lorsque nous disposons d'une representation graphique minimum sous forme de schema blocs. Une approche algebrique de la forme standard est egalement developpee, permettant de definir une notion de representation standard de toute expression algebrique. Ces travaux sont appliques, avec succes, a un benchmark choisi par le groupe de recherche automatique et electrotechnique du cnrs, ainsi qu'a une application industrielle, ayant pour objet la regulation en position d'un palier magnetique. Cette derniere a mene au developpement d'un systeme de synthese de type cao. Enfin l'etude d'un cas plus academique, mais regroupant tous les differents types de problemes rencontres, permet au lecteur de situer le role que doivent jouer les differents concepts et outils utilises dans le cadre d'une application

Styles APA, Harvard, Vancouver, ISO, etc.

32

Quesada, Cécile. « Vivre dans une île-volcan : approche anthropologique des relations entre hommes et volcan à Niuafo'ou (Tonga, Polynésie Occidentale) ». Paris, EHESS, 2006. http://www.theses.fr/2006EHES0237.

Texte intégral

Résumé :

Cette étude d'anthropologie propose d'appréhender l'ensemble des relations unissant les gens de Niuafo'ou (Tonga, Polynésie Occidentale) à leur île-volcan. La démarche théorique adoptée consiste à ne pas présupposer que l'homme se distingue ontologiquement des autres composants de l'environnement. Au quotidien, le volcan représente une terre natale, ancestrale et pourvoyeuse de ressources investie de sens social. La mémoire et l'expérience de ses éruptions ont abouti à l'élaboration de représentations et de savoirs indigènes qui sont au fondement de la création de moyens symboliques ou pratiques visant à affronter le risque éruptif. Ces conceptions et savoirs sont aussi mobilisés par les Niuans dans le cadre d'ateliers de prévention organisés par l'Etat tongien. En défendant leur héritage culturel, ils affirment la spécificité des relations, intrinsèquement liées à leur identité niuane, qu'ils ont bâties avec le volcan, dont ils ont fait un acteur à part entière de leur vie en société
This anthropological study proposes to explore the set of relations uniting the people of Niuafo'ou (Tonga, Western Polynesia) and their island-volcano. The theoretical approach adopted consists in not presupposing that men ontologically distinguish themselves from other components of the environment. On a daily basis, the volcano represents an ancestral and providing land invested with social meaning. The memory and experience of its eruptions have led to the creation of a system of indigenous knowledge and representations that serve as the basis for the invention of symbolical and practical means of coping with eruptive risk. These conceptions and knowledge are also called on by Niuans within the framework of prevention workshops organised by the State. By defending their cultural inheritance, they assert the specificity of the relations, intrinsically interwoven with their Niuan identity, that they have built with the volcano, wich they have made into an agent of their social life

Styles APA, Harvard, Vancouver, ISO, etc.

33

Mauclair, Cédric. « Une approche statistique des réseaux temps réel embarqués ». Thesis, Toulouse, ISAE, 2013. http://www.theses.fr/2013ESAE0016/document.

Texte intégral

Résumé :

Depuis quelques années, les réseaux de communication déployés au sein d’aéronefs sont toujours plus vastes et plus complexes. Ces bus numériques multiplexent différents flux de données afin de limiter les câbles, mais cela induit des retards sur les transmissions. Les travaux présentés ici portent sur une approche statistique de l’évaluation des performances du pire temps de traversée d’un réseau embarqué de type AFDX. Il s’agit de définir une nouvelle approche visant à associer à un calcul pire cas, une distribution des temps de transmission des messages, en vue notamment de permettre d’apprécier le pessimisme du calcul pire cas. Les méthodes décrites sont applicables dans le cadre plus général d’un ensemble de tâches. Nous proposons trois contributions dans ces travaux. Tout d’abord, une méthode originaled’évaluation de la distribution de la durée de traversée d’un commutateur AFDX qui s’appuie sur une énumération symbolique des scénarios d’ordonnancement dans la file d’attente. Puis, un algorithme efficace de calcul des délais subis par des messages/tâches périodiques lorsque les déphasages initiaux sont connus. Les délais calculés sont exacts ainsi que la distribution de probabilité. Enfin, le calcul de la distribution des délais subis par des messages/tâches dans un cadregénéral, à l’aide d’une méthode statistique de type Monte Carlo. Des décalages initiaux sont tirés aléatoirement et permettent de nourrir l’algorithme précédent
Since a few years, communication networks deployed in aircrafts are ever larger and ever more complex. These digital buses multiplex different data streams in order to save cabling, but this causes delays on transmissions.The work presented here is based on a statistical evaluation of the worst case transit time of an embedded network of the AFDX type. It consists in associating a worst case computation with a complete distribution of the transit times in order, among other things, to appreciatethe pessimism of worst case approaches. The methods are also applicable to a set of realtime tasks. This work contributes three major results. First, an original method to evaluate the distribution of the transit time through an AFDX switch, based on the symbolic enumeration of the scheduling scenarios in the waiting queues of the switch. Second, an effective algorithm to compute the delays encountered by periodic messages/ tasks when initial offsets are known. Delays thus computed are exact and so is the delays distribution. Third, the computation of the delays distribution encountered by messages/tasks in a general case using a Monte Carlo based statistical method. Initial offsets are randomised and feed the preceding algorithm

Styles APA, Harvard, Vancouver, ISO, etc.

34

Dubois, Arnaud. « La vie chromatique des objets : Approche anthropologique des couleurs de l'art contemporain ». Paris, EHESS, 2014. http://www.theses.fr/2014EHES0626.

Texte intégral

Résumé :

Ma thèse porte sur les pratiques matérielles de la couleur dans l'art contemporain que j'analyse en suivant "la chaîne opératoire des agglutinations chromatiques" observées sur le terrain d'enquête (le Centre Pompidou Mobile et Monumenta 2012). À partir d'une microanalyse des qualités chromatiques des objets (une installation, une architecture, une identité visuelle et un accrochage de 14 oeuvres de la collection du Musée National d'Art Moderne), je cherche à comprendre comment les couleurs des objets d'art sont faites et ce que la matérialité "fait faire" aux agents qui font cette couleur. Cette méthode permet de décrire les multiples relations qui s'établissent en situation de travail entre humains et couleurs, et donc de réfléchir à ce qu'est la socialisation des couleurs. C'est-à-dire d’analyser les rapports sociaux qui s'établissent dans un milieu donné entre des couleurs et des hommes. Pour mener à bien ce programme, j'utilise le cadre méthodologique et théorique que développe André Leroi-Gourhan dans L'Homme et la Matière (1943) à la suite du programme général de Marcel Mauss sur les objets et les techniques. La couleur est une matière qui se fabrique et qui s'inscrit à l'intérieur des différentes "techniques de fabrication" et "d'actions sur la matière" que produisent les sociétés pour colorer les choses. Mon ethnographie des « pratiques de colorisation » en art contemporain décrit ainsi la culture matérielle de la couleur occidentale et déplace l'anthropologie de la couleur de l'anthropologie cognitive (la couleur comme perception) vers l'anthropologie des techniques (la couleur comme production). Ce déplacement produit une bifurcation épistémologique particulièrement efficace pour proposer une anthropologie de la couleur qui s'intéresse aux couleurs en tant que pratiques sociales. En ce sens, ma thèse est une tentative de requalification du champ d'étude de la couleur. Je propose d’étudier la couleur en tant qu’acte, c'est-à-dire d'observer et d'analyser les actions et les acteurs engagés dans la fabrication d'un objet de couleur en m'intéressant aux situations de travail dans lesquels sont effectués ce que l’on peut appeler des "actes de couleur"
This thesis concerns the material practices of colour in the domain of contemporary art. I analyse such practices following the "chaîne opératoire des agglutinations chromatiques" which I have studied during the period of my fieldwork at the Centre Pompidou Mobile and Monumenta 2012. Starting from a microanalysis of the chromatic qualities of the objects (including an art installation, a piece of architecture, a graphic design project and an agglomerate of 14 work of art of the collection of the Musee National d'art Moderne), this study seeks to understand the relationship between the materiality of making colours and the agents involved in such practice. This method allows us to observe and describe the multiple relations that exist between human beings and colours. It therefore pushes us to reflect on the socialisation of colours. In order to carry out this research, I have made use of a combination of methodological and theoretical approaches borrowing from what andré Leroi-Gourhan develops in his L'Homme et la Matière (1943) that builds on the general idea of Marcel Mauss concerning objects and techniques. For Leroi-Gourhan, colour is a fabricated material and is part of different 'techniques of fabrication' and 'actions on matter' that contribute to the way in which societies give colours to things. My ethnography of "parctices of colorization" in contemporary art describes the material culture of colour and oscillates between the anthropology of colour to cognitive anthropology (colour as perception) towards a sort of anthropology of techniques (colour as production). This oscillation creates an epistemological bifurcation, which I believe it is effective for proposing an anthropology of colour that is interested in both colour and the social practices around colour. In other words, in this work, I consider colour as an act - that is, I believe that colour is made/constructed and that a researcher must observe and analyse the actions and the actors engaged in the fabrication of an object of colour and must pay attention to the situations of work within which the 'act of colours' take place

Styles APA, Harvard, Vancouver, ISO, etc.

35

Minot, Françoise. « Etude semio-psychanalytique de quelques films publicitaires à propos de cinq spots présentés aux téléspectateurs enfantins : approche narrative, énonciative et "symbolique / ». Lille 3 : ANRT, 1989. http://catalogue.bnf.fr/ark:/12148/cb37616542b.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

36

Minot, Françoise. « Etude sémio-psychanalytique de quelques films publicitaires : à propos de cinq spots présentés aux téléspectateurs enfantins : approche narrative, énonciative et symbolique ». Paris 13, 1988. http://www.theses.fr/1988PA131013.

Texte intégral

Résumé :

La recherche consiste a etudier cinq spots publicitaires successifs proposes aux telespectateurs enfantins et elle permet de s'interroger sur l'interet educatif eventuel de ce type de message en rapport a un jeune public. Elle est menee sous le triple point de vue de l'appareil enonciatif, de l'appareil narratif et de la portee "symbolique" au sens freudien du terme. Dans une premiere partie, apres avoir presente le projet et s'etre assure de sa pertinence, on insiste sur la demarche poursuivie et on expose les hypotheses sur lesquelles on compte s'appuyer pour diriger l'observation. Dans une deuxieme partie, on etudie successivement les cinq films choisis. Dans une troisieme partie, on regroupe et met en rapport les diverses conclusions autorisees par le travail effectue. Certaines d'entre elles font retour sur les outils d'analyse utilises. . . On insiste alors tout particulierement sur l'etonnant et constant double-jeu de la contrariete manifeste a des degres et niveaux divers par les films etudies. Messages paradoxaux par excellence ces spots gagnent a etre envisages dans une perspective dialectique et doivent etre mis en rapport avec certains prolongements des travaux issus de l'ecole de pao alto. Espoir d'un peuple sans espoir, ils peuvent etre consideres, selon les conditions de reception et de communication menagees, comme une porte ouverte et fermee, ouverte et fermee a la "mort" mais aussi bien a ce qui la trompe
The research is based on in the in-depth study of five tv commercials broadcast in succession for a children's audience. The threefold approach is focussed on the enunciative, narrative and "symbolic" (in the freudian sense) organization. The first part presents the basic guidelines, explains their relevance and the author's approach as well as the basic assumptions which underlie the actual investigations. The second part contains an analysis of the succession of five commercials selected. In the third part, the observations are gathered and cross-examined and the author feels authorized to formulate a number of conclusions. Some of those conclusions have a retroactive impact on the instruments used in the research. The stress is laid on a striking, constant, contrary interplay which is evidence at various levels in the five films. The commercials constitue paradoxical messages which should be considered in a dialectical perspective and studied alongside some of the findings of the palo alto school. They represent hope for the hopeless and can be considered in a number of reception and communication situations, as gates which would be both open and closed, open and closed to "death" but also to all those things which are likely to baffle death itself

Styles APA, Harvard, Vancouver, ISO, etc.

37

Abdelmoula, Mariem. « Génération automatique de jeux de tests avec analyse symbolique des données pour les systèmes embarqués ». Thesis, Nice, 2014. http://www.theses.fr/2014NICE4149/document.

Texte intégral

Résumé :

Un des plus grands défis dans la conception matérielle et logicielle est de s’assurer que le système soit exempt d’erreurs. La moindre erreur dans les systèmes embarqués réactifs peut avoir des conséquences désastreuses et coûteuses pour certains projets critiques, nécessitant parfois de gros investissements pour les corriger, ou même conduire à un échec spectaculaire et inattendu du système. Prévenir de tels phénomènes en identifiant tous les comportements critiques du système est une tâche assez délicate. Les tests en industrie sont globalement non exhaustifs, tandis que la vérification formelle souffre souvent du problème d’explosion combinatoire. Nous présentons dans ce contexte une nouvelle approche de génération exhaustive de jeux de test qui combine les principes du test industriel et de la vérification formelle académique. Notre approche construit un modèle générique du système étudié à partir de l’approche synchrone. Le principe est de se limiter à l’analyse locale des sous-espaces significatifs du modèle. L’objectif de notre approche est d’identifier et extraire les conditions préalables à l’exécution de chaque chemin du sous-espace étudie. Il s’agit ensuite de générer tout les cas de tests possibles à partir de ces pré-conditions. Notre approche présente un algorithme de quasi-aplatissement plus simple et efficace que les techniques existantes ainsi qu’une compilation avantageuse favorisant une réduction considérable du problème de l’explosion de l’espace d’états. Elle présente également une manipulation symbolique des données numériques permettant un test plus expressif et concret du système étudié
One of the biggest challenges in hardware and software design is to ensure that a system is error-free. Small errors in reactive embedded systems can have disastrous and costly consequences for a project. Preventing such errors by identifying the most probable cases of erratic system behavior is quite challenging. Indeed, tests in industry are overall non-exhaustive, while formal verification in scientific research often suffers from combinatorial explosion problem. We present in this context a new approach for generating exhaustive test sets that combines the underlying principles of the industrial test technique and the academic-based formal verification approach. Our approach builds a generic model of the system under test according to the synchronous approach. The goal is to identify the optimal preconditions for restricting the state space of the model such that test generation can take place on significant subspaces only. So, all the possible test sets are generated from the extracted subspace preconditions. Our approach exhibits a simpler and efficient quasi-flattening algorithm compared with existing techniques and a useful compiled internal description to check security properties and reduce the state space combinatorial explosion problem. It also provides a symbolic processing technique of numeric data that provides a more expressive and concrete test of the system. We have implemented our approach on a tool called GAJE. To illustrate our work, this tool was applied to verify an industrial project on contactless smart cards security

Styles APA, Harvard, Vancouver, ISO, etc.

38

Ben, Salem Ala Eddine. « Improving the model checking of stutter-invariant LTL properties ». Electronic Thesis or Diss., Paris 6, 2014. http://www.theses.fr/2014PA066186.

Texte intégral

Résumé :

Les systèmes logiciels sont devenus omniprésents se substituant à l'homme pour des tâches délicates, souvent critiques, mettant en jeu des coûts importants voire des vies humaines. Les conséquences des défaillances imposent la recherche de méthodes rigoureuses pour la validation. L'approche par automates du model-checking est la plus classique des approches de vérification automatique. Elle prend en entrée un modèle du système et une propriété, et permet de savoir si cette dernière est vérifiée. Pour cela un model-checker traduit la négation de la propriété en un automate et vérifie si le produit du système et de cet automate est vide. Hélas, bien qu'automatique, cette approche souffre d'une explosion combinatoire du nombre d'états du produit.Afin de combattre ce problème, en particulier lors de la vérification des propriétés insensibles au bégaiement, nous proposons la première évaluation d'automates testeur (TA) sur des modèles réalistes, une amélioration de l'algorithme de vérification pour ces automates et une méthode permettant de transformer un TA en un automate (STA) permettant une vérification en une seule passe.Nous proposons aussi une nouvelle classe d'automates: les TGTA. Ces automates permettent une vérification en une seule passe sans ajouter d'états artificiels. Cette classe combine les avantages des TA et des TGBA (automates de Büchi). Les TGTA permettent d'améliorer les approches explicite et symbolique de model-checking. Notamment, en combinant les TGTA avec la saturation, les performances de l'approche symbolique sont améliorées d'un ordre de grandeur par rapport aux TGBA
Software systems have become ubiquitous in our everyday life. They replace humans for critical tasks that involve high costs and even human lives. The serious consequences caused by the failure of such systems make crucial the use of rigorous methods for system validation. One of the widely-used formal verification methods is the automata-theoretic approach to model checking. It takes as input a model of the system and a property, and answers if the model satisfies or not the property. To achieve this goal, it translates the negation of the property in an automaton and checks whether the product of the model and this automaton is empty. Although it is automatic, this approach suffers from the combinatorial explosion of the resulting product. To tackle this problem, especially when checking stutter-invariant LTL properties, we firstly improve the two-pass verification algorithm of Testing automata (TA), then we propose a transformation of TA into a normal form (STA) that only requires a single-pass verification algorithm. We also propose a new type of automata: the TGTA. These automata also enable a check in a single-pass and without adding artificial states : it combines the benefits of TA and generalized Büchi automata (TGBA). TGTA improve the explicit and symbolic model checking approaches. In particular, by combining TGTA with the saturation technique, the performances of the symbolic approach has been improved by an order of magnitude compared to TGBA. Used in hybrid approaches TGTA prove complementary to TGBA. All the contributions of this work have been implemented in SPOT and LTS-ITS, respectively, an explicit and a symbolic open source model-checking libraries

Styles APA, Harvard, Vancouver, ISO, etc.

39

Girard, Antoine. « Approches Computationnelles pour l'Analyse et le Contrôle des Systèmes Hybrides ». Habilitation à diriger des recherches, Université de Grenoble, 2013. http://tel.archives-ouvertes.fr/tel-00908913.

Texte intégral

Résumé :

Un système hybride est un système dynamique exhibant à la fois des comportements de nature discrète et continue. Motivée par la multiplication de composants informatiques embarqués ''discrets'' interagissant avec le monde physique ''continu'', la recherche sur les systèmes hybrides s'est développée rapidement depuis les années 90 à l'intersection de l'informatique, de l'automatique et des mathématiques appliquées. Ce mémoire présente nos contributions, théoriques ou méthodologiques, à ce domaine. Dans une première partie, nous introduisons un cadre d'approximation qui s'applique aux systèmes dynamiques continus, discrets et hybrides; des applications, notamment dans le domaine du contrôle symbolique sont présentées. La deuxième partie est consacrée à l'analyse d'atteignabilité, une technique computationnelle très utile pour l'analyse des systèmes hybrides. Enfin, la troisième partie porte sur les systèmes dynamiques multi-agents.

Styles APA, Harvard, Vancouver, ISO, etc.

40

Saboia, Camila. « Du jeu du bébé au jeu de l'enfant : une approche à la compréhension de la construction de la relation d'objet chez l'enfant autiste : recherche d'indicateurs de risque d'autisme ». Paris 7, 2011. http://www.theses.fr/2011PA070019.

Texte intégral

Résumé :

CLe jeu du bébé pourrait-il nous révéler des traces d'une organisation autistique « en cours » ? Dans quelle mesure la qualité d'interaction du bébé avec les objets de l'environnement est-elle associée à la qualité de ses premières expériences avec l'objet maternel? Ces questions sont mises à l'étude dans ce travail, dont l'objectif principal est d'explorer la construction de la relation d'objet chez l'enfant autiste, en s'appuyant sur la notion du jeu comme un élément révélateur de l'organisation objectale de l'enfant. L'analyse du processus de transition du jeu interactif du bébé au jeu intra-subjectif de l'enfant d'un groupe des bébés souffrants du Syndrome de West, un type d'épilepsie précoce qui peut évoluer vers l'autisme, nous a permis de constater que, dès l'âge de 6 mois, il y aurait chez les bébés West à risque autistique, par rapport aux bébés West déficitaires ou bébés sains, une différence significative dans la qualité d'interaction et d'exploration de l'objet présenté par leur mère (object-presenting). Cette différence semble aboutir plus tard à une incapacité de l'enfant à s'engager dans le jeu symbolique et d'utiliser les objets de l'environnement d'une manière riche et créative, ce que nous le révèle les analyses qualitatives du jeu de ces enfants entre les âges de 15 et 36 mois. Ces résultats nous amènent à postuler qu'une des causes de l'autisme précoce serait associée à une faille dans le processus de la construction objectale de l'enfant, plus précisément, une faille entre le processus de transition du mode de relation d'objet à l'utilisation d'objet, selon les concepts winnicottiens
Can a baby's play reveal traces of an autistic organization "in progress"? To what extent can the quality of babies' interaction with environment objects be associated with the quality of babies' first experiences with the maternal object? These questions are central to this work, in such a way that our main proposal is to explore the building of object relation in the autistic child, based on a notion of the play as a revealing element of the child's object organization. We have conducted an analysis of the transition process from the baby's interactive play to the child's intra-subjective play within a group of babies showing West syndrome - a type of early epilepsy that can develop towards autism. By comparing West babies with risk of autism to West babies with deficiencies and non-West babies, we observe that, starting from 6 months of age, there is a significant difference of quality in the interaction and exploration of their mother (object-presenting). From the additional qualitative analysis of the same children's play between 15 and 36 months of age, we conclude that the above significant difference seems to develop into an impairment of children's engagement into symbolic play and the usage of the environment object in a rich and creative way. These results allow us to formulate that one of the causes of early autism would be associated to a failure in the process of the child's object construction, namely, a failure in the transition from object relation to the use of the object, following Winnicott's concepts

Styles APA, Harvard, Vancouver, ISO, etc.

41

Métreau, Laetitia. « La " faïence " dans les pavements médiévaux en France (XIIIe-XIVe s.) : approche technique, stylistique et symbolique du cas de Suscinio (c. 1330-1350) ». Thesis, Bordeaux 3, 2012. http://www.theses.fr/2012BOR30036.

Texte intégral

Résumé :

De son apparition dans les cours raffinées du lointain Orient islamisé à son exploitation industrielle en Occident, les procédés d’élaboration et les usages de la faïence ont évolué. En France, en l’état actuel des connaissances, l’introduction de cette technique remonte à l’époque gothique. Elle se manifeste alors de manière simultanée, dans des zones géographiques spécifiques, ponctuellement utilisée dans la composition de quelques luxueux pavements, où elle coexiste fréquemment avec des carreaux de terre cuite à glaçure transparente de tradition indigène. De tels pavements, parce qu’ils témoignent de la rencontre entre deux traditions techniques et culturelles, apparaissent comme des objets d’étude privilégiés pour appréhender conjointement les questions relatives à l’origine, la production et la consommation que pose la « faïence » à ses débuts en France. À partir de l’approche globale du cas de Suscinio, choisi en raison de son exemplarité, les chemins que cette technique exogène a empruntés et les raisons de son utilisation ont pu être précisés. Les données techniques, iconographiques et analytiques collectées grâce à la démarche méthodologique proposée apportent de nouveaux éléments de réponse. Ainsi, l’importation de produits finis et l’expérimentation locale ont pu être exclues au profit de l’importation de savoirs techniques ou du transfert de connaissances. Le répertoire iconographique et le style de tradition gothique ont montré qu’il y avait eu adaptation de la technique à un nouveau milieu socio-culturel. Son utilisation dans des lieux de l’édifice particuliers et particulièrement importants ne servait pas seulement une démonstration de pouvoir mais lui conférait également le statut de marqueur spatial, hiérarchique et social
Tin-glazed earthenware manufacturing and use changed from its beginnings in the refined courts of the Islamic Far East up to its manufacturing in the West. In France, the technique was introduced during the Gothic period. It appears simultaneously, in specific geographical areas, at times used in the composition of luxurious floor-tiles where it often coexists with indigenous transparent high-lead glazed tiles. Such floor-tiles bear witness to the meeting between two technical and cultural traditions. That is the reason why they are particularly appropriate when studying together issues relating to the geographical origin, production and consumption of tin-glazed earthenware technique at its beginnings in France. The ways followed by this exogenous technique and the reasons for its use were clarified through the overall approach of the exemplary case of Suscinio. Technical, iconographical and analytical data collected by using a multidisciplinary methodology have provided some answers. Imported products and local experimentation can be excluded in favor of imported skills or transfer of knowledge. The Gothic tradition of the iconography and the style showed that the technique was adapted to a new socio-cultural context. Its use in particular and particularly important places was not only reserved to a manifestation of power but also worked as spatial, hierarchical and social markers

Styles APA, Harvard, Vancouver, ISO, etc.

42

Bekkada, Zaza. « Pour une approche communicationnelle de la valeur de l'eau : de la valeur marchande de l'eau (prix de l'eau) vers la valeur symbolique de l'eau : un regard anthropologique dans le contexte démocratique d'Europe occidentale, le cas de la France ». Paris 10, 2002. http://www.theses.fr/2002PA100105.

Texte intégral

Résumé :

La problématique,le chemin à rebours de la métamorphose de la valeur symbolique de l'eau en valeur marchande, essaye de renouer dans le contexte démocratique d'Europe occidentale les liens disparus ou cachés entre la valeur marchande de l'eau (prix de l'eau) et la valeur symbolique de l'eau. La perspective de recherhe choisie fut de trouver une forme de pensée appropriée pour articuler avec les SIC les emprunts faits à l'anthropologie, à l'économie et au droit. C'est dans la pensée de l'imbrication que nous avons trouvé la structure adaptée à la construction de nos référents théoriques. Construit à partir des travaux d'Abélès, d'Augier, de Radkowski et de Douglas, un premier cadre théorique de lecture à dominante anthropologique positionne notre recours à une pensée de l'imbrication et tente d'approfondir le concept de souillure à partir d'une étude lexicographique. .
The problematics-the circuitous metaporphosis of the symbolic value of water into market value-attempts to uncover, in the context of democratic western Europe, the vanished or hidden links between the market value of water (water bill) and its symbolic value. The research perspective consisted of finding a method best suited to encompass anthropology, economics and law, as well as information and communication sciences. A multi-disciplary approach was found to be most appropriate to our theoretical frame and reference. The principal scope of our theoretical readings, built on the work of Abeles, Augier, Radkowski and Douglas, is predominantly anthropological and leads us to a multidisciplinary approach and a attempt to deepen the concept of defilement (purity1 danger) through a lexicographical study. .

Styles APA, Harvard, Vancouver, ISO, etc.

43

Maumus, Sandy. « Approche de la complexité du syndrome métabolique et de ses indicateurs de risuqe par la mise en œuvre de méthodes numériques et symboliques de fouille de données ». Nancy 1, 2005. http://www.theses.fr/2005NAN12506.

Texte intégral

Résumé :

Le syndrome métabolique (SM) est un concept complexe caractérisé par un ensemble de facteurs de risque cardiovasculaire dont l'origine est la résultante d'interactions mettant en jeu des facteurs génétiques et environnementaux. Le travail présenté dans cette thèse a porté sur l'étude du SM dans une population de familles supposées saines: la cohorte STANISLAS. Pour appréhender la complexité du SM nous avons utilisé les méthodes statistiques et la fouille de données, soit séparément, soit en combinaison. Nous avons mis au point une méthodologie pour la fouille de cohortes qui, à partir de l'extraction de motifs fréquents et de règles d'associations, permet à l'expert du domaine de générer de nouvelles hypothèses de recherche à valider par des tests statistiques ou par de nouvelles expériences en biologie. Par ailleurs, étant donné que les connaissances intéressantes pour l'expert concernent le SM, un état qui reste peu fréquent ( ou exceptionnel) chez les individus apparemment sains de la cohorte STANISLAS, nous avons posé les prémisses d'un nouvel algorithme qui recherche les motifs rares. Ainsi, les principaux résultats de cette thèse ont été obtenus par la mise en oeuvre d'études épidémiologiques et/ou de méthodes de fouille de données, en considérant l' entité SM dans son ensemble ou en prenant ses facteurs associés(insulino-résistance, dyslipidémie, inflammation) séparément. Après avoir mené une analyse descriptive du SM dans la cohorte STANISLAS, nous avons réalisé une étude longitudinale tenant compte de deux visites. Nos résultats font état d'un pourcentage non négligeable d'individus présentant un SM de la cohorte STANISLAS. La prévalence du SM (définition NCEP-ATPIII) est de 5,9% et 2,1% à l'inclusion et atteint 7,2% et 5,4% cinq ans plus tard, chez les hommes et chez les femmes respectivement. Par ailleurs, chez un enfant, la présence d'un SM chez un des parents semble être prédictive de valeurs plus importantes pour les concentrations en TNF-a et moins importantes pour les concentrations en HDL-C, deux indicateurs majeurs du risque cardiovasculaire. Partant du constat que les définitions disponibles du SM ne sont pas adaptées à l'étude de la cohorte STANISLAS, nous avons cherché les paramètres qui séparent le mieux les individus selon leur statut SM, pour les définitions EGIR, NCEP-ATPIII et OMS grâce à une série d'analyses discriminantes. De plus, une analyse factorielle a permis de donner une vue globale des facteurs associés au SM. La suite des expérimentations a considéré l'étude séparée des processus d'insulinorésistance (IR), de dyslipidémie et d'inflammation. L'IR a été abordée à travers l'étude de la concentration en insuline à jeun. Nous avons déterminé les facteurs biologiques et génétiques influençant la concentration en insuline chez les individus de la cohorte STANISLAS et établi des valeurs de référence de l'insulinémie dans cette population. Nos résultats suggèrent un rôle important pour le polymorphisme -455G/A du gène du fibrinogène dans l'insulinémie chez les hommes et les femmes, soit directement soit par l'intermédiaire d'interactions avec l'environnement. Les résultats concernant le processus de dyslipidémie ont été obtenus grâce à des hypothèses générées à l'aide de la fouille de données et validées par les statistiques. Des interactions impliquant des polymorphismes génétiques du métabolisme lipidique (APOE codons 112/158 et APOB Thr71Ile) et l' environnement ont été mises en évidence. Par ailleurs, nous avons trouvé une association entre le polymorphisme APOB Thr71Ile et le risque de développer un SM. Enfin, nous avons considéré l'état pro-inflammatoire existant dans le SM par l'étude du TNF-a et de l'IL-6. Nous avons recherché les facteurs de variation biologiques de ces deux cytokines, établi leur ressemblance familiale et analysé les associations potentielles entre les polymorphismes génétiques de ces deux cytokines et les concentrations de leurs protéines correspondantes. En conclusion, nous avons montré que même les individus d'une population apparemment saine peuvent être atteints d'un SM. Nous avons essayé d'apporter des premiers éléments de réponse concernant la complexité du SM et de ses facteurs associés grâce à l'utilisation combinée de méthodes de fouille de données et de statistiques. La méthodologie proposée pour la fouille de cohortes et pour la découverte de motifs rares se veut ouverte et applicable à d'autres cadres d'étude, que ce soit en biologie ou dans d'autres domaines.

Styles APA, Harvard, Vancouver, ISO, etc.

44

Maumus, Sandy. « Approche de la complexité du syndrome métabolique et de ses indicateurs de risuqe par la mise en œuvre de méthodes numériques et symboliques de fouille de données ». Nancy 1, 2005. http://www.theses.fr/2005NAN10209.

Texte intégral

Résumé :

Le syndrome métabolique (SM) est un concept complexe caractérisé par un ensemble de facteurs de risque cardiovasculaire dont l'origine est la résultante d'interactions mettant en jeu des facteurs génétiques et environnementaux. Le travail présenté dans cette thèse a porté sur l'étude du SM dans une population de familles supposées saines: la cohorte STANISLAS. Pour appréhender la complexité du SM nous avons utilisé les méthodes statistiques et la fouille de données, soit séparément, soit en combinaison. Nous avons mis au point une méthodologie pour la fouille de cohortes qui, à partir de l'extraction de motifs fréquents et de règles d'associations, permet à l'expert du domaine de générer de nouvelles hypothèses de recherche à valider par des tests statistiques ou par de nouvelles expériences en biologie. Par ailleurs, étant donné que les connaissances intéressantes pour l'expert concernent le SM, un état qui reste peu fréquent ( ou exceptionnel) chez les individus apparemment sains de la cohorte STANISLAS, nous avons posé les prémisses d'un nouvel algorithme qui recherche les motifs rares. Ainsi, les principaux résultats de cette thèse ont été obtenus par la mise en oeuvre d'études épidémiologiques et/ou de méthodes de fouille de données, en considérant l' entité SM dans son ensemble ou en prenant ses facteurs associés(insulino-résistance, dyslipidémie, inflammation) séparément. Après avoir mené une analyse descriptive du SM dans la cohorte STANISLAS, nous avons réalisé une étude longitudinale tenant compte de deux visites. Nos résultats font état d'un pourcentage non négligeable d'individus présentant un SM de la cohorte STANISLAS. La prévalence du SM (définition NCEP-ATPIII) est de 5,9% et 2,1% à l'inclusion et atteint 7,2% et 5,4% cinq ans plus tard, chez les hommes et chez les femmes respectivement. Par ailleurs, chez un enfant, la présence d'un SM chez un des parents semble être prédictive de valeurs plus importantes pour les concentrations en TNF-a et moins importantes pour les concentrations en HDL-C, deux indicateurs majeurs du risque cardiovasculaire. Partant du constat que les définitions disponibles du SM ne sont pas adaptées à l'étude de la cohorte STANISLAS, nous avons cherché les paramètres qui séparent le mieux les individus selon leur statut SM, pour les définitions EGIR, NCEP-ATPIII et OMS grâce à une série d'analyses discriminantes. De plus, une analyse factorielle a permis de donner une vue globale des facteurs associés au SM. La suite des expérimentations a considéré l'étude séparée des processus d'insulinorésistance (IR), de dyslipidémie et d'inflammation. L'IR a été abordée à travers l'étude de la concentration en insuline à jeun. Nous avons déterminé les facteurs biologiques et génétiques influençant la concentration en insuline chez les individus de la cohorte STANISLAS et établi des valeurs de référence de l'insulinémie dans cette population. Nos résultats suggèrent un rôle important pour le polymorphisme -455G/A du gène du fibrinogène dans l'insulinémie chez les hommes et les femmes, soit directement soit par l'intermédiaire d'interactions avec l'environnement. Les résultats concernant le processus de dyslipidémie ont été obtenus grâce à des hypothèses générées à l'aide de la fouille de données et validées par les statistiques. Des interactions impliquant des polymorphismes génétiques du métabolisme lipidique (APOE codons 112/158 et APOB Thr71Ile) et l' environnement ont été mises en évidence. Par ailleurs, nous avons trouvé une association entre le polymorphisme APOB Thr71Ile et le risque de développer un SM. Enfin, nous avons considéré l'état pro-inflammatoire existant dans le SM par l'étude du TNF-a et de l'IL-6. Nous avons recherché les facteurs de variation biologiques de ces deux cytokines, établi leur ressemblance familiale et analysé les associations potentielles entre les polymorphismes génétiques de ces deux cytokines et les concentrations de leurs protéines correspondantes. En conclusion, nous avons montré que même les individus d'une population apparemment saine peuvent être atteints d'un SM. Nous avons essayé d'apporter des premiers éléments de réponse concernant la complexité du SM et de ses facteurs associés grâce à l'utilisation combinée de méthodes de fouille de données et de statistiques. La méthodologie proposée pour la fouille de cohortes et pour la découverte de motifs rares se veut ouverte et applicable à d'autres cadres d'étude, que ce soit en biologie ou dans d'autres domaines.

Styles APA, Harvard, Vancouver, ISO, etc.

45

Picard, David. « Les nouveaux jardins sacrés : insularité tropicale et intégration globale : une approche anthropologique du tourisme international à la Réunion ». La Réunion, 2001. http://elgebar.univ-reunion.fr/login?url=http://thesesenligne.univ.run/01_26_picard.pdf.

Texte intégral

Résumé :

Dans le contexte actuel de globalisation, l'insularité tropicale se voit définie par des relations économiques, politiques, géographiques, sociales et symboliques nouvelles. Pour les voyageurs touristiques, elle apparaît comme une forme rénovée de "jardin sacré" à l'intérieur d'une spatialité globale. Pour les populations locales, elle est négociée comme une valeur primordiale, un "jardin sacré" aussi, qui enferme, symboliquement, une raison d'être et un mode de participation dans le monde contemporain. Ce travail approche la symbolique de l'espace insulaire réunionnais opérée par différentes institutions et acteurs liés au tourisme international (touristes, voyagistes, presse, industrie touristique, prestataires). L'île apparaît ainsi comme une image du monde définie selon une dialectique de l'ouvert et du fermé. Dans son intérieur est célébrée l'idée d'un âge primordial où l'homme s'oppose à une nature sauvage tandis qu'à l'extérieur, sur le littoral, l'homme regarde dans l'infini de l'espace (encore) inexploré. L'étude montre ensuite que les "paysages" qui constituent cette configuration symbolico-spatiale particulière deviennent une nouvelle valeur économique et sociale locale. En tant que "patrimoines culturels et naturels", ces paysages se voient attribués une valeur sacrée nouvelle. Mondes naturels et historiques enchantés, ils fondent, à travers leurs figures et héros narratifs (esclaves en fuite, corail personnifié, monde naturel,. . . ) un cadre proprement culturel de valeurs et de normes prescrivant des relations à la fois locales et globales à l'espace, au temps et à l'autre
In the current context of globalisation, tropical insularity is redefined by new economic, political, geographical, social and symbolic relations. For the tourist travellers, it seems the renovated shape of "sacred garden" inside a total global spatiality. For the local populations, it is negotiated like a paramount value, a "sacred garden" also, which locks up, symbolically, a raison d'être and a mode of participation in the contemporary world. This study approaches the symbolic system of insular space in la Reunion, Indian ocean, operated by different institutions and actors related to international tourism (tourists, tour operators, press, tourist industry, local agents). The island thus seems an image of the world defined according to a dialectical of openness and closeness. In its interior is celebrated the idea of paramount age where Man opposes a wild nature while outside, on the littoral, Man looks in infinite (still) unexplored space. The study shows then that the "landscapes" which constitute this particular symbolico-space configuration become a new economic and social value for local communities. As "cultural and natural heritages", these landscapes constitute a new sacred value. Enchanted as natural and historic worlds, they establish, through their narrative figures and heroes (slaves in escape, personified coral, natural wolrd,. . . ) a properly cultural framework of values and standards prescribing local and global relations to space, time and the other

Styles APA, Harvard, Vancouver, ISO, etc.

46

Fuentes, Rodriguez Oscar Gonzalo. « La forme humaine dans l'art magdalénien et ses enjeux : approche des structures élémentaires de notre image et son incidence dans l'univers symbolique et social des groupes paléolithiques ». Paris 1, 2013. https://halshs.archives-ouvertes.fr/tel-01337663.

Texte intégral

Résumé :

La figuration humaine au Paléolithique, moins présente que celle des animaux, nous renvoie à la manière dont les sociétés se pensaient. S 'intéresser à ce corpus permet d'aborder des dialectiques de l'image variées, nous renvoyant autant aux mentalités sociales paléolithiques, mais aussi à la façon dont nous regardons ces images. Reposant sur une étude à la fois sur des critères graphiques et anatomiques (choix formels) avec des données extrinsèques (associations, technique) nous nous sommes efforcés d'analyser les représentations attribuées au Magdalénien du grand sud-ouest (Vienne-Aquitaine-Pyrénées). Après avoir discuté sur la manière d'identifier un être humain représenté, nous proposons un modèle de lecture de ces images afin de cerner des modes de représentation. L'objectif de cette analyse, est de tenter de voir si les « manières de se représenter » sont révélatrices des « manières de se penser » et par là même, exprimer des identités. La sihouette humaine dans l'art pourrait se révéler comme un marqueur identitaire pour ces sociétés. Replacées dans des problématiques de dynamiques territoriales, l'enjeu de ces images nous situe dans une discussion autour des constructions identitaires, ainsi que du rapport aux « autres » pendant le paléolithique.

Styles APA, Harvard, Vancouver, ISO, etc.

47

Orsini, Celia. « Héritage monumental, paysage funéraire et identités : approches archéologiques de la région Tyne-Forth (Vè-VIIIè siècle) ». Thesis, Paris 1, 2017. http://www.theses.fr/2017PA01H033/document.

Texte intégral

Résumé :

Cette étude porte sur les choix d'implantation des espaces funéraires dans les paysages naturels, construits et anciens, par les populations du haut Moyen Age, entre le Ve et le début du VIIIe siècle, dans le Nord de l'Angleterre et l'Est de l'Écosse. Selon les contextes culturels, différentes communautés et leurs élites ont utilisé des caractéristiques naturelles et culturelles dans des mises en scène symboliques de paysages. Entre le Ve et le VIIIe siècle, la région Tyne-Forth devient un carrefour de royaumes bretons et anglo-saxons à partir duquel émerge un des royaumes les plus importants de Grande-Bretagne, la Northumbrie. Cette zone offre la possibilité de comparer l'affichage identitaire de sociétés anciennes de différents royaumes qui se croisent et s'influencent Les pratiques funéraires subissent deux mutations importantes sous l'effet de la christianisation et de la formation de royaume de plus en plus large. Elles sont étudiées afin d'établir si leurs dynamiques temporelles peuvent être interprétées comme les indices d'une évolution des identités culturelles, sociales ou religieuses. On s'interroge sur l'éventuel rôle de traditions relatives à la disposition des morts, dans la création d'identités locales ou régionales. L'analyse du paysage sert aussi à mettre en évidence l'utilisation du paysage naturel et construit pour approcher ces identités. Elle sert également à identifier les réoccupations funéraires de monuments anciens et de le comparer avec celles du reste de la Grande-Bretagne et l'Europe du Nord-Ouest. L'intérêt de cette étude est de mettre en avant les éventuelles pratiques, sociales et symboliques, dissimulées derrière ces réoccupations
The present thesis focuses on the use of the landscape in early medieval North East England and South East Scotland in the 5th to the 8th centuries -a region recognised as an emerging component of the Northumbrian Kingdom. By the 7th century, Northumbria had become a major political and ecclesiastical power. The chronological frame of this research allows for consideration of the deep political and religious changes that began in the 4th/5th centuries with the departure of the Roman army. The emergence of large kingdoms followed along with the conversion to Christianity and the acceptance and unification of the Christian Faith in the 8th century AD. We here explore the experience of the people who dwelled within this region in the early medieval period from the 5th-8th centuries. li does so by focussing on their funerary rites and practices and how they used their surroundings within funerary ritual to emphasise and signal their collection to place and their identities. Early medieval communities had at their disposal a complex landscape within which they constructed and signalled affiliations by means of interaction with natural and human altered features. Such processes have been argued by many researchers as evidence of the use of the natural landscape and world in the processes of identity creation, with funerary ritual signalling the social and political transformations underway in the organisation of early medieval societies

Styles APA, Harvard, Vancouver, ISO, etc.

48

Skandrani, Salma. « L'aura entre absence/présence dans le cinéma Tunisien à travers les approches esthétiques des cinéastes Tletli Moufida et Khmir Naceur ». Thesis, Paris 1, 2018. http://www.theses.fr/2018PA01H308.

Texte intégral

Résumé :

En partant et en s'appuyant sur l’approche de Walter Benjamin et la question d’aura dans l’œuvre cinématographique, cette thèse se propose d'analyser deux films tunisiens, «Les silences du palais" de M. Tletli et "Baba Aziz" de N. Khmir. Le choix d'un tel corpus repose sur des exigences auratiques dans le mode d'appréhension des deux cinéastes, notamment dans leurs approches esthétiques, explorant tous les systèmes formels dans un ordre sensible où reigne le visible et le sonore dans une parfaite harmonie. En tenant compte des aspects formels des deux films, l'on a essayé de les décomposer à travers les différentes séquences où l'on a noté que ces analyses sont sensiblement orientées par l’adaptation du concept de «l'aura» dans un sens de mise en jeu entre absence/présence. Nous proposons une relecture que nous espérons originale, mettant les deux films à l’épreuve de nouveaux égards. Au fond, les analyses dans ce travail ont pour objectif de voir dans quelle mesure la question auratique dicte la mise en scène des deux cinéastes du corpus, malgré les exigences techniques et artistiques qu'impose la praxis filmique. Aussi, il est bien question de montrer la pluralité des codes auratiques et l’importance de déchiffrement dans l'approche analytique de la séquence cinématographique
Based on Benjamin Walter‘s approach and the question of aura in cinematographic works, this thesis aims at analyzing two Tunisian films “the Silences of the Palace” directed by M. Tletli and “Baba Aziz” by N. Khmir. The selection of the two films stems from an aura of expectations within the two filmmakers’ apprehension and more specifically their aesthetic approaches which explore in a sensitive manner all the formal systems, and where the visual and acoustics reign in perfect harmony. Taking into account the formal aspects of these two films, a thorough analysis of different sequences where the question of aura is identified and the issue of presence and absence is brought into play. This new reading is hopefully to be original for further considerations. Indeed the aim of this work is to see how far the question of aura within the two filmmakers predetermines direction in spite of the technical and artistic requirements dictated by filmmaking. It is also of paramount importance to show the different aura codes and the decoding strategy in the analytical approach of cinematographic sequences

Styles APA, Harvard, Vancouver, ISO, etc.

49

Picquet, Audrey. « L'exil et le féminin dans leur rapport à l'étranger : approche psychanalytique et anthropo-philosophique ». Thesis, Aix-Marseille, 2017. http://www.theses.fr/2017AIXM0239/document.

Texte intégral

Résumé :

Le thème de l’exil, très présent dans l’actualité, constitue le substrat de cette réflexion. Orientée par la psychanalyse, dans ce qu’elle interroge l’articulation du psychisme à la Culture (soit du singulier au collectif), nous avons été amenée à faire un premier détour par la théorie afin de comprendre la part d’énigme du féminin, avant que d’entrevoir avec l’apport de l’anthropologie, la façon dont cette énigme est traitée dans la Culture, et ainsi de repérer les incidences de l’exil géographique sur l’exil et le féminin. En effet, si l’exil (celui-ci étant à entendre comme psychique), renvoie à l’étranger en soi, le féminin apparaît pour les femmes, comme un redoublement d’énigmes, exil et féminin les concernant en leur rapport à l’inconnu. En outre, émerge depuis ces différents témoignages, la question suivante : « qu’en est-il du féminin pour elles, en contexte d’exil géographique ? ». La fragilisation des constructions symboliques culturelles soutenant ces sujets dans leur rapport à un « sentiment d’identité » et dans leur lien à l’Autre, vient précariser leurs repères, modifiant ce qui les unit dans leurs représentations à leur être femme, notamment à l’adolescence, temps de rencontre du féminin. S’ouvre alors une alternative pour ces femmes exilées subissant cette dégradation des processus métaphoriques culturels : la créativité ou le ravage. Lorsque l’étranger n'est pas vécu comme un danger, mais comme un insu porteur d’ouverture, elle est le lieu d’où surgit l’invention. A l’inverse, s’il est perçu comme une menace venant de l’extérieur, c’est le risque pour elles d’une désertion subjective où le désir vient à être gangréné dans un lien de contagion
Exile, a very topical question, makes the substratum of this thought. A growing number of works deal with this question, that we have developed here, according to the reading of exiled women books, under a stalling angle of femineity for women. Directed by the psycho-analysis in its questioning the link between psychism and culture, we have been led to take a by-way with the theory in order to understand the enigmatical part of femineity, before having a hint about the way this question is treated by Culture with the help of Anthropology, and feel the consequences of geographic exile on exile and femineity .As a matter of fact, if exile (psychical one) sends someone to one’s unknown part, femineity appears for women as a redoubling of enigmas, as they are dealing with exile and femineity in their intercourse with the extraneous. Besides, the following question comes into view from the different witnesses: “what about femineity for hers, in geographic exile context? “The instability of cultural systems of symbols, upholding those individuals with regard to an “identity feeling “and their bond to the “Other”, makes their landmarks precarious, altering what unites them in their representation of “being a woman “, especially during teenage, experiencing time with femineity .An option then starts for these exiled women, who undergo damaged cultural metaphorical processes: creativity or “ravage”.When the unknown is not considered as a danger but as an opening, it is a place for contriving.On the opposite, if it is considered as a threat coming from outside, they run the risk of a subjective desertion where their desire is cankered in a bond of contagiousness

Styles APA, Harvard, Vancouver, ISO, etc.

50

Collin, Lam Marise. « L'extension syntaxique chez l'enfant ayant un trouble primaire du langage : déploiement d'une approche développementale à partir de la littérature d'enfance ». Master's thesis, Université Laval, 2020. http://hdl.handle.net/20.500.11794/67083.

Texte intégral

Résumé :

En cherchant à comprendre le monde qui l’entoure et en s’appuyant sur le développement de son langage, l’enfant élabore sa pensée et construit ses connaissances, ce qui viendra un jour servir ses apprentissages scolaires au regard de la lecture et de l’écriture. Or, l’enfant ayant un trouble primaire du langage, n’ayant pas un discours syntaxique suffisamment complexe, éprouvera très souvent des difficultés en compréhension de lecture et en écriture, deux prédicteurs de la réussite scolaire chez les élèves. Dès lors, si en plus du développement de la représentation du système alphabétique et de la structuration du récit, la production d’une syntaxe complexe est essentielle aux apprentissages, il convient de mettre en relief la question suivante : quels sont les contextes pédagogiques permettant de propulser l’extension syntaxique des élèves ayant un trouble primaire du langage? À l’école, l’enfant se retrouve dans plusieurs contextes d’apprentissage différents au cours de sa journée où l’expression orale est mise à contribution. Dans le cadre de cette étude, des interventions prônant la discussion ont été déployées dans une approche développementale à partir de la littérature d’enfance auprès d’une enfant d’âge préscolaire ayant un trouble primaire du langage. Quatre contextes ont été réalisés au quotidien sur 12 semaines : lecture interactive, jeu de règles, jeu symbolique et dictée à l’adulte. Parmi un total de 160 vidéoscopies tirées de ces interventions, une vidéo de chacun de ces contextes a été sélectionnée. Après la transcription intégrale de ces vidéos, une sélection de 841 énoncés spontanés et naturels de l’enfant a été tirée des verbatims. Le but de cette démarche était d’identifier les contextes pédagogiques favorisant la complexification syntaxique chez l’enfant ayant un trouble primaire du langage. C’est par l’analyse de la complexité syntaxique orale d’un enfant ayant un trouble primaire du langage, en considérant à la fois la structuration spontanée et les méprises syntaxiques, qu’une comparaison des productions syntaxiques en fonction des divers contextes pédagogiques a été faite. Les résultats obtenus démontrent que c’est lors de la lecture interactive et de la dictée à l’adulte que l’enfant a le plus complexifié sa syntaxe, ce qui tend à prouver que la narration décontextualisée est l’un des meilleurs contextes pour permettre l’extension et la complexification syntaxique chez l’enfant présentant un trouble primaire du langage. Les résultats de la présente étude confirment aussi que la zone proximale de développement au regard des capacités d’extension syntaxique de l’enfant est extrêmement large, les phrases complexes s’amorçant sous une multitude de formes alors que les phrases simples ne sont ni encore stabilisées, ni exemptes de méprises. Le pédagogue est donc invité à prendre en compte cette zone pour offrir des interventions complexes et adaptées qui viendront soutenir l’enfant dans sa propre structuration du langage. Enfin, cette recherche a permis de corroborer une évolution développementale dans la complexification des structures de phrases complexes.
By trying to understand the world around them, children develop their thinking and build their knowledge based on the development of their language; which will one day serve their reading and writing acquisition. However, a child with a primary language disorder, who does not have a sufficiently complex syntax, will very often experience difficulties in reading and writing comprehension, two predictors of academic success. In addition to the development of the representation of the alphabetical system and the structuring of the narrative, the production of a complex syntax is essential for school learning, the following question should be highlighted: what are the learning contexts promoting syntactic extension of children with a primary language disorder? At school, children undergo several different learning everyday contexts where oral expression is used. In this study, interventions with complex discussions were realized in a developmental approach promoting children’s literature with a preschooler who has a primary language disorder. Four contexts were carried out on a daily basis over 12 weeks: interactive reading, gameboard, symbolic play and invented storytelling dictated to an adult. Among a total of 160 videos taken from these interventions, a video of each of these contexts was selected. After the integral transcription of these videos, a selection of 841 spontaneous and natural phrases uttered by the child was taken from the verbatims. The goal was to identify the educational contexts promoting syntactic complexity in children with a primary language disorder. It is through the analysis of the oral syntactic complexity of a child with a primary language disorder across different educational contexts that a comparison of syntactic productions according to the various educational contexts was drawn. The results show that it is during interactive reading that the child has complexified the most of his syntactic structures, which demonstrates that decontextualized narration is one of the best contexts to allow syntactic extension and complexity in children with a primary language disorder. The results of the present study also confirm that the child demonstrates a large zone of proximal development with regard to his syntactic capacities. Teachers are thus invited to offer complex and adapted interventions that will support the child in his language structure. Finally, this research has corroborated a developmental evolution in the complexity of complex sentence structures.

Styles APA, Harvard, Vancouver, ISO, etc.

Thèses sur le sujet « Approches symboliques »

Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres