Unité d'habitationThe Unité d'habitation (ynite dabitasjɔ̃, Housing Unit) is a modernist residential housing typology developed by Le Corbusier, with the collaboration of painter-architect Nadir Afonso. It formed the basis of several housing developments throughout Europe designed by Le Corbusier and sharing the same name. The most famous of these buildings is located in the southern part of Marseille, France. It was added to the UNESCO World Heritage List in 2016 because of its importance to the development of modernist architecture, along with 16 other works by Le Corbusier.
ConstructionConstruction is a general term meaning the art and science to form objects, systems, or organizations, and comes from Latin constructio (from com- "together" and struere "to pile up") and Old French construction. To construct is the verb: the act of building, and the noun is construction: how something is built, the nature of its structure. In its most widely used context, construction covers the processes involved in delivering buildings, infrastructure, industrial facilities, and associated activities through to the end of their life.
Construction managementConstruction management (CM) is a professional service that uses specialized, project management techniques and software to oversee the planning, design, construction and closeout of a project. The purpose of construction management is to control the quality of a project's scope, time / delivery and cost—sometimes referred to as a project management triangle or "triple constraints." CM is compatible with all project delivery systems, including design-bid-build, design-build, CM At-Risk and Public Private Partnerships.
Public housingPublic housing is a form of housing tenure in which the property is usually owned by a government authority, either central or local. Although the common goal of public housing is to provide affordable housing, the details, terminology, definitions of poverty, and other criteria for allocation vary within different contexts. In the United States, public housing developments are classified either as housing projects that are owned by a city's Housing authority or federally subsidized public housing operated through HUD.
HousingHousing, or more generally, living spaces, refers to the construction and assigned usage of houses or buildings individually or collectively, for the purpose of shelter. Housing is a basic human need, and it plays a critical role in shaping the quality of life for individuals, families, and communities. Housing ensures that members of society have a place to live, whether it is a home or some kind of physical structure for dwelling, lodging or shelter and it includes a range of options from apartments and houses to temporary shelters and emergency accommodations.
Housing estateA housing estate (or sometimes housing complex, housing development, subdivision or community) is a group of homes and other buildings built together as a single development. The exact form may vary from country to country. Popular throughout the United States and the United Kingdom, they often consist of single family detached, semi-detached ("duplex") or terraced homes, with separate ownership of each dwelling unit. Building density depends on local planning norms.
Embodied cognitionEmbodied cognition is the theory that many features of cognition, whether human or otherwise, are shaped by aspects of an organism's entire body. The cognitive features include high-level mental constructs (such as concepts and categories) and performance on various cognitive tasks (such as reasoning or judgment). The bodily aspects involve the motor system, the perceptual system, the bodily interactions with the environment (situatedness), and the assumptions about the world built the functional structure of organism's brain and body.
Type systemIn computer programming, a type system is a logical system comprising a set of rules that assigns a property called a type (for example, integer, floating point, string) to every "term" (a word, phrase, or other set of symbols). Usually the terms are various constructs of a computer program, such as variables, expressions, functions, or modules. A type system dictates the operations that can be performed on a term. For variables, the type system determines the allowed values of that term.
Type theoryIn mathematics, logic, and computer science, a type theory is the formal presentation of a specific type system, and in general, type theory is the academic study of type systems. Some type theories serve as alternatives to set theory as a foundation of mathematics. Two influential type theories that were proposed as foundations are Alonzo Church's typed λ-calculus and Per Martin-Löf's intuitionistic type theory. Most computerized proof-writing systems use a type theory for their foundation, a common one is Thierry Coquand's Calculus of Inductive Constructions.
ApartmentAn apartment (American English), flat (British English, Indian English, South African English), or unit (Australian English) is a self-contained housing unit (a type of residential real estate) that occupies part of a building, generally on a single storey. There are many names for these overall buildings, see below. The housing tenure of apartments also varies considerably, from large-scale public housing, to owner occupancy within what is legally a condominium (strata title or commonhold), to tenants renting from a private landlord (see leasehold estate).
