Spelling suggestions: "subject:"été?""
61 |
Subwords : automata, embedding problems, and verification / Sous-mots : automates, problèmes de plongement, et vérificationKarandikar, Prateek 12 February 2015 (has links)
Garantir le fonctionnement correct des systèmes informatisés est un enjeu chaque jour plus important. La vérification formelle est un ensemble de techniquespermettant d’établir la correction d’un modèle mathématique du système par rapport à des propriétés exprimées dans un langage formel.Le "Regular model checking" est une technique bien connuede vérification de systèmes infinis. Elle manipule des ensembles infinis de configurations représentés de façon symbolique. Le "Regular model checking" de systèmes à canaux non fiables (LCS) soulève des questions fondamentales de décision et de complexité concernant l’ordre sous-mot qui modélise la perte de messages. Nous abordons ces questions et résolvons un problème ouvert sur l’index de la congruence de Simon pour les langages testables par morceaux.L’accessibilité pour les LCS est décidable mais de complexité F_{omega^omega} très élevée, bien au delà des complexités primitives récursives. Plusieurs problèmes de complexité équivalente ont été découverts récemment, par exemple dans la vérification de mémoire faibles ou de logique temporelle métrique. Le problème de plongement de Post (PEP) est une abstraction de l’accessibilité des LCS, lui aussi de complexité F_{omega^omega}, et qui nous sert de base dans la définition d’une classe de complexité correspondante. Nous proposons une généralisation commune aux deux variantes existantes de PEP et donnons une preuve de décidabilité simplifiée. Ceci permet d’étendre le modèle des systèmes à canaux unidirectionnels (UCS) par des tests simples tout en préservant la décidabilité de l’accessibilité. / The increasing use of software and automated systems has made it important to ensure their correct behaviour. Formal verification is the technique that establishes correctness of a system or a mathematical model of the system with respect to properties expressed in a formal language.Regular model checking is a common technique for verification of infinite-state systems - it represents infinite sets of configurations symbolically in a finite manner and manipulates them using these representations. Regular model checking for lossy channel systems brings up basic automata-theoretic questions concerning the subword relation on words which models the lossiness of the channels. We address these state complexity and decision problems, and also solve a long-standing problem involving the index of the Simon's piecewise-testability congruence.The reachability problem for lossy channel systems (LCS), though decidable, has very high F_{omega^omega} complexity, well beyond primitive-recursive. In recent times several problems with this complexity have been discovered, for example in the fields of verification of weak memory models and metric temporal logic. The Post Embedding Problem (PEP) is an algebraic abstraction of the reachability problem on LCS, with the same complexity, and is our champion for a "master" problem for the class F_{omega^omega}. We provide a common generalization of two known variants of PEP and give a simpler proof of decidability. This allows us to extend the unidirectional channel system (UCS) model with simple channel tests while having decidable reachability.
|
62 |
La "chute du masque" devant les "raisons de sécurité" : un parcours généalogique à travers les raisons de l'État = O "cair da máscara" diante das "razões de seguranca" : um percurso genealógico pelas razões do estadoTergolina Teixeira, Eduardo January 2019 (has links) (PDF)
No description available.
|
63 |
Analyse du processus visant l'intégration sociale des personnes présentant un trouble sévère de la personnalité limite à l'intérieur d'un programme de réadaptation individualisée dans le milieu /cPatricia Doucet.Doucet, Patricia 11 April 2018 (has links)
Les personnes présentant un trouble de la personnalité limite (TPL) ont souvent recours à l'hospitalisation, mais il y a pourtant peu d'écrits sur leur problème d'intégration sociale. En 2000, à Québec, un programme original et novateur a été créé par une clinique spécialisée dans le traitement et la réadaptation des personnes TPL et cible le suivi de la clientèle sévère. Afin de documenter le processus clinique projeté par ce programme, une approche par focus group et entrevue individuelle auprès de quatre groupes d'acteurs a permis d'examiner leurs intentions, les actions du programme et les retombées perçues au regard de l'intégration sociale. L'analyse du Verbatim a été réalisée à l'aide d'une version adaptée du Modèle de l'intégration communautaire et de la théorie de la structuration. Les résultats de cette étude démontrent que les conséquences correspondent bien aux intentions, mais que les actions instaurées sont généralement peu spécifiques. / People with borderline personality disorder (BPD) are known to be abusive of hospitalization. However, studies pertaining to their social integration problem are missing. In 2000, a new and original program was created in Québec City. This program focuses on the treatment and rehabilitation of people with severe BPD. In order to understand the process put in place by this program which targets social integration, an approach using focus group and individual interview is selected. The goal of this study is to analyze the process brought forth by this program within the intentions, actions of the program and consequences regarding social integration of four groups of actors. The analysis of the Verbatim has been realized with an adapted version of the Community integration model and the theory of structuration. The results show that there is a good correspondence between intentions and consequences, however the actions were revealed to be generally unspecific.
|
64 |
Pasteurs des Migrants : Mieux comprendre l'autorité religieuse dans les camps de réfugiés en Afrique subsaharienneHindir, Dorcas 19 January 2024 (has links)
L’Ouganda a longtemps été un pays d’accueil pour les réfugiés et les demandeurs d’asile en provenance des pays voisins et de la région dans son ensemble. Les perspectives de retour des réfugiés dans leur pays d’origine sont limitées, comme l’a noté l’ONU en 2018, en raison de la nature prolongée des crises au Sud-Soudan et en République démocratique du Congo (RDC). Dans un environnement de déplacement, où le gouvernement et les organisations humanitaires ne sont pas toujours capables de prêter attention aux réfugiés, la religiosité joue un rôle important de compensations morales pour réfugiés traumatisés à cause de la guerre. C’est dans ce contexte que s’inscrit cette étude, l’analyse de la création d’églises spontanées dans le contexte des camps de réfugiés en Ouganda. Cette thèse de maîtrise constitue un excellent « proxy » qui aborde des enjeux sociologiques fondamentaux tels que le rôle du religieux dans les parcours de vie, les relations entre différentes institutions (État, églises, ONG…), la place du religieux dans des univers à la fois à la marge (un camp), mais qui en même temps cherchent à reproduire une certaine « normalité » avec des services, des écoles, etc. Pour ce faire, nous avons privilégié une approche ethnographique. Nous avons été amenés à observer quelques pasteurs, d'églises et de communautés. Inspirés tant par les travaux de recherche de Lauterbach que de Willaime, nous avons effectué des entrevues semi-dirigées avec des pasteurs autoproclamés, dirigeant une église protestante, et avec des membres de leurs communautés de foi, dans le but de mieux comprendre la nature de leur autorité religieuse, la religiosité proposée en lien avec l'expérience de migrant, et leurs apports significatifs à la vie sociale, communautaire et économique des réfugiés.
|
65 |
Prescrire et proscrire : les enjeux de la conservation environnementale : transformations des rapports socio-environnementaux à El Cuyo, Réserve de la biosphère de Ría Lagartos, Yucatán, MexiqueGuindon, Andréanne 17 April 2018 (has links)
Ce mémoire porte sur les transformations des relations socio-environnementales à El Cuyo, Réserve de biosphère de Ria Lagartos, au Yucatân, Mexique. Il s'appuie sur l'approche de l'écologie politique pour analyser les discours et pratiques liés à l'environnement. Les relations socio-environnementales se transforment sans cesse, influencées notamment par les acteurs en place, les régimes politiques, les modes de subsistance, les activités économiques. Avec la création de la réserve de Ria Lagartos en 1979, de nouveaux acteurs, programmes de développement, fonds, discours et pratiques liés à un environnement que l'on cherche à conserver se déploient et entraînent des transformations dans les façons de penser et d'agir dans son environnement. Par ailleurs, le nouvel espace créé engendre des changements au plan des relations sociales et de pouvoir dans la localité. C'est dans ce contexte que les discours et pratiques liés à l'environnement sont analysés. Si certains résidents tentent de participer aux activités de la réserve à travers le développement de l'écotourisme, on constate que plusieurs inégalités sociales et des différences au plan de l'accès à l'environnement sont exacerbées par les programmes mis en place. Par ailleurs, il apparaît que les diverses façons de comprendre et de vivre dans son environnement ne possèdent pas toutes une valeur égale dans cet espace de conservation environnementale.
|
66 |
Le droit international et les cyber opérations d'origine étatiqueBarbié, Candice 15 November 2023 (has links)
Titre de l'écran-titre (visionné le 2 mai 2023) / Le thème de ce mémoire vise à étudier la problématique de l'application du droit international aux cyber opérations d'origine étatique dans un contexte plus large que le droit international coutumier existant. Le cadre juridique de la responsabilité de l'État pour fait internationalement illicite est codifié dans le projet d'articles élaborés par la Commission de droit International de 2001. Les articles 4 à 11 traitent des différents modes d'attributions d'un comportement à l'État en vue d'engager sa responsabilité internationale. Toutefois, l'application des dispositions existantes à l'espace numérique interroge au regard de la singularité technico-juridique découlant du cyberespace ainsi qu'à la tendance grandissante du recours aux intermédiaires non étatiques par les États. La question de la responsabilité de l'État pour son implication dans la réalisation d'attaques informatiques contraires au droit international fait l'objet actuellement d'un vif débat oscillant entre l'opportunité d'élaborer une lex specialis au domaine particulier du cyberespace et l'application des normes de droit international général existantes, en passant par l'alternative d'incursion de concept appartenant à différents sous-domaines du droit international. Le sujet soulève donc des considérations de nature juridique et technique caractéristiques du cyberespace. L'utilisation des technologies de l'information et de la communication représente un réel enjeu pour le droit international moderne compte tenu de la menace cyber qui s'est fortement accentuée à raison du contexte pandémique mondial. Afin d'analyser les dispositions existantes et les lacunes de leur application aux cyber opérations, l'étude de la doctrine de juristes internationalistes conjuguée à la pratique des États permettent d'identifier les points de divergences afin d'envisager des perspectives de régulation effective.
|
67 |
La reconquête du Yucatán sous le gouvernorat de Carlos Peón (1894-1897)Roy, Louise 11 April 2018 (has links)
Québec Université Laval, Bibliothèque 2013
|
68 |
Éthique et violence politique : repenser la réponse des démocraties libérales à la menace terroristeLeblanc, Martin January 2008 (has links)
Thèse numérisée par la Division de la gestion de documents et des archives de l'Université de Montréal.
|
69 |
Reconstruction d'états non classiques du champ en électrodynamique quantique en cavitéDeléglise, Samuel 03 December 2009 (has links) (PDF)
Notre dispositif d'électrodynamique quantique en cavité permet de faire interagir dans le régime de couplage fort deux systèmes simples et parfaitement contrôlés : des atomes à deux niveaux et un seul mode du champ électromagnétique. Des miroirs supraconducteurs permettent de stocker le champ électromagnétique micro-onde dans une cavité pendant plus d'un dixième de seconde. Afin de sonder et de manipuler le champ piégé, nous utilisons des atomes de Rubidium excités dans les états de Rydberg circulaires. Les atomes interagissent un à un avec la cavité dans le régime dispersif. Ils se comportent alors comme de petites horloges dont la fréquence est affectée par les photons piégés grâce au phénomène de déplacement lumineux. Les petites modifications de la phase atomique après la traversée du mode sont mesurées par interférométrie de Ramsey, permettant de compter le nombre de photons piégés. En adaptant légèrement la méthode, on parvient à reconstruire complètement la matrice densité du champ piégé. Cette technique a été appliquée à différents états non-classiques du champ : des états de Fock, dont le nombre de photons est parfaitement déterminé, et des états chat de Schrödinger. Ces derniers sont formés de la superposition quantique de deux champs classiques de phases différentes. En répétant la procédure de reconstruction pour plusieurs délais successifs après la préparation, on obtient un film image par image de l'évolution temporelle de l'état. L'étude de l'évolution de l'état chat de Schrödinger sous l'effet de la décohérence apporte un éclairage intéressant sur le problème de la mesure en mécanique quantique et la frontière entre les mondes classique et quantique.
|
70 |
Éthique et violence politique : repenser la réponse des démocraties libérales à la menace terroristeLeblanc, Martin January 2008 (has links)
Thèse numérisée par la Division de la gestion de documents et des archives de l'Université de Montréal
|
Page generated in 0.0266 seconds