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.
Interface utilisateurL’interface utilisateur est un dispositif matériel ou logiciel qui permet à un usager d'interagir avec un produit informatique. C'est une interface informatique qui coordonne les interactions homme-machine, en permettant à l'usager humain de contrôler le produit et d'échanger des informations avec le produit. Parmi les exemples d’interface utilisateur figurent les aspects interactifs des systèmes d’exploitation informatiques, des logiciels informatiques, des smartphones et, dans le domaine du design industriel, les commandes des opérateurs de machines lourdes et les commandes de processus.
User interface designUser interface (UI) design or user interface engineering is the design of user interfaces for machines and software, such as computers, home appliances, mobile devices, and other electronic devices, with the focus on maximizing usability and the user experience. In computer or software design, user interface (UI) design primarily focuses on information architecture. It is the process of building interfaces that clearly communicates to the user what's important. UI design refers to graphical user interfaces and other forms of interface design.
Formule booléenne quantifiéeEn théorie de la complexité, en informatique théorique, en logique mathématique, une formule booléenne quantifiée (ou formule QBF pour quantified binary formula en anglais) est une formule de la logique propositionnelle où les variables propositionnelles sont quantifiées. Par exemple, est une formule booléenne quantifiée et se lit « pour toute valeur booléenne x, il existe une valeur booléenne y et une valeur booléenne z telles que ((x ou z) et y) ».
EspagnolL’espagnol (en espagnol : español), ou le castillan (en espagnol : castellano), est une langue romane parlée en Espagne et dans de nombreux pays d'Amérique et d'autres territoires dans le monde associés à un moment de leur histoire à l'Empire espagnol. La langue espagnole est issue du latin vulgaire parlé dans la péninsule ibérique.
EspérantoLespéranto est une langue construite internationale utilisée comme langue véhiculaire par des personnes provenant d’au moins à travers le monde, y compris comme langue maternelle. N’étant la langue officielle d’aucun État, l'espéranto vise à établir un pont neutre entre cultures ; certains locuteurs nomment « Espérantie » la zone linguistique formée des lieux géographiques où ils se trouvent. Nécessitant un court apprentissage pour être utilisable, l'espéranto est ainsi présenté comme solution efficace et économiquement équitable au problème de communication entre personnes de langues maternelles différentes.
Organic user interfaceIn human–computer interaction, an organic user interface (OUI) is defined as a user interface with a non-flat display. After Engelbart and Sutherland's graphical user interface (GUI), which was based on the cathode ray tube (CRT), and Kay and Weiser's ubiquitous computing, which is based on the flat panel liquid-crystal display (LCD), OUI represents one possible third wave of display interaction paradigms, pertaining to multi-shaped and flexible displays.
Moteur à réactionUn moteur à réaction est un moteur destiné à la propulsion de véhicule (majoritairement aérien, mais pas uniquement). Le principe de base repose sur la projection d'un fluide (gaz ou liquide) dans une certaine direction ; par réaction, ce fluide transmet alors une poussée au véhicule dans la direction opposée. Le rapport poids/puissance très favorable de ce type de motorisation lui ouvre de nombreuses applications dans les secteurs aéronautiques (avions à grande vitesse) et spatiaux ainsi que marins (hydrojet).
Prise de décisionvignette|Lorsqu'il s'agit de prendre une décision, il est bon de savoir que des situations différentes nécessitent une approche différente. Il n'y a pas de façon unique de penser/d'agir. la plupart du temps, nous errons dans l'espace du désordre, sans savoir ce qui se passe, sans savoir comment agir. Dans ce cas, nous avons tendance à entrer dans l'espace avec lequel nous nous sentons le plus à l'aise et à commencer à agir. Lorsque vous avez trouvé le Saint Graal, la solution unique pour chaque problème, vous feriez mieux de faire attention.
Isabelle (logiciel)The Isabelle automated theorem prover is a higher-order logic (HOL) theorem prover, written in Standard ML and Scala. As an LCF-style theorem prover, it is based on a small logical core (kernel) to increase the trustworthiness of proofs without requiring yet supporting explicit proof objects. Isabelle is available inside a flexible system framework allowing for logically safe extensions, which comprise both theories as well as implementations for code-generation, documentation, and specific support for a variety of formal methods.
