Quantification existentielleEn mathématiques et en logique, plus précisément en calcul des prédicats, l'existence d'un objet x satisfaisant une certaine propriété, ou prédicat, P se note ∃x P(x), où le symbole mathématique ∃, lu « il existe », est le quantificateur existentiel, et P(x) le fait pour l'objet x d'avoir la propriété P. L'objet x a la propriété P(x) s'exprime par une formule du calcul des prédicats.
Hémodynamiquevignette L'hémodynamique (ou « dynamique du sang »), du grec haima, « le sang » et dunamis, dunamikos, « la force », est la science des propriétés physiques de la circulation sanguine en mouvement dans le système cardiovasculaire. Cette discipline couvre des aspects physiologiques et cliniques avec l'angiologie. Le système circulatoire est constitué d'un ensemble moteur de pompes (pompe cardiaque, pompe musculaire veineuse, pompe abdomino-thoracique) et de conduits tubulaires résistants (les vaisseaux sanguins).
Water treatmentWater treatment is any process that improves the quality of water to make it appropriate for a specific end-use. The end use may be drinking, industrial water supply, irrigation, river flow maintenance, water recreation or many other uses, including being safely returned to the environment. Water treatment removes contaminants and undesirable components, or reduces their concentration so that the water becomes fit for its desired end-use. This treatment is crucial to human health and allows humans to benefit from both drinking and irrigation use.
Hémorragie méningéeUne hémorragie méningée, appelée aussi hémorragie subarachnoïdienne (HSA), correspond à l'irruption de sang artériel dans l'espace sous-arachnoïdien (entre l'arachnoïde et la pie-mère), le plus souvent après une rupture d'anévrisme. C'est un accident grave, parfois mortel, qui impose un transfert urgent en neurochirurgie lorsqu'il est diagnostiqué à temps. Elle est la cause d'un certain nombre de morts subites de l'adulte (10 % environ des hémorragies méningées).
Quantification (logique)vignette|Symboles mathématiques des deux quantificateurs logiques les plus courants.|236px En mathématiques, les expressions « pour tout » (ou « quel que soit ») et « il existe », utilisées pour formuler des propositions mathématiques dans le calcul des prédicats, sont appelées des quantifications. Les symboles qui les représentent en langage formel sont appelés des quantificateurs (ou autrefois des quanteurs). La quantification universelle (« pour tout ... » ou « quel que soit ... ») se dénote par le symbole ∀ (un A à l'envers).
Secondary treatmentSecondary treatment (mostly biological wastewater treatment) is the removal of biodegradable organic matter (in solution or suspension) from sewage or similar kinds of wastewater. The aim is to achieve a certain degree of effluent quality in a sewage treatment plant suitable for the intended disposal or reuse option. A "primary treatment" step often precedes secondary treatment, whereby physical phase separation is used to remove settleable solids.
Maladie neurovasculaireUne maladie neuro-vasculaire est un terme générique qui désigne une atteinte du système nerveux central due à une cause vasculaire, le plus souvent ischémique. Les maladies neuro-vasculaires peuvent être ischémique ou hémorragique. Ce sont des pathologies survenant sur les vaisseaux du système nerveux. Le système nerveux a trois parties : centrale, périphérique et autonome. Les pathologies neuro-vasculaires surviennent sur le système nerveux central : encéphale et moelle épinière.
Infarctus du myocardevignette|Infarctus de la région inférieure du myocarde : en rouge sombre, la zone nécrosée de la paroi du muscle cardiaque. L'infarctus du myocarde (IDM étant une abréviation courante) est une nécrose (mort de cellules) d'une partie du muscle cardiaque secondaire due à un défaut d'apport sanguin (ischémie) dans le cadre de la maladie coronarienne. En langage courant, on l'appelle le plus souvent une « crise cardiaque » ou simplement infarctus.
Maladie cardiovasculaireUne maladie cardiovasculaire, ou maladie cardioneurovasculaire, est une maladie qui concerne le cœur et la circulation sanguine. Dans les pays occidentaux, son expression la plus courante est la maladie coronarienne, responsable de l'angine de poitrine ou encore des infarctus. Les maladies cardiovasculaires touchent plus certaines catégories de population (ouvriers, personnes exposées à certaines pollutions, personnes obèses) et leur prévalence régionale est marquée comme en France, à la fin du dans le Nord-Pas-de-Calais, l'Alsace, l'Auvergne et récemment l’île de France , quatre régions nettement plus touchées que les autres régions et la moyenne nationale, comme pour plusieurs types de cancers.
Accident vasculaire cérébralUn accident vasculaire cérébral (AVC), anciennement accident cérébrovasculaire (ACV) et populairement appelé attaque cérébrale, infarctus cérébral ou congestion cérébrale (AVC et ACV étant tous deux des terminologies acceptées), est un déficit neurologique soudain d'origine vasculaire causé par un infarctus ou une hémorragie au niveau du cerveau. Le terme souligne l'aspect soudain ou brutal des symptômes, mais dans la plupart des cas les causes de cette affection sont internes (liées à l'âge, l'alimentation ou l'hygiène de vie, notamment).
Prévision numérique du tempsLa prévision numérique du temps (PNT) est une application de la météorologie et de l'informatique. Elle repose sur le choix d'équations mathématiques offrant une proche approximation du comportement de l'atmosphère réelle. Ces équations sont ensuite résolues, à l'aide d'un ordinateur, pour obtenir une simulation accélérée des états futurs de l'atmosphère. Le logiciel mettant en œuvre cette simulation est appelé un modèle de prévision numérique du temps.
Branching quantifierIn logic a branching quantifier, also called a Henkin quantifier, finite partially ordered quantifier or even nonlinear quantifier, is a partial ordering of quantifiers for Q ∈ {∀,∃}. It is a special case of generalized quantifier. In classical logic, quantifier prefixes are linearly ordered such that the value of a variable ym bound by a quantifier Qm depends on the value of the variables y1, ..., ym−1 bound by quantifiers Qy1, ..., Qym−1 preceding Qm. In a logic with (finite) partially ordered quantification this is not in general the case.
