La modélisation et la spécification de systèmes distribués nécessitent une adaptation des modèles logiques utilisés pour leur représentation. Les notions<br />d'emplacements et de ressources jouent notamment un rôle centrale dans la représentation de ces systèmes.<br /><br />On propose tout d'abord à la proposition d'une première logique, la logique linéaire distribuée et mobile (DMLL) qui intègre les notions de distribution et de mobilité. On propose également une sémantique à la Kripke et un calcul des séquents supportant l'élimination des coupures pour cette logique.<br /><br />Cette première étude a mis en avant le rôle centrale de la sémantique pour la modélisation de systèmes distribués. On propose alors la structure des arbres de ressources, des arbres dont les noeuds possèdent des labels et contiennent des ressources appartenant à<br />monoïde partiel de ressources et BI-Loc, une logique pour raisonner sur ces arbres, un langage permettant de modifier les arbres et son axiomatisation correcte et complète sous forme de triplets de Hoare. Concernant BI-Loc, on détermine des conditions suffisantes pour décider de la satisfaction et de la validité par model-checking et on développe une méthode de preuves fondée sur les tableaux sémantiques correcte et complète.<br /><br />On montre comment on peut raisonner sur les tas de pointeurs grâce aux arbres de ressources. Enfin, on détermine comment le modèle des arbres partiel peut être utilisé pour représenter et spécifier les données<br />semi-structurées et raisonner sur la transformation de ce type de données.

Cette thèse porte sur le partage des ressources pédagogiques et sur la conception de fonctionnalités spécifiques pour faciliter la visualisation du cycle de vie des ressources éducatives en lien avec leur utilisation en classe dans le contexte éducatif du Vietnam. Une première enquête exploratoire par questionnaire (N = 69) a permis de réaliser une brève synthèse sur l'utilisation des TIC pour l'enseignement dans les lycées du Vietnam. Une seconde enquête par questionnaire (N=905) et par entretien (N= 25) a mis en évidence des différences entre les enseignants dans le partage des ressources pédagogiques (selon le genre, le type de discipline et le type de lycée d’exercice). Elle a recueilli les opinions des enseignants sur les fonctionnalités d’un site efficace de partage et sur la formation du cycle de vie d’une ressource. Ensuite, deux expérimentations concernant le partage entre enseignants ont révélé un faible partage des ressources pédagogiques, un faible ajout de nouvelles versions ainsi que des discussions peu nombreuses sur les sujets pédagogiques. Cette thèse confirme l’idée d’un partage possible des ressources éducatives en mettant l’accent sur les facteurs favorables tels que la qualité des ressources, la motivation, la confiance des contributeurs, l’incitation, la mise en place de fonctionnalités de discussion et de partage de ressources avec un site web. Les obstacles au partage ont été recensés, notamment le manque de temps, le manque de confiance, le manque de motivation, une certaine forme de culture, le droit d'auteur, l’instabilité de la qualité du réseau internet, le manque de connaissances sur les TIC, la concurrence dans le travail, la barrière du leadership de l’école. Cette thèse permet d’envisager d’autres perspectives d’étude sur le partage des ressources pédagogiques et peut aider à la conception d’un site web facilitant le partage entre les enseignants. / This thesis deals with a study on the educational resources sharing. The focus is on the design of specific functionalities to facilitate the visualization of the life cycle of educational resources intended for classroom use in the educational context of Vietnam. The initial quantitative exploratory study using questionnaires (N = 69 teachers) offered a brief summary about ICT usage in secondary school in Vietnam. The second study using a quantitative survey (N= 905 teachers) and interviews (N= 25 teachers) emphasized differences between teachers in the sharing of educational resources. These differences are expressed according to their gender, their discipline and the type of school they are working in. This second study also collected their opinions on functionalities of an effective site for resource sharing and on the formation of the life cycle of a resource. Then, two experiments revealed that teachers had few practice in (1) sharing educational resources with their pairs, (2) posting new version of a previously shared resource and (3) discussing in the forum on educational topics. This thesis argues that educational resource sharing among teachers is possible and could be supported by success factors such as: quality of resources, motivation, contributors’ self-confidence, social support, and technical functionalities to facilitate discussion and sharing on the website. The revealed barriers to sharing include: time pressure, lack of confidence, lack of motivation, culture, copyright, Internet connexion unreliability, low ICT skills, competition in the workplace, the barrier of school leadership. This work in the specific vietnamees context marked out the way for further studies on educational resource sharing in other cultural contexts and should be inspiring to design a website to facilitate sharing among teachers.

Au delà des principes généraux de la responsabilité sociétale, comme application des principes du développement durable, ses enjeux managériaux auxquels font face les entreprises demeurent rarement étudiés. La présente recherche s'intéresse précisément à cette question, en mobilisant le courant de la Corporate Social Responsiveness qui propose de porter une attention particulière aux changements organisationnels. Une réponse à ces problématiques managériales semble passer par les stratégies de coopération. Au regard de la littérature, les stratégies de coopération sont un moyen d'obtenir des ressources, des compétences complémentaires et de développer des capacités dynamiques. L'objet de cette thèse porte sur l'étude les stratégies de coopération comme réponse aux enjeux du développement durable, au travers de l'analyse des associations thématiques d'entreprises, dans une perspective fondée sur les ressources. La méthodologie est qualitative et vise à décrire de la manière la plus fine possible les phénomènes et processus à l'œuvre dans les associations thématiques d'entreprises, à travers deux phases d'étude. L'étude exploratoire, basée sur l'analyse des dix-sept associations thématiques recensées sur le territoire français, permet d'identifier différents profils de stratégies de coopération et d'en dresser une typologie. Ils sont définis à partir des représentations du développement durable et du rôle que se donne l'association d'entreprises. Par ailleurs, l'étude de cas explore les mécanismes de coordination à l'œuvre dans ces associations thématiques et permet d'identifier les besoins des entreprises et la nature de la réponse collective.La recherche montre en particulier une diversité d'enjeux vis-à-vis du développement durable, qui va conditionner les besoins des entreprises en termes de ressources et de compétences. Le contexte révèle une complexité de management du fait que le Développement Durable invite à considérer des valeurs et des convictions liées aux personnes qui peuvent entrer en contradiction. Une analyse précise des ressources et des compétences nécessaires aux entreprises pour opérationnaliser une démarche responsable est envisagée. Les principaux résultats sont discutés au regard des recherches antérieures. / There is a relative paucity of studies on the managerial challenges encountered by firms when achieving corporate social responsibility. The present work seeks to fill this void by mobilizing literature on Corporate Social Responsiveness (CSR) and exploring propositions that help explain the organizational changes brought about by the application of CSR. Cooperation strategy seems to be a solution for firms to overcome their managerial challenges. According to the literature, cooperation strategies constitute a “mean” to obtain resources, skills and to develop dynamic capabilities. Hence, the aim of this research is to study strategies of cooperation as a response to the managerial challenges given by the stakes of sustainable development. This is done by analyzing theme-based corporate associations, using a resource-based view. The exploratory nature of the study entails a qualitative methodology which prioritizes the description of an ongoing phenomena and processes. The present work develops in two research stages : First an exploratory phase and subsequently an in-depth case study. The exploratory phase was based on the analysis of seventeen theme-based associations identified throughout France. This initial work allowed identifying a variety of cooperation strategies, which was used to define a typology of theme-based associations. Hereafter distinctive profiles within this typology were drawn and based on : The particular representations of “sustainable development” hold by the members of these associations and on the role assumed by each firm within it. In addition, the in-depth case study allowed us to explore the mechanisms of coordination within these associations, the different motivations for firms to take part in these particular forms and the nature of the collective response. The findings show a wide range of views on “sustainable development” which will determine the needs of any given firm in terms of resources and skills. In addition, the results show that in this particular context, the management of cooperative corporate strategies proves to be a complex and challenging process. As the sustainable development principle, around which these corporative associations are formed, may reveal conflictive values and personal beliefs. The present work contributes with a detailed analysis on the resources and skills required for firms when operationalizing their social responsibility. The results are subsequently discussed in light of existing literature.

L'optimisation de l'utilisation des liens satellites est un enjeu majeur pour augmenter la rentabilité des systèmes satellites. L'augmentation de la réutilisation des fréquences est une des approches les plus prometteuses. La réutilisation des fréquences permet de transmettre plus d'informations sur une même fréquence, pour peu que les interférences entre les deux signaux ne soient pas trop importantes. Il est donc capital de contrôler l'impact de ces interférences, que ce soit via l'utilisation de schémas de réutilisation de fréquences, ou encore via des techniques de coordination dynamique des interférences, où la sélection des utilisateurs qui peuvent transmettre sur les mêmes fréquences est faite en prenant les interférences en compte / Optimizing satellite links is a major challenge to increase satellite systems profitability. Increasing the frequency reuse is one of the most promising approaches. Reusing multiple times the same frequency enables to transmit more information on the same frequency, as long as the two or more signals do not generate too high mutual interferences. It is therefore of capital importance to control these interference impacts, be it through the use of frequency reuse scheme or through the use of advanced dynamic interference coordination techniques, where the user selection is done with the knowledge of interference levels.

Thèse (LL.D.)--Université Laval, 2009. / Bibliogr.: f. 495-557. Publié aussi en version électronique dans la Collection Mémoires et thèses électroniques.

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

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

Globalement, l'espace rural connaît une croissance démographique et de nouvelles dynamiques depuis 40 ans. Celles-ci ne sont cependant pas homogènes, et l'on peut encore parler de marginalité de certains territoires. Devant les enjeux actuels du tourisme pour les territoires, la question se pose de son rôle pour des territoires ruraux marginalisés. Comment évaluer l'impact que pourrait avoir le tourisme sur de tels territoires ? Au vu des liens identifiés par la littérature entre tourisme et développement rural, il apparaît nécessaire de recourir à un cadre théorique couplant approche territoriale et multidimensionnelle. En conséquence cette thèse mobilise à la fois les outils de l'économie territoriale et de l'approche par les capacités. L'approche par les capacités (AC) renouvelle la problématique des indicateurs et permet de prendre en compte la multiplicité des acteurs du territoire et du secteur touristique tout comme la complexité des liens. Il s'agit cependant d'un corpus théorique encore peu stabilisé qu'il est important de confronter aux données quantitatives et qualitatives. C'est pourquoi une méthodologie en deux étapes est expérimentée. La première mobilise des données secondaires (données de contexte). Dans cette première étape, l'objectif est double. Tout d'abord, identifier les territoires marginaux au sein de la région Rhône-Alpes. Ainsi, une structuration de l'espace rural est proposée (à travers la mise en œuvre d'une analyse en composantes principales) ainsi que des cartes d'aide à la décision politique. Dans une seconde étape, les résultats obtenus sont confrontés à des enquêtes de terrain réalisés auprès des acteurs des territoires. La mise en œuvre de cette méthode permet d'aboutir à différentes conclusions. D'une part sur le plan méthodologique, AC contribue à la construction d'un diagnostic à l'échelle des territoires. En effet, l'AC permet de s'interroger sur les dimensions importantes du développement sur les territoires, sur la construction d'indicateurs et enfin sur une nouvelle approche des dynamiques territoriales. D'autre part, le lien entre tourisme et développement rural est mis en évidence sous deux aspects. D'abord, son impact sur les grandes variables socio-économiques est minimisé à l'échelle des territoires ruraux marginaux. Cependant, il apparaît que le tourisme joue un rôle de catalyseur du développement local en renforçant le capital social des territoires ruraux analysés. Ainsi, une recommandation centrale peut être faite : pour favoriser le développement rural, le tourisme doit être accompagné. Le projet touristique devient alors en lui-même un catalyseur de développement local. / Since the mid-1970s, rural areas have experienced significant change. Beside traditional activities, new functions (chiefly housing and recreation) have emerged and become important. At the same time, society has experienced changes such as acknowledging environmental issues and a reduced working time. This context has brought about changes in tourism demand as well, and made rural areas more attractive destinations. However, rural change has not been homogenous. Therefore, the critical question regards the role of tourism in territorial dynamics and rural area revitalization. Given the links identified in the literature between tourism and rural development, it seems necessary to use a theoretical framework that relies on both a territorial approach and the capability approach. In this dissertation the notion of territorial capabilities is defined as opportunities that arise between individuals and their territory. To analyse the impact of tourism on marginal area capabilities, we used a mixed methods approach. First, secondary data and principal component analysis were used to analyse the relationship between synthetic indicators and create a typology of Rhône-Alpes rural areas. Second, this analysis was compared to a field survey based on semi-guided interviews with local stakeholders in three study areas. Two main conclusions may be drawn from this work. Firstly, we suggest that the capability approach can be used to perform regional diagnostics. Second, we stress that tourism can act as a catalyst for social capital in rural areas. Following this conclusion, we would recommend that if tourism is to foster rural development, it needs to be planned and managed by local authorities. Then, the tourism project itself truly becomes the catalyst of local development.

Nos travaux de thèse prolongent une série d'études consacrées aux effets du contact visuel sur la gestion des ressources attentionnelles. Six expériences testent l'effet distracteur d'un contact visuel bref ou prolongé dans un dispositif adapté de la tâche de Stroop (« Stroop Eyes » ; cf. Conty, Gimmig, Belletier, George, & Huguet, 2010) impliquant de façon concomitante des distracteurs sémantiques (mots incongruents) et des distracteurs sociaux (yeux ouverts en modalité de regard direct ou dévié, et yeux clos). L'objectif principal est d'évaluer le coût du contact visuel (enclenché par le regard direct) en matière de ressources exécutives, ce coût étant éventuellement impliqué dans les pathologies du lien social (autisme et schizophrénie). Des analyses classiques et distributionnelles des temps de réponse indiquent en particulier que le regard direct 1) est traité de manière automatique quelle que soit sa durée d'apparition, 2) consomme des ressources exécutives, et 3) facilite le traitement du regard dévié. Ces résultats renforcent les modèles du contact visuel suggérant un module cérébral spécifiquement dédié à la détection du regard direct et une influence de cette détection sur des processus cognitifs opérant en parallèle ou de manière consécutive. Les domaines d'application sont vastes puisque l'humain exécute souvent ses activités en présence d'autres susceptibles de l'observer. Par ailleurs, les liens entre contacts visuels et ressources exécutives mis en évidence dans nos travaux suggèrent des pistes pour remédier à certaines des difficultés des personnes souffrant d'une pathologie du lien social. / Our thesis extends a serie of studies on the effects of eye contact on the management of attentional resources. Six experiments tested the distracting effects of a brief versus sustained eye contact with an adaptation of the Stroop task (referred to as "Stroop Eyes" ; cf Conty, Gimmig, Belletier, George, & Huguet, 2010) involving concomitantly semantic distractors (incongruent words) and social distractors (direct gaze vs. averted gaze, and closed eyes). The main objective was to evaluate the cost of eye contact (initiated by direct gaze) on executive resources, this cost being possibly involved in pathologies such as autism and schizophrenia. Classic response time analyses and distributional response time analyses indicate that direct gaze 1) is processed automatically whatever its duration, 2) consumes executive resources, and 3) facilitates the processing of averted gaze. These results strengthen the models suggesting a modular (brain) network dedicated to the detection of direct gaze and related modulations of cognitive processes operating in parallel or consecutively. As humans perform the majority of their activities while being watched by others, the fields of application are vast. Furthermore, the links between eye contact and executive resources highlighted in our work suggests ways to address the management of people with specific social disabilities.

Les huiles végétales et leurs dérivés ont conduit à de nouveaux précurseurs agro-ressourcés utilisés pour la synthèse de polymères. Grâce au couplage thiol-ène, des polyols ont été obtenus par greffage du mercaptoéthanol directement sur les triglycérides insaturés. De la même manière, les esters méthyliques des huiles végétales ont permis la synthèse d'esters et d'amides diols pseudo-téléchéliques. Des polyols ont également été obtenus grâce à la réaction d'ouverture des cycles oxirane présents sur des huiles végétales époxydées. Différents acides carboxyliques ont permis d'introduire des fonctions hydroxyle sur les triglycérides. Ces différents synthons ont conduit à l'élaboration d'une large gamme de matériaux polyuréthanes, présentant des Tg variant de -10 °C à 100 °C. Le carbonate de glycérol, issu du glycérol agro-ressourcé, a également été utilisé pour l'élaboration de dicyclocarbonates, soit par estérification/trans-estérification à partir de diacides obtenus par greffage de l'acide thioglycolique sur plusieurs acides gras, soit par dimérisation à partir d'un dithiol commercial. Des polyuréthanes sans isocyanate ont ainsi été formulés à partir de ces nouveaux dicyclocarbonates, ouvrant la voie vers des polyhydroxyuréthanes totalement agro-ressourcés. Les précurseurs, ainsi que les matériaux qui en découlent, ont été caractérisés et certains ont fait l'objet de tests à l'échelle pré-industrielle. / Vegetable oils and their derivatives were used to synthesize new precursors suitable for polymer synthesis. Mercaptoethanol was grafted onto unsaturated triglycerides by thiol-ene coupling to yield polyols. This functionalization was also applied to vegetable oil methyl esters, yielding ester and amide containing pseudo-telechelic diols. The second synthetic strategy used ring opening of epoxydized vegetable oils. The reaction between vegetable oil oxiranes and several carboxylic acids afforded a range of polyester polyols. Thus, the synthesized intermediates allowed to formulate various polyurethanes, which exhibited glass transition temperatures ranging from -10 °C to 100 °C. Moreover, either esterification/trans-esterification with fatty acid based diacids, synthesized by thioglycolic acid addition onto different fatty acids, or thiol-ene coupling with a commercial dithiol, were performed on glycerin carbonate, leading to new dicyclocarbonates. Isocyanate free polyurethanes were then obtained from those dicyclocarbonates, opening the way for fully biobased polyhydroxyurethanes. The new precursor, and the polymers therefrom, were deeply characterized and some of them were tested at a pilot scale.