L'éducation à la santé est un champ récent, dont les actions, qualifiées d'objets complexes, nécessitent des évaluations. L'évaluation doit être orientée en fonction des objectifs politiques fixés, schématisés par les démarches de pilotage, de régulation ou de gouvernance, car ces démarches correspondent en réalité à des paradigmes et épistémologies différents qu'il faut expliciter. Des travaux de méthodologie d'évaluation existent dans d'autres champs plus anciens (éducation, santé, etc.) dont la revue de la littérature actualisée permet de proposer des transpositions, d'autant que l'évaluation se veut transversale et n'est propre à aucun champ. Au regard de la littérature, on dégage un concept correspondant au fait que l'évaluation consiste à mettre en évidence la qualité ou la non qualité des objets étudiés. De ce fait, il existe de premières pistes pour dégager comment évaluer les actions d'éducation à la santé, en fonction de ce que l'on définit par qualité desdites actions. Les définitions de la qualité varient en fonction des paradigmes et épistémologies sous-jacents aux objectifs politiques prédéfinis. Si l'on précise ce que l'on entend également par complexe, on peut retenir les trois principes d'Edgar Morin : dialogique, de récursion organisationnelle et hologrammatique. Ces principes permettent de sortir des logiques d'opposition binaire et linéaires généralement proposées, qui s'adaptent mal aux objets complexes en général. Par l'explicitation de concepts scientifiques, on permet ainsi de dégager une méthodologie d'évaluation des actions d'éducation à la santé, confortée par des exemples concrets.

La calculabilité est centrée autour de la notion de fonction calculable telle que définie par Church, Kleene, Rosser et Turing au siècle dernier. D'abord focalisée sur les nombres entiers, la calculabilité a été généralisée aux ensembles, notamment par le biais de la théorie axiomatique des ensembles de Kripke-Platek. Dans cette thèse, nous définissons une notion générale de calculabilité, les sous-calculabilités, dont les axiomes sont satisfaits à la fois par de nombreux fragments récursifs de la calculabilité classique, mais également par des calculabilités d'ordre supérieur sur les ensembles admissibles. Nous montrons, sur cette structure composée d'une énumération de fonctions totales et d'une énumération de fonctions partielles, que les théorèmes classiques de calculabilité (isomorphisme de Myhill, Rogers, théorème s-m-n,point fixe de Kleene, théorème de Rice, créativité, etc.) sont présents sous différentes formes alors même que les sous-calculabilités ne comprennent qu'un fragment des objets de la calculabilité classique. Les structures de degrés associées aux notions de récursivité que nous définissons reflètent également des propriétés de la calculabilité (degrés intermédiaires, high, low, etc.), mais nos réductions étant plus fortes, une structure fine apparaît à l'intérieur même des degrés récursifs. Finalement, nous montrons que les calculabilités sur les admissibles sont interprétables dans le formalisme des sous-calculabilités. En particulier, les énumérations des ensembles alpha-finis et alpha-énumérables présents dans ce contexte nous permettent de transférer certains résultats d'un modèle à l'autre. / Computability is centered on computable functions, as defined by Church, Kleene,Rosser and Turing in the twentieth century. Initially focused on integers,computability has been generalised to sets, in particular thanks toKripke-Platek's Axiomatic Set Theory.In this thesis, we define a general notion of computability,sub-computabilities, whose axioms are satisfied by numerous recursive fragmentsof classical computability, and also by higher-order computabilities overadmissible sets. We show how in sub-computabilities, containing an enumeration oftotal functions and an enumeration of partial functions, classical theoremssuch as Myhill and Rogers isomorphisms, s-m-n theorem, Kleene's fixed-point orRice's theorem hold in a slightly different way, even if a large part ofthe objects of computability are missing. Along with each of thesesub-computabilities and their different notions of recursivity comes a structureof degrees (with intermediate, high and low degrees, etc.), refining theclassical one, our notions of recursivity being stronger.Moreover, we show how admissible computability can be interpreted through theformalism of sub-computabilities. In particular, the enumerations ofalpha-finite and alpha-enumerable sets present in this setting allowsome interesting results to be carried from one model to the other.

Cette thèse étudie les structures dont la théorie au second ordremonadique est décidable, et en particulier la hiérarchie à pile. Onpeut définir celle-ci comme la hiérarchie pour $n$ des graphesd'automates à piles imbriquées $n$ fois ; une définition externe, partransformations de graphes, est également disponible. Nous nousintéressons à l'exemple des ordinaux. Nous montrons que les ordinauxplus petits que $epsilon_0$ sont dans la hiérarchie, ainsi que des graphesporteurs de plus d'information, que l'on appelle "graphecouvrants''. Nous montrons ensuite l'inverse : tous les ordinaux de lahiérarchie sont plus petits que $epsilon_0$. Ce résultat utilise le fait queles ordres d'un niveau sont en fait isomorphes aux structures desfeuilles des arbres déterministes dans l'ordre lexicographique, aumême niveau. Plus généralement, nous obtenons une caractérisation desordres linéaires dispersés dans la hiérarchie. Dans un troisièmetemps, nous resserons l'intérêt aux ordres de type $omega$ --- les mots infinis --- pour montrer que les mots du niveau 2 sont les motsmorphiques, ce qui nous amène à une nouvelle extension au niveau 3

Cette thèse étudie les structures dont la théorie au second ordremonadique est décidable, et en particulier la hiérarchie à pile. Onpeut définir celle-ci comme la hiérarchie pour $n$ des graphesd'automates à piles imbriquées $n$ fois ; une définition externe, partransformations de graphes, est également disponible. Nous nousintéressons à l'exemple des ordinaux. Nous montrons que les ordinauxplus petits que $epsilon_0$ sont dans la hiérarchie, ainsi que des graphesporteurs de plus d'information, que l'on appelle "graphecouvrants''. Nous montrons ensuite l'inverse : tous les ordinaux de lahiérarchie sont plus petits que $epsilon_0$. Ce résultat utilise le fait queles ordres d'un niveau sont en fait isomorphes aux structures desfeuilles des arbres déterministes dans l'ordre lexicographique, aumême niveau. Plus généralement, nous obtenons une caractérisation desordres linéaires dispersés dans la hiérarchie. Dans un troisièmetemps, nous resserons l'intérêt aux ordres de type $omega$ --- les mots infinis --- pour montrer que les mots du niveau 2 sont les motsmorphiques, ce qui nous amène à une nouvelle extension au niveau 3 / This thesis studies the structures with decidable monadic second-ordertheory, and in particular the pushdown hierarchy. The latter can bedefined as the family for $n$ of pushdown graphs with $n$ timesimbricated stacks ; another definition is by graph transformations. Westudy the example of ordinals. We show that ordinals smaller that $epsilon_0$are in the hierarchy, along with graphs called "covering graphs'', which carry more data than ordinals. We show then the converse : allordinals of the hierarchy are smaller than $epsilon_0$. This result uses thefact that linear orders of a level are actually isomorphic to thestructure of leaves of deterministic trees by lexicographic ordering, at the same level. More generally, we obtain a characterisation ofscattered linear orders in the hierarchy. We finally focus on the caseof orders of type $omega$ --- infinite words --- and show that morphicwords are exactly words of the second level of the hierarchy. Thisleads us to a new definition of words for level 3

Dans une première partie, nous définissons un nouveau langage à base fonctionnelle et avec récursion généralisée, en utilisant le système de types avec degrés de Boudol pour éliminer les récursions dangereuses. Ce langage est ensuite étendu par des enregistrements récursifs, puis par des mixins, permettant ainsi de mêler totalement les paradigmes fonctionnels et objets. Nous présentons également une implémentation, MlObj, ainsi que la machine abstraite servant à son exécution.<br /><br />Dans une deuxième partie, nous présentons un nouvel algorithme d'inférence pour les systèmes de types avec intersection, dans le cadre d'une extension du lambda-calcul. Après avoir prouvé sa correction, nous étudions sa généralisation aux références et à la récursion, nous le comparons aux algorithmes d'inférence déjà existants, notamment à celui de Système I, et nous montrons qu'il devient décidable à rang fini.

L'objet de cette thèse est l'étude d'algorithmes d'inférence et de méthodes de sélection pour les modèles de Markov cachés. L'analyse de propriétés du graphe d'indépendance conditionnelle aboutit à la définition d'une famille de modèles aisément paramétrables et interprétables. Pour ces modèles, nous proposons des algorithmes d'inférence basés sur des récursions de type arrière-avant efficaces, numériquement stables et permettant des calculs analytiques. Puis nous étudions différentes méthodes de sélection du nombre d'états cachés, dont le demi-échantillonnage, les critères BIC, AIC, ICL, et la pénalisation de la vraisemblance marginale. L'implémentation de la validation croisée, problématique dans le cas de dépendances entre variables, fait l'objet de développements particuliers. Ces méthodes sont comparées par des expérimentations sur des données simulées puis réelles (fiabilité de logiciels). Nous illustrons l'intérêt des arbres et chaînes de Markov cachés en traitement du signal.

Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal.

Ce travail théorique est consacré à l'étude du transport électronique dans des solides apériodiques. Nous nous sommes placés dans l'approximation des électrons indépendants et à température nulle. Le calcul de la conductivité se ramène alors au problème de la diffusion quantique des électrons dans un potentiel apériodique. Nous avons mis au point des méthodes numériques permettant de calculer cette diffusion quantique dans des modèles de liaisons fortes de grande taille (environ un million d'orbitales) et de géométrie quelconque. Puis ces méthodes ont été appliquées à deux types de systèmes : les quasicristaux et les nanotubes de carbone. Les quasicristaux sont intrinsèquement apériodiques et leurs propriétés de transport particulières pourraient s'expliquer par des lois de diffusion quantique anormales. Nous avons étudié des modèles quasipériodiques à 2 et 3 dimensions et nous avons observé de telles lois. Nous avons aussi mis en évidence une dépendance particulière de ces lois par rapport à l'énergie du paquet d'ondes et par rapport aux éventuels défauts structuraux introduits dans le modèle. Les nanotubes de carbone multifeuillets peuvent, eux aussi, présenter une apériodicité intrinsèque dont nous avons étudié les conséquences possibles sur le transport. Nous avons étudié en particulier les oscillations de la magnétoconductance en présence d'un champ magnétique parallèle à l'axe du tube, et mis en évidence un effet de l'apériodicité sur ces oscillations.

Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal

Les patrons récursifs de déplacement, où l’individu revient à des sites déjà visités, sont très répandus. L’utilisation de la mémoire, supposée être avantageuse lorsque l’environnement est prévisible, pourrait être sous-jacente à l’émergence de ces patrons. Cependant, notre compréhension de l’interface mémoire-déplacement a jusqu'à présent été limitée par un manque de méthodes adaptées et d’investigation théorique des avantages de l’utilisation de la mémoire et des patrons qui en émergent. Au cours de cette thèse j’ai cherché à combler en partie ces manques. Je propose ici trois nouveaux cadres d'analyse des patrons récursifs de déplacement. Le premier délimite les zones les plus fréquemment revisitées par un individu, le deuxième détecte la périodicité dans les revisites de sites connus, et le troisième définit formellement et quantifie la routine de déplacement en termes de répétitivité de la séquence de déplacement, et propose un algorithme pour détecter les sous-séquences répétées. A l'aide d'un modèle individu-centré, nous montrons que l'utilisation de la mémoire dans un environnement prévisible est très avantageuse énergétiquement comparée à une stratégie de recherche sans mémoire, y compris en situation de compétition, et qu'elle mène à l'émergence de domaines vitaux stables et à la ségrégation spatiale entre individus. L'utilisation de la mémoire invalide plusieurs hypothèses très courantes faites par les études populationnelles, en menant à une forte déplétion de l’environnement, à une augmentation de la taille de la population à l’équilibre, et à une relation non linéaire entre la taille de population totale et l’intensité de compétition localement ressentie par les individus. Ainsi, ma thèse contribue à une meilleure compréhension des conséquences de la mémoire sur la valeur sélective des individus, sur les patrons de déplacement, et sur la démographie des populations. Elle propose des méthodes innovantes pour quantifier et caractériser les patrons récursifs de déplacement pouvant émerger de son utilisation. Ces méthodes devraient ouvrir de nouvelles opportunités de comparaisons entre individus de différentes populations ou espèces qui permettront le test d'hypothèses sur les pressions de sélection favorisant l'utilisation de la mémoire. / Recursive movement patterns, by which an individual returns to already visited sites, are very common. Memory use, hypothesized to be advantageous when the environment is predictable, could underlie the emergence of these patterns. However, our understanding of the memory-movement interface has been limited by two knowledge gaps. We still lack appropriate methodologies and theoretical knowledge of the advantages of memory use and of the patterns that emerge from it. During this PhD project, I aimed at filling in some of these gaps. I present here three new frameworks for the analysis of recursive movement patterns. The first one delimits the areas most frequently revisited by an individual, the second one detects periodic revisit patterns, and the third one formally defines and quantifies routine movement behaviour in terms of movement sequence repetitiveness, and presents an algorithm that detects the sub-sequences that are repeated. Using an individual-based model, we show that memory use, when the environment is predictable, is very energetically advantageous compared to foraging strategies that do not use memory, including in a situation of competition, and that it leads to the emergence of stable Home Ranges and spatial segregation between individuals. Memory use invalidates several hypotheses very commonly made in population studies, by leading to a stronger environmental depletion, to a higher equilibrium population size, and to a nonlinear relationship between the total population size and the individually-experienced intensity of competition. Therefore, my PhD thesis contributes to a better understanding of the consequences of memory use for the fitness of individuals, for movement patterns, and for population dynamics. It offers innovative methodologies that quantify and characterize recursive movement patterns that can emerge from its use. These methods should open new opportunities for the comparison of the movements of individuals from different populations and species, and thus the testing of hypotheses about the pressures that select for memory use.