Théorie cellulaireLa théorie cellulaire est la théorie centrale et principale de la biologie cellulaire et le fondement le plus reconnu de la biologie en général. Elle a été alimentée par beaucoup d'expériences réalisées depuis le XVIIe siècle. La théorie cellulaire est constituée de trois principes, qui peuvent être résumés comme suit : la cellule est l'unité structurale, l'unité fonctionnelle et l'unité reproductrice du Vivant thumb|Le microscope de Hooke. 1665 : On attribue à Robert Hooke la première description d'une cellule biologique faite à partir de l'observation de végétaux.
Polarisation (optique)La polarisation est une propriété qu'ont les ondes vectorielles (ondes qui peuvent osciller selon plus d'une orientation) de présenter une répartition privilégiée de l'orientation des vibrations qui les composent. Les ondes électromagnétiques, telles que la lumière, ou les ondes gravitationnelles ont ainsi des propriétés de polarisation. Les ondes mécaniques transverses dans les solides peuvent aussi être polarisées. Cependant, les ondes longitudinales (telles que les ondes sonores) ne sont pas concernées.
Cellule (biologie)vignette|Dessin de « cellules » observées dans des coupes d'écorce d'arbre par Robert Hooke en 1665, à l'origine du nom latin cellula « chambre de moine », ayant aussi le sens de cella « petite chambre, chambrette ». vignette|Dessin d'Edmund Beecher Wilson publié en 1900 dont la légende originale était : « Vue générale de cellules situées à la pointe de croissance d'une racine d'oignon à partir d'une coupe longitudinale agrandie . a. cellules qui ne se divisent pas, avec réseau de chromatine et nucléoles fortement colorés ; b.
InterférenceEn mécanique ondulatoire, les interférences sont la combinaison de deux ondes susceptibles d'interagir. Ce phénomène apparaît souvent en optique avec les ondes lumineuses, mais il s'obtient également avec des ondes électromagnétiques d'autres longueurs d'onde, ou avec d'autres types d'ondes comme des ondes sonores. À savoir aussi, le phénomène d'interférence se produit uniquement lors de la combinaison de deux ondes de même fréquence. L' onde se modélise par une fonction , étant la position dans l'espace et t étant le temps.
PhysiqueLa physique est la science qui essaie de comprendre, de modéliser et d'expliquer les phénomènes naturels de l'Univers. Elle correspond à l'étude du monde qui nous entoure sous toutes ses formes, des lois de ses variations et de leur évolution. La physique développe des représentations du monde expérimentalement vérifiables dans un domaine de définition donné. Elle produit plusieurs lectures du monde, chacune n'étant considérée comme précise que jusqu'à un certain point.
Optique physiqueL'optique physique ou optique ondulatoire est la discipline qui étudie la lumière en la considérant comme étant une onde électromagnétique. L'optique ondulatoire s'attache plus particulièrement aux phénomènes affectant les ondes, comme les interférences et la diffraction. La lumière pour aller d'un point à un autre se propage avec une vitesse déterminée. La lumière en un point donné sera l'addition cohérente ou incohérente du champ électromagnétique en ce point à l'instant t.
Biologie cellulairethumb|Détection de filaments d'actine dans des cellules animales (immunofluorescence) La biologie cellulaire (anciennement appelée cytologie) est une discipline scientifique qui étudie les cellules, du point de vue structural et fonctionnel, et les utilise pour des applications en biotechnologie. Elle s'intéresse à l'écosystème cellulaire, c'est-à-dire à l'équilibre dynamique et autorégulé des fonctions cellulaires, dans un contexte normal ou perturbé.
Optimizing compilerIn computing, an optimizing compiler is a compiler that tries to minimize or maximize some attributes of an executable computer program. Common requirements are to minimize a program's execution time, memory footprint, storage size, and power consumption (the last three being popular for portable computers). Compiler optimization is generally implemented using a sequence of optimizing transformations, algorithms which take a program and transform it to produce a semantically equivalent output program that uses fewer resources or executes faster.
Interprocedural optimizationInterprocedural optimization (IPO) is a collection of compiler techniques used in computer programming to improve performance in programs containing many frequently used functions of small or medium length. IPO differs from other compiler optimizations by analyzing the entire program as opposed to a single function or block of code. IPO seeks to reduce or eliminate duplicate calculations and inefficient use of memory and to simplify iterative sequences such as loops.
Ondevignette|Propagation d'une onde. Une onde est la propagation d'une perturbation produisant sur son passage une variation réversible des propriétés physiques locales du milieu. Elle se déplace avec une vitesse déterminée qui dépend des caractéristiques du milieu de propagation. vignette|Une vague s'écrasant sur le rivage. Il existe trois principaux types d'ondes : les ondes mécaniques se propagent à travers une matière physique dont la substance se déforme. Les forces de restauration inversent alors la déformation.
Paroi cellulaireLa paroi cellulaire est une paroi, assez rigide, située à l'extérieur de la membrane cellulaire des cellules végétales (paroi pectocellulosique) et de la plupart des procaryotes. Elle apporte à la cellule un soutien structurel, une protection contre les facteurs biotiques (agents pathogènes) et les facteurs abiotiques (stress mécanique, osmotique), et agit comme un mécanisme de filtrage. La paroi cellulaire fait aussi obstacle à l'expansion lorsque l'eau pénètre dans la cellule.
Formule logiqueEn logique on dit d’une suite finie de lettres qu’elle est une formule, ou parfois formule bien formée, d'un langage logique donné lorsqu’elle peut être construite en appliquant une combinaison des règles de la grammaire formelle associée, on parle de la syntaxe du langage. Informellement les formules sont les assemblages de lettres auxquels il est possible de donner une signification en termes de valeur de vérité (Vrai, ou Faux). Les formules logiques sont l'équivalent des phrases du langage naturel.
Peephole optimizationPeephole optimization is an optimization technique performed on a small set of compiler-generated instructions; the small set is known as the peephole or window. Peephole optimization involves changing the small set of instructions to an equivalent set that has better performance.
Onde stationnairevignette|redresse=2|Onde stationnaire résultant de la superposition d'ondes de sens inverse ; les points rouges sont les nœuds de vibration. En physique ondulatoire, une est une oscillation locale dans un milieu clos, qui ne se propage pas. On appelle les points où l'amplitude est nulle des nœuds de vibration, et ceux où l'amplitude est maximale des ventres de vibration. Dans un milieu à une dimension, comme un conducteur électrique ou un tuyau, elle est la résultante de la superposition d'ondes de même fréquence et de même amplitude mais de sens de propagation opposé .
Formule atomiqueEn logique mathématique, une formule atomique ou atome est une formule qui ne contient pas de sous-formules propres. La structure d'une formule atomique dépend de la logique considérée, p. ex. en logique des propositions, les formules atomiques sont les variables propositionnelles. Les atomes sont les formules les plus simples dans un système logique et servent à construire les formules les plus générales.
Diagramme de phaseUn diagramme de phase, ou diagramme de phases, est une représentation graphique utilisée en thermodynamique, généralement à deux ou trois dimensions, représentant les domaines de l'état physique (ou phase) d'un système (corps pur ou mélange de corps purs), en fonction de variables, choisies pour faciliter la compréhension des phénomènes étudiés. Les diagrammes les plus simples concernent un corps pur avec pour variables la température et la pression ; les autres variables souvent utilisées sont l'enthalpie, l'entropie, le volume massique, ainsi que la concentration en masse ou en volume d'un des corps purs constituant un mélange.
Onde sismiquethumb|Différentes ondes sismiques.|alt= Les ondes sismiques, ou ondes élastiques, sont des mouvements vibratoires qui se propagent à travers un milieu matériel et peuvent le modifier irréversiblement si leur amplitude est suffisante. Elles sont engendrées par un événement initial, généralement un séisme. L'impulsion de départ déplace les atomes du milieu, qui en poussent d'autres avant de reprendre leur place, ces déplacements oscillatoires se propageant ensuite de proche en proche.
Courant triphaséUn système de courant (ou tension) triphasé est constitué de trois courants (ou tensions) sinusoïdaux de même fréquence et de même amplitude qui sont déphasés entre eux d'un tiers de tour soit radians (ou 120 degrés) dans le cas idéal. Si la fréquence est de , alors les trois phases sont retardées l'une par rapport à l'autre de (soit ). Lorsque les trois conducteurs sont parcourus par des courants de même valeur efficace et sont déphasés de , le système est dit équilibré.
Marine protistsMarine protists are defined by their habitat as protists that live in marine environments, that is, in the saltwater of seas or oceans or the brackish water of coastal estuaries. Life originated as marine single-celled prokaryotes (bacteria and archaea) and later evolved into more complex eukaryotes. Eukaryotes are the more developed life forms known as plants, animals, fungi and protists. Protists are the eukaryotes that cannot be classified as plants, fungi or animals. They are mostly single-celled and microscopic.
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é'.
