Constraint logic programmingConstraint logic programming is a form of constraint programming, in which logic programming is extended to include concepts from constraint satisfaction. A constraint logic program is a logic program that contains constraints in the body of clauses. An example of a clause including a constraint is . In this clause, is a constraint; A(X,Y), B(X), and C(Y) are literals as in regular logic programming. This clause states one condition under which the statement A(X,Y) holds: X+Y is greater than zero and both B(X) and C(Y) are true.
Constraint satisfactionIn artificial intelligence and operations research, constraint satisfaction is the process of finding a solution through a set of constraints that impose conditions that the variables must satisfy. A solution is therefore a set of values for the variables that satisfies all constraints—that is, a point in the feasible region. The techniques used in constraint satisfaction depend on the kind of constraints being considered.
AccélérationL'accélération est une grandeur physique vectorielle, appelée de façon plus précise « vecteur accélération », utilisée en cinématique pour représenter la modification affectant la vitesse d'un mouvement en fonction du temps. La norme (l'intensité) de ce vecteur est appelée simplement « accélération » sans autre qualificatif. Dans le langage courant, l'accélération s'oppose à la décélération (mathématiquement, une accélération négative) et indique l'augmentation de la vitesse ou de la fréquence d'évolution d'un processus quelconque, par exemple l'accélération de la fréquence cardiaque ou celle d'une suite de situations.
Modélisation des donnéesDans la conception d'un système d'information, la modélisation des données est l'analyse et la conception de l'information contenue dans le système afin de représenter la structure de ces informations et de structurer le stockage et les traitements informatiques. Il s'agit essentiellement d'identifier les entités logiques et les dépendances logiques entre ces entités.
Problème de satisfaction de contraintesLes problèmes de satisfaction de contraintes ou CSP (Constraint Satisfaction Problem) sont des problèmes mathématiques où l'on cherche des états ou des objets satisfaisant un certain nombre de contraintes ou de critères. Les CSP font l'objet de recherches intenses à la fois en intelligence artificielle et en recherche opérationnelle. De nombreux CSP nécessitent la combinaison d'heuristiques et de méthodes d'optimisation combinatoire pour être résolus en un temps raisonnable.
Référentiel (physique)En physique, il est impossible de définir une position ou un mouvement par rapport à l'espace « vide ». Un référentiel est un solide (un ensemble de points fixes entre eux) par rapport auquel on repère une position ou un mouvement. Un dispositif servant d'horloge est également nécessaire pour pouvoir qualifier le mouvement et définir la notion de vitesse. Un exemple classique de référentiel est le référentiel terrestre qui est lié à la Terre.
Art conceptuelvignette|Art and Language, Untitled Painting, 1965 Courtesy Tate Modern L'art conceptuel est un mouvement de l'art contemporain apparu dans les années 1960 mais dont les origines remontent aux ready-made de Marcel Duchamp au début du . L'art est défini non par les propriétés esthétiques des objets ou des œuvres, mais seulement par le concept ou l'idée de l'art. L'art conceptuel n'est pas une période précise de l'art contemporain, ni un mouvement artistique structuré ou un groupe d'artistes précis.
Rotation formalisms in three dimensionsIn geometry, various formalisms exist to express a rotation in three dimensions as a mathematical transformation. In physics, this concept is applied to classical mechanics where rotational (or angular) kinematics is the science of quantitative description of a purely rotational motion. The orientation of an object at a given instant is described with the same tools, as it is defined as an imaginary rotation from a reference placement in space, rather than an actually observed rotation from a previous placement in space.
Tension superficiellevignette|et aux gerridés de se déplacer à la surface d'une mare. La tension superficielle est un phénomène physico-chimique lié aux interactions moléculaires d'un fluide. Elle résulte de l'augmentation de l'énergie à l'interface entre deux fluides. Le système tend vers un équilibre qui correspond à la configuration de plus basse énergie, il modifie donc sa géométrie pour diminuer l'aire de cette interface. La force qui maintient le système dans cette configuration est la tension superficielle.
Video games as an art formThe concept of video games as a form of art is a commonly debated topic within the entertainment industry. Though video games have been afforded legal protection as creative works by the Supreme Court of the United States, the philosophical proposition that video games are works of art remains in question, even when considering the contribution of expressive elements such as acting, visuals, stories, interaction and music. Even art games, games purposely designed to be a work of creative expression, have been challenged as works of art by some critics.
Preferred frameIn theoretical physics, a preferred frame or privileged frame is usually a special hypothetical frame of reference in which the laws of physics might appear to be identifiably different (simpler) from those in other frames. In theories that apply the principle of relativity to inertial motion, physics is the same in all inertial frames, and is even the same in all frames under the principle of general relativity.
PoulieUne poulie est une machine simple, c'est-à-dire un dispositif de mécanique élémentaire. Elle est constituée d'une pièce en forme de roue servant à la transmission du mouvement. La poulie est utilisée avec une courroie, une corde, une chaîne ou un câble et la forme de la jante étant adaptée aux cas d'utilisation. On donne parfois (en voile) le nom de poulie à une moufle contenant une poulie à gorge, laquelle prend le nom de réa, la chape (la partie fixe) composée de deux joues est parfois équipée d'un anneau métallique destiné à frapper un cordage, le ringot.
