Cette thèse cherche à former les conditions d’une rencontre entre la matrice du processus d’individuation psychique et collective (IPC) et la discipline scolaire Éducation Physique et Sportive (EPS) afin de contribuer à l’épistémologie de cette discipline dans une perspective pédagogique. La théorie philosophique de l’IPC a été élaborée dans un premier temps par Gilbert Simondon. Elle a été reconfigurée par Bernard Stiegler en replaçant la technique au cœur du processus. Elle vise à mieux comprendre les tendances qui ont parcouru les sociétés humaines et à inscrire cet héritage dans une vision lucide de leur avenir. Une synthèse des principaux concepts de cette matrice a été proposée au cours de ce travail et un certain nombre d’entre eux ont été plus particulièrement explorés. Dans cette perspective, la méthode organologique, qui étudie conjointement l’histoire et le devenir des organes du corps, des organes techniques et des organisations sociales, a permis d’identifier le point de départ de l’étude des apports et des controverses au sein des conceptions passées et actuelles de la discipline EPS (1880-2016). Cette démarche a permis de montrer que la toile de fond épistémique, qui sous-tend les courants disciplinaires, a conduit majoritairement à une vision de l’activité de l’élève en termes d’« adaptation » et de « maîtrise ». Il a été proposé de lui substituer une approche en termes d’« apprivoisement » des conduites en « adoptant » des techniques (matérielles et mnémotechniques) pour former l’attention motrice des élèves. Cette attention se traduit par la formation de conduites motrices symboliques, en se réappropriant le concept élaboré par Pierre Parlebas, tout en prenant en compte les critiques faites à son endroit. Aussi, il a été élaboré une théorie qui cherche à rendre compte de la dynamique de ces conduites à partir de trois composantes articulées : la composante performative de la conduite, sa composante relationnelle, et sa composante métamotrice. L’étude de cas, basée sur la pratique scolaire du badminton avec une classe de quatrième, a cherché à mettre à l’épreuve cette théorie et à documenter les effets d’apprentissage d’une pédagogie fondée sur la formation de conduites motrices symboliques évolutives, envisagées comme des « faire-corps », en montrant les spécificités et les relations qui se sont tissées entre deux des trois composantes de la conduite : la composante performative et la composante métamotrice. / The purpose of this work is to create the conditions of an epistemological encounter between, on the one hand: the matrix of the psychic and collective individuation process, and on the other hand: physical education as a subject of learning and teaching. Gilbert Simondon first developed the philosophical theory of psychic and collective individuation process. Therefrom, Bernard Stiegler made it his own and rebuilt it while putting technics at its core. More precisely, for Stiegler, this theory rests on technics which is the main part of the process. Moreover, he shows that technics is, most of the time, excluded from epistemology. Throughout the concepts forged within this matrix, we can figure out the different patterns human societies went through. Moreover, understanding these patterns leads us to consider clearly their prospects and evolution. This work summarizes the main concepts seen as essential to define this matrix, while some of these concepts were given more attention. The organologic approach studies history and the prospects of body organs, technical tools, and social organizations. This approach brought to light the starting point for the topic concerning the contributions as well as the disputations within the past and present views of physical education (1880-2016). This process shows that the epistemic background mainly leads to consider the student action in terms of adjustment or in terms of mastering. We propose to turn this approach into a new one where the student will ease into new behavior using technics (such as physical ones or mnemonics) so that they can develop the motor attention. This view is based on the idea developed by Pierre Parlebas, seizing his work as well as the critical reviews of it. Therefore, we rely on the notion of forming symbolic motor behavior. This work also presents a theory attempting to report how the formation of these assets includes three major components: the performative component of the behavior, the relational component and the meta motor component. To test this theory, observations were made on a class of eighth graders practicing badminton. This case study points out two essential ideas: revealing the effects of an educational way of teaching based on the formation of a progressive and symbolic motor behavior (seen as "faire corps"), showing how two of the three components are specifically connected: the performative component and the meta motor component.

Ce travail porte sur la verification formelle de programmes paralleles. Parmi les methodes habituellement utilisees, nous nous interessons aux methodes basees sur la construction d'un modele du programme a verifier; la verification proprement dite s'effectue sur ce modele. Cette approche est limitee par l'explosion de la taille du modele, des que le programme traite est de complexite realiste. Notre but est l'etude et la mise en oeuvre de techniques permettant d'effectuer la verification malgre cette explosion. Les techniques que nous presentons sont liees par une caracteristique commune : l'utilisation de methodes symboliques de representation du modele. Nous etudions en premier lieu des techniques de reduction de modeles. Ces reductions s'operent par rapport a des relations d'equivalence basees sur la notion de bisimulation. Nous etudions en particulier un algorithme de minimisation de modele (\em pendant ) sa generation(Generation de Modele Minimal). Dans une seconde partie, nous nous interessons a deux techniques symboliques de representation de modeles. Il s'agit d'une part de Graphes de Decision Binaires, qui permettent la manipulation efficace de formules booleennes, et d'autre part de systemes d'inequations lineaires, connus sous le nom de polyedres convexes, pour la manipulation de variables entieres. L'utilisation de ces techniques permet de representer et manipuler des modeles de taille souvent prohibitive pour des methodes enumeratives classiques. Nous presentons la mise en oeuvre de methodes de comparaison et reduction de modeles aves les Graphes de Decision Binaires, avec en particulier l'algorithme de Generation de Modele Minimal. L'application de l'outil correspondant a plusieurs exemples de programmes lotos a permis de montrer l'interet, mais aussi les limites de l'utilisation de cette representation symbolique. Enfin, nous presentons une methode d'analyse statique de protocoles, basee sur l'utilisation des polyedres convexes. Cette analyse permet le calcul d'approximations superieures d'invariants du programme et de verifier la veracite de proprietes definies en termes de variables du programme.

Le paradigme de la surveillance de santé structurale repose sur l'introduction d'indicateurs fiables et robustes permettant de détecter, localiser, quantifier et prédire un endommagement de manière précoce. En effet, la détection d'une modification structurale susceptible de devenir critique peut éviter l'occurrence de dysfonctionnements majeurs associés à des conséquences sociales, économiques et environnementales très importantes.Ces dernières années, de nombreuses recherches se fait de l'évaluation dynamique un élément de diagnostic. La plupart des méthodes reposent sur une analyse temporelle ou fréquentielle des signaux pour en extraire une information compressée au travers de quelques caractéristiques modales ou d'indicateurs évolués construits sur ces caractéristiques. Ces indicateurs ont montré leur efficacité, mais le problème de leur sensibilité, de la nécessité de disposer d'un état de référence, et de leur fiabilité en terme de la probabilité de détection et de fausses alarmes, reste entier. De plus, le fait d'utiliser des mesures dynamiques (particulièrement si plusieurs voies de mesures sont considérées) mène au stockage de grands volumes de données.Dans ce contexte, il est important d'employer des techniques permettant d'utiliser autant des données brutes que les propriétés modales de manière pratique et pertinente. Pour cela, des représentations adaptées ont été développées pour améliorer la manipulation et le stockage des données. Ces représentations sont connues sous le nom de og données symboliques fg . Elles permettent de caractériser la variabilité et l'incertitude qui entachent chacune des variables. Le développement de nouvelles méthodes d'analyse adéquates pour traiter ces données est le but de l'Analyse de Données Symboliques (ADS).L'objectif de cette thèse est double : le premier consiste à utiliser différentes méthodes couplées à l'ADS pour détecter un endommagement structural. L'idée est d'appliquer des procédures de classification non supervisée (e.g. divisions hiérarchiques, agglomérations hiérarchiques et nuées dynamiques) et supervisée (e.g., arbres de décision Bayésiens, réseaux de neurones et machines à vecteurs supports) afin de discriminer les différents états de santé d'une structure. Dans le cadre de cette thèse, l'ADS est appliquée aux mesures dynamiques acquises emph{in situ} (accélérations) et aux paramètres modaux identifiés. Le deuxième objectif est la compréhension de l'impact des effets environnementaux, notamment de ceux liés à la variation thermique, sur les paramètres modaux. Pour cela, des techniques de régression des données sont proposées.Afin d'évaluer la pertinence des démarches proposées, des études de sensibilité sont menées sur des exemples numériques et des investigations expérimentales. Il est montré que le couplage de l'ADS aux méthodes de classification de données permet de discriminer des états structuraux avec un taux de réussite élevé. Par ailleurs, la démarche proposée permet de vérifier l'importance d'utiliser des techniques permettant de corriger les propriétés modales identifiées des effets thermiques, afin de produire un processus de détection d'endommagements efficace

Ce travail de recherche met à l'épreuve l'hypothèse de la mystification entendue comme stratégie communicationnelle manifestée par des tendances spécifiques où la dialectique entre obscurcissant et révélant jouent un rôle fondamental dans la production des formes symboliques. Dans ce cadre, le concept de mystification comme paradigme de sens est en rapport avec un modèle de communication qui se manifeste partout où s'impose la médiation entre le sacré et le profane ainsi que le maintien de l'ordre symbolique. Les médias non seulement qu'ils utilisent la mystification comme une stratégie, mais ils fonctionnent dans le paradigme de la mystification notamment quand il s'agit d'intervenir pour préserver l'ordre social par une production des formes symboliques spécifiques. Pour identifier les thèmes récurrents qui apparaissent dans les représentations médiatiques internationaux, des thèmes qui fournissent des indications sur les tendances qui sont spécifiques pour le paradigme de la mystification, l'analyse empirique aborde la production et la transmission des formes symboliques concernant les représentations médiatiques dans le contexte de l'attaque terroriste contre journal Charlie Hebdo du 7 Janvier 2015. / The present research work advances the following hypothesis – mystification is acommunicational strategy manifested through specific trends where the dialectic between obscuring and revealing plays a fundamental role in the production of the symbolic forms. It is therefore proposed that the concept of the mystification paradigm requires a communication model that manifests itself wherever the mediation between sacred and profane and maintaining the symbolic order are required. Media not only use this model as a strategy but function in the mystification paradigm especially when it is supposed to intervene for preserving the social order through a specific production of symbolic forms. To identify recurring themes that arise in the media representations generated by the international press, themes that provides indicators of particular trends that are specific in the mystification paradigm, an empirical analysis of this production and transmision of the symbolic forms has been employed in the special context of the terrorist attack against the journal Charlie Hebdo on January 7, 2015.

Le paradigme de la surveillance de santé structurale repose sur l'introduction d'indicateurs fiables et robustes permettant de détecter, localiser, quantifier et prédire un endommagement de manière précoce. En effet, la détection d'une modification structurale susceptible de devenir critique peut éviter l'occurrence de dysfonctionnements majeurs associés à des conséquences sociales, économiques et environnementales très importantes.Ces dernières années, de nombreuses recherches se fait de l'évaluation dynamique un élément de diagnostic. La plupart des méthodes reposent sur une analyse temporelle ou fréquentielle des signaux pour en extraire une information compressée au travers de quelques caractéristiques modales ou d'indicateurs évolués construits sur ces caractéristiques. Ces indicateurs ont montré leur efficacité, mais le problème de leur sensibilité, de la nécessité de disposer d'un état de référence, et de leur fiabilité en terme de la probabilité de détection et de fausses alarmes, reste entier. De plus, le fait d'utiliser des mesures dynamiques (particulièrement si plusieurs voies de mesures sont considérées) mène au stockage de grands volumes de données.Dans ce contexte, il est important d'employer des techniques permettant d'utiliser autant des données brutes que les propriétés modales de manière pratique et pertinente. Pour cela, des représentations adaptées ont été développées pour améliorer la manipulation et le stockage des données. Ces représentations sont connues sous le nom de og données symboliques fg . Elles permettent de caractériser la variabilité et l'incertitude qui entachent chacune des variables. Le développement de nouvelles méthodes d'analyse adéquates pour traiter ces données est le but de l'Analyse de Données Symboliques (ADS).L'objectif de cette thèse est double : le premier consiste à utiliser différentes méthodes couplées à l'ADS pour détecter un endommagement structural. L'idée est d'appliquer des procédures de classification non supervisée (e.g. divisions hiérarchiques, agglomérations hiérarchiques et nuées dynamiques) et supervisée (e.g., arbres de décision Bayésiens, réseaux de neurones et machines à vecteurs supports) afin de discriminer les différents états de santé d'une structure. Dans le cadre de cette thèse, l'ADS est appliquée aux mesures dynamiques acquises emph{in situ} (accélérations) et aux paramètres modaux identifiés. Le deuxième objectif est la compréhension de l'impact des effets environnementaux, notamment de ceux liés à la variation thermique, sur les paramètres modaux. Pour cela, des techniques de régression des données sont proposées.Afin d'évaluer la pertinence des démarches proposées, des études de sensibilité sont menées sur des exemples numériques et des investigations expérimentales. Il est montré que le couplage de l'ADS aux méthodes de classification de données permet de discriminer des états structuraux avec un taux de réussite élevé. Par ailleurs, la démarche proposée permet de vérifier l'importance d'utiliser des techniques permettant de corriger les propriétés modales identifiées des effets thermiques, afin de produire un processus de détection d'endommagements efficace / The paradigm of structural health monitoring is based on the development of reliable and robust indicators able to detect, locate, quantify and predict damage. Studies related to damage detection in civil engineering structures have a noticeable interest for researchers in this area. Indeed, the detection of structural changes likely to become critical can avoid the occurrence of major dysfunctions associated with social, economic and environmental consequences.Recently, many researches have focused on dynamic assessment as part of structural diagnosis. Most of the studied techniques are based on time or frequency domain analyses to extract compressed information from modal characteristics or based on indicators built from these parameters. These indicators have shown their potentialities, but the problem of their sensitivity, the necessity of a reference state, and their reliability in terms of detection probability and false alarm, still remains. Moreover, the use of raw dynamic measurements (especially if several measurement channels are considered) leads to the storage of large datasets.In this context, it is important to use techniques capable of dealing not only with raw data but also modal parameters in a practical and relevant way. In order to give some insights to this problem, appropriate representations have been developed to improve both manipulation and storage of data. These representations are known as og symbolic data fg. They are used to characterize the variability and uncertainty that exists within each variable. The development of new methods capable of dealing with this type of data is the goal of Symbolic Data Analysis (SDA).This thesis has two main objectives: the first one is to use different methods coupled with the SDA to detect structural damage. The idea is to employ clustering procedures (e.g., hierarchy-divisive, hierarchy-agglomerative and dynamic clouds) and supervised classification methods (e.g., Bayesien decision trees, neural networks and support vector machines) to discriminate different structural states. In this thesis, SDA is applied to dynamic measurements obtained on site (accelerations) and to the identified modal parameters. The second goal is to study the impact of environmental effects, particularly those related to thermal variation over modal parameters. To this end, a couple of regression techniques are proposed.In order to attest the efficiency of the proposed approaches, several sensibility studies considering numerical applications and experimental investigations are carried out. It is shown that SDA coupled with classification methods is able to distinguish structural conditions with adequate rates. Furthermore, it is stressed the importance of using techniques capable of correcting modal parameters from thermal effects in order to build efficient procedures for damage detection

Cette thèse s'intéresse à la modélisation de la syntaxe et de l'interface syntaxe-sémantique de la phrase, et explore la possibilité de contrôler au niveau des structures de dérivation la surgénération que produit le traitement des dépendances à distance par des types d'ordre supérieur. À cet effet, nous étudions la possibilité d'étendre le système de typage des Grammaires Catégorielles Abstraites avec les constructions de la somme disjointe, du produit cartésien et du produit dépendant, permettant d'étiqueter les catégories syntaxiques par des structures de traits. Nous prouvons dans un premier temps que le calcul résultant de cette extension bénéficie des propriétés de confluence et de normalisation, permettant d'identifier les termes beta-équivalents dans le formalisme grammatical. Nous réduisons de plus le même problème pour la beta-eta-équivalence à un ensemble d'hypothèse de départ. Dans un second temps, nous montrons comment cette introduction de structures de traits peut être appliquée au contrôle des dépendances à distances, à travers les exemples des contraintes de cas, des îlots d'extraction pour les mouvements explicites et implicites, et des extractions interrogatives multiples, et nous discutons de la pertinence de placer ces contrôles sur les structures de dérivation / This thesis focuses on the modelisation of syntax and syntax-semantics interface of sentences, and investigate how the control of the surgeneration caused by the treatment of linguistics movements with higher order types can take place at the level of derivation structures. For this purpose, we look at the possibility to extend the type system of Abstract Categorial Grammars with the constructions of disjoint sum, cartesian product and dependent product, which enable syntactic categories to be labeled by feature structures. At first, we demonstrate that the calculus associated with this extension enjoy the properties of confluence and normalization, by which beta-equivalence can be computed in the grammatical formalism. We also reduce the same problem for beta-eta-equivalence to a few hypothesis. Then, we show how this feature structures can be used to control linguistics movements, through the examples of case constraints, extraction islands for overt and covert movements and multiples interrogative extractions, and we discuss the relevancy of operating these controls on the derivation structures

Cette thèse s'inscrit dans le cadre de la classification automatique de données symboliques par des méthodes géométriques bio-inspirées, plus spécifiquement par les cartes auto-organisatrices. Nous mettons en place plusieurs algorithmes d'apprentissage des cartes auto-organisatrices pour classifier des données symboliques mixtes ainsi que des données de type intervalle et des données discrétisées. Plusieurs jeux de données symboliques simulées et réelles, dont deux construits dans le cadre de cette thèse, sont utilisés pour tester les méthodes proposées. En plus, nous proposons une carte auto-organisatrice pour les données discrétisées (binned data) dans le but d'accélérer l'apprentissage des cartes classiques et nous appliquons la méthode proposée à la segmentation d'images. / This thesis concerns the clustering of symbolic data with bio-inspired geometric methods, more specifically with Self-Organizing Maps. We set up several learning algorithms for the self-organizing maps in order to cluster mixed-feature symbolic data as well as interval-valued data and binned data. Several simulated and real symbolic data sets, including two sets built as part of this thesis, are used to test the proposed methods. In addition, we propose a self-organizing map for binned data in order to accelerate the learning of standard maps, and we use the proposed method for image segmentation.

Cette thèse s’intéresse au thème des luttes symboliques entre les citadins et les « sitiantes » (« petits propriétaires terrien »), dans un contexte de réélaboration de la ruralité. L’objectif général est d’analyser le processus de réinterprétation des pratiques paysannes à partir de la participation des « sitiantes » au développement du tourisme dans la municipalité d’Areia–État de Paraíba, dans le Nord este du Brésil. La recherche qualitative a un caractère éminemment ethnographique, favorisant l’observation des relations sociales dans la Communauté « Chã de Jardim » et les stratégies de reconversion des « sitiantes ». Les données ont été produites et collectées au travers de l’observation directe et d’entretiens semi directifs et directifs avec les artisanes, les travailleurs du Restaurant Rural Vó Maria, les membres de l’Adesco, les entrepreneurs du tourisme à Areia et les représentants des instances intermédiaires –rôle joué par des entités telles que le Senar, le Sebrae, le PBTur, la Cooperar, l’Atura, parmi d’autres impliquées dans la structuration du tourisme dans les zones rurales. En outre, une enquête exploratoire a été réalisée auprès des clients du restaurant Vó Maria, au travers de questionnaires et de l’accompagnement d’excursions, ce qui a permis de dresser un profil et d’identifier les demandes du public consommateur. L’analyse met en relation des catégories « indigènes » (produites par les propres personnes étudiées) et analytiques, en gardant en perspective les échanges symboliques entre les « sitiantes » et les autres agents. Les solidarités et les jeux d’intérêts qui marquent les relations entre eux sont traités à partir de la théorie du don de Marcel Mauss, de la sociologie de la domination de Pierre Bourdieu et de la notion de réciprocité hiérarchique de Marcos Lanna. L’hypothèse centrale est que la participation des « sitiantes » à la production de l’offre touristique est rendue possible par des alliances internes et externes, établies sur la base de l’échange de dons, suivant le principe de la réciprocité hiérarchique. D’une part, les échanges de dons avec d’autres agents tendent à promouvoir la reconnaissance sociale et à renforcer l’estime de soi ; et, d’autre part, ils engendrent une différenciation interne et de nouvelles hiérarchies, naturalisant la subordination et la domination symbolique des employés vis-à-vis des nouveaux « patrons ». Ainsi, les luttes symboliques sont conçues comme des luttes quotidiennes pour la reconnaissance et la dignité, visant à surmonter les processus d’infériorisation et d’invisibilité auxquels sont soumis les « sitiantes », et d’autres groupes mal situés dans l’espace social,dans leurs relations avec les dominants. Longtemps « invisibilisées», ces luttes n’ont pu émerger qu’au travers de la mise en œuvre de politiques publiques visant à lutter contre la pauvreté rurale, à promouvoir l’éducation dans les milieux ruraux et les actions de développement rural qui, en outre d’améliorer les conditions de vie de la population rurale, a permis l’émergence et le renforcement du leadership local. Loin d’être un mouvement à sens unique, qui se traduit par une véritable restructuration des positions dans l’espace social, les solidarités et les luttes observées entre les agents se révèlent être un processus complexe et ambigu, rempli de contradictions, au sein duquel différents niveaux de réciprocité sont établis,que ce soit au sein du microsystème communautaire ou dans les échanges entre les« sitiantes » et les entrepreneurs de la municipalité, les organismes intermédiaires ou les consommateurs, formant ce que l'on pourrait considérer comme un réseau étendu de circulation des dons dans le marché touristique de Brejo Paraibano. / The theme of this thesis is the symbolic battles between towns people and ‘peasants’ in the context of the re-elaboration of rurality. The general aim is to analyze the reinterpretation process of countryside practices by the 'peasants' participation in the tourism development in the city of Areia - state of Paraíba. The qualitative research has an eminently ethnographic character, focusing on the observation of social relations in the Chã de Jardim Community and the small landowners reconversion strategies. The data were produced and collected through observation and structured and semi-structured interviews with craftsmen, workers of the Restaurante Rural Vó Maria, members of Adesco, tourism entrepreneurs in Areia, and representatives of intermediary bodies - a role played by entities such as Senar, Sebrae,PBTur, Cooperar, Atura, among others involved in modelling the tourism in rural areas. In addition, an exploratory survey was carried out among the customers of the restaurant through questionnaires and by monitoring excursions, which allowed to draw a profile and identify the demands of the consumers. The analysis links “native” (produced by the people studied) and analytical categories, keeping in perspective the symbolic exchanges between the smalllandowners and the other agents. The solidarities and games of interest which mark the relations between them, at the micro and macro social levels, are discussed by the theory of the gift of Marcel Mauss, the sociology of domination of Pierre Bourdieu, and the notion of hierarchical reciprocity of Marcos Lanna. This study defends the thesis that the participation of the small landowners in the production of the tourist offer is made possible by means of alliances at the internal and external level, established on the basis of the exchange of gifts,following the principle of hierarchical reciprocity. On the one hand, the exchanges of giftswith other agents tend to promote social recognition and raise the self-esteem of the smalllandowners; and, on the other hand, it generates internal differentiation and new hierarchies,“naturalizing” the subordination and symbolic domination of the employees towards their peasant bosses. In this sense, the symbolic battles are understood as daily struggles for recognition and dignity, aiming to overcome the process of inferiorization and invisibility towhich 'peasants' and other groups, poorly placed in the social space, are submitted in their relationship with the dominant classes. For a long time "kept invisible", these struggles could only emerge through the implementation of public policies to confront rural poverty,stimulating rural education and rural development actions, which, in addition to improving the living conditions of the rural population, allowed the emergence and the strengthening of local leaderships. Far from being a one-directional movement that results in a real restructuring of positions in the social space, the observed solidarities and battles between the agents reveal themselves as a complex and ambiguous process, full of contradictions in which different levels of reciprocity are established, whether within the community microsystem orin the exchanges between the ‘peasants’ and the town entrepreneurs, the intermediary bodies or the consumers, forming what could be considered an extended circuit of circulation of giftsin the tourism market in Brejo Paraibano. / O tema da presente tese são as lutas simbólicas entre citadinos e sitiantes, no contexto dere elaboração da ruralidade. O objetivo geral é analisar o processo de ressignificação daspráticas camponesas a partir da participação dos sitiantes no desenvolvimento do turismo nomunicípio de Areia, na Paraíba. A pesquisa qualitativa tem caráter eminentemente etnográfico, privilegiando a observação das relações sociais na Comunidade Chã de Jardim eas estratégias de reconversão dos sitiantes. Os dados foram produzidos e coletados por meioda observação e de entrevistas semidirigidas ou dirigidas, realizadas com as artesãs, ostra balhadores do Restaurante Rural Vó Maria, os membros da Adesco, os empre endedores deturismo, em Areia, e os representantes das instâncias intermediárias – papel ocupado porentidades como o Senar, o Sebrae, a PBTur, o Cooperar, a Atura, dentre outras implicadas naformatação do turismo no espaço rural. Complementarmente, realizou-se uma pesquisa exploratória junto aos clientes do Restaurante, por meio de questionários e do acompanhamento de excursões, o que permitiu traçar um perfil e identificar as demandas do público consumidor. A análise articula categorias nativas e analíticas, mantendo em perspectiva as trocas simbólicas entre os sitiantes e os outros agentes. As solidariedades e osjogos de interesse que marcam as relações entre eles são tratados a partir da teoria da dádiva,de Marcel Mauss, da sociologia da dominação, de Pierre Bourdieu, e da noção de reciprocidade hierárquica de Marcos Lanna. Defende-se a tese que a participação dos sitiantesna produção da oferta turística viabiliza-se por meio de alianças, nos planos interno e externo,estabelecidas com base na troca de dons, seguindo o princípio da reciprocidade hierárquica.Por um lado, as trocas de dádivas com outros agentes tendem a promover o reconhecimento social e elevar a autoestima dos sitiantes; e, por outro lado, tendem a gerar diferenciação interna e novas hierarquias, naturalizando a subordinação e a dominação simbólica dos empregados aos patrões. Desse modo, as lutas simbólicas são compreendidas como lutas cotidianas por reconhecimento e dignidade, que visam à superação do processo deinferiorização e invisibilidade às quais os sitiantes e outros grupos mal posicionados noespaço social são submetidos na relação com as classes dominantes. Por muito tempo “invisibilizadas”, essas lutas só puderam ganhar a cena a partir da implantação de políticas públicas de enfrentamento à pobreza rural, do estímulo à educação no campo e de ações de desenvolvimento rural, que, além de elevar as condições de vida da população rural,permitiram a emergência e o fortalecimento de lideranças locais. Longe de ser um movimentoem sentido único, que resulte em uma verdadeira reestruturação das posições no espaço social, as solidariedades e lutas observadas entre os agentes revelam-se um processo complexo e ambíguo, pleno de contradições, dentro do qual se estabelecem diferentes níveisde reciprocidade, seja dentro do microssistema comunitário, sejam nas trocas entre os sitiantese os empre endedores do município, as instâncias intermediárias ou os consumidores,formando o que poderia ser considerado um circuito ampliado de circulação de dádivas nomercado turístico no Brejo Paraibano.

Depuis environ cinq ans, les systèmes hybrides neurosymboliques (SHNS) combinent réseaux de neurones artificiels et systèmes symboliques (systèmes à base de connaissances), dans le but de profiter de leurs points forts respectifs. Nous présentons une taxonomie des nombreux SHNS existants, selon deux points de vue, le degré de couplage (faible, étroit, fort) et le type d'interactions (pré/post-traitement, sous-traitance, coopération, méta-traitement). La taxonomie comprend aussi deux approches moins hybrides de l'intégration des caractéristiques des réseaux de neurones et des systèmes symboliques, l'approche purement neuronale et celle fondée sur des traductions. Nous étudions ensuite un SHNS existant, SYNHESYS, et examinons ses possibilités d'application en micro-électronique et en géographie alpine. Puis nous proposons une nouvelle architecture hybride, NESSY3L, et son application au pilotage réactif d'un robot mobile. L'architecture comporte trois niveaux coopérants, neuronal pur, neurosymbolique, symbolique pur, et a été intégrée dans le simulateur de robot MOLUSC. Cette architecture offre des perspectives intéressantes pour les SHNS, dont la prise en compte du temps, le développement de mécanismes inter-niveaux et l'évolution vers un couplage fort, l'utilisation d'idées provenant des autres approches de l'intégration neurosymbolique.

Cette thèse concerne l'utilisation de modèles fonctionnels dans le test de circuits intégrés complexes. Dans la première partie, des vecteurs de test sont générés pour les automates d'états finis a partir de leurs spécifications de synthèse. Un premier ensemble de vecteurs de test est calcule en parcourant tous les arcs du graphe de contrôle. Les valeurs d'entrées non spécifiées sur les transitions sont fixées afin d'accroitre la couverture. Il est montre que ce test a une excellente couverture par rapport a sa longueur. Les fautes résiduelles sont détectées par une methode de distinction sur les modèles machine juste machine fausse. La deuxième partie est consacrée au test hiérarchisé de circuits complexes. Les vecteurs de test locaux aux blocs sont justifies vers les entrées primaires et propages en avant vers les sorties primaires en utilisant des variables symboliques et des modèles fonctionnels pour les blocs traverses. Des techniques originale de propagation retardée permettent de restreindre le nombre d'échecs des propagations. Un prototype en prolog a été expérimenté