Type dépendantEn Informatique et en Logique, un type dépendant est un type qui peut dépendre d'une valeur définie dans le langage typé. Les langages Agda et Gallina (de l'assistant de preuve Coq) sont des exemples de langages à type dépendant. Les types dépendants permettent par exemple de définir le type des listes à n éléments. Voici un exemple en Coq. Inductive Vect (A: Type): nat -> Type := | nil: Vect A 0 | cons (n: nat) (x: A) (t: Vect A n): Vect A (S n).
Design methodsDesign methods are procedures, techniques, aids, or tools for designing. They offer a number of different kinds of activities that a designer might use within an overall design process. Conventional procedures of design, such as drawing, can be regarded as design methods, but since the 1950s new procedures have been developed that are more usually grouped together under the name of "design methods". What design methods have in common is that they "are attempts to make public the hitherto private thinking of designers; to externalise the design process".
Barrage HooverLe barrage Hoover (en anglais Hoover Dam et anciennement Boulder Dam) est un barrage poids-voûte sur le fleuve Colorado aux États-Unis, près de Boulder City, à la frontière entre l'Arizona (côté est de la voûte) et le Nevada (côté ouest de la voûte). Il fut construit entre 1931 et 1936, durant la Grande Dépression, et fut inauguré le par le président Franklin Delano Roosevelt. Sa construction fut le résultat d'un effort gigantesque impliquant des milliers d'ouvriers dans des conditions difficiles qui causèrent la mort de 112 d'entre eux.
Semi-proportional representationSemi-proportional representation characterizes multi-winner electoral systems which allow representation of minorities, but are not intended to reflect the strength of the competing political forces in close proportion to the votes they receive. Semi-proportional voting systems can be regarded as compromises between forms of proportional representation such as party-list PR, and plurality/majoritarian systems such as first-past-the-post voting. Examples of semi-proportional systems include the single non-transferable vote, limited voting, and parallel voting.
User experience designUser experience design (UX design, UXD, UED, or XD) is the process of defining the experience a user would go through when interacting with a company, its services, and its products. Design decisions in UX design are often driven by research, data analysis, and test results rather than aesthetic preferences and opinions. Unlike user interface design, which focuses solely on the design of a computer interface, UX design encompasses all aspects of a user's perceived experience with a product or website, such as its usability, usefulness, desirability, brand perception, and overall performance.
Conception de site webLa création et la conception de site web ou web design est la conception de l'interface web : l’architecture interactionnelle, l’organisation des pages, l’arborescence et la navigation dans un site web. La conception d'un design web tient compte des contraintes spécifiques du support Internet, notamment en matière d’ergonomie, d’utilisabilité et d’accessibilité. Le web design réclame donc des compétences en programmation, en ergonomie et en interactivité, ainsi qu'une bonne connaissance des contraintes techniques liées à ce domaine.
Impact environnemental des barragesL'impact environnemental des barrages, sous ses multiples formes, est un sujet abondamment discuté depuis le . Les avantages attendus des barrages sont notamment la régulation des crues et plus généralement des cours d'eau, l'alimentation en eau pour l'irrigation ou l'alimentation en eau potable, et depuis l'époque industrielle, la production d'énergie hydroélectrique. Toutefois, la construction et l'exploitation de ces ouvrages peuvent avoir des impacts indésirables sur le milieu physique, la faune et la flore et les populations humaines.
Accumulateur nickel-hydrure métalliqueUn accumulateur nickel-hydrure métallique ou NiMH (de l'anglais nickel-metal hydride) est un accumulateur électrique rechargeable utilisant de l'hydrure métallique (composé permettant de stocker de l'hydrogène) et de l'oxyhydroxyde de nickel comme l'électrode. La technologie NiMH est extrêmement répandue dans les accumulateurs portables d'usage courant : les modèles AA/HR6 dont la capacité peut atteindre pour les plus performants ; les modèles AAA/HR3 dont la capacité maximale est de .
Pile électriqueUne pile électrique, couramment dénommée « pile », est un dispositif électrochimique qui produit de l'électricité en convertissant de l'énergie chimique en énergie électrique grâce à une réaction d'oxydoréduction. Ce système électrochimique a été inventé par le scientifique italien Alessandro Volta en empilant des couches de deux métaux séparées par des feutres imbibés d'acide. Le Bureau international des poids et mesures choisit de nommer l'unité de potentiel électrique le volt, en référence à Volta.
Alternative vote plusThe alternative vote plus (AV+), or alternative vote top-up, is a semi-proportional voting system. AV+ was devised by the 1998 Jenkins Commission which first proposed the idea as a system that could be used for elections to the Parliament of the United Kingdom. As the name suggests, AV+ is an additional member system which works in two parts: the 'AV' part and the 'plus' part. As in the alternative vote system, candidates are ranked numerically in order of preference.
