Partant des déterminants du renvoi soulevés par Zauberman (1982) et tenant compte des particularités du contexte carcéral, nous avons tenté, en effectuant des entrevues semi-dirigées auprès d’agents correctionnels, de comprendre quelles logiques sont à la base de la production de l’isolement disciplinaire, c’est-à-dire celles qui mènent un agent à reconnaitre une situation problématique et à la renvoyer devant le comité disciplinaire. Nos résultats permettent d’effectuer certains constats à l’égard de chacune des étapes du processus disciplinaire et rapportent des recommandations faites par les participants afin d’en améliorer le fonctionnement. Étonnament, l’objectif de punition serait rarement le principal objectif du renvoi d’un acte. Aussi, bien que les déterminants soulevés par Zauberman (1982) s’appliquent aux logiques des agents correctionnels, ceux-ci s’avèrent parfois être davantage déterminants de non-renvoi considérant les particularités du contexte carcéral qui créent certaines singularités telles que l’apparition d’un autre déterminant, celui du poids des règlements et procédures.

Thèse (M.Sc.)--Université Laval, 2006. / Bibliogr.: f. [106]-111. Publié aussi en version électronique dans la Collection Mémoires et thèses électroniques.

Thèse (M.Sc.)--Université Laval, 2007. / Titre de l'écran-titre (visionné le 5 mai 2008). Bibliogr.

Thèse (M.Sc.)--Université Laval, 2006. / Titre de l'écran-titre (visionné le 28 mars 2007). Dans le titre et le résumé, le "w" du symbole "w-NAF" s'apparente à la lettre grecque omega. Bibliogr.

Th. Doct.--Electronique--Paris 11, 1986.

Th. doct.-ing.--Trait. de l'inf.--Lille 1, 1980. N°: 249.

Nous étudions le problème de la synthèse automatique de programmes dans des architectures multi-composants tels qu'elles respectent les spécifications par construction. Le principal objectif de cette thèse est de développer des procédures pour résoudre le problème de synthèse qui peut conduire à des implémentations efficaces. Chaque composant a une observation partielle sur l'état global du système multi-composants. Le problème est alors de fournir des protocoles basés sur les observations tel que les composants synthétisés assurent les spécifications pour tout le comportement de leur environnement.L'environnement peut être antagoniste, ou peut avoir ses propres objectifs et se comporter de façon rationnelle. Nous étudions d'abord le problème de synthèse lorsque l'environnement est présumé antagoniste. Pour ce contexte, nous proposons une procédure "Safraless" pour la synthèse d'un composant partiellement informé et un environnement omniscient à partir de spécifications KLTL+. Elle est implémentée dans l'outil Acacia-K. Ensuite, nous étudions le problème de synthèse lorsque les composants de l'environnement ont leurs propres objectifs et sont rationnels. Pour le cadre plus simple de l'information parfaite, nous fournissons des complexités serrées pour des objectifs oméga-réguliers particuliers. Pour le cas de l'information imparfaite, nous prouvons que le problème de la synthèse rationnelle est indécidable en général, mais nous regagnons la décidabilité si on demande à synthétiser un composant avec observation partielle contre un environnement multi-composante, omniscient et rationnel. / Doctorat en Sciences / info:eu-repo/semantics/nonPublished

Partant des déterminants du renvoi soulevés par Zauberman (1982) et tenant compte des particularités du contexte carcéral, nous avons tenté, en effectuant des entrevues semi-dirigées auprès d’agents correctionnels, de comprendre quelles logiques sont à la base de la production de l’isolement disciplinaire, c’est-à-dire celles qui mènent un agent à reconnaitre une situation problématique et à la renvoyer devant le comité disciplinaire. Nos résultats permettent d’effectuer certains constats à l’égard de chacune des étapes du processus disciplinaire et rapportent des recommandations faites par les participants afin d’en améliorer le fonctionnement. Étonnament, l’objectif de punition serait rarement le principal objectif du renvoi d’un acte. Aussi, bien que les déterminants soulevés par Zauberman (1982) s’appliquent aux logiques des agents correctionnels, ceux-ci s’avèrent parfois être davantage déterminants de non-renvoi considérant les particularités du contexte carcéral qui créent certaines singularités telles que l’apparition d’un autre déterminant, celui du poids des règlements et procédures.

Le résumé en français n'a pas été communiqué par l'auteur. / Our thesis has for purpose to explain how subcontracting SMEs evolving in changing and globalized space industry respond to institutional complexity whilst going international. We refer to the literature on SMEs’ internationalization: processual approaches, International Entrepreneurship, research investigating more specifically subcontracting firms and their modes of internationalization, as well to institutional logics perspective. We conducted a single-embedded qualitative case study in the space industry in France with five subcontracting SMEs, carried out 4 open-ended interviews, 35 semi-structured interviews, took part in 2 international events and 3 professional meetings and analyzed 830 pages of field material related to the space industry. Our analysis shows that social actors involved in space activities and SMEs perceive two institutional logics: Space as National Pride and Space as Global. These both logics drive institutional change which creates institutional uncertainty and institutional disequilibrium between French and international markets. Despite the same changing context, the five SMEs adapt different strategies reflected in different patterns of internationalization. We suggest that this variation may be explain by each SME’s receptivity to institutional change and more particularly by the meaning associated to the impact of change on firms’ activities perceived as: either local threat, status quo, ambiguity, international threat, or potential growth. Furthermore, we suggest that receptivity to institutional change and more particularly the attitude associated to the French space industry, with namely: loyalty to one big contractor, inconsistency, historical ties, new dynamic needed, and detachment may contribute to reinforce the type of strategy and to shape patterns of internationalization.

La culture cellulaire in vitro a toujours motivé les scientifiques pour découvrir de nouveaux médicaments, explorer de nouvelles thérapies et pour mieux comprendre la biologie cellulaire. Cependant, la culture cellulaire requiert un environnement très bien contrôlé, d'où l'émergence des incubateurs cellulaires commerciaux. Ceci dit, la recherche scientifique requiert l'observation en continu du développement cellulaire dans un environnement contrôlé. Bien que plusieurs approches soient disponibles afin de miniaturiser des instruments pour les intégrer dans un incubateur, peu d'approches ont été abordées avec succès pour miniaturiser un micro-incubateur et l'intégrer dans des systèmes de contrôle. Ainsi, le parallélisme présent dans un système à base de FPGA ajouté à la puissance de calcul des processeurs motive l'intégration d'un système de contrôle de micro-incubateur sur une même puce. La volonté de miniaturiser et d'intégrer plusieurs sous-systèmes de contrôle dans un même système embarqué motive d'autant plus l'utilisation d'une architecture Zynq UltraScale+. Ces travaux de recherche permettent d'intégrer le contrôle d'un micro-incubateur sur une architecture Zynq UltraScale+, de développer une interface graphique conviviale permettant l'observation et le contrôle d'un système de micro-incubateur et, finalement, de tester et valider le fonctionnement de l'implémentation des différents sous-systèmes de contrôle du micro-incubateur. Le développement des éléments de contrôle du micro-incubateur s'effectue à l'aide des outils de Xilinx. Ceux-ci permettent de développer le code VHDL, le code des processeurs temps réels et de compiler un système d'exploitation Linux personnalisé. L'interface graphique est développée avec l'outil QtCreator et intégrée sur le système d'exploitation Linux. Une carte de développement Ultra96 et des cartes électroniques connexes permettent de valider le fonctionnement de l'implémentation du contrôle du micro-incubateur. Toutes les composantes du contrôle du micro-incubateur sont validées en simulation VHDL, intégrées sur la carte Ultra96 et testées. L'interface graphique développée sur le système d'exploitation Linux communique de manière efficace avec les processeurs temps réels afin de permettre le contrôle et l'observation des différents sous-systèmes. / The in vitro cell culture has always motivated scientists to discover new drugs, explore new therapies or for a better understanding of cell biology. However, cell culture requires a very well controlled environment, hence the emergence of commercial cell incubators. Thus, research in this field requires the continuous observation of cell development in a controlled environment, among others. Although several approaches were available to miniaturize tools used in biological research to be integrated into an incubator, few approaches have been successfully addressed to miniaturize a micro-incubator to be integrated into a biological sensor. Thus, the parallelism of an FPGA-based system in addition to the computing performances were key elements for the integration of a micro-incubator control system on the same FPGA. In addition, the miniaturization and integration of several control subsystems in a single on-board systems were a key element to use a Zynq UltraScale + architecture. In this research work we aim to integrate the control system of a micro-incubator on a Zynq UltraScale + architecture and to develop a user-friendly graphical interface to observe and to control of a micro-incubator system. Finally, we aim to test and validate our implementations of the various micro-incubator control subsystems. The development of the micro-incubator's control elements is carried out using Xilinx tools. These allow to develop the VHDL code, the code for real-time processors and to compile a custom Linux operating system. The graphical interface was developed with the QtCreator tool and integrated into the Linux operating system. An Ultra96 development board and related electronic boards were used to validate the operation of the micro-incubator control implementation. All the micro-incubator control components were validated in VHDL simulation, integrated in the Ultra96 card and tested. The graphical interface developed on the Linux operating system communicates with the real-time processors in order to control and to observe various subsystems' behavior.