Unité d'habitationLunité d'habitation est le nom donné à un principe moderne de bâtiments d'habitation conçu par Le Corbusier, architecte franco-suisse (en collaboration avec le peintre et architecte portugais Nadir Afonso) qui a servi de modèle à plusieurs cités désignées par ce nom. La première de ces unités est celle de Marseille construite entre 1945 et 1952, connue aussi sous le nom de « Cité radieuse ». Elle est devenue un grand classique architectural et on la considère souvent comme le bâtiment qui a inspiré par la suite le style et la pensée brutaliste.
Constructionvignette|upright|Les grues sont essentielles pour des travaux importants tels que les gratte-ciel. La construction est le fait d'assembler différents éléments d'un édifice en utilisant des matériaux et des techniques appropriées. Le secteur économique de la construction, appelé « bâtiment et travaux publics » (BTP) dans une partie de l'Europe francophone, regroupe toutes les activités de conception et de construction des bâtiments publics et privés, industriels ou non, et des infrastructures telles que les routes ou les canalisations.
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.
Logement socialUn logement social est un logement destiné, à la suite d'une initiative publique ou privée, à des personnes qui ont des difficultés à se loger le plus souvent pour des raisons financières. L'expression sert aussi à désigner le secteur économique constitué par ce marché immobilier et les politiques d'économie sociale qui président à son administration. En Europe, le logement passe par diverses traditions et des histoires nationales qui toutes visent à l’encadrement des loyers et à plus ou moins d'extension du logement social.
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.
Grand ensembleUn grand ensemble, parfois qualifié de cité ou abusivement cité HLM (car beaucoup de grands ensembles, même parmi les plus délabrés, sont des copropriétés et non des logements sociaux), est un type de forme urbaine, généralement de grande étendue, censé accueillir un grand nombre d'habitants et, dans une certaine mesure, caractérisé par l'aspect répétitif de ses bâtiments, généralement une série de barres et de tours. La composition d'un grand ensemble peut varier du tout au tout d'un contexte à l'autre.
EmbodimentL'embodiment (ou cognition incarnée) est un concept issu de la psychologie cognitive. Il fait référence aux pensées (cognition), aux sentiments (émotion) et aux comportements (corps) basés sur nos expériences sensorielles et sur nos positions corporelles. Dans la pratique, il est utilisé pour penser des aspects généralement associés à notre vie quotidienne, tels que notre façon de bouger, de parler et de se développer.
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.
Théorie des typesEn mathématiques, logique et informatique, une théorie des types est une classe de systèmes formels, dont certains peuvent servir d'alternatives à la théorie des ensembles comme fondation des mathématiques. Ils ont été historiquement introduits pour résoudre le paradoxe d'un axiome de compréhension non restreint. En théorie des types, il existe des types de base et des constructeurs (comme celui des fonctions ou encore celui du produit cartésien) qui permettent de créer de nouveaux types à partir de types préexistant.
AppartementUn appartement est une unité d’habitation, comportant un certain nombre de pièces et qui n’occupe qu’une partie d’un immeuble, situé généralement dans une ville. Il est souvent à usage d'habitation (notion de logement). En particulier en France, lorsque le règlement de copropriété destine intégralement l'immeuble à cette utilisation (c'est ce qu'on appelle des clauses d'« occupation bourgeoise exclusive »), excluant toutes formes d'activités commerciales. Plus marginalement, il héberge parfois des activités professionnelles.
Construction engineeringConstruction engineering, also known as construction operations, is a professional subdiscipline of civil engineering that deals with the designing, planning, construction, and operations management of infrastructure such as roadways, tunnels, bridges, airports, railroads, facilities, buildings, dams, utilities and other projects. Construction engineers learn some of the design aspects similar to civil engineers as well as project management aspects.
Liste de corps d'étatCet article constitue une liste rassemblant selon les répartitions communément usitées les corps de métier dans le domaine du génie civil, communément désignés sous l'appellation collective de corps d'état. Il s'agit d'appellations couramment rencontrées dans les allotissements des marchés de travaux.
Architecturevignette|upright=1.2|La cathédrale Saint-Pierre de Beauvais, , toute en pierre de taille, est l’exemple le plus aérien et dématérialisé de l'architecture gothique qui atteint là ses limites techniques. vignette|upright=1.2|La coupole du Panthéon, construit dans l'Antiquité romaine au début du , est restée de loin la plus large coupole du monde durant de nombreux siècles. Elle ne sera égalée qu'au par le dôme de la cathédrale de Florence qui marque de ce fait le début de la Renaissance, pour n'être dépassée qu'à partir du par les dômes contemporains.
Housing associationIn Ireland and the United Kingdom, housing associations are private, non-profit making organisations that provide low-cost "social housing" for people in need of a home. Any budget surplus is used to maintain existing housing and to help finance new homes and it cannot be used for personal benefit of directors or shareholders. Although independent, they are regulated by the state and commonly receive public funding. They are now the United Kingdom's major providers of new housing for rent, while many also run shared ownership schemes to help those who cannot afford to buy a home outright.
Sûreté du typageLa sûreté du typage est un principe permettant d'améliorer la qualité de la programmation. Dans les langages à typage statique, l'un des objectifs est d'intercepter les erreurs de type de données lors de la compilation. Un type peut être vu comme un ensemble de valeurs et un ensemble d'opérateurs. La programmation objet a introduit les notions d'objets, messages, classes, héritage. Il est tentant de faire coller les classes à des types.
Grammaire de constructionLa grammaire de construction (souvent abrégée CxG pour l'anglais Construction Grammar) est une famille de théories sociobiologiques dans le domaine de la linguistique cognitive et évolutive. Ceux-ci supposent que le langage humain est constitué de constructions ou d'appariements appris de formes linguistiques avec des significations. Les constructions correspondent à des réplicateurs ou des mêmes dans la mémétique et d'autres théories de réplicateurs culturels.
Brutalismevignette|300px|L'hôtel de ville de Boston (Massachusetts), réalisé par Kallmann McKinnell & Knowles en 1969.vignette|300px|Tour de la Sécurité Sociale à Rennes (Bretagne), en France, réalisé par Claude Flambeau en 1965. Le brutalisme est un style architectural issu du mouvement moderne, qui connaît une grande popularité des années 1950 aux années 1970 avant de décliner peu à peu, bien que divers architectes s'inspirent encore des principes de ce courant.
Inférence de typesL'inférence de types est un mécanisme qui permet à un compilateur ou un interpréteur de rechercher automatiquement les types associés à des expressions, sans qu'ils soient indiqués explicitement dans le code source. Il s'agit pour le compilateur ou l'interpréteur de trouver le type le plus général que puisse prendre l'expression. Les avantages à disposer de ce mécanisme sont multiples : le code source est plus aéré, le développeur n'a pas à se soucier de retenir les noms de types, l'interpréteur fournit un moyen au développeur de vérifier (en partie) le code qu'il a écrit et le programme est peu modifié en cas de changement de structure de données.
Architectural engineeringArchitectural engineering or architecture engineering, also known as building engineering, is an engineering discipline that deals with the engineering systems - such as structural, mechanical, electrical, lighting, environmental, climate control, telecommunications, security, and other technologies used in buildings. From reduction of greenhouse gas emissions to the construction of resilient buildings, architectural engineers are at the forefront of addressing several major challenges of the 21st century.
Affordable housingAffordable housing is housing which is deemed affordable to those with a household income at or below the median as rated by the national government or a local government by a recognized housing affordability index. Most of the literature on affordable housing refers to mortgages and a number of forms that exist along a continuum – from emergency homeless shelters, to transitional housing, to non-market rental (also known as social or subsidized housing), to formal and informal rental, indigenous housing, and ending with affordable home ownership.
