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.
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.
HomeA home, or domicile, is a space used as a permanent or semi-permanent residence for one or many humans, and sometimes various companion animals. It is a fully- or semi-sheltered space and can have both interior and exterior aspects to it. Homes provide sheltered spaces, for instance rooms, where domestic activity can be performed such as sleeping, preparing food, eating and hygiene as well as providing spaces for work and leisure such as remote working, studying and playing.
AttemptAn attempt to commit a crime occurs if a criminal has an intent to commit a crime and takes a substantial step toward completing the crime, but for reasons not intended by the criminal, the final resulting crime does not occur. Attempt to commit a particular crime is a crime, usually considered to be of the same or lesser gravity as the particular crime attempted. Attempt is a type of inchoate crime, a crime that is not fully developed. The crime of attempt has two elements, intent and some conduct toward completion of the crime.
QuestionnaireA questionnaire is a research instrument that consists of a set of questions (or other types of prompts) for the purpose of gathering information from respondents through survey or statistical study. A research questionnaire is typically a mix of close-ended questions and open-ended questions. Open-ended, long-term questions offer the respondent the ability to elaborate on their thoughts. The Research questionnaire was developed by the Statistical Society of London in 1838.
Result setIn databases, a result set is the set of results returned by a query. In SQL, it is the result of a SELECT query on a table or view and is itself a non-permanent table of rows, and could include metadata about the query such as the column names, and the types and sizes of each column. Depending on the database system, the number of rows in the result set may or may not be known. Usually, this number is not known up front because the result set is built on-the-fly.
HouseholdA household consists of one or more persons who live in the same dwelling. It may be of a single family or another type of person group. The household is the basic unit of analysis in many social, microeconomic and government models, and is important to economics and inheritance. Household models include families, blended families, shared housing, group homes, boarding houses, houses of multiple occupancy (UK), and single room occupancy (US). In feudal societies, the royal household and medieval households of the wealthy included servants and other retainers.
Questionnaire constructionQuestionnaire construction refers to the design of a questionnaire to gather statistically useful information about a given topic. When properly constructed and responsibly administered, questionnaires can provide valuable data about any given subject. Questionnaire Questionnaires are frequently used in quantitative marketing research and social research. They are a valuable method of collecting a wide range of information from a large number of individuals, often referred to as respondents.
Attempted murderAttempted murder is a crime of attempt in various jurisdictions. Section 239 of the Criminal Code makes attempted murder punishable by a maximum of life imprisonment. If a gun is used, the minimum sentence is four, five or seven years, dependent on prior convictions and relation to organized crime. In English criminal law, attempted murder is the crime of simultaneously preparing to commit an unlawful killing and having a specific intention to cause the death of a human being under the King's Peace.
EurobarometerEurobarometer is a series of public opinion surveys conducted regularly on behalf of the European Commission and other EU institutions since 1973. These surveys address a wide variety of topical issues relating to the European Union throughout its member states. The Eurobarometer results are published by the European Commission's Directorate-General Communication. Its database since 1973 is one of the largest in the world.
