Mécanique moléculairevignette|Physique à l'échelle moléculaire La mécanique moléculaire correspond à l'utilisation de la mécanique newtonienne pour modéliser la structure des systèmes moléculaires. L'approche de la mécanique moléculaire est souvent appliquée pour améliorer des structures moléculaires ou des simulations utilisant soit la dynamique moléculaire, soit la méthode de Monte-Carlo. Typiquement, la mécanique moléculaire considère l'ensemble des interactions entre une collection d'atomes sphériques reliés entre eux par des ressorts fictifs qui représentent les liaisons chimiques.
Vérification de modèlesthumb|308x308px|Principe du model checking. En informatique, la vérification de modèles, ou model checking en anglais, est le problème suivant : vérifier si le modèle d'un système (souvent informatique ou électronique) satisfait une propriété. Par exemple, on souhaite vérifier qu'un programme ne se bloque pas, qu'une variable n'est jamais nulle, etc. Généralement, la propriété est écrite dans un langage, souvent en logique temporelle. La vérification est généralement faite de manière automatique.
Système dynamiqueEn mathématiques, en chimie ou en physique, un système dynamique est la donnée d’un système et d’une loi décrivant l'évolution de ce système. Ce peut être l'évolution d'une réaction chimique au cours du temps, le mouvement des planètes dans le système solaire (régi par la loi universelle de la gravitation de Newton) ou encore l'évolution de la mémoire d'un ordinateur sous l'action d'un programme informatique. Formellement on distingue les systèmes dynamiques à temps discrets (comme un programme informatique) des systèmes dynamiques à temps continu (comme une réaction chimique).
Rythme cérébralUn rythme cérébral (appelé aussi activité neuro-électrique) désigne l'oscillation électromagnétique émise par le cerveau des êtres humains, mais également de tout être vivant. Le cortex frontal qui permet la cognition, la logique et le raisonnement est composé de neurones qui sont reliés entre eux par des synapses permettant la neurotransmission. Mesurables en volt et en hertz, ces ondes sont de très faible amplitude : de l'ordre du microvolt (chez l'être humain), elles ne suivent pas toujours une sinusoïde régulière.
Temps universel coordonnévignette|upright=1.5|L’heure dans le monde par rapport à UTC. Le temps universel coordonné ou UTC (coordinated universal time) est une échelle de temps adoptée comme base du temps civil international par la majorité des pays du globe. UTC est une échelle de temps comprise entre le temps atomique international (TAI) qui est stable mais déconnecté de la rotation de la Terre et le temps universel (TU), directement lié à la rotation de la Terre et donc lentement variable.
Temps moyen de Greenwichvignette|upright 1.1|Horloge de l'Observatoire royal de Greenwich. Le temps moyen de Greenwich ou heure moyenne de Greenwich, en anglais : Greenwich Mean Time, abrégé en GMT, est l'heure solaire moyenne au méridien de Greenwich, méridien d'origine des longitudes, traversant l'Observatoire royal de Greenwich, près de Londres au Royaume-Uni. L'heure moyenne de Greenwich a servi de référence temporelle dans le monde pendant la majeure partie du , avant d’être remplacée par le temps universel coordonné (UTC) en 1972.
Word-sense inductionIn computational linguistics, word-sense induction (WSI) or discrimination is an open problem of natural language processing, which concerns the automatic identification of the senses of a word (i.e. meanings). Given that the output of word-sense induction is a set of senses for the target word (sense inventory), this task is strictly related to that of word-sense disambiguation (WSD), which relies on a predefined sense inventory and aims to solve the ambiguity of words in context.
Modèle (économie)Un modèle est, en économie, une représentation simplifiée de la réalité économique ou d'une partie de celle-ci. Un modèle économique se base sur des hypothèses économiques et a recours au langage mathématique. L'économie se fonde sur les modèles pour estimer l'évolution d'un système économique, comme la croissance, le commerce international, etc. La science économique vise à expliquer les mécanismes à l’œuvre dans un système économique, ou dans une partie de ce système.
Object co-segmentationIn computer vision, object co-segmentation is a special case of , which is defined as jointly segmenting semantically similar objects in multiple images or video frames. It is often challenging to extract segmentation masks of a target/object from a noisy collection of images or video frames, which involves object discovery coupled with . A noisy collection implies that the object/target is present sporadically in a set of images or the object/target disappears intermittently throughout the video of interest.
