Programmation par contraintesLa programmation par contraintes (PPC, ou CP pour constraint programming en anglais) est un paradigme de programmation apparu dans les années 1970 et 1980 permettant de résoudre des problèmes combinatoires de grande taille tels que les problèmes de planification et d'ordonnancement. En programmation par contraintes, on sépare la partie modélisation à l'aide de problèmes de satisfaction de contraintes (ou CSP pour Constraint Satisfaction Problem), de la partie résolution dont la particularité réside dans l'utilisation active des contraintes du problème pour réduire la taille de l'espace des solutions à parcourir (on parle de propagation de contraintes).
Employee benefitsEmployee benefits and (especially in British English) benefits in kind (also called fringe benefits, perquisites, or perks) include various types of non-wage compensation provided to employees in addition to their normal wages or salaries. Instances where an employee exchanges (cash) wages for some other form of benefit is generally referred to as a "salary packaging" or "salary exchange" arrangement. In most countries, most kinds of employee benefits are taxable to at least some degree.
Contrainte (mathématiques)En mathématiques, une contrainte est une condition que doit satisfaire la solution d'un problème d'optimisation. On distingue deux types de contraintes : les contraintes d'égalité et les contraintes en inégalité. L'ensemble des solutions satisfaisant toutes les contraintes est appelé l'ensemble admissible. On considère un problème d'optimisation classique : avec et et désigne le vecteur . Dans cet exemple, la première ligne montre la fonction à minimiser (appelée fonction objectif ou fonction-coût) mais aussi l'ensemble où la solution doit être recherché, ici C.
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.
Voyage dans le tempsLe voyage dans le temps est un des grands thèmes de la science-fiction, au point d’être considéré comme un genre à part entière. L’idée d’aller revivre le passé ou de découvrir à l’avance le futur est un rêve humain causé par le fait que l’être humain avance dans le temps de manière permanente, mais irréversible (et, à l’état de veille, apparemment de façon linéaire). La première mention d’un voyage dans le temps serait le personnage de Merlin l’Enchanteur dans le cycle arthurien des chevaliers de la Table ronde, qui visitait les temps passés.
Plein emploiLe plein emploi (ou plein-emploi) est une situation dans laquelle le chômage d'un territoire est réduit au chômage frictionnel incompressible, soit à un taux inférieur à 5 % au sens de l'OIT. Il n'existe alors pas de difficulté particulière à trouver un emploi. Le plein emploi peut concerner l'économie entière, ou bien seulement certains marchés du travail (par exemple, le marché des artisans qualifiés), lorsque le passage d’un marché du travail à l'autre est faible.
Quantum mechanics of time travelUntil recently, most studies on time travel are based upon classical general relativity. Coming up with a quantum version of time travel requires physicists to figure out the time evolution equations for density states in the presence of closed timelike curves (CTC). Novikov had conjectured that once quantum mechanics is taken into account, self-consistent solutions always exist for all time machine configurations, and initial conditions. However, it has been noted such solutions are not unique in general, in violation of determinism, unitarity and linearity.
Savoir-êtrevignette|Savoir-être Le savoir-être est un ensemble de qualités personnelles, d'habiletés sociales correspondant à la capacité de produire des actions et des réactions adaptées à l'environnement humain et écologique. Il est nécessaire à l'autonomie, au partage avec les autres et à une vie affective riche. Cette capacité s'acquiert en partie par la connaissance de savoirs comportementaux spécifiques en situation d'acteur social.
Motor skillA motor skill is a function that involves specific movements of the body's muscles to perform a certain task. These tasks could include walking, running, or riding a bike. In order to perform this skill, the body's nervous system, muscles, and brain have to all work together. The goal of motor skill is to optimize the ability to perform the skill at the rate of success, precision, and to reduce the energy consumption required for performance. Performance is an act of executing a motor skill or task.
Fuseau horaireUn fuseau horaire est une zone de la surface terrestre qui observe une heure uniforme en tout lieu. Pour des raisons pratiques, ces fuseaux ont tendance à suivre les frontières des pays ou de leurs subdivisions. Généralement, ils diffèrent du temps universel coordonné d'un nombre d'heures entiers, mais quelques-uns sont décalés de 30 ou 45 minutes. Aux latitudes élevées, certains pays font en plus usage d'une heure d'été pendant une partie de l'année, modifiant ainsi leur fuseau horaire.
Temps solaireOn distingue le temps solaire moyen et le temps solaire vrai. Le temps solaire moyen est fondé sur un soleil fictif qui se déplacerait autour de l'équateur à vitesse constante tout au long de l'année. Cette vitesse moyenne est d'un tour en 24 heures. Le temps solaire vrai est une mesure du temps basée sur le déplacement apparent du Soleil au cours de la journée. Le temps solaire vrai en un lieu et à un moment donné est l'angle horaire du soleil en ce lieu et à ce moment.
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.
