Espècevignette| redresse=1.2| L'espèce est l'unité de base de la classification du vivant. Dans les sciences du vivant, l’espèce (du latin species, « type » ou « apparence ») est le taxon de base de la systématique. La définition la plus communément admise est celle du concept biologique : une espèce est un ensemble d'individus qui peuvent effectivement ou potentiellement se reproduire entre eux et engendrer une descendance viable et féconde, dans des conditions naturelles.
Complexe d'espècesthumb|Un champignon du genre Stereum, près de Mörfelden-Walldorf, Hesse (Allemagne). Dans le complexe d'espèces Stereum hirsutum–Stereum ostrea, seul un examen microscopique permet de déterminer quel individu appartient à quelle espèce.En biologie, un complexe d'espèces est un groupe d'organismes étroitement apparentés qui sont si semblables en apparence que les limites entre eux (permettant de les distinguer les uns des autres) sont souvent peu évidentes.
Sémantique opérationnelleEn informatique, la sémantique opérationnelle est l'une des approches qui servent à donner une signification aux programmes informatiques d'une manière rigoureuse, mathématiquement parlant (voir Sémantique des langages de programmation). Une sémantique opérationnelle d'un langage de programmation particulier décrit comment chaque programme valide du langage doit être interprété en termes de suite d'états successifs dans la machine. Cette suite d'états est la signification du programme.
Sémantique dénotationnelleEn informatique, la sémantique dénotationnelle est une des approches permettant de formaliser la signification d'un programme en utilisant les mathématiques. Parmi les autres approches, on trouve la sémantique axiomatique et la sémantique opérationnelle. Cette discipline a été introduite par Christopher Strachey et Dana Scott. En général, la sémantique dénotationnelle utilise des techniques de programmation fonctionnelle pour décrire les langages informatiques, les architectures et les programmes.
Signalisation cellulaireLa signalisation cellulaire est un système complexe de communication qui régit les processus fondamentaux des cellules et coordonne leur activité. La capacité des cellules à percevoir leur micro-environnement et à y répondre correctement est à la base de leur développement et de celui des organismes multicellulaires, de la cicatrisation et du système immunitaire, ainsi que de l'homéostasie tissulaire normale. Des dysfonctionnements dans le traitement de l'information cellulaire peuvent être responsables de maladies telles que le cancer, les maladies auto-immunes et le diabète.
Transduction de signalLa transduction de signal désigne le mécanisme par lequel une cellule répond à l'information qu'elle reçoit, par des agents chimiques ou autres signaux (tension,...). Elle commande une cascade de signaux secondaires, internes à la cellule (« signalling ») ou externes (ex: action sur d'autres types cellulaires via des interleukines), et des processus cellulaires internes (métabolisme, cycle cellulaire, motilité,...). La transduction est la deuxième étape de ce que l'on appelle la cascade de signalisation : Un signal extra-cellulaire (ligand, neuromédiateur.
Théorie des jeux combinatoiresLa théorie des jeux combinatoires est une théorie mathématique qui étudie les jeux à deux joueurs comportant un concept de position, et où les joueurs jouent à tour de rôle un coup d'une façon définie par les règles, dans le but d'atteindre une certaine condition de victoire. La théorie des jeux combinatoires a pour objet les jeux à information complète où le hasard n'intervient pas, comme les échecs, les dames ou le jeu de go.
Wnt (protéines)Wnt est une famille de glycoprotéines intervenant dans l'embryogenèse et le cancer. Le nom Wnt (prononcez « winnt ») est la réunion de Wg (, en français « sans aile ») et Int (, en français « site d'intégration »). Le gène wingless a été identifié en premier lieu en tant que gène impliqué dans la morphogenèse chez la mouche du vinaigre Drosophila melanogaster. Wnt est une famille de glycoprotéines riches en cystéines d'environ 350 acides aminés sécrétées dans le milieu extracellulaire, jouant un rôle important chez tous les animaux dans l'embryogenèse et l'homéostasie des tissus adultes (de ce fait son dérèglement peut conduire à des cancers).
Aire de répartitionvignette|Exemples d'aires de répartition d'espèces vivantes. L’aire de répartition, appelée aussi aire de distribution ou simplement distribution, est la zone délimitant la répartition géographique d'une espèce vivante ou de toute autre unité taxonomique qui inclut la totalité de ses populations. L'aire d'une espèce peut être continue ou au contraire disjointe (répartition en métapopulations). L'étude descriptive de la répartition géographique des espèces vivantes est la géonémie et celle explicative de ses causes est la chorologie.
SemanticsSemantics () is the study of reference, meaning, or truth. The term can be used to refer to subfields of several distinct disciplines, including philosophy, linguistics and computer science. In English, the study of meaning in language has been known by many names that involve the Ancient Greek word σῆμα (sema, "sign, mark, token"). In 1690, a Greek rendering of the term semiotics, the interpretation of signs and symbols, finds an early allusion in John Locke's An Essay Concerning Human Understanding: The third Branch may be called σημειωτική [simeiotikí, "semiotics"], or the Doctrine of Signs, the most usual whereof being words, it is aptly enough termed also λογικὴ, Logick.
Voie de signalisation Notchvignette|N1 dll4 cells. La voie de signalisation Notch est une cascade de signalisation conservée chez tous les métazoaires. Elle doit son nom au gène Notch, qui code le premier élément de la cascade, le récepteur transmembranaire Notch. La voie de signalisation Notch va permettre de déterminer le lignage d'une cellule. C'est une grande protéine encastrée dans la membrane et qui va être clivée pour ensuite s'intégrer dans une autre protéine, Delta. Le peptide restant de Notch est encore clivé et va aller dans le noyau pour réguler l'expression de certains gènes.
Phylogénétique moléculairevignette|Séquençage moléculaire La phylogénétique moléculaire est l'utilisation de séquences de macromolécules biologiques pour obtenir des informations sur l'histoire évolutive des organismes vivants, et notamment sur leurs liens de parenté (leur phylogénie). C'est un important outil d'étude parmi ceux de l'évolution moléculaire. Le produit d'une analyse de phylogénétique moléculaire est soit un arbre phylogénétique, soit un graphe du réseau phylogénétique.
Horloge moléculaireEn génétique, l'hypothèse de l'horloge moléculaire est une hypothèse selon laquelle les mutations génétiques s'accumulent dans un génome à une vitesse constante. Elle permet ainsi théoriquement, en reliant le taux de mutation des gènes à la différence génétique entre espèces proches, d'établir une échelle chronologique approximative de la divergence de ces espèces. En 1962, Émile Zuckerkandl et Linus Pauling observent ce phénomène dans la partie du génome codant l'hémoglobine entre deux espèces données.
Modèle mathématiquevignette|Un automate fini est un exemple de modèle mathématique. Un modèle mathématique est une traduction d'une observation dans le but de lui appliquer les outils, les techniques et les théories mathématiques, puis généralement, en sens inverse, la traduction des résultats mathématiques obtenus en prédictions ou opérations dans le monde réel. Un modèle se rapporte toujours à ce qu’on espère en déduire.
Sémantique des langages de programmationEn informatique théorique, la sémantique formelle (des langages de programmation) est l’étude de la signification des programmes informatiques vus en tant qu’objets mathématiques. Comme en linguistique, la sémantique, appliquée aux langages de programmation, désigne le lien entre un signifiant, le programme, et un signifié, objet mathématique. L'objet mathématique dépend des propriétés à connaître du programme. La sémantique est également le lien entre : le langage signifiant : le langage de programmation le langage signifié : logique de Hoare, automates.
Évolution moléculaireL'évolution moléculaire ou évolution du génome correspond à l'ensemble des modifications d ́un génome au cours de générations successives au sein d'une population. C'est le moteur de l'évolution des espèces. L ́étude de l ́évolution moléculaire des génomes tente d'expliquer les changements biologiques au niveau moléculaire et cellulaire. Ceci met en jeu plusieurs disciplines telles que la biologie moléculaire, la génétique, la génomique et la bio-informatique.
Espèce envahissantevignette|Renouée du Japon et autres plantes exotiques envahissantes qui affectent les écosystèmes indigènes. thumb| Miconia calvescens, originaire d'Amérique centrale est pointée dans l'accélération de l'érosion de la biodiversité d'archipels du Pacifique comme Hawaii. thumb|En Europe, les (Trachemys spp.) et autres émydidées nord-américaines relâchées par leurs propriétaires dans la nature pourraient concurrencer les espèces natives comme la cistude.
Optimisation combinatoireL’optimisation combinatoire, (sous-ensemble à nombre de solutions finies de l'optimisation discrète), est une branche de l'optimisation en mathématiques appliquées et en informatique, également liée à la recherche opérationnelle, l'algorithmique et la théorie de la complexité. Dans sa forme la plus générale, un problème d'optimisation combinatoire (sous-ensemble à nombre de solutions finies de l'optimisation discrète) consiste à trouver dans un ensemble discret un parmi les meilleurs sous-ensembles (ou solutions) réalisables, la notion de meilleure solution étant définie par une fonction objectif.
Logique mathématiqueLa logique mathématique ou métamathématique est une discipline des mathématiques introduite à la fin du , qui s'est donné comme objet l'étude des mathématiques en tant que langage. Les objets fondamentaux de la logique mathématique sont les formules représentant les énoncés mathématiques, les dérivations ou démonstrations formelles représentant les raisonnements mathématiques et les sémantiques ou modèles ou interprétations dans des structures qui donnent un « sens » mathématique générique aux formules (et parfois même aux démonstrations) comme certains invariants : par exemple l'interprétation des formules du calcul des prédicats permet de leur affecter une valeur de vérité'.
Richesse spécifiquevignette|, montrant les principaux taxons. La largeur des branches représente la richesse spécifique de ces taxons. La richesse spécifique, ou diversité alpha, est une mesure de la biodiversité de tout ou partie d'un écosystème ; elle désigne le nombre d'espèces présentes dans un milieu donné. Désigne la variété et la variabilité (prend en compte tous les niveaux taxonomiques du règne à la sous-espèce ou à la race) parmi les diverses formes de vie et dans les complexes écologiques dans lesquels elles se rencontrent.