Bâtiment (construction)Un bâtiment au sens commun est une construction immobilière, réalisée par intervention humaine, destinée d'une part à servir d'abri, c'est-à-dire à protéger des intempéries des personnes, des biens et des activités, d'autre part à manifester leur permanence comme fonction sociale, politique ou culturelle. Un bâtiment est un ouvrage d'un seul tenant composé de corps de bâtiments couvrant des espaces habitables lorsqu'il est d'une taille importante.
Type dépendantEn Informatique et en Logique, un type dépendant est un type qui peut dépendre d'une valeur définie dans le langage typé. Les langages Agda et Gallina (de l'assistant de preuve Coq) sont des exemples de langages à type dépendant. Les types dépendants permettent par exemple de définir le type des listes à n éléments. Voici un exemple en Coq. Inductive Vect (A: Type): nat -> Type := | nil: Vect A 0 | cons (n: nat) (x: A) (t: Vect A n): Vect A (S n).
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.
Intuitionistic type theoryIntuitionistic type theory (also known as constructive type theory, or Martin-Löf type theory) is a type theory and an alternative foundation of mathematics. Intuitionistic type theory was created by Per Martin-Löf, a Swedish mathematician and philosopher, who first published it in 1972. There are multiple versions of the type theory: Martin-Löf proposed both intensional and extensional variants of the theory and early impredicative versions, shown to be inconsistent by Girard's paradox, gave way to predicative versions.
Postmodernisme (architecture)Le postmodernisme en architecture, après avoir été un mouvement artistique lancé par Charles Jencks ou Christopher Alexander, est devenu un mouvement architectural dont l'influence est encore très présente de nos jours. Le postmodernisme a émergé aux États-Unis et en Europe à la fin des années 1970, puis il a gagné le reste du monde, et restera jusqu'à nos jours le style dominant dans les villes de jeux ou de loisirs (Las Vegas, Dubaï, ou le quartier Val d'Europe près du Disneyland de Paris).
Crimes de guerre de l'ItalieLes crimes de guerre de l'Italie sont principalement associée à l'Italie fasciste dans la Seconde guerre italo-éthiopienne et pendant la Seconde Guerre mondiale. À la fin de la Seconde Guerre mondiale, militaires et responsables politiques italiens sont répertoriés comme criminels de guerre dans les Balkans, mais aussi en Éthiopie, en Afrique du Nord et en France. Pendant la Seconde guerre italo-éthiopienne, des violations des lois de guerre ont été signalées et documentées.
Bassin méditerranéenthumb|Le bassin méditerranéen. Les notions de bassin méditerranéen et de monde méditerranéen désignent les régions se trouvant autour de la mer Méditerranée. Ces régions méditerranéennes couvrent l'Europe du Sud (Espagne, France, Italie, Malte, Slovénie, Croatie, Monténégro, Albanie, Grèce et Chypre), le Proche-Orient (Turquie, Syrie, Liban, Israël, Palestine), et l'Afrique du Nord (Maroc, Algérie, Tunisie, Libye, Égypte). Des critères culturels ou historiques permettent de délimiter la région méditerranéenne, mais surtout la présence d'un climat commun : le climat méditerranéen.
Architecture contemporainethumb|200px|upright 0.8|L'architecture du Musée Guggenheim à Bilbao, Frank Gehry, 1997. L'architecture contemporaine est par définition l'architecture produite maintenant, et cette qualification est donnée aux courants architecturaux de ces dernières décennies appartenant à l'histoire immédiate. Mais d'une façon encore plus générale, le est l'époque contemporaine définissant pour son architecture alors son caractère « contemporain », et dans ce cas voir l'Histoire de l'architecture.
Seagram BuildingLe Seagram Building est un gratte-ciel, situé dans le quartier Midtown de New York (plus précisément à l'adresse 375 Park Avenue), et réalisé par l'architecte allemand Ludwig Mies van der Rohe, en collaboration avec l'architecte américain Philip Johnson, entre 1954 et 1958 ainsi que l’architecte canadienne Phyllis Lambert. Le Seagram Building est inscrit au Registre national des lieux historiques depuis le . La genèse du projet doit beaucoup à Phyllis Lambert.
Implicit attitudeImplicit attitudes are evaluations that occur without conscious awareness towards an attitude object or the self. These evaluations are generally either favorable or unfavorable and come about from various influences in the individual experience. The commonly used definition of implicit attitude within cognitive and social psychology comes from Anthony Greenwald and Mahzarin Banaji's template for definitions of terms related to implicit cognition: "Implicit attitudes are introspectively unidentified (or inaccurately identified) traces of past experience that mediate favorable or unfavorable feeling, thought, or action toward social objects".
