Letteratura scientifica selezionata sul tema "Logique aléatoire"

Cet article se fonde sur l’intuition que l’on peut appréhender les pratiques vidéoludiques contemporaines, particulièrement pour les jeux de rôle en lignes massivement multi-joueurs, à partir de ce rapprochement que pose Hamayon entre, jeu, logique de chasse, anticipation et gestion de l’aléatoire. Après un état des lieux des logiques de la chasse dans l’univers deWorld of Warcraftsont décrites les stratégies cynégétiques des joueurs. Sur cette base est clarifiée la dialectique proie-prédation qui charpente les relations entre joueurs et non-humains informatiques dans ce monde numérique. Échappe à ces relations habituelles la figure du prédateur absolu, impossible à abattre seul, et qui fait que le chasseur peut se retrouver chassé. Les techniques d’anticipation collective, notamment en guilde, deviennent une des nouvelles ressources de survie, indispensables surtout pour gérer la part aléatoire de ce type de confrontation. C’est à ces stratégies de chasse particulières et à ces techniques de prévision que s’intéresse le dernier volet de cette analyse, y compris la gestion du butin aléatoire issu de la victoire collective contre de tels monstres digitaux.

Durant un an et demi, Rozenn Le Berre a travaillé comme éducatrice dans un service d’accueil pour des jeunes exilés, arrivés en France sans référent parental. Le parcours migratoire, le bouleversement des repères, la confrontation à une logique administrative aléatoire constituent des expériences éprouvantes pour ces mineurs isolés étrangers ou mineurs non accompagnés.

Caractérisée par une rupture apparente dans la causalité et un fonctionnement aléatoire, la sérendipité, ou le don de faire une découverte inattendue, interroge les domaines de la logique, de la sémiotique et de la recherche documentaire. Favorisée par la recherche sur Internet et la lecture non linéaire hypertextuelle, la sérendipité tend peu à peu à trouver une place légitime au sein de la recherche d’information. Cette réflexion interdisciplinaire s’ancre dans les domaines de la sémiotique, la logique, la documentation et les cultures numériques. À partir d’une lecture peircienne de la sérendipité, assimilant ce phénomène au concept d’abduction, j’effectuerai une analyse des moteurs de recherche et plus généralement de l’hypertextualité sur le Web 2.0. Les exemples convoqués seront quatre outils de recherche documentaire sur Internet, soit l’encyclopédie en ligne Wikipédia, le site Amazon et les moteurs de recherche Google et Oamos. À partir de ces analyses, il s’agira d’observer les impacts et les limites de la sérendipité dans le champ de la recherche d’information sur Internet. Favorisée par la structure du réseau, la sérendipité apparaît alors comme une disponibilité de l’esprit à l’improbable et soulève également le risque de recherches documentaires malheureuses à travers le phénomène inverse de zemblanité.

Résumé Psychanalyse et théologie s’entretiennent du rapport à l’Autre, posé comme condition de possibilité de parole et de vérité. Deux regards différents que l’auteur tente de cerner à même leur étrangeté réciproque. L’Autre de la psychanalyse comme instance logique, lieu vide et irréductible se trouve de connivence avec l’impossible du réel, c’est-à-dire un réel jamais rencontré autrement que par un rapport de fiction. Si l’Autre révèle le sujet comme assujetti au langage, il est aussi ouverture à sa dimension éthique comme sujet du désir. À son tour, l’Autre de la théologie s’inscrit comme l’irréductible d’un réel qui échappe. L'acte de foi cependant y rencontre le désir pour prendre le risque de figurer cet Autre, de le faire advenir au langage, tout en reconnaissant le caractère aléatoire des consistances imaginaires qu'il peut en produire. Il se met alors à l'écoute de ce qu'il peut en entendre pour y fonder l'éthique de ses productions humaines.

L’intégration de l’arbre dans la ville est devenue un enjeu de taille en matière de planificationurbaine. Les projets de villes nouvelles tentent de prendre en compte cette dimension. La création du pôleurbain de Diamniadio au Sénégal s’inscrit ainsi dans cette logique d’intégration paysagère. Cet article s’intéresse à l’image du baobab dans la construction de ce pôle urbain. Notre hypothèse est que cet arbre bénéficie d’une attention particulière en raison de son statut d’espèce protégée (il constitue d’ailleurs un des deux sceaux symboliques du Sénégal), mais également du fait qu’il fournit à la population des biens et services écosystémiques remarquables. Cette étude s’appuie sur des données d’inventaire des baobabs dans le pôle urbain de Diamniadio et sur des données d’enquête (quantitatives et qualitatives). Le recensement de baobabs in situ a permis d’identifier 333 individus répartis de façon aléatoire dans l’espace. Malgré la croissance urbaine, le baobab garde toujours son aspect d’arbre symbolique, gravé dans la mémoire collective.

Au fond, ce à quoi je suis convié, c’est a faire un pont entre deux évènements, la parution, en 1989, de mon livre « La rigueur de l’intuition » (A.M. Métailié), et sa suite logique qui vient de paraître (les vertus de l’oubli. Albin Michel), entre la réflexion et la pratique, la pratique et l’organisation. L’intuition, on peut la définir comme un objet scientifique invisible. Mais force est de constater qu’elle vole constamment au secours du médecin, du soignant, pour lui permettre de faire des choix thérapeutiques à la fois rapide et qui ne soient pas programmés anonymement à l’avance. Il faut, bien entendu, différencier l’intuition de l’expérience, qui elle favorise les trucs répétitifs. Les rapports de l’intuition et de la clinique sont à envisager sous trois angles :– l’intuition, à savoir l’implication inconsciente de l’observateur, lui permet de prendre en compte des signes et signaux multiples. Elle, et elle seule, favorise les liens intellectuels rapides, quasi immédiat entre ce qui est perçu du malade, ce qui est retenu de ce qui est perçu, et l’efficacité de la réaction du soignant à ce qui n’est apparemment pas « objectif ». On est donc là dans l’INTERPRETATION simultanée des symptômes ET du contre transfert. C’est un exercice difficile, aléatoire, auquel cependant on peut se former ;– sur le plan théorique, c’est grâce à W.R. Bion que l’intuition a fait son entrée dans la théorie psychanalytique. Il a même du, parce que tout cela est lié à la pratique, inventer des termes comme INTUIT, et comme le verbe INTUITER ;– cela implique deux choses sur le plan de l’organisation des soins, une formation adaptée, des classifications cliniques qui tiennent compte de l’implication affective et intellectuelle de l’observateur à l’observation.On remarquera que ces deux dimensions sont absolument contemporaines de l’invention de la psychanalyse, dont Freud voulait faire une science à part entière. Ce que je développais à l’époque dans la rigueur de l’intuition, et que je démontre, je crois dans l’OUBLI ET SES VERTUS. Entre temps, nous avons pu étendre ces amorces de réflexion à l’ensemble de la médecine, dont, faut-il le rappeler, la psychiatrie fait partie en mettant en place un OBSERVATOIRE DE LA MEDECINE DE LA PERSONNE, dont le premier congrès à justement pour thème : de la pratique à la théorie, de la théorie à l’organisation.

Résumé Messiah (Antoine), Mouret-Fourme (Emmanuelle). - Homosexualité, bisexualité : éléments de socio-biographie sexuelle L'enquête ACSF a permis d'obtenir un échantillon aléatoire de 210 hommes ayant eu dans leur vie au moins un rapport homosexuel. Plusieurs données socio-biographiques ont été analysées : pôle d'activité sexuelle sur plusieurs périodes, attirance sexuelle, vie en couple, caractéristiques socio-démographiques des individus et des couples, caractéristiques des premiers rapports sexuels, violence sexuelle subie, multipartenariat homo- et hétérosexuel, dialogues avec les parents et la famille pendant l'enfance, influence de la religion, et tolérance envers l'homosexualité masculine. Leur analyse montre que l'échantillon obtenu avec ACSF est très différent de ceux d'enquêtes spécifiques auprès d'homo/bisexuels masculins sans procédure aléatoire. Ainsi la population de bisexuels est très importante, allant de 64 à 96 % des homo/bisexuels selon la période investiguée. Certaines des caractéristiques des bisexuels sont intermédiaires entre celles des homosexuels et celles des hétérosexuels, alors que d'autres sont voisines de celles des hétérosexuels. Ces données montrent que les logiques biographiques et leurs conséquences socio-démographiques diffèrent selon le pôle d'activité sexuelle, et doivent être prises en compte dans les stratégies de prévention contre l'infection à VIH chez les homo/bisexuels masculins.

Dans une perspective d’exploration et d’invention de nouveaux processus de conception alternatifs, nous avons mis en place un dispositif robotique qui agit et communique avec un milieu biotique évolutif. Notre démarche s’inscrit dans le besoin urgent d’alternatives pour lutter contre la catastrophe écologique qui devient de plus en plus menaçante. Elle questionne l’impact du domaine de l’architecture et de la construction en général, dont les modèles de conception sont inscrits dans des logiques ultra-libérales et anthropocentrées qui participent ainsi de manière active à l’aggravation du problème climatique. Notre objectif a été de requestionner le rôle de l’architecte concepteur tel qu’il est perçu aujourd’hui, et de proposer à la place des démarches de conception plus douces, non-déterminées, aléatoires et inspirées du monde numérique et biologique. C’est ainsi que notre dispositif bio-robotique tente d’explorer une de ces voies ouvertes aux architectes à travers un système génératif, guidé par l’évolution de la matière vivante. Son but final est de reproduire et appliquer au domaine de la conception, les logiques d’auto-organisation préexistantes dans les écosystèmes naturels.

Une question reste actuelle : un code, envisagé comme l’aboutissement ultime de la réflexion sur le droit en tant qu’objet de science, doit-il être un ensemble construit qui obéit à une logique à la fois pratique et préétablie, ou ne peut-il être qu’un ouvrage de compilation des sources normatives présentées sous un format compact et aisé pour la consultation ? Cette question reste toujours au fond des problématiques contemporaines de la codification et elle avait déjà été envisagée, presque dans les mêmes termes, à l’occasion de l’immense entreprise que devait constituer la consignation par écrit des normes du droit. Aussi, est-ce à un aperçu de la progression de cette réflexion que l’on invite le lecteur à travers quelques-unes des grandes étapes historiques de cette évolution. Le besoin ressenti de disposer d’un corpus offrant une mise à disposition aisée des normes juridiques donna idée à des praticiens, essentiellement des juges, de mettre par écrit les normes coutumières qu’ils devaient mettre en oeuvre dans leurs jugements dès la fin du XIIe siècle. Puis, de privée qu’elle était, cette initiative fut reprise à son compte par le pouvoir royal dès le milieu du XVe : le roi Charles VII prescrivait en effet la rédaction officielle des coutumes des différents pays du royaume. La mise à disposition de ces ensembles normatifs, dorénavant écrits et moins aléatoires, permit de passer à l’observation des normes envisagées maintenant pour elles-mêmes. Le droit devint ainsi un objet de science, suscitant tout un travail de comparaison, de recherche de la rationalité des règles et même, la formulation que pourrait bien présider à un ensemble assez disparate, une forme d’esprit commun. Cet esprit commun fut un des moteurs de la quête pour une unité juridique du royaume et la question de la confection de codes put alors être abordée. Un tel travail commença avec le règne de Louis XIV et fut partiellement continué sous les règnes de ses successeurs, mais il n’avait concerné que les lois du roi et non l’ensemble du droit coutumier. C’est avec la Révolution française que le principe de constituer un Code civil unique pour la nation fut posé; mais il ne devait déboucher qu’en 1804. Le nouveau Code s’inspirait de la tradition antérieure tout en intégrant les apports que lui avait fait subir le droit révolutionnaire. Ce Code, qui a deux siècles d’existence, voit régulièrement se poser la question de sa refonte qui est sans cesse reculée pour privilégier des refontes partielles. À cet égard, la Belle Province sut prendre le pari d’offir un nouveau Code civil en 1994 pour remplacer l’ancien de 1867. Par ailleurs, on voit se multiplier l’apparition de « codes » qui n’en sont guère dans la mesure où ils se bornent à opérer des compilations sans obéir à aucune logique d’organisation. L’idée de codification demeure avec des questions inchangées quant au fond pour savoir ce que doit être un code. Ce petit détour par l’histoire permet ainsi d’éclairer le contexte ancien de questions actuelles.

<p>Every institution or organisation must now deal with the capacity building because the quality of human resources is helpful to any firm. Due to variables like the degree of external change, such as new markets or processes, the compliance of existing employees, and most importantly, the degree to which the organisation supports the idea of internal career development, the quantity and quality of training carried out greatly varies from organisation to organisation. Unlike some businesses, which start by recognising their training needs, then plan training activities logically, and then assess the results of training, most organisations satisfy their training needs in an ad hoc and random manner. Therefore, this study used Accra Technical University as a case study to examine the effects of capacity building on employee development in public sector firms. The goal of the study was to ascertain the function of staff capacity building, with a special focus on administrators who were arbitrarily chosen. The study evaluated Accra Technical University's training and development programme and examined whether employee performance has increased as a result of training. To gather primary data from university personnel, a questionnaire was created using structured questions. The findings suggested that employees were not properly informed about the organization's training and development programmes. The majority of employees believed that personal and organisational success could be achieved through training and development. The results showed that, in terms of the generally accepted planned and methodical structure of the training process, training techniques, methodologies, and activities were the best practises. The university should assist its workers by developing structured programmes for training and development of its employees, among other things, as well as ensuring that the procedures involved in training are properly followed.</p><p>Chaque institution ou organisation doit désormais s'occuper du renforcement des capacités car la qualité des ressources humaines est utile à toute entreprise. En raison de variables telles que le degré de changement externe, tels que de nouveaux marchés ou processus, la conformité des employés existants et, surtout, le degré auquel l'organisation soutient l'idée de développement de carrière interne, la quantité et la qualité de la formation dispensée grandement varie d'une organisation à l'autre. Contrairement à certaines entreprises, qui commencent par reconnaître leurs besoins de formation, puis planifient les activités de formation de manière logique, puis évaluent les résultats de la formation, la plupart des organisations satisfont leurs besoins de formation de manière ponctuelle et aléatoire. Par conséquent, cette étude a utilisé l'Université technique d'Accra comme étude de cas pour examiner les effets du renforcement des capacités sur le développement des employés dans les entreprises du secteur public. L'objectif de l'étude était de déterminer la fonction de renforcement des capacités du personnel, avec un accent particulier sur les administrateurs qui ont été choisis arbitrairement. L'étude a évalué le programme de formation et de développement de l'Université technique d'Accra et a examiné si les performances des employés avaient augmenté grâce à la formation. Afin de recueillir des données primaires auprès du personnel universitaire, un questionnaire a été créé à l'aide de questions structurées. Les résultats suggèrent que les employés n'étaient pas correctement informés des programmes de formation et de développement de l'organisation. La majorité des employés estimaient que le succès personnel et organisationnel pouvait être atteint grâce à la formation et au perfectionnement. Les résultats ont montré qu'en termes de structure planifiée et méthodique généralement acceptée du processus de formation, les techniques, méthodologies et activités de formation étaient les meilleures pratiques. L'université devrait aider ses travailleurs en développant des programmes structurés de formation et de développement de ses employés, entre autres, ainsi qu'en s'assurant que les procédures liées à la formation sont bien suivies.</p><p> </p><p><strong> Article visualizations:</strong></p><p><img src="/-counters-/soc/0001/a.php" alt="Hit counter" /></p>

La théorie de l'aléa effective étudie l'absence de structure qui caractérise l'aléa. La complexité de Kolmogorov est un outil fondamental de cette théorie et nous étudions les propriétés caractéristiques de cette fonctions. Dans un second temps noùs nous intéressons à la possibilité d'étendre l'étude de l'aléa aux suites de bits biaisés en nous demandant si la connaissance précise du biais ou non modifie la qualité de l'aléa que nous décrivons. Nous nous intéressons ensuite à la puissance logique de l'aléa: que peut on déduire du fait (non prouvable) qu'une suite est dénué de structure ? Enfin on s'intéresse a la possibilité de calculer une complétion de l'arithmétique à partir d'un algorithme utilisant de l'aléa
Theory of algorithmic randomness theory studies the Jack of structure that characterizes random objects Kolmogorov complexity is a fimdamental tool of this theory and we study the characteristic properties of this fonction. In a second step we investigate the possibility of extending the study of the biased random bit sequences wondering if precise knowledge of using or not changes the quality of randomness we describe, We then focus on the logic power of the random object: What can be inferred from the fact (non provable) that a sequence has no structure? Finally we look a the possibility of calculating a completion of arithmetic from an randomized algorithm

Par l’intermédiaire d’Esther Duflo et de son laboratoire le J-PAL, les expérimentations aléatoires ont connu un essor remarquable depuis les années 2000 en économie et sont présentées par leurs promoteurs comme une méthode particulièrement robuste dans l’évaluation d’impact. Combinant méthodologies quantitatives et qualitatives, cette thèse examine la construction sociale de la preuve expérimentale et apporte une contribution à une épistémologie sociale et historique des expérimentations aléatoires, ainsi qu’à la socio-économie de la quantification. Dans une première partie, nous développons une socio-histoire de cette méthode. Les origines des expérimentations aléatoires sont pluridisciplinaires et antérieures à leur utilisation massive en médecine depuis les années 1940, puis en économie depuis la fin des années 1960. Nous en tirons des enseignements méthodologiques éclairant la pratique actuelle des expérimentations aléatoires. Dans un second temps, nous nous intéressons aux acteurs de cette méthode, en nous penchant sur les chercheurs du J-PAL. En procédant à une analyse prosopographique, complétée par une analyse de réseau, nous montrons que les capitaux académiques élevés de ces chercheurs et l’existence de leaders permettent de contrôler et promouvoir la diffusion de la méthode. Dans une dernière partie, nous interrogeons la production de la preuve par les expérimentations aléatoires. En nous attachant à saisir les pratiques expérimentales, nous montrons que les validités interne et externe sont souvent problématiques. Enfin, nous analysons les liens contrariés entre expérimentations aléatoires et politique(s)
With Esther Duflo and her lab (the J-PAL), randomized controlled trials (RCTs) became trendy from the the 2000’s onward in economics and are presented by their advocates as the most robust method for impact evaluation. Relying on mixed methods, this thesis investigates the social construction of experimental evidence and contributes to a social and historical epistemology of RCTs and to the socio-economy of quantification.The first part develops a socio-history of this method. The origins of RCTs are multidisciplinary and precede their extensive use in medicine from the 1940s and in economics from the 1960s onward. This allows us to gain a deeper undestanding of the current use of RCTs.In the second part, we examine the stakeholders of this method, chiefly J-PAL researchers. Our prosopographical analysis, supplemented by a network analysis, demonstrates that their high level of academic capital and the presence of leaders allow for the control and the diffusion of RCTs.In the last part, we scrutinize the production of experimental evidence. By examining RCTs in operation, we show that both their internal and external validity are in many cases compromized. Finally, we explore the convoluted links between RCTs, policy and politics

La prise en compte d'événements en temps réel dans le raisonnement d'un système expert en ligne peut être résolue en utilisant un système PROLOG modifié travaillant sur une base de faits temps réel. On ajoute deux mécanismes essentiels au système déductif : d'une part, le backtracking dirigé par les événements qui est chargé de corriger les preuves, quand des événements se produisent et d'autre part, la gestion en parallèle des preuves logiquement indépendantes entre elles qui structure les raisonnements et optimise la correction des preuves. La cohérence logique entre les preuves et la base de faits s'appuie sur la représentation des connaissances de l'application.

Cette thèse se concentre sur l'apport du calcul en temps infini à la logique mathématique. Le calcul en temps infini est une variante de la traditionnelle définition du calcul comme suite finie d'étapes, chaque étape étant définie à partir des précédentes, et aboutissant à un état final. Dans le cas de cette thèse, nous considérons le cas où le nombre d'étapes n'est pas forcément fini, mais peut continuer le long des ordinaux, une extension des entiers. Il existe plusieurs manières d'implémenter cette idée, nous en utilisons trois : la calculabilité d'ordre supérieur, les machines de Turing à temps infini et l'α-récursion.Une part de ce travail concerne les mathématiques à rebours, et plus particulièrement le théorème de Hindman. Les mathématiques à rebours sont un programme mathématique consistant en l'étude des théorèmes et axiomes mathématiques du point de vue de leur "puissance", et établissant une hiérarchie sur celle-ci. En particulier la détermination des briques de bases, aussi appelées axiomes, qui sont nécessaires dans une preuve est centrale. Nous étudions au travers de ce prisme le théorème de Hindman, un théorème combinatoire de la théorie de Ramsey qui dit que pour tout partitionnement des entiers en un nombre fini d'ensembles, appelés couleurs, il doit exister une ensemble infini S d'entiers dont toute les sommes d'éléments issus de S ont la même couleur. Dans cette thèse, nous progressons dans la résolution de la question du système d'axiomes minimal pour prouver ce théorème, en montrant que l'existence d'objets combinatoires intermédiaires est prouvable dans un système d'axiome faible.La réduction de Weihrauch est une méthode récente de comparaison de puissance de théorème, qui les considère comme des problèmes à résoudre, puis compare leur difficulté. Cette réduction a été moins étudiée, et en particulier certains des principes les plus importants des mathématiques à rebours ne sont pas bien compris dans ce cadre. L'un d'eux est le principe ATR de Récursion Arithmétique Transfinie, un principe très lié au calcul en temps infini et plus particulièrement à la calculabilité d'ordre supérieur. Nous continuons l'étude de ce principe en montrant ses liens avec un type particulier d'axiome du choix, et l'utilisons pour séparer les versions dépendantes et indépendantes de ces axiomes.Un autre domaine de la logique mathématiques qui tire parti de la théorie de la calculabilité est l'aléatoire algorithmique. Ce domaine étudie les réels "aléatoires", c'est à dire ceux dont il paraît raisonnable qu'ils aient été obtenus de façon purement aléatoire. Une manière d'étudier cela est de considérer, étant donné un réel, la plus petite complexité algorithmique d'un ensemble de mesure 0 le contenant. Ce domaine est très riche et a déjà été étendu à certains types de calcul en temps infini, modifiant ainsi les classes de complexité considérées. Cependant, il a seulement très récemment été étendu aux machines de Turing à temps infini (ITTMs) et à l'α-récursion. Dans cette thèse, nous contribuons à l'étude des notions d'aléatoire pour ITTMs et α-récursion les plus naturelles. Nous montrons que deux classes importantes, le Σ-aléatoire et l'ITTM-aléatoire, ne sont pas automatiquement distinctes ; en particulier leurs équivalents catégoriques sont confondus
This thesis focuses on the gains of infinite time computations to mathematical logic. Infinite time computations is a variant of the traditional definition of computations as a finite sequence of stages, each stage being defined from the previous ones, and finally reaching a halting state. In this thesis, we consider the case where the number of stages is not necessarily finite, but can continue along ordinals, an extension of the integers. There exists several ways to implement this idea, we will use three of them: higher recursion, infinite time Turing machines and α-recursion.Part of this works concerns the domain of reverse mathematics, and especially Hindman's theorem. Reverse mathematics is a program consisting in the study of theorems and axioms from the point of view of their "strength", and establishing a hierarchy on these. In particular the question of which axioms are needed in a proof of a given statement is central. We study Hindman's theorem under this lens, a combinatorial result from Ramsey's theory stating that for every partitioning of the integers into finitely many colors, there must exists an infinite set such that any sum of elements taken from it has a fixed color. In this thesis, we make some progress in the question of the minimal axiomatic system needed to show this result, by showing that the existence of some intermediate combinatorial objects is provable in a weak system.Weihrauch reduction is a way to compare the strength of theorems, that has been introduced in reverse mathematics recently. It sees theorems as problems to solve, and then compare their difficulties. This reduction is still less studied in this context, in particular few of the most important principles of reverse mathematics are not yet well comprehended. One of these is the Arithmetical Transfinite Recursion principle, an axiomatic system with strong links with infinite time computations and especially higher recursion. We continue the study of this principle by showing its links with a particular type of axiom of choice, and use it to separate the dependent and independent version of this choice.Yet another field of mathematical logic that benefits from computability theory is the one of algorithmic randomness. It studies "random" reals, those that it would seem reasonable to think that they arise from a process picking a real uniformly in some interval. A way to study this is to considerate, for a given real, the smallest algorithmic complexity of a null set containing it. This domain has proven very rich and has already been extended to certain type of infinite time computation, thereby modifying the complexity class considered. However, it has been extended to infinite time Turing machine and α-recursion only recently, by Carl and Schlicht. In this thesis, we contribute to the study of the most natural randomness classes for ITTMs and α-recursion. We show that two important classes, Σ-randomness and ITTM-randomness, are not automatically different; in particular their categorical equivalent are in fact the same classes

Cette thèse propose l'étude des propriétés locales satisfaites par le modèle d'Ising défini sur un graphe torique d-dimensionnel. Lorsque la taille n du graphe tend vers l'infini, une limite pour leur probabilité d'apparition est obtenue en fonction des potentiels de surface a=a(n) et de paire b=b(n). En mettant en évidence un phénomème de seuil, nous déterminons le moment d'apparition dans le graphe d'une propriété locale donnée. Puis, en se plaçant à sa fonction seuil, nous démontrons une approximation poissonnienne pour sa probabilité d'apparition. Enfin, deux applications sont proposées : une estimation des potentiels a et b ainsi qu'un algorithme de débruitage d'images en niveaux de gris.

A travers ma thèse, j'étudie des systèmes propositionnels d'un point de vue probabilité/complexité. Je commence par deux distributions de probabilité sur les fonctions Booléennes, induites par des expressions Booléennes construites avec le connecteur Implication. On donne la structure de la plupart des expressions représentant une fonction donnée, quand le nombre de variables tend vers l'infini. On obtient ainsi l'équivalent asymptotique de la probabilité de la fonction, dépendant de sa complexité. Via la fonction Vrai, on compare quantitativement les logiques classique et intuitionniste de l'implication. Cette comparaison met en évidence certaines propriétés d'une classe d'expressions, qui se retrouvent dans le système propositionnel complet : on compare alors les deux logiques dans ce système. Enfin on étudie les expressions équilibrées des deux systèmes, de l'implication et des deux connecteurs Et et Ou. Dans les deux cas, on exhibe la distribution de probabilité sur les fonctions
In this thesis, I am interested in propositional systems from a probability/complexity point of view. I begin with two probability distributions on Boolean functions, induced by the Boolean expressions built with the Implication connective. I obtain the structure of most of the expressions representing a given function, when the number of variables tends to infinity. This gives the asymptotic equivalent of the probability of the function, depending on its complexity. Via the function True, we compare quantitatively the intuitionistic and classical logics of implication. This comparison highlights some properties of a class of expressions, that are found also in the full propositional system, and we can compare the two logics in this system. Finally we study balanced expressions in the two systems built on implication, or on the two connectors And and Or. In both cases, we exhibit the probability distribution of the functions

Les générateurs de nombres aléatoires sont des blocs destinés à produire des quantités numériques qui doivent être indépendantes et uniformément distribuées. Ces RNG sont utilisés dans des contextes sécuritaires où l'utilisation de nombres aléatoires est requise (génération de clefs cryptographiques, nonces des protocoles cryptographiques, marqueurs anti-rejeu, contre-mesures face aux attaques par canaux cachés) et où leur qualité est primordiale. Tous les composants électroniques ayant une fonction sécuritaire, comme par exemple les cartes à puces, incluent un ou plusieurs générateurs aléatoires (basés sur des principes physiques). En conséquence, le RNG est une brique centrale des applications sécuritaires et sa défaillance, totale ou partielle met donc en péril la fonctionnalité dans son ensemble. Ce travail de thèse porte sur l'étude des RNG physiques (PTRNG) et la modélisation de l'aléa à partir des caractérisations électroniques et mathématiques du circuit. Cette étude se place essentiellement dans le contexte de la norme AIS 31 du BSI* qui fait référence dans de nombreux pays européens. Cette norme est l‘une des rares qui impose des caractérisations sur les PTRNG, incluant notamment un modèle stochastique de ce dernier. Dans ce contexte, il est crucial de pouvoir valider la méthodologie d'évaluation proposée par ces normes et c'est sur ce point que j'ai focalisé mon travail de thèse.*Bundesamt für Sicherheit in der Informationstechnik, agence fédérale allemande chargée de la sécurité des technologies de l'information
Random number generators (RNG) are primitives that produce independent and uniformly distributed digital values, RNG are used in secure environments where the use of random numbers is required (generation of cryptographic keys, nonces in cryptographic protocols, padding values, countermeasures against side-channel attacks) and where the quality of the randomness is essential. All electronic components with a security function, such as smart cards, include one or more random generators (based on physical principles). Consequently, the RNG is an essential primitive for security applications. A flaw in security of the random number generation process directly impacts the security of the cryptographic system. This thesis focuses on the study of physical RNG (PTRNG), the modeling of its randomness and an electronic characterizations of the circuit. This study is in the context of the AIS-31 standard which is published by the BSI* and followed by many European countries. This standard is one of the few that require a characterizations of the PTRNG and a stochastic model. In this context, it is crucial to validate the evaluation methodology proposed by these standards and l focused on them during my thesis.*Bundesamt fiir Sicherheit in der Informationstechnik, federal agency German responsible for the security of information technology

Depuis leur introduction en 2006, les systèmes de spins artificiels ont suscité un large intérêt autant pour leur similarité avec des systèmes frustrés tels que la glace d'eau ou certains pyrochlores. Ces réseaux de nano-aimants sont observables par des techniques de microscopie simples et modifiables à volonté. Dans ce travail, nous avons étudié des modifications de géométries classiques pour l’étude de l’évolution des interactions et pour l’élaboration d’un dispositif. Dans un premier temps, nous avons étudié la modification des interactions par la rotation des éléments d’un système carré. Pour un système dans l’état brut de croissance, l’état de fondamental évolue d’ordre antiferromagnétique à ferromagnétique suivant les prédictions de calculs dipolaires. En considérant les interactions longue portée dans nos simulations Monte Carlo, nous avons décrit l’énergie dipolaire totale ainsi que les populations de vertex de notre système. Cette description a mené à une étude de la thermodynamique du système et la détermination d’une température effective unique. Ensuite, nous nous sommes intéressés à la possibilité de « tailler sur mesure » ces systèmes de spins artificiels pour des applications de calcul. Nous avons commencé par montrer que ces systèmes sont plus adaptés en exploitant de la propagation de paroi plutôt que le couplage. Nous avons ensuite établi que le défi dans de grandes structures connectées est le compromis entre champ de nucléation et champ de piégeage du haut de la structure. Par une optimisation fine de sa forme, nous avons observé la propagation d’une paroi injectée à un endroit choisi. Cette propagation a été caractérisée en termes de champs de propagation, de types de renversements et a montré que notre système optimisé permet des propagations en majorité unidimensionnelles qui sont stochastiques. Ce comportement aléatoire a pu être décrit par un poids moyen décrivant l’ensemble des choix réalisés, ces derniers ne présentant aucune corrélation entre eux. Notre étude a démontré que les systèmes de spins peuvent être utilisés pour de la génération de nombres aléatoires au même titre qu’une planche de Galton. Cette thèse a donc montré la versatilité des systèmes de spins artificiels en qualité de glace de spin pour la compréhension de la modification des interactions dans leur thermodynamique. Ce travail a aussi démontré leur versatilité pour des applications de génération de nombres aléatoires grâce à une optimisation de leur géométrie
Since their introduction in 2006, artificial spin ice systems have sparked an interest for their similarity with frustrated systems such as water ice or some pyrochlores. These networks of interacting nanomagnets can be observed using simple microscopy techniques and be tailored at will. In this work, we have studied customised geometries in order to observe the evolution of dipolar interactions and develop a device. First, we have studied the tuning of the dipolar interactions induced by rotation of the elements of the square geometry. For an as-grown system that the ground state evolution from antiferromagnetic to ferromagnetic orders observed is consistent with dipolar computations. Taking into account the long-range interactions in our Monte Carlo simulations, we have described the total dipolar energy along with the vertex populations of our system with all its tilted networks. This has led to a study of the thermodynamics of our system and a unique effective could be ascribed. Secondly, we have taken an interest into the possibility of tailoring these artificial spin systems for applications in random number generation. We have seen that these systems are a better fit exploiting domain wall propagation rather than reversals by coupling. We have then established that the main challenge to overcome in large connected structures is the trade-off between nucleation field from the outputs and depinning field of the upper part of the nanostructure. Indeed, it is necessary to ensure than the domain wall propagating in the structure is indeed the injected one and that no parasitic nucleation occurs which is overcome this issue. The domain wall propagation has been characterised in terms of propagation fields and types of reversals. We have shown that our optimised system exhibits reversal induced by the injected domain wall mainly in unidimensional fashion with clear stochastic behaviour. The characterisation of this behaviour has shown that a mean weight value describes the choices observed which do not exhibit any correlation. Our artificial spin system therefore behaves as a Galton board, the prime device for random number generation. This PhD work has shown the versatility of artificial spin systems as spin ice for understanding the influence of tuned interactions in their thermodynamics. This work has also demonstrated their versatility for an application with the characterisation of their stochastic behaviour through an optimisation of the geometry

La problématique de la classification de données spatiales se pose par exemple lorsqu'on segmente une image en régions homogènes ou lorsqu'on cartographie des données multidimensionnelles localisées telles que des relevés physico-chimiques du sol. Dans ce travail, les méthodes proposées s'appuient sur des distributions de probabilité afin de modéliser les mécanismes engendrant la partition non observée et les observations. S'il s'agit d'effectuer les regroupements en se basant uniquement sur les valeurs observées, on rappelle que les modèles de mélange, la vraisemblance classifiante et l'algorithme EM procurent des solutions flexibles et relativement simples à mettre en œuvre. Afin d'intégrer en outre une hypothèse d'homogénéité spatiale de la partition, on se propose de conduire des raisonnements similaires dans le cadre des modèles utilisant un champ de Markov caché. D'une part, on démontre qu'en appliquant l'algorithme EM au cas des champs de potts cachés avec une approximation de champ moyen, on effectue les mêmes calculs que l'optimisation alternée d'une vraisemblance classifiante floue. Ce constat permet d'améliorer sur certains points une méthode de classification spatiale floue itérative récemment proposée. Sur des données simulées et réelles, la méthode obtenue fournit des résultats comparables aux techniques utilisant des simulations de Monte-Carlo pour un cout algorithmique moindre. D'autre part, on adapte l'approche précédente à des types particuliers de données spatiales. Pour un problème d'écologie numérique, on construit ainsi une méthode visant à classifier des indicateurs de présence/absence localisés. On propose selon une démarche analogue un algorithme de classification peu sensible aux valeurs atypiques. Enfin, pour traiter des données spatiales incomplètes, on propose d'optimiser une vraisemblance classifiante dont le modèle statistique sous-jacent intègre la notion de valeurs manquantes.

La théorie des modèles finis est devenue un enjeu important de l'informatique. Les probabilités y jouent un rôle central, comme objet d'étude et comme méthode de preuve. En effet, elles conduisent aux notions de loi 0-1 et de convergence et autorisent des preuves d'existence particulièrement concises. Nous répondons à une question de Kolaitis et Vardi en donnant deux preuves finitistes de la loi 0-1 pour les énoncés de Bernays-Schönfinkel et Ackermann quantifiés existentiellement au second ordre. Nous établissons aussi la conjecture de ces auteurs sur l'incomparabilité du pouvoir d'expression de ces deux langages. Nous montrons que le problème de la frontière des lois 0-1 dans la logique du second ordre est intéressant. Nous formulons une conjecture donnant la position de cette frontière, et la prouvons en partie pour le deuxième niveau de la hiérarchie du second ordre. Nous fournissons aussi le tableau complet des lois 0-1 et de convergence de l'ensemble des propriétés monotones dans les graphes aléatoires pour la classe des probabilités d'arêtes la plus étudiée d'un point de vue logique. Nos résultats montrent que ces propriétés sont sensibles au double saut découvert par Erdös et Rényi, mais insensibles à la curieuse dichotomie rationnel / irrationnel obtenue par Shelah et Spencer pour la logique du premier ordre. Nous ouvrons ainsi l'étude des phénomènes de convergence de langages préservés par extension, comme DATALOG, pour des structures aléatoires peu denses, susceptibles de rendre compte de situations concrètes en informatique.