Linnaean taxonomyLinnaean taxonomy can mean either of two related concepts: The particular form of biological classification (taxonomy) set up by Carl Linnaeus, as set forth in his Systema Naturae (1735) and subsequent works. In the taxonomy of Linnaeus there are three kingdoms, divided into classes, and they, in turn, into lower ranks in a hierarchical order. A term for rank-based classification of organisms, in general. That is, taxonomy in the traditional sense of the word: rank-based scientific classification.
Méthode formelle (informatique)En informatique, les méthodes formelles sont des techniques permettant de raisonner rigoureusement, à l'aide de logique mathématique, sur un programme informatique ou du matériel électronique numérique, afin de démontrer leur validité par rapport à une certaine spécification. Elles reposent sur les sémantiques des programmes, c'est-à-dire sur des descriptions mathématiques formelles du sens d'un programme donné par son code source (ou, parfois, son code objet).
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.
Amarrage (moléculaire)vignette|Petite molécule amarrée à une protéine. Dans le domaine de la modélisation moléculaire, l’amarrage (en anglais docking) est une méthode qui calcule l'orientation préférée d'une molécule vers une seconde lorsqu'elles sont liées pour former un complexe stable. Connaître l'orientation préférée sert à prévoir la solidité de l'union entre deux molécules. Les associations entre des molécules d'importance biologique, telles que les protéines, les acides nucléiques, les glucides et les matières grasses jouent un rôle essentiel dans la transduction de signal.
TaxonomyTaxonomy is the practice and science of categorization or classification. A taxonomy (or taxonomical classification) is a scheme of classification, especially a hierarchical classification, in which things are organized into groups or types. Among other things, a taxonomy can be used to organize and index knowledge (stored as documents, articles, videos, etc.), such as in the form of a library classification system, or a search engine taxonomy, so that users can more easily find the information they are searching for.
Réplication de l'ADNredresse=1.2|vignette La réplication de l'ADN, aussi appelée duplication de l'ADN ou synthèse de l'ADN, est le processus au cours duquel l'ADN est synthétisé. Ce mécanisme permet d'obtenir, à partir d'une molécule d'ADN, deux molécules identiques à la molécule initiale. L'ADN dupliqué sera par la suite divisé entre les deux cellules filles lors de la division cellulaire (mitose et méiose). Cela permet de maintenir l'information génétique et de produire deux cellules filles avec un matériel génétique identique.
Scientific literatureScientific literature comprises academic papers that report original empirical and theoretical work in the natural and social sciences. Within a field of research, relevant papers are often referred to as "the literature". Academic publishing is the process of contributing the results of one's research into the literature, which often requires a peer-review process. Original scientific research published for the first time in scientific journals is called the primary literature.
Haplotypevignette|Haplotypes issus de la comparaison des PN dans une partie du même chromosome de 4 individus. Un haplotype est un groupe d'allèles de différents loci situés sur un même chromosome et habituellement transmis ensemble. Haplotype est un mot-valise formé par la contraction de la locution anglaise haploid genotype, ou génotype haploïde. L'ensemble des gènes situés sur un même chromosome et dont les allèles ségrègent ensemble lors de la méiose constituent un haplotype. Ces gènes sont dits « génétiquement liés ».
Révolution scientifiquevignette|Fresque représentant Galilée et le Doge de Venise, Giuseppe Bertini, 1858 La révolution scientifique est généralement considérée comme une discontinuité de la pensée scientifique à une époque donnée, cette rupture amenant un champ disciplinaire — ou plusieurs — à se réorganiser autour de principes et axiomes nouveaux. La notion de « révolution scientifique », portée notamment par Alexandre Koyré (1892, Taganrog - 1964, Paris), Herbert Butterfield (1900, Yorkshire - 1979, Sawston) et Thomas Kuhn (1922, Cincinnati - 1996 Cambridge, Massachusetts), a fait l'objet d'un certain nombre de critiques, car elle implique une rupture totale avec les savoirs anciens.
Langage formelUn langage formel, en mathématiques, en informatique et en linguistique, est un ensemble de mots. L'alphabet d'un langage formel est l'ensemble des symboles, lettres ou lexèmes qui servent à construire les mots du langage ; souvent, on suppose que cet alphabet est fini. La théorie des langages formels a pour objectif de décrire les langages formels. Les mots sont des suites d'éléments de cet alphabet ; les mots qui appartiennent à un langage formel particulier sont parfois appelés mots bien formés ou formules bien formées.
Models of scientific inquiryModels of scientific inquiry have two functions: first, to provide a descriptive account of how scientific inquiry is carried out in practice, and second, to provide an explanatory account of why scientific inquiry succeeds as well as it appears to do in arriving at genuine knowledge. The philosopher Wesley C. Salmon described scientific inquiry: The search for scientific knowledge ends far back into antiquity.
Démonstration formelleUne démonstration formelle est une séquence finie de propositions (appelées formules bien formées dans le cas d'un langage formel) dont chacun est un axiome, une hypothèse, ou résulte des propositions précédentes dans la séquence par une règle d'inférence. La dernière proposition de la séquence est un théorème d'un système formel. La notion de théorème n'est en général pas effective, donc n'existe pas de méthode par laquelle nous pouvons à chaque fois trouver une démonstration d'une proposition donnée ou de déterminer s'il y en a une.
