Logique temporelle linéaireEn logique, la logique temporelle linéaire (LTL) est une logique temporelle modale avec des modalités se référant au temps. En LTL, on peut coder des formules sur l'avenir d'un chemin infini dans un système de transitions, par exemple une condition finira par être vraie, une condition sera vraie jusqu'à ce qu'une autre devienne vraie, etc. Cette logique est plus faible que la logique CTL*, qui permet d'exprimer des conditions sur des ramifications de chemins et pas seulement sur un seul chemin.
Insuffisance veineuseL'insuffisance veineuse est un terme qui sert à désigner un déficit circulatoire veineux des membres inférieurs. Lorsque les parois des veines sont en mauvais état avec hypotonie, cela entraîne un reflux sanguin dans les veines superficielles ; la dilatation des veines touchées perturbe l'écoulement unidirectionnel du sang vers le cœur, les valvules n'assurant plus leur fonction antireflux, le sang s'accumule dans les jambes qui deviennent lourdes, enflées et douloureuses.
BiomathématiqueLa biomathématique est le domaine d'étude qui réunit la biologie et les mathématiques. De façon précise les biomathématiques sont constituées par l'ensemble des méthodes et techniques mathématiques, numériques et informatiques qui permettent d'étudier et de modéliser les phénomènes et processus biologiques. Il s'agit donc bien d'une science fortement pluridisciplinaire que le mathématicien seul (ou le biologiste seul) est incapable de développer. Pour naître et vivre cette discipline exige des équipes interdisciplinaires mues par le sens du concret.
InstarAn instar (ˈɪnstɑr, from the Latin īnstar 'form, likeness') is a developmental stage of arthropods, such as insects, between each moult (ecdysis), until sexual maturity is reached. Arthropods must shed the exoskeleton in order to grow or assume a new form. Differences between instars can often be seen in altered body proportions, colors, patterns, changes in the number of body segments or head width. After shedding their exoskeleton (moulting), the juvenile arthropods continue in their life cycle until they either pupate or moult again.
Boîte homéotiquethumb|upright=1.3|Figure 1: Représentation d'une boîte homéotique sur une séquence d'ADN thumb|upright=1.3|Figure 2 : Homéodomaine du gène Antennapedia de Drosophila melanogaster lié à un fragment d’ADN, illustrant les interactions de l’hélice de reconnaissance (hélice 3) et de l’extrémité N-terminal avec le sillon majeur et mineur de la double hélice d’ADN Une boîte homéotique (appelée aussi homéoboîte, homeobox en anglais) est une séquence d'ADN qu'on retrouve dans certains gènes essentiels au développement embryonnaire, la morphogenèse, des animaux, des champignons et des plantes.
Anatomie des insectesL’anatomie des insectes décrit la morphologie de leurs structures externes et internes, et les principales propriétés de ces structures. Elle présente de nombreux points communs avec celle des autres Hexapodes : le corps est segmenté (d'où le nom d'insecte, qui est un emprunt savant de 1553 au latin insectus, du verbe insecare, « couper »), les biologistes appelant ces segments des métamères.
Voie veineuse centraleUne voie veineuse centrale est un dispositif médical visant à cathétériser une veine de gros calibre. Ce système permet d'injecter des médicaments à un malade mais aussi, dans certains cas, de mesurer la pression veineuse centrale. Il existe plusieurs types de cathéters centraux : les cathéters pour perfusion (une, deux, trois, quatre ou cinq voies de perfusion), les cathéters à visée diagnostique (type Swan-Ganz) et les cathéters de dialyse. Ils peuvent ou non être tunellisés.
Proportional representationProportional representation (PR) refers to a type of electoral system under which subgroups of an electorate are reflected proportionately in the elected body. The concept applies mainly to political divisions (political parties) among voters. The essence of such systems is that all votes cast - or almost all votes cast - contribute to the result and are effectively used to help elect someone - not just a bare plurality or (exclusively) the majority - and that the system produces mixed, balanced representation reflecting how votes are cast.
Tableau (structure de données)En informatique, un tableau est une structure de données représentant une séquence finie d'éléments auxquels on peut accéder efficacement par leur position, ou indice, dans la séquence. C'est un type de conteneur que l'on retrouve dans un grand nombre de langages de programmation. Dans les langages à typage statique (comme C, Java et OCaml), tous les éléments d’un tableau doivent être du même type. Certains langages à typage dynamique (tels APL et Python) permettent des tableaux hétérogènes.
Gauche (politique)En politique, l'usage consiste à diviser les partis politiques en catégories générales qui formalisent une division bipartisane. Dans l'ensemble du champ politique, les forces politiques sont : la gauche, la droite, le centre, l'extrême droite et l'extrême gauche. La notion de gauche et celle de droite en politique est une construction progressive entre la fin du et le début du . La gauche désigne la partie gauche de l'hémicycle d'une assemblée parlementaire et les personnes et partis qui y siègent habituellement.
