Malgré le rôle important joué par les comportements alimentaires durant la grossesse, et de leurs implications pour la santé de la mère et de l’enfant à naître, plusieurs études soulignent que les besoins d’informations des femmes enceintes à faible revenu ou issues de minorités ethniques n’ont pas été comblés. Le comportement de recherche d’informations de femmes enceintes immigrantes maghrébines à faible revenu sera donc abordé via le modèle d’Engel, Kollat et Blackwell. L’objectif général est l’exploration de ce comportement de recherche d’informations en lien avec des thématiques associées à leur alimentation au cours de la grossesse. La thèse propose quatre questions spécifiques de recherche visant l’exploration des facteurs d’ordre individuel et d’environnement susceptibles d’influencer une recherche active d’informations, des sources auprès desquelles des informations sont recherchées, et de la nature de l’information recueillie. Un total de 28 femmes enceintes volontaires (14 primigestes et 14 secondigestes) ont été recrutées via le Dispensaire diététique de Montréal entre les mois d’août 2010 et 2011. Des entrevues semi-structurées de 60 à 90 minutes ont été réalisées par l’étudiante au doctorat. Les données ont été soumises à une analyse de contenu via le logiciel NVivo. Des facteurs d’ordre individuel susceptibles d’influencer le comportement de recherche active d’informations furent identifiés: perspective idéologique à l’égard de la grossesse, présence de malaises de grossesse, perception du caractère contradictoire des informations reçues, perceptions liées au caractère adéquat de l’information reçue, perceptions liées au caractère suffisant de l’information détenue, variation du poids corporel, valorisation du bien-être du bébé, attitudes à l’égard de la supplémentation prénatale, valorisation d’une saine alimentation et motivation à apprendre. Des facteurs d’environnement susceptibles d’influencer le comportement de recherche active d’informations ont été identifiés: culture (habitudes alimentaires, croyances alimentaires, croyances religieuses, perte de repères culturels traditionnels quant aux soins de santé et conseils offerts durant la grossesse) et interactions avec les membres de l’environnement social. Des sources d’informations significatives en lien avec la nutrition prénatale se sont avérées être pour les primigestes: diététiste, mère, amies, mari et Internet. Pour les secondigestes, ces sources d’informations étaient: diététiste, médecin, amies et mari. Une source d’informations professionnelle significative concernant la supplémentation prénatale et le gain de poids durant la grossesse, tant pour les primigestes que secondigestes, s’est révélée être la diététiste. Peu de femmes ont rapporté avoir reçu des professionnels de l’information à propos de la salubrité alimentaire et des risques de gagner trop de poids. Les résultats soulèvent une réflexion à l’égard de l’implication des professionnels en période prénatale et quant à la révision de leurs approches de counseling nutritionnel. Les résultats amènent également à réfléchir quant à l’amélioration des activités ayant pour objectif de répondre aux besoins d’informations des femmes enceintes immigrantes maghrébines à faible revenu en lien avec des thématiques liées à l’alimentation durant la grossesse. Pour terminer, il serait utile que de futures recherches s’attardent à mieux comprendre le comportement de recherche d’informations en lien avec des thématiques associées à l’alimentation de femmes enceintes de différents horizons culturels ou de celle de l’enfant à venir. / Despite the important role played by healthy behaviours during pregnancy, and their health implications for both mother and baby, several studies have highlighted that health information needs of low-income and ethnic minority pregnant women have not been met. Thus, the information-seeking behaviour of low-income pregnant Maghrebian women has been studied in this thesis by using the Engel, Kollat and Blackwell (EKB) model. The main objective of this thesis’s research is to explore information-seeking behaviours regarding nutrition-related topics during pregnancy in order to determine whether decisional processes regarding information-seeking behaviour differ among primigravid and secundigravid women. This thesis proposes four specific research questions aiming at the exploration of individual and environmental factors likely to influence the active information-seeking behaviour, the type of information and the sources from which such information is collected. Data has been collected among 28 low-income voluntary women (14 primigravid and 14 secundigravid) mainly referred by the Montreal Diet Dispensary between August 2010 and 2011. Semi-structured interviews lasting 60 to 90 minutes were conducted by the doctoral student. Data were analyzed using content analysis with NVivo software. On one hand, individual factors likely to influence the active information-seeking behaviour have been found to be: the ideological examination of pregnancy, presence of pregnancy discomforts, perception of conflicting information from providers, perceived adequacy of received nutrition information, perceived sufficiency of information, body weight changes, recognition of the baby’s well-being, attitudes toward prenatal supplementation, importance given to healthy eating, and motivation to learn. On the other hand, environmental factors likely to influence the active information-seeking behaviour have been identified to be: culture (eating habits, food beliefs, religious beliefs, loss of cultural markers regarding health care and counseling during pregnancy) and interactions with individuals from the social environment. Significant information sources consulted by primigravid women for topics regarding prenatal nutrition were as follows: the registered dietitian, mother, friends, husband, and Internet. For secundigravid women, significant information sources were as follows: the dietitian, doctor, friends and husband. A significant professional information source, both for primigravid and secundigravid women, about prenatal vitamin and mineral supplementation and pregnancy weight gain was the registered dietitian. Internet was a significant public information source from which primigravid women got information regarding prenatal nutrition-related topics. Few women reported having received, during their follow-up examinations, professional information related to food safety issues and risks of gaining too much weight during pregnancy. Overall, results presented in this thesis highlight the importance of improving communicating strategies in order to better address the information needs of low-income pregnant Maghrebian women. Results raise a number of questions with regards to improving the participation of professionals to prenatal education and their nutritional counseling. Moreover, results from this thesis suggest means to improve activity planning to better address the nutrition-related information needs of pregnant Maghrebian women during pregnancy. It would be useful for researchers to get involved in studies aimed at a better understanding of the information-seeking behaviour of expectant mothers from different cultural backgrounds regarding nutrition-related topics during pregnancy as well as the baby’s nutrition.

La lithographie et la loi de Moore ont permis des avancées extraordinaires dans la fabrication des circuits intégrés. De nos jours, plusieurs systèmes très complexes peuvent être embarqués sur la même puce électronique. Les contraintes de développement de ces systèmes sont tellement grandes qu’une bonne planification dès le début de leur cycle de développement est incontournable. Ainsi, la planification de la gestion énergétique au début du cycle de développement est devenue une phase importante dans la conception de ces systèmes. Pendant plusieurs années, l’idée était de réduire la consommation énergétique en ajoutant un mécanisme physique une fois le circuit créé, comme par exemple un dissipateur de chaleur. La stratégie actuelle est d’intégrer les contraintes énergétiques dès les premières phases de la conception des circuits. Il est donc essentiel de bien connaître la dissipation d’énergie avant l’intégration des composantes dans une architecture d’un système multiprocesseurs de façon à ce que chaque composante puisse fonctionner efficacement dans les limites de ses contraintes thermiques. Lorsqu’une composante fonctionne, elle consomme de l’énergie électrique qui est transformée en dégagement de chaleur. Le but de ce mémoire est de trouver une affectation efficace des composantes dans une architecture de multiprocesseurs en trois dimensions en tenant compte des limites des facteurs thermiques de ce système. / Lithography and Moore’s law have led to extraordinary advances in integrated circuits manufacturing. Nowadays, many complex systems can be embedded on the same chip. Development constraints of these systems are so significant that a good planning from the beginning of the development stage is essential. Thus, the planning of energy management at the beginning of the development cycle has become important in the design of these systems. For several years, the idea was to reduce energy consumption by adding a cooling system once the circuit is created, a heat sink for example. The current strategy is to integrate energy constraints in the early stages of circuits design. It is therefore important to know the energy dissipation before the integration of the components in the architecture of a multiprocessor system so that each component can work within the limits of its thermal stresses. When a component is running, it consumes electric energy which is converted into heat. The aim of this thesis is to find an efficient assignment of components in a multiprocessor system architecture in three dimensions, taking into account the limits of its thermal factors.

L’auteur qui appose son nom à une publication universitaire sera reconnu pour sa contribution à la recherche et devra également en assumer la responsabilité. Il existe divers types d’agencements pouvant être utilisés afin de nommer les auteurs et souligner l’ampleur de leur contribution à ladite recherche. Par exemple, les auteurs peuvent être nommés en ordre décroissant selon l’importance de leurs contributions, ce qui permet d’allouer davantage de mérite et de responsabilité aux premiers auteurs (à l’instar des sciences de la santé) ou bien les individus peuvent être nommés en ordre alphabétique, donnant une reconnaissance égale à tous (tel qu’on le note dans certains domaines des sciences sociales). On observe aussi des pratiques émergeant de certaines disciplines ou des champs de recherche (tel que la notion d’auteur correspondant, ou directeur de recherche nommé à la fin de la liste d’auteurs). En science de la santé, lorsque la recherche est de nature multidisciplinaire, il existe différentes normes et pratiques concernant la distribution et l’ordre de la signature savante, ce qui peut donner lieu à des désaccords, voire à des conflits au sein des équipes de recherche. Même si les chercheurs s’entendent pour dire que la signature savante devrait être distribué de façon ‘juste’, il n’y a pas de consensus sur ce que l’on qualifie de ‘juste’ dans le contexte des équipes de recherche multidisciplinaire. Dans cette thèse, nous proposons un cadre éthique pour la distribution juste de la signature savante dans les équipes multidisciplinaires en sciences de la santé. Nous présentons une critique de la documentation sur la distribution de la signature savante en recherche. Nous analysons les enjeux qui peuvent entraver ou compliquer une distribution juste de la signature savante tels que les déséquilibres de pouvoir, les conflits d’intérêts et la diversité de cultures disciplinaires. Nous constatons que les normes internationales sont trop vagues; par conséquent, elles n’aident pas les chercheurs à gérer la complexité des enjeux concernant la distribution de la signature savante. Cette limitation devient particulièrement importante en santé mondiale lorsque les chercheurs provenant de pays développés collaborent avec des chercheurs provenant de pays en voie de développement. Afin de créer un cadre conceptuel flexible en mesure de s’adapter à la diversité des types de recherche multidisciplinaire, nous proposons une approche influencée par le Contractualisme de T.M. Scanlon. Cette approche utilise le respect mutuel et la force normative de la raison comme fondation, afin de justifier l’application de principes éthiques. Nous avons ainsi développé quatre principes pour la distribution juste de la signature savante en recherche: le mérite, la juste reconnaissance, la transparence et la collégialité. Enfin, nous proposons un processus qui intègre une taxonomie basée sur la contribution, afin de délimiter les rôles de chacun dans le projet de recherche. Les contributions peuvent alors être mieux comparées et évaluées pour déterminer l’ordre de la signature savante dans les équipes de recherche multidisciplinaire en science de la santé. / Authorship of scientific publications is a means of recognizing both a researcher’s contribution to a paper as well as their responsibility for the integrity of their work. Various approaches to author order may be used to rank individuals and convey the extent of their contribution. For example, authors may be listed by decreasing level of contribution, whereby most credit and responsibility are allocated to the first authors (common in the health sciences), or they may be named in alphabetical order, giving equal recognition to all (common in the social sciences). There are also “rules of thumb” or preferred practices that exist in the respective disciplines or research fields (e.g., corresponding author first, Principal Investigator last). In the case of multidisciplinary health research, differing norms and practices regarding authorship distribution may be held by the respective team members; and, this can give rise to disagreement and even conflict within research teams. Although researchers and scholarly organizations agree that authorship should be distributed “fairly”, a shared understanding or consensus as to what constitutes fairness, as well as its practical implementation in multidisciplinary research collaborations, remains a significant challenge. This thesis proposes a conceptual ethical framework for the fair distribution of authorship in multidisciplinary health sciences research. At the outset, the various methods recommended by journals, learned societies, as well as in the academic literature to distribute authorship are critically reviewed; issues that may impede or complicate fair authorship distribution in multidisciplinary research are highlighted; these include, for example, power differentials, conflicts of interests, and conflicting disciplinary norms and cultures. The analysis will show that current universal normative authorship guidelines are overly broad, and therefore, are insufficient to effectively resolve many of the diverse issues that are often specific to differing contexts of research. As will be discussed, the limitations of such guidelines are particularly significant in the case of global health collaborations that involve researchers from low and middle income countries and those from high income countries. A theoretical approach influenced by T.M. Scanlon’s Contractualism is proposed as a means of achieving the flexibility needed for the diversity of multidisciplinary research contexts; mutual agreement and reasonability are used to determine whether ethical principles are “fair”. Four central and interconnected principles – desert, just recognition, transparency and collegiality – are presented as the conceptual foundation to support the development of a process for the fair distribution of authorship. This authorship distribution process integrates the detailed research tasks commonly used in “contributorship” taxonomies to delineate individual duties and roles in the research project and subsequent publication. Contributions are then compared and valued more efficiently to determine authorship order while promoting fairness in multidisciplinary health sciences research.

Dans ce mémoire, nous étudions un problème de tournées de véhicules dans lequel une flotte privée de véhicules n’a pas la capacité suffisante pour desservir les demandes des clients. Dans un tel cas, on fait appel à un transporteur externe. Ce dernier n’a aucune contrainte de capacité, mais un coût est encouru lorsqu’un client lui est affecté. Il n’est pas nécessaire de mettre tous les véhicules de la flotte privée en service si cette approche se révèle plus économique. L’objectif consiste à minimiser le coût fixe des véhicules, puis le coût variable de transport et le coût chargé par le transporteur externe. Notre travail consiste à appliquer la métaheuristique de recherche adaptative à grand voisinage sur ce problème. Nous comparons nos résultats avec ceux obtenus précédemment avec différentes techniques connues sur les instances de Christofides et celles de Golden. / In this master thesis, we study a vehicle routing problem in which a private fleet does not have sufficient capacity to serve all customers. Therefore, an external common carrier is required. The external common carrier has no constraint of capacity, but there is a cost when a customer it assigned to it. It is not necessary for all the vehicles of the private fleet to be used. The objective is to minimize the sum of the fixed cost of the private fleet, the variable routing cost and the external carrier cost. Our work applies the adaptative large neighborhood search metaheuristic on this problem. We compare our results with those obtained previously with different well-known techniques on the benchmark instances of Christofides and Golden.

Que signifie être scientifique ? Comment et quand le devient-on ? Dans quelle mesure peut-on parler d’un rapport identitaire et culturel aux sciences ? Comment l’épreuve de la pratique intervient-elle dans la construction ou dans la crise de ce rapport aux sciences ?Le rapport identitaire et culturel aux sciences tel que nous le définissons par ce travail s’exprime au moins à trois niveaux articulés. D’un premier point de vue, la construction d’un rapport identitaire et culturel aux sciences par l’expérience vécue se laisse appréhender par le recensement des pratiques de communication quotidiennement éprouvées, qui forgent un espace mental de la recherche, où s’associent représentation de la science et représentation de soi. A un deuxième niveau, l’espace de l’entretien rend possible la construction d’un discours à distance de cette expérience, où l’enquêté se positionne vis à vis de ce qu’il rapporte. Il mobilise notamment des normes et valeurs dans le discours qu’il tisse sur son parcours, sa pratique de recherche et sur lui-même. Celles-ci, en tant que ressources discursives, participent à l’expression et à l’actualisation, au moment-même de la situation d’entretien, d’un rapport identitaire et culturel aux sciences. Enfin, nous distinguons un troisième niveau de construction de ce rapport identitaire et culturel aux sciences, dans la situation de communication que constitue l’entretien. L’enquêté élabore un discours situé et contextualisé où parcours, pratique et (re)présentation de soi se mêlent et s’éprouvent dans un ajustement permanent entre l’enquêté et l’enquêteur. La réflexivité, tout à la fois objet d’étude, concept, ensemble de pratiques et d’actions, mais aussi en tant que critère de scientificité, est au centre de ce travail et au cœur de la démarche de chercheur que je cherche à mettre en œuvre. / What does it mean to be a scientific? How and when do we become a scientist? To what extent may we talk about identical and cultural relations to sciences? How does research practice experience play a role in the construction or in the crisis of this relation to sciences? The identity and cultural relations to sciences, as it is defined in this thesis, is expressed in discourses at least at three different levels.First, the construction of an identity and cultural relation to sciences from personal experience can be comprehended throught the inventory of daily communication practices. These practices form a mental space of research, in which science representations and self representations are structured.Secondly, research interviews allowed the construction of a discourse from a distance and resulting from the personal experience. In this discourse, the interviewed researcher take a stand on his own practice and experience. He/she employs more particularly norms and values in his discourse about his/her research practice and about him/her-self. These norms and values, as discursive resources, are contribuing to the expression and the realisation of the identical and cultural relation to sciences, at the moment of the interview.Finally, a third level is distinguished to define the identical and cultural relation to sciences, in the communication situation maked up by the interview. The interviewee is constructing a situated and contextualized discourse in which career, practice and self representation are connected and adjusted, in relation with the interviewer.Reflexivity is at the same time my research topic, a concept, practices and actions and also criterion of scientific accuracy. Reflexivity is fundamental in this work and pivotal in my researcher approach.

Cette thèse propose de documenter les dynamiques sociales dans un espace géographique en milieu rural sénégalais — l’aire de Toudinga — où des recherches principalement démographiques et médicales sont menées depuis 1964 dans le cadre des activités de l’IRD (Institut de recherche pour le développement), anciennement Orstom (Office de la recherche scientifique dans les territoires d’outre-Mer). Cette étude se situe au croisement de l’anthropologie de la santé, de l’ethnologie africaniste et de la sociologie des sciences et des organisations. Cette intersection permet d’aborder de multiples aspects socio-culturels relatifs au fonctionnement et aux enjeux de la recherche médicale en Afrique sub-saharienne. Ce travail traite en premier lieu du fonctionnement social de l’aire de Toudinga et présente une analyse des représentations de la recherche scientifique et des interactions entre les professionnels de la recherche et les habitants de la région. Il met également en évidence l’influence des facteurs historiques, identitaires et institutionnels sur la construction locale de l’éthique. Cette étude aborde également des thèmes plus généraux relatifs à l’anthropologie de la recherche médicale tels que l’influence du contexte social sur le recueil du consentement (rapports sociaux de sexe, de classe d’âge, don / contre-don), l’impact de la recherche médicale sur l’offre de soins locale ou encore l’analyse des facteurs sociaux expliquant la crédibilisation des rumeurs de vol de sang / This thesis documents the social dynamics that occur in a rural context in Senegal — the area of Toudinga— where essentially demographic and medical research have been held since 1964 by the IRD (Institut de recherche pour le développement) formerly Orstom (Office de la recherche scientifique dans les territoires d’outre-Mer). At the crossroads of medical anthropology and African ethnology and sociology of science and organizations, the theoretical position adopted in this thesis allows for the examination of numerous social aspects related to medical research in sub-Saharan Africa. This PhD deals with the social organisation of the area of Toudinga. It describes the representations of medical research and the interactions between the research professionnals and the inhabitants of the region and highlights the influence of historic, identity and instititional factors on the local construction of ethics. Futhermore, this work examines wider thematics related the anthropology of medical research such as the influence of the social context on the consentent collection (gender, age group, gift and conter-gift), the impact of medical research on local medical care and the analysis of blood stealing rumors

Cette thèse porte sur l'établissement de similarités de données textuelles dans le domaine de la gestion de la relation client. Elle se décline en deux parties : - l'analyse automatique de messages courts en réponse à des questionnaires de satisfaction ; - la recherche de produits à partir de l'énonciation de critères au sein d'une conversation écrite mettant en jeu un humain et un programme agent. La première partie a pour objectif la production d'informations statistiques structurées extraites des réponses aux questions. Les idées exprimées dans les réponses sont identifiées, organisées selon une taxonomie et quantifiées. La seconde partie vise à transcrire les critères de recherche de produits en requêtes compréhensibles par un système de gestion de bases de données. Les critères étudiés vont de critères relativement simples comme la matière du produit jusqu'à des critères plus complexes comme le prix ou la couleur. Les deux parties se rejoignent sur la problématique d'établissement de similarités entre données textuelles par des techniques de TAL. Les principales difficultés à surmonter sont liées aux caractéristiques des textes, rédigés en langage naturel, courts, et comportant fréquemment des fautes d'orthographe ou des négations. L'établissement de similarités sémantiques entre mots (synonymie, antonymie, etc) et l'établissement de relations syntaxiques entre syntagmes (conjonction, opposition, etc) sont également des problématiques abordées. Nous étudions également dans cette thèse des méthodes de regroupements et de classification automatique de textes afin d'analyser les réponses aux questionnaires de satisfaction. / This Ph.D. thesis is about the establishment of textual data similarities in the client relation domain. Two subjects are mainly considered : - the automatic analysis of short messages in response of satisfaction surveys ; - the search of products given same criteria expressed in natural language by a human through a conversation with a program. The first subject concerns the statistical informations from the surveys answers. The ideas recognized in the answers are identified, organized according to a taxonomy and quantified. The second subject concerns the transcription of some criteria over products into queries to be interpreted by a database management system. The number of criteria under consideration is wide, from simplest criteria like material or brand, until most complex criteria like color or price. The two subjects meet on the problem of establishing textual data similarities thanks to NLP techniques. The main difficulties come from the fact that the texts to be processed, written in natural language, are short ones and with lots of spell checking errors and negations. Establishment of semantic similarities between words (synonymy, antonymy, ...) and syntactic relations between syntagms (conjunction, opposition, ...) are other issues considered in our work. We also study in this Ph. D. thesis automatic clustering and classification methods in order to analyse answers to satisfaction surveys.

Nous considérons une plate-forme pair-à-pair pour la Recherche d'Information (RI) collaborative. Chaque pair héberge une collection de documents textuels qui traitent de ses sujets d'intérêt. En l'absence d'un mécanisme d'indexation global, les pairs indexent localement leurs documents et s'associent pour fournir un service distribué de réponse à des requêtes. Notre objectif est de concevoir un protocole décentralisé qui permette aux pairs de collaborer afin de transmettre une requête depuis son émetteur jusqu'aux pairs en possession de documents pertinents. Les réseaux logiques sémantiques (Semantic Overlay Networks, SON) représentent la solution de référence de l'état de l'art. Les pairs qui possèdent des ressources sémantiques similaires sont regroupés en clusters. Les opérations de RI seront alors efficaces puisqu'une requête sera transmise aux clusters de pairs qui hébergent les ressources pertinentes. La plupart des approches actuelles consistent en une reconfiguration dynamique du réseau de pairs (peer rewiring). Pour ce faire, chaque pair exécute périodiquement un algorithme de marche aléatoire ou gloutonne sur le réseau pair-à-pair afin de renouveler les pairs de son cluster. Ainsi, un réseau à la structure initialement aléatoire évolue progressivement vers un réseau logique sémantique. Jusqu'à présent, les approches existantes n'ont pas considéré que l'évolution de la topologie du réseau puisse influer sur les performances de l'algorithme de reconfiguration dynamique du réseau. Cependant, s'il est vrai que, pour une configuration initiale aléatoire des pairs, une marche aléatoire sera efficace pour découvrir les pairs similaires, lorsque des clusters commencent à émerger une approche gloutonne devient alors mieux adaptée. Ainsi, nous proposons une stratégie qui applique un algorithme de recuit simulé (Simulated Annealing, SA) afin de faire évoluer une stratégie de marche aléatoire vers une stratégie gloutonne lors de la construction du SON. Cette thèse contient plusieurs avancées concernant l'état de l'art dans ce domaine. D'abbord, nous modélisions formellement la reconfiguration dynamique d'un réseau en un SON. Nous identifions un schéma générique pour la reconfiguration d'un réseau pair-à-pair, et après le formalisons en une procédure constituée de trois étapes. Ce framework cohérent offre à ses utilisateurs de quoi le paramétrer. Ensuite, le problème de la construction d'un SON est modélisé sous la forme d'un problème d'optimisation combinatoire pour lequel les opérations de reconfiguration du réseau correspondent à la recherche décentralisée d'une solution locale. Fondée sur ce modèle, une solution concrète à base de recuit simulé est proposée. Nous menons une étude expérimentale poussée sur la construction du SON et la RI sur SONs, et validions notre approche. / A Peer-to-Peer (P2P) platform is considered for collaborative Information Retrieval (IR). Each peer hosts a collection of text documents with subjects related to its owner's interests. Without a global indexing mechanism, peers locally index their documents, and provide the service to answer queries. A decentralized protocol is designed, enabling the peers to collaboratively forward queries from the initiator to the peers with relevant documents. Semantic Overlay Network (SONs) is one the state of the art solutions, where peers with semantically similar resources are clustered. IR is efficiently performed by forwarding queries to the relevant peer clusters in an informed way. SONs are built and maintained mainly via peer rewiring. Specifically, each peer periodically sends walkers to its neighborhood. The walkers walk along peer connections, aiming at discovering more similar peers to replace less similar neighbors of its initiator. The P2P network then gradually evolves from a random overlay network to a SON. Random and greedy walk can be applied individually or integrated in peer rewiring as a constant strategy during the progress of network evolution. However, the evolution of the network topology may affect their performance. For example, when peers are randomly connected with each other, random walk performs better than greedy walk for exploring similar peers. But as peer clusters gradually emerge in the network, a walker can explore more similar peers by following a greedy strategy. This thesis proposes an evolving walking strategy based on Simulated Annealing (SA), which evolves from a random walk to a greedy walk along the progress of network evolution. According to the simulation results, SA-based strategy outperforms current approaches, both in the efficiency to build a SON and the effectiveness of the subsequent IR. This thesis contains several advancements with respect to the state of the art in this field. First of all, we identify a generic peer rewiring pattern and formalize it as a three-step procedure. Our technique provides a consistent framework for peer rewiring, while allowing enough flexibility for the users/designers to specify its properties. Secondly, we formalize SON construction as a combinatorial optimization problem, with peer rewiring as its decentralized local search solution. Based on this model, we propose a novel SA-based approach to peer rewiring. Our approach is validated via an extensive experimental study on the effect of network wiring on (1) SON building and (2) IR in SONs.

A fortuna crítica de À la recherche du temps perdu sempre teve como um dos seus principais motes a relação da obra com outras artes, ou seja, uma construção estética baseada em uma relação de homologia estrutural com outros sistemas artísticos, dentre eles a música, a arquitetura, a própria literatura e a pintura. Essa construção faz com que a obra venha constantemente acompanhada do epíteto de museu imaginário. Especificamente, o nome do pintor holandês Johannes Ver Meer tem um lugar privilegiado na estética proustiana. Entretanto, nem todas as telas são mencionadas ao longo da narrativa. Somada a isso, a tessitura da escritura de Marcel Proust revela-se como um saber fortemente indiciário. Assim, a partir de índices que percorrem epístolas de Proust, textos críticos e a própria narrativa de À la recherche du temps perdu, esta tese cujo recorte de leitura é especificamente o episódio da lanterna mágica e seus desdobramentos defende que uma das telas de Ver Meer, a saber, A arte da pintura, é uma ausência epistêmica que, no entanto, faz-se presente, deixando inscritos na obra seus efeitos de significação. A fim de compreendermos essa presença-ausente, esta tese recorre ao conceito de letra, conforme o ensino de Jacques Lacan, os textos freudianos nos quais esse conceito estava em latência e os esclarecimentos e avanços feitos por Jacques Derrida, especificamente em seus textos da década de sessenta do século passado. Por efeitos de significação, concebe-se a ideia de que A arte da pintura realiza-se como uma ideia ausente, mas pungente no que tange aos efeitos estéticos de esmero do detalhe e dos processos descritivos, implicando uma relação de similitude entre o narrador em seu quarto, em lincipit de À la recherche du temps perdu e no episódio da lanterna mágica, e um artista em seu ateliê, presente na tela de Ver Meer, que incidirá em uma poética do detalhe. / The critical fortune of À la Recherche du Temps Perdu has always had, as one of its main threads, the relationship of work with other art forms, in other words, an aesthetic construction based on a relationship of structural homology with other Arts, including music, architecture, literature itself and painting. This ensures that the work is constantly accompanied by the epithet of the imaginary museum. Specifically, the name of the Dutch painter Johannes Ver Meer has a privileged place in the Proustian aesthetic. Nevertheless, not all canvases are mentioned during the narrative. Added to this, the tone of the Marcel Proust text reveals itself as a clear, evidentiary wisdom. Therefore, from indices that permeate the Proust missives, critical texts and the narrative of À la Recherche du Temps Perdu, this thesis, the scope of which is limited specifically to the episode of the Magic Lantern and its ramifications, argues that one of Ver Meers canvases, namely that of the Art of Painting, is epistemically absent, however it makes its presence felt through its effects of significance on the piece. In order to understand this absent-presence, this thesis uses the concept of the letter, according to the teachings of Jacques Lacan, Freudian texts in which this concept was latent, and in the clarifications and advances made by Jacques Derrida in his writings of the 1960s. For purpose of meaning, one has conceived the idea that The Art of Painting be like a missing yet poignant idea touching the aesthetic effects of minute detail and of the descriptive processes, implying an affinity in relationship between the narrator in his chamber, in l\'incipit of la Recherche du Temps Perdu and the episode of the Magic Lantern, and the artist in his studio, present on Ver Meers canvas, reflected in a poetic detail.

La génération de stratégies pour les solveurs en Satisfiabilité Modulo des Théories (SMT) nécessite des outils théoriques et pratiques qui permettent aux utilisateurs d’exercer un contrôle stratégique sur les aspects heuristiques fondamentaux des solveurs de SMT, tout en garantissant leur performance. Nous nous intéressons dans cette thèse au solveur Z3 , l’un des plus efficaces lors des compétitions SMT (SMT-COMP). Dans les solveurs SMT, la définition d’une stratégie repose sur un ensemble de composants et paramètres pouvant être agencés et configurés afin de guider la recherche d’une preuve de (in)satisfiabilité d’une instance donnée. Dans cette thèse, nous abordons ce défi en définissant un cadre pour la génération autonome de stratégies pour Z3, c’est-à-dire un algorithme qui permet de construire automatiquement des stratégies sans faire appel à des connaissances d’expertes. Ce cadre général utilise une approche évolutionnaire (programmation génétique), incluant un système à base de règles. Ces règles formalisent la modification de stratégies par des principes de réécriture, les algorithmes évolutionnaires servant de moteur pour les appliquer. Cette couche intermédiaire permettra d’appliquer n’importe quel algorithme ou opérateur sans qu’il soit nécessaire de modifier sa structure, afin d’introduire de nouvelles informations sur les stratégies. Des expérimentations sont menées sur les jeux classiques de la compétition SMT-COMP. / The Strategy Challenge in Satisfiability Modulo Theories (SMT) claims to build theoretical and practical tools allowing users to exert strategic control over core heuristic aspects of high-performance SMT solvers. In this work, we focus in Z3 Theorem Prover: one of the most efficient SMT solver according to the SMT Competition, SMT-COMP. In SMT solvers, the definition of a strategy relies on a set of tools that can be scheduled and configured in order to guide the search for a (un)satisfiability proof of a given instance. In this thesis, we address the Strategy Challenge in SMT defining a framework for the autonomous generation of strategies in Z3, i.e. a practical system to automatically generate SMT strategies without the use of expert knowledge. This framework is applied through an incremental evolutionary approach starting from basic algorithms to more complex genetic constructions. This framework formalise strategies modification as rewriting rules, where algorithms acts as enginess to apply them. This intermediate layer, will allow apply any algorithm or operator with no need to being structurally modified, in order to introduce new information in strategies. Validation is done through experiments on classic benchmarks of the SMT-COMP.