Le début des années 2000 marque l’émergence des technologies de l’information et de la communication (TIC) et du web 2.0 dans le réseau collégial québécois. Dans la foulée de ce progrès technologique, la présence des TIC a modifié la manière d’apprendre le savoir disciplinaire de l’étudiant, tout en permettant au professeur de repenser sa pédagogie dans le but de la rendre plus interactive. Au départ, la miniaturisation des appareils a été une source d’émulation pour les innovateurs, mais aussi de crainte pour les tenants d’un enseignement traditionnel. Encore aujourd’hui, cette dualité repose sur des convictions professionnelles divergentes à l’égard de ce que devrait être l’enseignement de la philosophie. Cette thèse a pour objectif de démontrer qu’en développant leur sentiment de compétence respectif, le professeur et l’étudiant du profil Tremplin DEC doivent faire un usage éthiquement responsable des technologies de l’information et de la communication pour améliorer l’enseignement de la philosophie au collégial et renouveler du même coup l’apprentissage disciplinaire. À terme, la valorisation de la techno pédagogie permettrait de responsabiliser davantage l’étudiant à l’égard de ses apprentissages et le rendrait plus autonome. En plus d’améliorer les taux de réussite, comme en témoigne notre cueillette de données, la techno pédagogie permettrait au professeur de développer une pédagogie de l’accompagnement mieux ciblée à l’égard des besoins particuliers de l’étudiant du profil Tremplin DEC. Pour parvenir à cette fin, notre thèse est divisée en quatre parties et elle se base sur une approche interdisciplinaire. La première partie porte sur la sociologie de la communication. Nous expliquerons la manière dont les TIC modifient la nature du lien social et la dynamique des interactions entre les usagers. Pour les uns la technologie permettrait une communication plus efficace, mais pour les autres elle encouragerait le durcissement des rapports humains de sorte que prioriser l’efficacité de la communication menacerait la qualité et la pérennité des relations interpersonnelles. Quant à elle, la seconde partie porte sur l’éducation et l’importance pour l’étudiant et le professeur de développer une pratique réflexive conjointe à l’égard de l’apprentissage et de la transmission du savoir disciplinaire. En dépit des difficultés auxquelles l’étudiant du profil Tremplin DEC et le techno pédagogue sont confrontés, ces derniers doivent acquérir une série de compétences communes sans lesquelles l’usage des TIC en classe risquerait d’être futile. Du coup, la nature de la relation pédagogique doit être réévaluée pour maximiser l’innovation techno pédagogique. La troisième partie porte sur l’éthique et l’usage responsable des technologies en situation d’apprentissage. En effet, l’utilisation des TIC par le professeur et l’étudiant doit être une responsabilité partagée et reposer sur des valeurs communes de solidarité et de complémentarité. Ce sont ces deux valeurs qui permettraient d’adapter l’encadrement pédagogique du professeur afin de pouvoir répondre aux besoins spécifiques de l’étudiant. De plus, l’implantation d’une communauté d’apprentissage professionnelle optimiserait l’engagement du professeur et la participation de l’étudiant dans sa réussite académique. Finalement, nous proposerons une série de recommandations visant à améliorer l’enseignement de la philosophie. Celles-ci ont pour but d’inculquer une culture du changement qui, selon nous, serait à la fois profitable pour l’ensemble du réseau collégial et constructive pour le développement de stratégies numériques en philosophie. / Abstract : The turn of the century brought with it an emergence of information and communications technologies (ICT) and web 2.0 to the Quebec junior college network. In the wake of this technological progress, the presence of ICT changed (transformed) the way students learned about discipline-related content while allowing the teachers to redefine their pedagogical methods that would make courses more interactive. At the outset, the miniaturisation of these tools was a source of emulation for the developers as well as a cause of concern for the tenants of traditional teaching methods. Even today, this duality has led to diverging professional convictions with regards to how we should teach philosophy. The goal of this thesis is to show that in developing a feeling of mutual competency, students and teachers of the Springboard to a DCS pathway must engage in an ethically responsible usage of information and communications technologies. This will improve teaching methods of philosophy, which will lead to renewed discipline-related learning. Over time, the validation of electronic pedagogy (e-pedagogy) will allow students to cultivate a sense of responsibility with regards to their learning and make them more autonomous. In addition to increasing the passing rate, as shown by our data, e-pedagogy permits the teacher to develop a more targeted approach to accompany the particular needs of students in the Springboard to a DCS pathway. Our thesis is broken into four parts and is based on an interdisciplinary approach. The first part deals with the sociology of communication. We will explain how ICT have changed the nature of socialization and the dynamics of user interactions. For some, technological tools allow for a more efficient communication, whereas others feel that these tools encourage a breakdown of human relationships because in prioritizing communication efficiency, we risk harming the quality and longevity of interpersonal relationships. The second part focuses on education and the importance for students and teachers to develop a shared reflective practice with regards to learning and transmitting discipline-related content. Despite the difficulties faced by students in the Springboard to DSC pathway and their instructor, all of the actors must acquire a series of common competencies, without which the use of ICT would be futile. That means that the nature of the pedagogical relationship must be re-evaluated to allow to increased e-pedagogy innovation. The third part deals with ethically responsible usage of ICT in learning situations. Indeed, in using ICT, instructors and students must assure a shared responsibility and consider common values of solidarity and complementarity. These two values are necessary for teachers to be able to adapt academic supervision in order to answer specific student needs. Furthermore, a professional learning community would optimize teacher commitment thereby increasing a student’s efforts in his or her academic success. Finally, we will propose a series of recommendations to improve the teaching of philosophy. The purpose is to bring about a culture of change which, in our opinion, would be beneficial for the entire college network and constructive for the development of e-pedagogical strategies in philosophy.

Ce travail propose une analyse des pratiques de bénédiction et des relations de proximité dans une ville du centre-ouest brésilien. L’ethnographie dans les quartiers de Goiás permet d’interroger tout à la fois un univers mu par des formes de religiosité désignées par le terme de caseiras, et la notion de proximité telle que le quotidien des habitants la révèle. Favorisant une approche sensible des pratiques de bénédiction et des relations de proximité, la photographie est mobilisée comme outil de terrain, dispositif analytique et mode de connaissance, pour souligner la particularité des expériences ethnographiques autour du regard et des images et élaborer un récit ethnographique articulant texte et images. Sont ainsi privilégiés dans cette thèse le contenu anthropologique et les aspects esthétiques et émotionnels de la bénédiction. Ces pratiques permettent d’appréhender les relations de solidarité, conflictuelles et intergénérationnelles, qui participent à l’élaboration du lien social entre proches. Impliquant aussi des processus de transmission entre femmes, les relations de proximité sont dynamisées par des ambiguïtés affectives faites à la fois de complicités et de rivalités. Les troubles qu’elles provoquent trouvent leurs formes d’expression et de résolution à partir des religiosités caseiras, les pratiques de bénédiction étant un moyen de réguler les conflits du quotidien, du fait qu’elles prennent en charge les maux du corps et de l’esprit qui en découlent. Ces éléments d’analyse ratifient que le rapport au proche n’est pas toujours harmonieux, et valorisent des modes de connaissance et des pratiques thérapeutico-religieuses non officialisées bien que centrales pour des groupes sociaux entiers, donnant ainsi une autre image de la société goiane et donc de la société brésilienne, à partir des marges du savoir / This work presents an analysis of blessing practices and “close” relationships in a city of central-western Brazil. Ethnography in the neighbourhoods of Goiás allows to question forms of religiosity designated by the term caseiras and the notion of closeness in the everyday life of Goiás inhabitants. Promoting a sensible approach of blessing practices and of “close” relationships, photography is mobilized as a tool for fieldwork, but also an analytical device and as a form of knowledge, to emphasize the particularity of ethnographic experiences of the sight and images. It also allows to develop an ethnographic narrative articulating text and images. Anthropological content as well as aesthetic and emotional aspects of blessing practices are privileged in this research. To focus on the blessing practices allows to grasp relations of solidarity, of conflict and intergenerational relations, which participate in the development of social ties between “close” people. As they also involve transmission between women, “close” relationships are driven by emotional ambiguities based on both complicity and rivalry. The disorders such relationships can cause find forms of expression and resolution into caseiras religiosities, as blessing practices are a way to regulate conflicts of everyday life by working on body and mind illnesses resulting from such conflicts. This work demonstrates how “close” relationship is not always harmonious. It also intends to show how unofficial forms of knowledge and therapeutic-religious practices, although central for entire social groups, can give a fresher look of the goiana society and of the brazilian society from the angle of the margins of institutional knowledge.

A partir du postulat psychanalytique de l'inconscient qui inscrit le manque au coeur sujet, cette thèse doctorale met en avant l'articulation universelle du sujet à la culture, au-delà des déclinaisons particulières qui viennent métaphoriser – à travers les signifiants de chaque culture – l'interdit fondamental structurant cette articulation et les prescriptions culturelles formulées à partir de celui-ci. Pour ce faire nous nous sommes appuyés sur l’expérience du vécu subjectif de l'exil entraînant une mise en suspens des illusions fondatrices de l'appartenance dans le contexte de notre rencontre clinique avec un membre de la communauté migrante rom en Île-de-France. En disant rom, nous parlons d'une appartenance culturelle et sociale qui, d'un point de vue psychanalytique, fonctionne selon des coordonnées symboliques. Ces coordonnées, avant d'être spécifiques à une culture, sont universelles à ce que Freud appelle la Kultur : le sujet soumis à l'interdit fondamental trouve sa place dans l'ordre des générations et dans la différence des sexes. C'est à partir de cette place que ce tisse le désir du sujet qui doit faire avec son manque qui se décline et circule à travers les signifiants de sa culture. Si une particularité est à prendre en compte, elle est à situer au niveau des conditions sociales de la réalisation du mouvement migratoire : la conservation de l'organisation des structures sociales de la communauté en terre étrangère permet le maintien de la place symbolique initiale du sujet au sein de son univers d'appartenance. Ainsi, si l'amarrage symbolique du rom migrant ne s'abîment pas, bien qu'il soit constamment confronté avec un imaginaire qui pullule autour de la figure de l’étranger, c'est parce qu'il a scellé son inscription dans un ailleurs inaliénable et intouchable (dit Athiganos en grec ancien) par les effets immédiats du dépaysement et de la non-reconnaissance d'une place chez l'autre. Ainsi nous avons pu comprendre, dans ce contexte migratoire particulier, que l'exil ne commence pas avec le déplacement mais lors de la séparation d'avec la communauté d'appartenance, avec la confrontation à un manque de sens au coeur de soi qui émerge dans la rencontre à l'étranger provoquant une mise en question radicale de la place symbolique initiale du sujet.Face l'évocation nostalgique de la perte du sujet exilé, l'adresse du clinicien aura consisté à écouter de manière respectueuse les contenus – objets de la perte, que le patient présente comme étant d'ordre culturel – mais d'y aller au-delà, de centrer son attention sur le processus même de la perte et de l'épreuve de l'ébranlement identitaire que traverse le sujet, en se découvrant orphelin des illusions qui fondaient son appartenance et sa place symbolique qui soutenait son désir. Les questionnements qui surgissent dans ce contexte seront celles qui mènent vers la subjectivité du patient, relevant les lignes de faille de sa suture symbolique: interrogations des origines, de l'ordre familial, du rapport aux parents, des droits et privilèges des autres membres de la fratrie, de ses propres choix sexuels, etc.Au cours du notre suivi clinique nous avons pu observer un usage subjectif de place accordé à l'étranger, en tant que territoire d’aliénation symbolique nécessaire au sujet aux prises avec le désir menaçant de l'Autre féminin, dont le sujet se sauve à travers un mouvement d'auto-exil. Entendu et accueilli dans la parole, il a pu se métaphoriser en un exil fécond. C'est suite à une opération d'appropriation de ce déracinement subjectif, qu'une installation a été possible dans un espace symbolique autre que celui des origines, métaphorisé par l'hébergement social, devenu espace d'accueil de cet exil subjectif premier. / This doctoral thesis emphacises the universal relation between subjet and culture from the standpoint of the psychoanalytic postulate of the unconscious as determining the fundamental lack of the subject, all of this beyond particular cultural declensions which “metaphorise” – through the signifiers of each culture – the fundamental prohibition which structures this relation as well as the cultural commandments thereby expressed.For this purpose, we base ourselves on the subjective experience of exile in real life as suspending the fundamental illusions of belonging, more specifically within the context of our clinical encounter with a member of the Roma migrant community within the Ile-de-France region. When using the term “Roma”, we refer to cultural and social backgrounds which, from the point of view of psychoanalysis, function according to symbolic coordinates. Such coordinates, before becoming culturally specific, are universal through what Freud designates as Kultur: the subject, who is subjected to the fundamental prohibition, finds a meaningful place within the order of generations and within gender differences. It is from this place that the subject, who must make do with his lack – lack which declines and circulates within the signifiers of his culture –, weaves his desire.If any particularity is to be taken into account, it must be located within the social conditions determining the migratory movement: the compositional safeguarding of the community's social structures even in foreing land permits the subject's initial symbolic configuration within his place of belonging to be conserved. Hence, if the symbolic mooring of the migrant Roma is not lost, even though he is constantly confronted with an imaginary overrun with figures of foreignness, it is because he has sealed its inscription within an elsewhere which is unalienable and intangible (said Athiganos in ancient Greek) as an immediate consequence of the unfamiliarity and the disallowance of a place among the others.Following this view we may understand, in such a particular migratory context, how exile does not commence with displacement, but rather through separation from a community of belonging, through confrontation with the lack of meaning within oneself – lack of meaning emerging within the encounter with the foreigner, radically questionning the subject's original symbolic place.Facing the exiled subject's nostalgic evocation of his loss, the clinician's task is to respectfully acknowledge these contents – as lost objects, which are presented by the patient as being of cultural order – , and go beyond, to focus upon the psychic process of loss itself, as well as the weakening of identity as a trial endured by the subject, as the latter becomes orphaned from the illusions founding the membership and symbolic place which suppored hitherto his desire. The questions arising from such a context will be those which lead to the patient's subjectivity, bringing out the fault lines of his symbolic composition: doubts of his origins, of the family order, of linkages with parents, of the rights and privileges of his siblings, of his own sexual choices, etc.Throughout our clinical follow-up, we observed a subjective usage of the place given to the foreigner, as a symbolic territory of alienation indispensable to the subjet facing the threatening desire of the feminin Other, from which the subject flees through a movement of auto-exile. If met and acknowledged through speech, he could metaphorise himself in a prolific exile. Following the operation of such subjective uprooting was the possibility that a symbolic space other than that of the origins be invested, metaphorised through social accomodation, to become a space capable of accomodating the initial subjective exile.

Les gardiennes des nappes d'offrande en Iran (de la préhistoire à nos jours) :<p>Cette recherche a été intitulée "les femmes iraniennes héritières des nappes d'offrande". L'objectif de cette recherche est la mise en évidence des bases des nappes d'offrande votive féminines de la préhistoire à nos jours en tant qu‘explication, analyse et interprétation des nappes ;pour cette recherche, nous avons choisi la société actuelle de Téhéran constituée d'ethnies iraniennes variées, notamment les Zoroastriennes et les Shi‘ites. Le fil conducteur de cette recherche est le cadre théorique combiné basé sur la transmission culturelle, l'interprétation religieuse symbolique de Geertz, la réaction symbolique de Parsons et la théorie d'échange de Peter Blau, interprétant les différents aspects des signes et des symboles des nappes avec la présence, la participation des femmes, la réalisation de leurs désirs et la mise en place des nappes. Les théories d'Henri Corbin ont permis de répondre à certaines questions sur la transmission culturelle religieuse et les changements et transformations du monde symbolique iranien, mazdéen zoroastrien aux nouveaux symboles de l'Iran musulman shi‘ite ;nous avons également fait appel aux rapports de Sadegh Hedayat, Henri Massé, Shakouri, Faghiri ,K. et F. Mazdapour. Le commentaire et l'interprétation d'autres sujets des nappes tels que les récits, la lamentation et l'allégresse, les Adjil-é Moshkel Gosha étaient des mystères non élucidés jusqu'alors par les chercheurs ;ils l'ont été dans cette thèse. Il a été essayé de répondre aux questions posées par des réponses basées sur l'anthropologie religieuse symbolique. L'enquête statistique de la recherche porte sur des étudiantes, mariées ou non, de l'Université Azad, Unité Centre de Téhéran. Les questions principales intéressent la féminité des nappes d'offrande et le recours aux saints religieux iraniens shi‘ites. Les souhaits sont relatifs à la vie quotidienne, comme l'obtention d'un travail, la guérison d'un malade, l'achat d'un appartement, la résolution de problèmes financiers, le mariage, l'accouchement, etc. les résultats ont été rassemblés dans les tableaux de l'enquête statistique. Cependant, certaines questions sont restées sans réponses ;elles seront élucidées par de futurs chercheurs.<p>Mots-clés :nappes d'offrande votive, les femmes gardiennes, la transmission culturelle, Adjil, Moshkel Gosha / Doctorat en Sciences politiques et sociales / info:eu-repo/semantics/nonPublished

L’acceptation et l’utilisation des services Web en industrie se développent de par leursupport au développement d’application distribuées comme compositions d’entitéslogicielles plus simples appelées services. En complément à la vérification, le testpermet de vérifier la correction d’une implémentation binaire (code source nondisponible) par rapport à une spécification. Dans cette thèse, nous proposons uneapproche boîte-noire du test de conformité de compositions de services centralisées(orchestrations). Par rapport à l’état de l’art, nous développons une approchesymbolique de façon à éviter des problèmes d’explosion d’espace d’état dus à la largeutilisation de données XML dans les services Web. Cette approche est basée sur desmodèles symboliques (STS), l’exécution symbolique de ces modèles et l’utilisationd’un solveur SMT. De plus, nous proposons une approche de bout en bout, quiva de la spécification à l’aide d’un langage normalisé d’orchestration (ABPEL) etde la possible description d’objectifs de tests à la concrétisation et l’exécution enligne de cas de tests symboliques. Un point important est notre transformation demodèle entre ABPEL et les STS qui prend en compte les spécifications sémantiquesd’ABPEL. L’automatisation de notre approche est supportée par un ensemble d’outilsque nous avons développés. / Web services are gaining industry-wide acceptance and usage by fostering the developmentof distributed applications out of the composition of simpler entities calledservices. In complement to verification, testing allows one to check for the correctnessof a binary (no source code) service implementation with reference to a specification.In this thesis, we propose black box conformance testing approach for centralizedservice compositions (orchestrations). With reference to the state of the art, wedevelop a symbolic approach in order to avoid state space explosion issues due to theXML data being largely used in Web services. This approach is based on symbolicmodels (STS), symbolic execution, and the use of a satisfiability modulo theory(SMT) solver. Further, we propose a comprehensive end-to-end approach that goesfrom specification using a standard orchestration language (ABPEL), and the possibledescription of test purposes, to the online realization and execution of symbolic testcases against an implementation. A crucial point is a model transformation fromABPEL to STS that we have defined and that takes into account the peculiarities ofABPEL semantics. The automation of our approach is supported by a tool-chainthat we have developed.

The employment of persons with criminal records has become an increasingly important issue in the Western world. Literature on Canadian hiring practices in relation to persons with criminal records, however, is severely lacking. This thesis aims to make a significant contribution to the field of criminology by investigating how employers evaluate the employability of persons with criminal records, as well as their attitudes and perceptions towards this population. Through eight open-ended and low-structured interviews with owners and/or hiring managers in the city of Ottawa and using the theoretical framework of H. Blumer’s (1969) symbolic interactionism (SI), E. Goffman’s (1963) stigma, and J. Braithwaite’s (1989) reintegrative shaming for analysis, this thesis attempts to gain insight into the barriers and challenges of professional integration for persons with criminal records. This study ultimately revealed that: (1) criminal record verifications were seldom used among employers to check for past convictions; (2) employers were willing to hire persons with criminal records (under specific conditions); and that (3) employability was based primarily on whether the candidate in question had the skillset required for the position, making the criminal record a secondary consideration. Contrary to popular belief, the results also suggest that while employers may be socially aware of this stigma, not all engage in stigmatizing and/or shaming behaviour towards persons with criminal records during the hiring process. Further, it is often the case that when making decisions, employers must decide between catering to the needs of their business or hiring a prospective candidate despite their criminal record. This study opens new avenues of inquiry concerning persons with criminal records and professional reintegration while proposing future directions for research. RÉSUME La réinsertion professionnelle des personnes judiciarisées est un sujet qui a acquis une grande importance dans le monde occidental. Toutefois, la littérature détaillant les pratiques d’embauche des employeurs Canadiens est limitée. Cette thèse vise donc à contribuer au champ de connaissance sur le sujet. Elle a pour objectif d’analyser comment les employeurs évaluent l’employabilité des personnes avec un casier judiciaire, leurs attitudes ainsi que leurs perceptions de cette population. Sur la base de huit entretiens ouverts et non-structurés avec des propriétaires et/ou responsables du recrutement dans la ville d’Ottawa et en utilisant le cadre théorique de l’interactionnisme symbolique d’H. Blumer (1968), la théorie du stigmate d’E. Goffman (1963) ainsi que celle du reintegrative shaming de J. Braithwaite (1989), cette thèse aspire à une meilleure compréhension des obstacles dans la réinsertion professionnelle des personnes avec un casier judiciaire. Cette étude révèle que (1) la fréquence des vérifications des casiers judiciaire est rare, (2) que les employeurs désirent embaucher les personnes judiciarisées (mais sous certaines conditions) et (3) que l’employabilité est basée principalement sur les compétences requises pour le poste. Le casier judiciaire devient donc une considération secondaire. Ces résultats suggèrent que même si les employeurs sont conscients du stigmate, un comportement stigmatisant or humiliant envers les personnes avec un casier judiciaire n’est pas la norme lors du processus d’embauche. Lors de la décision finale, le dilemme des employeurs porte davantage sur les besoins de leur entreprise versus ceux du candidat que sur le casier judiciaire de ce dernier.

Cette thèse est consacrée à l'étude des décalages, ou encore systèmes dynamiques symboliques, définis sur certains monoïdes finiment présentés, $Z^d$ d'une part et les arbres d'autre part. Le principal résultat concernant les décalages multidimensionnels établit que tout décalage effectif de dimension d est obtenu par facteur et sous-action projective d'un décalage de type fini de dimension d+1. De ce résultat nous déduisons que les décalages S-adiques multidimensionnels donnés par une suite effective de substitutions sont sofiques. Sur les décalages d'arbres nous montrons un théorème de décomposition, qui permet d'écrire une conjugaison entre deux décalages d'arbres quelconques comme une suite finie d'opérations élémentaires, les fusions entrantes et les éclatements entrants. De ce théorème, associé à la commutation des fusions entrantes, nous déduisons la décidabilité du problème de conjugaison entre deux décalages d'arbres de type fini. Nous nous intéressons ensuite à la classe des décalages d'arbres sofiques, qui sont exactement ceux reconnus par des automates d'arbres montants dans lesquels tous les états sont à la fois initiaux et finaux. Nous montrons l'existence d'un unique automate d'arbres déterministe, réduit, irréductible et synchronisé qui reconnaît un décalage d'arbres sofique. Enfin nous montrons que l'appartenance à la sous-classe des décalages d'arbres AFT est décidable / This thesis is devoted to the study of subshifts, or symbolic dynamical systems, defined on some finitely presented monoids like $Z^d$ or the infinite binary tree. The main result concerning multidimensional subshifts establishes that any effective subshift of dimension d can be obtained by factor map and projective subaction of a subshift of finite type of dimension d+1. This result has many applications, and in particular we prove that multidimensional effective S-adic subshifts are sofic. On tree-shifts we prove a decompositiontheorem, which implies that the conjugacy problem between two tree-shifts of finite type is decidable. We then investigate the class of sofic tree-shifts that are exactly those recocognized by tree automata. We prove that any sofic tree-shift has a unique deterministic, reduced, irreducible and synchronized tree automaton that recognized it. Finally we prove that it is decidable wether a sofic tree-shift belong to the sub-class of AFT tree-shifts

Cette thèse traite de systèmes embarqués contrôlés par un ensemble de processus périodiques non synchronisés. Chaque processus est activé quasi-périodiquement, c'est-à-dire périodiquement avec une gigue bornée. Les délais de communication sont également bornés. De tels systèmes réactifs, appelés 'quasi-périodiques', apparaissent dès que l'on branche ensemble deux processus périodiques. Dans la littérature, ils sont parfois qualifiés de systèmes distribués temps-réels synchrones. Nous nous intéressons aux techniques de conception et d'analyse de ces systèmes qui n'imposent pas de synchronisation globale. Les langages synchrones ont été introduits pour faciliter la conception des systèmes réactifs. Ils offrent un cadre privilégié pour programmer, analyser, et vérifier des systèmes quasi-périodiques. En s'appuyant sur une approche synchrone, les contributions de cette thèse s'organisent selon trois thématiques: vérification,implémentation, et simulation des systèmes quasi périodiques.Vérification: 'L'abstraction quasi-synchrone' est une abstraction discrète proposée par Paul Caspi pour vérifier des propriétés de sûreté des systèmes quasi-périodiques. Nous démontrons que cette abstraction est en général incorrecte et nous donnons des conditions nécessaires et suffisantes sur le graphe de communication et les caractéristiques temps-réel de l'architecture pour assurer sa correction. Ces résultats sont ensuite généralisés aux systèmes multi-périodiques.Implémentation: Les 'LTTAs' sont des protocoles conçus pour assurer l'exécution correcte d'une application sur un système quasi-périodique. Nous proposons d'étudier les LTTA dans un cadre synchrone unifié qui englobe l'application et les contrôleurs introduits par les protocoles. Cette approche nous permet de simplifier les protocoles existants, de proposer des versions optimisées, et de donner de nouvelles preuves de correction. Nous présentons également dans le même cadre un protocole fondé sur une synchronisation d'horloge pour comparer les performances des deux approches.Simulation: Un système quasi-périodique est un exemple de modèle faisant intervenir des caractéristiques temps-réels et des tolérances. Pour ce type de modèle non déterministe, nous proposons une 'simulation symbolique', inspirée des techniques de vérification des automates temporisés. Nous montrons comment compiler un modèle mêlant des composantes temps-réel non déterministes et des contrôleurs discrets en un programme discret qui manipule des ensembles de valeurs. Chaque trace du programme résultant capture un ensemble d'exécutions possibles du programme source. / In this thesis we study embedded controllers implemented as sets of unsynchronized periodic processes. Each process activates quasi-periodically, that is, periodically with bounded jitter, and communicates with bounded transmission delays. Such reactive systems,termed 'quasi-periodic', exist as soon as two periodic processes areconnected together. In the distributed systems literature they arealso known as synchronous real-time models. We focus on techniquesfor the design and analysis of such systems without imposing a globa lclock synchronization. Synchronous languages were introduced as domain specific languages for the design of reactive systems. They offer an ideal framework to program, analyze, and verify quasi-periodic systems. Based on a synchronous approach, this thesis makes contributions to the treatment of quasi-periodic systems along three themes: verification,implementation, and simulation.Verification: The 'quasi-synchronous abstraction' is a discrete abstraction proposed by Paul Caspi for model checking safety properties of quasi-periodic systems. We show that this abstractionis not sound in general and give necessary and sufficient conditionson both the static communication graph of the application and the real-time characteristics of the architecture to recover soundness. We then generalize these results to multirate systems.Implementation: 'Loosely time-triggered architectures' are protocols designed to ensure the correct execution of an application running on a quasi-periodic system. We propose a unified framework that encompasses both the application and the protocol controllers. This framework allows us to simplify existing protocols, propose optimized versions, and give new correctness proofs. We instantiate our framework with a protocol based on clock synchronization to compare the performance of the two approaches.Simulation: Quasi-periodic systems are but one example of timed systems involving real-time characteristics and tolerances. For such nondeterministic models, we propose a 'symbolic simulation' scheme inspired by model checking techniques for timed automata. We show how to compile a model mixing nondeterministic continuous-time and discrete-time dynamics into a discrete program manipulating sets of possible values. Each trace of the resulting program captures a set of possible executions of the source program.

Dans la communauté scientifique, le statut d’auteur est associé à la reconnaissance et à la crédibilité auprès des pairs puisque l’autorat constitue un facteur essentiel dans la prise de décisions pour l’embauche et la promotion d’un chercheur, ainsi que dans l’attribution de prix et de financement. Par ailleurs, dans les publications savantes, il est pratique courante de remercier les individus, institutions et organismes subventionnaires qui ont contribué de diverses façons aux travaux de recherche menant à la publication. Bien qu’ils puissent être considérés comme un simple acte de courtoisie, les remerciements peuvent également être perçus comme un marqueur de capital symbolique. Les remerciements permettent de souligner des contributions extrêmement variées, de nature cognitive, technique et sociale, mais qui ne satisfont généralement pas les critères d’autorat. En ce sens, les remerciements permettent de mieux comprendre le rôle des individus et des organisations qui ont contribué à la recherche. Dans ce contexte, notre recherche vise à décrire les fonctions des remerciements dans le système de la reconnaissance scientifique pour mieux comprendre leur valeur, du point de vue du crédit scientifique, ainsi qu’à explorer les facteurs qui peuvent influencer leurs caractéristiques dans le contexte des pratiques d’attribution du crédit scientifique. Notre étude s’intéresse d’abord à la distribution du crédit scientifique parmi l’ensemble des contributeurs d’un projet de recherche, soit les auteurs et les remerciés. L’analyse du nombre de contributeurs par article montre que les importantes différences disciplinaires traditionnellement observées en matière de collaboration sont grandement réduites lorsque les remerciés sont pris en compte. Nos analyses des caractéristiques des individus remerciés montrent que les disparités de genre, maintes fois démontrées en matière d’autorat, sont également présentes dans les remerciements où les femmes sont sous-représentées. De plus, les femmes ont tendance à remercier une proportion plus élevée de femmes que les hommes. En ce qui concerne le statut académique, nos résultats montrent que les individus remerciés qui ont déjà publié ont tendance à occuper une position plus élevée dans la hiérarchie académique que le reste des auteurs. Notre analyse comparative du contenu des remerciements souligne d’importantes tendances disciplinaires en matière de types de contributions remerciées. Nos résultats fournissent la première démonstration empirique à grande échelle des variations qui existent entre les disciplines dans le contenu des remerciements. Finalement, notre analyse qualitative des termes contenus dans les remerciements met en lumière trois fonctions principales des remerciements : la description des contributions, la déclaration des responsabilités, ainsi que l’expression de la voix de l’auteur. / In the scientific community, authorship is associated with recognition and credibility and thus plays a central role in decisions related to the hiring and promotion of a researcher, and in the attribution of prizes and funding. In scholarly publications, it is also common practice to acknowledge individuals, institutions, and funding organizations that contributed in various ways to a research project. Although they can be considered as a simple scholar’s courtesy, acknowledgements can also be perceived as a marker of symbolic capital. Acknowledgements shed light on extremely diverse contributions, of cognitive, technical and social nature, that generally do not meet authorship criteria. As such, acknowledgements allow for a better understanding of the role played by individuals and organizations that contribute to research. In this context, our research aims to describe acknowledgements’ functions within the reward system of science to better understand their value, in terms of scientific credit, and to explore factors that can influence their characteristics in the context of credit attribution practices. Our study addresses scientific credit distribution among all contributors of a research project, authors and acknowledgees. Our analyses of the number of contributors per paper show that the important disciplinary differences in team size, which traditionally characterize collaboration, are greatly reduced when considering acknowledgees as contributors. Our analyses of acknowledgees’ sociodemographic characteristics show that gender disparities, repeatedly demonstrated in terms of authorship, are also present in the acknowledgements, where women are also under-represented. Moreover, women tend to acknowledge a higher proportion of women than men do. Regarding academic status, our results show that acknowledgees who have already published tend to have a higher position in the academic hierarchy than the rest of authors. Our comparative analysis of acknowledgements’ content highlights important disciplinary trends in terms of types of contributions mentioned. Our results constitute the first large-scale empirical demonstration of disciplinary variations in the content of acknowledgements. Finally, our qualitative analysis of acknowledgements’ content emphasises three main functions of acknowledgements: the description of contributions, the responsibility disclaimers, and the expression of the authorial voice.

Ce mémoire étudie l’industrie touristique comme stratégie de légitimation interne et externe dans les États de facto. En nous basant plus particulièrement sur le cas de la Transnistrie, nous avons employé une analyse mixte se basant sur des données et politiques officielles ainsi que sur des observations photographiques obtenues directement sur le terrain. L’industrie touristique est une stratégie « deux en un » servant à la fois la construction des identités et s’adressant à un public interne et externe. Nos résultats font ressortir l’utilité de cette stratégie à des fins de légitimation tout en établissant l’existence de liens étroits entre le secteur touristique public et privé. Alors que le secteur public est concentré principalement vers la justification de l’existence de l’entité de facto et de son identité distincte, le secteur privé agit comme un agent de liaison avec le monde extérieur et selon les attraits commerciaux et économiques. Malgré l’existence d’une certaine opposition entre les secteurs de l’industrie touristique, nous soutenons qu’ils sont complémentaires et servent l’État transnistrien dans sa quête de légitimation interne et externe. / This paper is interested in the study of tourism and its industry as a strategy for internal and external legitimization in de facto states. Using the particular case of Transnistria, we used a mixed analysis based on official data and policies as well as photographic observations obtained directly on the field. Tourism industry provides a "two-in-one" strategy, serving both identity and state formation and is aimed at both internal and external audiences. Our results highlight the usefulness of this strategy for legitimization purposes while establishing the existence of close links between the public and private tourism sectors. While the public sector is mainly focused on justifying the existence of the de facto state and its distinct identity, the private sector acts as a liaison with the outside world, and according to financial and economical gain. Despite the existence of some opposition between both sectors of the tourism industry, we argue that they are complementary and that they serve the Transnistrian state in its quest for internal and external legitimization.