Dependent typeIn computer science and logic, a dependent type is a type whose definition depends on a value. It is an overlapping feature of type theory and type systems. In intuitionistic type theory, dependent types are used to encode logic's quantifiers like "for all" and "there exists". In functional programming languages like Agda, ATS, Coq, F*, Epigram, and Idris, dependent types help reduce bugs by enabling the programmer to assign types that further restrain the set of possible implementations.
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".
Hoover DamHoover Dam is a concrete arch-gravity dam in the Black Canyon of the Colorado River, on the border between the U.S. states of Nevada and Arizona. It was constructed between 1931 and 1936 during the Great Depression and was dedicated on September 30, 1935, by President Franklin D. Roosevelt. Its construction was the result of a massive effort involving thousands of workers, and cost over 100 lives. It was referred to as the Hoover Dam after President Herbert Hoover in bills passed by Congress during its construction; it was named the Boulder Dam by the Roosevelt administration.
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.
Web designWeb design encompasses many different skills and disciplines in the production and maintenance of websites. The different areas of web design include web graphic design; user interface design (UI design); authoring, including standardised code and proprietary software; user experience design (UX design); and search engine optimization. Often many individuals will work in teams covering different aspects of the design process, although some designers will cover them all.
Environmental impact of reservoirsThe environmental impact of reservoirs comes under ever-increasing scrutiny as the global demand for water and energy increases and the number and size of reservoirs increases. Dams and reservoirs can be used to supply drinking water, generate hydroelectric power, increase the water supply for irrigation, provide recreational opportunities, and flood control. In 1960 the construction of Llyn Celyn and the flooding of Capel Celyn provoked political uproar which continues to this day.
Nickel–metal hydride batteryA nickel metal hydride battery (NiMH or Ni–MH) is a type of rechargeable battery. The chemical reaction at the positive electrode is similar to that of the nickel–cadmium cell (NiCd), with both using nickel oxide hydroxide (NiOOH). However, the negative electrodes use a hydrogen-absorbing alloy instead of cadmium. NiMH batteries can have two to three times the capacity of NiCd batteries of the same size, with significantly higher energy density, although much less than lithium-ion batteries.
Electric batteryA battery is a source of electric power consisting of one or more electrochemical cells with external connections for powering electrical devices. When a battery is supplying power, its positive terminal is the cathode and its negative terminal is the anode. The terminal marked negative is the source of electrons that will flow through an external electric circuit to the positive terminal. When a battery is connected to an external electric load, a redox reaction converts high-energy reactants to lower-energy products, and the free-energy difference is delivered to the external circuit as electrical energy.
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.
