Banach spaceIn mathematics, more specifically in functional analysis, a Banach space (pronounced ˈbanax) is a complete normed vector space. Thus, a Banach space is a vector space with a metric that allows the computation of vector length and distance between vectors and is complete in the sense that a Cauchy sequence of vectors always converges to a well-defined limit that is within the space. Banach spaces are named after the Polish mathematician Stefan Banach, who introduced this concept and studied it systematically in 1920–1922 along with Hans Hahn and Eduard Helly.
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.
Existential risk from artificial general intelligenceExistential risk from artificial general intelligence is the hypothesis that substantial progress in artificial general intelligence (AGI) could result in human extinction or another irreversible global catastrophe. One argument goes as follows: The human species currently dominates other species because the human brain possesses distinctive capabilities other animals lack. If AI were to surpass humanity in general intelligence and become superintelligent, then it could become difficult or impossible to control.
Decisional balance sheetA decisional balance sheet or decision balance sheet is a tabular method for representing the pros and cons of different choices and for helping someone decide what to do in a certain circumstance. It is often used in working with ambivalence in people who are engaged in behaviours that are harmful to their health (for example, problematic substance use or excessive eating), as part of psychological approaches such as those based on the transtheoretical model of change, and in certain circumstances in motivational interviewing.
Cost estimateA cost estimate is the approximation of the cost of a program, project, or operation. The cost estimate is the product of the cost estimating process. The cost estimate has a single total value and may have identifiable component values. A problem with a cost overrun can be avoided with a credible, reliable, and accurate cost estimate. A cost estimator is the professional who prepares cost estimates. There are different types of cost estimators, whose title may be preceded by a modifier, such as building estimator, or electrical estimator, or chief estimator.
Lambdavacuum solutionIn general relativity, a lambdavacuum solution is an exact solution to the Einstein field equation in which the only term in the stress–energy tensor is a cosmological constant term. This can be interpreted physically as a kind of classical approximation to a nonzero vacuum energy. These are discussed here as distinct from the vacuum solutions in which the cosmological constant is vanishing. Terminological note: this article concerns a standard concept, but there is apparently no standard term to denote this concept, so we have attempted to supply one for the benefit of Wikipedia.
Design–bid–buildDesign–bid–build (or design/bid/build, and abbreviated D–B–B or D/B/B accordingly), also known as Design–tender (or "design/tender") traditional method or hardbid, is a project delivery method in which the agency or owner contracts with separate entities for the design and construction of a project. Design–bid–build is the traditional method for project delivery and differs in several substantial aspects from design–build.
Regulation of algorithmsRegulation of algorithms, or algorithmic regulation, is the creation of laws, rules and public sector policies for promotion and regulation of algorithms, particularly in artificial intelligence and machine learning. For the subset of AI algorithms, the term regulation of artificial intelligence is used. The regulatory and policy landscape for artificial intelligence (AI) is an emerging issue in jurisdictions globally, including in the European Union. Regulation of AI is considered necessary to both encourage AI and manage associated risks, but challenging.