Théorie fondamentale de la biologie moléculairePar théorie fondamentale de la biologie moléculaire, les biologistes représentent le modèle schématique de la conservation et de l'utilisation de l'information génétique. L'ADN est le support stable et transmissible de l'information génétique qui définit les fonctions biologiques d'un organisme (reproduction, nutrition, excrétion, action sur l'environnement, communication, etc.).
Centrale nucléaireUne centrale nucléaire est un site industriel destiné à la production d'électricité, comprenant un ou plusieurs réacteurs nucléaires. La puissance électrique d'une centrale varie de quelques mégawatts à plusieurs milliers de mégawatts en fonction du nombre et du type de réacteur en service sur le site. L'énergie d'une centrale nucléaire provient de la fission de noyaux d'atomes lourds.
Machine de TuringEn informatique théorique, une machine de Turing est un modèle abstrait du fonctionnement des appareils mécaniques de calcul, tel un ordinateur. Ce modèle a été imaginé par Alan Turing en 1936, en vue de donner une définition précise au concept d’algorithme ou de « procédure mécanique ». Il est toujours largement utilisé en informatique théorique, en particulier dans les domaines de la complexité algorithmique et de la calculabilité.
Automate finithumb|upright=2|Fig. 1 : Une hiérarchie d'automates. Un automate fini ou automate avec un nombre fini d'états (en anglais finite-state automaton ou finite state machine ou FSM) est un modèle mathématique de calcul, utilisé dans de nombreuses circonstances, allant de la conception de programmes informatiques et de circuits en logique séquentielle aux applications dans des protocoles de communication, en passant par le contrôle des processus, la linguistique et même la biologie.
Binary classificationBinary classification is the task of classifying the elements of a set into two groups (each called class) on the basis of a classification rule. Typical binary classification problems include: Medical testing to determine if a patient has certain disease or not; Quality control in industry, deciding whether a specification has been met; In information retrieval, deciding whether a page should be in the result set of a search or not. Binary classification is dichotomization applied to a practical situation.
Autopollinisationvignette|L'ophrys abeille (Ophrys apifera) pratique l'autopollinisation à peine la fleur épanouie : la pollinie (flèche) courbe son long caudicule flexible afin de toucher la surface stigmatique réceptive du pistil. L'autopollinisation est le déplacement d'un grain de pollen d'une fleur vers le stigmate de la même fleur ou d'une fleur de la même plante. Dans certains cas, l'autopollinisation peut conduire à l'autofécondation appelée autogamie.
Réparation de l'ADNright|vignette|Chromosomes montrant de nombreuses lésions. La réparation de l'ADN est un ensemble de processus par lesquels une cellule identifie et corrige les dommages aux molécules d'ADN qui codent son génome. Dans les cellules, l'acide désoxyribonucléique (ADN) est soumis continuellement à des activités métaboliques normales et à des facteurs environnementaux portant atteinte à son intégrité. Ces facteurs environnementaux sont le plus souvent de nature chimique comme les radicaux libres de l'oxygène et les agents alkylants, ou physique, comme les radiations ultraviolettes et les rayonnements ionisants.
Vérification formelleIn the context of hardware and software systems, formal verification is the act of proving or disproving the correctness of intended algorithms underlying a system with respect to a certain formal specification or property, using formal methods of mathematics. Formal verification can be helpful in proving the correctness of systems such as: cryptographic protocols, combinational circuits, digital circuits with internal memory, and software expressed as source code.
Self-reconfiguring modular robotModular self-reconfiguring robotic systems or self-reconfigurable modular robots are autonomous kinematic machines with variable morphology. Beyond conventional actuation, sensing and control typically found in fixed-morphology robots, self-reconfiguring robots are also able to deliberately change their own shape by rearranging the connectivity of their parts, in order to adapt to new circumstances, perform new tasks, or recover from damage.
Economics of nuclear power plantsNuclear power construction costs have varied significantly across the world and in time. Large and rapid increases in cost occurred during the 1970s, especially in the United States. Recent cost trends in countries such as Japan and Korea have been very different, including periods of stability and decline in costs. New nuclear power plants typically have high capital expenditure for building plants. Fuel, operational, and maintenance costs are relatively small components of the total cost.
Arbre de décision (apprentissage)L’apprentissage par arbre de décision désigne une méthode basée sur l'utilisation d'un arbre de décision comme modèle prédictif. On l'utilise notamment en fouille de données et en apprentissage automatique. Dans ces structures d'arbre, les feuilles représentent les valeurs de la variable-cible et les embranchements correspondent à des combinaisons de variables d'entrée qui mènent à ces valeurs. En analyse de décision, un arbre de décision peut être utilisé pour représenter de manière explicite les décisions réalisées et les processus qui les amènent.
HermaphroditeA hermaphrodite (hərˈmæfrəˌdaɪt) is a sexually reproducing organism that produces both male and female gametes. Animal species in which individuals are of different sexes, either male or female but not both, are gonochoric, which is the opposite of hermaphroditic. The individuals of many taxonomic groups of animals, primarily invertebrates, are hermaphrodites, capable of producing viable gametes of both sexes. In the great majority of tunicates, mollusks, and earthworms, hermaphroditism is a normal condition, enabling a form of sexual reproduction in which either partner can act as the female or male.
