BPP (complexité)En informatique théorique, plus précisément en théorie de la complexité, la classe BPP (bounded-error probabilistic polynomial time) est la classe de problèmes de décision décidés par une machine de Turing probabiliste en temps polynomial, avec une probabilité d'erreur dans la réponse inférieure à 1/3. La classe BPP est l'ensemble des problèmes, ou de façon équivalente des langages, pour lesquels il existe une machine de Turing probabiliste en temps polynomial qui satisfait les conditions d'acceptation suivantes : Si le mot n'est pas dans le langage, la machine le rejette avec une probabilité supérieure à 2/3.
Centaure (planétoïde)En astronomie, les centaures sont des petits corps glacés qui gravitent autour du Soleil entre Jupiter et Neptune. Ils ont été nommés d'après la race mythique des centaures. Les centaures sont généralement de petite taille, et le membre le plus grand, (10199) Chariclo, a un diamètre de seulement 302 km. Un centaure peut être défini, en première approximation, comme un astéroïde qui orbite entre Jupiter et Neptune et croise l'orbite d'une ou plusieurs planètes géantes gazeuses.
Disque des objets éparsLe disque des objets épars est un ensemble regroupant les objets transneptuniens au-delà de la ceinture de Kuiper (à environ ) dont l'orbite est fortement excentrique. La distance des objets épars au Soleil varie énormément et peut atteindre une centaine d'ua et plus ; leur orbite est souvent excentrique contrairement aux cubewanos, les objets classiques de la ceinture de Kuiper. Le diagramme de droite illustre les orbites de tous les objets épars connus (en 2006) jusqu’à avec les objets de la ceinture de Kuiper (en gris) et les objets résonants (en vert), pour la comparaison.
Perturbation (astronomie)Perturbation est un terme utilisé en astronomie en relation avec la description du mouvement complexe d'un objet massif soumis aux effets gravitationnels significatifs de plus d'un autre objet massif. Un tel mouvement complexe peut être décomposé schématiquement en composantes. Premièrement, il y a le mouvement hypothétique que le corps suivrait, s'il se déplaçait sous l'effet gravitationnel de l'autre corps seulement. Exprimé en d'autres termes, un tel mouvement peut être vu comme une solution du problème à deux corps, ou d'une orbite képlérienne non perturbée.
(90377) Sedna(90377) Sedna est un objet transneptunien du Système solaire d'un diamètre d'environ , ce qui en fait un candidat au statut de planète naine. En , sa distance au Soleil était d’environ ( de kilomètres), près de trois fois celle de Neptune. Cette position, cependant, est près de son périhélie ; son aphélie de ( de kilomètres) fait de Sedna, pendant la plus grande partie de son orbite, un des objets connus du Système solaire les plus lointains après les comètes à longue période. Sedna fut découverte par Michael E.
Concurrency controlIn information technology and computer science, especially in the fields of computer programming, operating systems, multiprocessors, and databases, concurrency control ensures that correct results for concurrent operations are generated, while getting those results as quickly as possible. Computer systems, both software and hardware, consist of modules, or components. Each component is designed to operate correctly, i.e., to obey or to meet certain consistency rules.
Référence (programmation)En programmation, une est une valeur qui est un moyen d'accéder en lecture et/ou écriture à une donnée située soit en mémoire principale soit ailleurs. Une référence n'est pas la donnée elle-même mais seulement une information sur sa localisation. Beaucoup de langages de programmation permettent l'utilisation de références, que ce soit de façon explicite ou implicite. Quand le langage de programmation dispose d'un système de typage, le type des références est construit à partir du type des objets référencés.
Complexité irréductibleLa complexité irréductible est la thèse selon laquelle certains systèmes biologiques sont trop complexes pour être le résultat de l'évolution de précurseurs plus simples ou « moins complets », du fait de mutations au hasard et de la sélection naturelle. Le terme a été inventé et défini en 1996 par le professeur de biochimie Michael Behe, un système de complexité irréductible étant .
Specified complexitySpecified complexity is a creationist argument introduced by William Dembski, used by advocates to promote the pseudoscience of intelligent design. According to Dembski, the concept can formalize a property that singles out patterns that are both specified and complex, where in Dembski's terminology, a specified pattern is one that admits short descriptions, whereas a complex pattern is one that is unlikely to occur by chance. Proponents of intelligent design use specified complexity as one of their two main arguments, alongside irreducible complexity.
Base de donnéesUne base de données permet de stocker et de retrouver des données structurées, semi-structurées ou des données brutes ou de l'information, souvent en rapport avec un thème ou une activité ; celles-ci peuvent être de natures différentes et plus ou moins reliées entre elles. Leurs données peuvent être stockées sous une forme très structurée (base de données relationnelles par exemple), ou bien sous la forme de données brutes peu structurées (avec les bases de données NoSQL par exemple).
