New Classical architectureNew Classical architecture, New Classicism or Contemporary Classical architecture is a contemporary movement in architecture that continues the practice of Classical architecture. It is sometimes considered the modern continuation of Neoclassical architecture, even though other styles might be cited as well, such as Gothic, Baroque, Renaissance or even non-Western styles – often referenced and recreated from a postmodern perspective as opposed to being strict revival styles.
RévisionnismeLe révisionnisme consiste à tenir une position de révision. La révision peut être celle d'un objet politique quelconque (doctrine, procès, traité) : la première acception qualifiait de « républicains révisionnistes » les radicaux ayant soutenu le boulangisme, mouvement pour une révision des institutions de la . De même, chez les juifs, le sionisme révisionniste est un mouvement pour la révision du sionisme dans un sens anti-communiste.
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.
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.
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.
Architecture logicielleL’architecture logicielle décrit d’une manière symbolique et schématique les différents éléments d’un ou de plusieurs systèmes informatiques, leurs interrelations et leurs interactions. Contrairement aux spécifications produites par l’analyse fonctionnelle, le modèle d'architecture, produit lors de la phase de conception, ne décrit pas ce que doit réaliser un système informatique mais plutôt comment il doit être conçu de manière à répondre aux spécifications. L’analyse décrit le « quoi faire » alors que l’architecture décrit le « comment le faire ».
Éclectisme (architecture)L'éclectisme est une tendance en architecture qui consiste à mêler les meilleurs éléments stylistiques empruntés à différents styles ou époques de l'histoire de l'art et de l'architecture, même exotiques. Il se manifeste en Occident entre les et la fin des années 1920. Les premières manifestations ont eu lieu dans l'Angleterre du et durent tout au long du . Certaines expériences de la cour des Bourbons de Naples peuvent également être assimilées à cette tendance à Palerme, dans la période de refuge de la République parthénopéenne, comme dans le palais chinois.
Type (informatique)vignette|Présentation des principaux types de données. En programmation informatique, un type de donnée, ou simplement un type, définit la nature des valeurs que peut prendre une donnée, ainsi que les opérateurs qui peuvent lui être appliqués. La plupart des langages de programmation de haut niveau offrent des types de base correspondant aux données qui peuvent être traitées directement — à savoir : sans conversion ou formatage préalable — par le processeur.
Style architecturalAn architectural style is a set of characteristics and features that make a building or structure notable or historically identifiable. It is a sub-class of style in the visual arts generally, and most styles in architecture relate closely to a wider contemporary artistic style. A style may include such elements as form, method of construction, building materials, and regional character. Most architecture can be classified within a chronology of styles which changes over time, reflecting changing fashions, beliefs and religions, or the emergence of new ideas, technology, or materials which make new styles possible.
Méthode d'EulerEn mathématiques, la méthode d'Euler, nommée ainsi en l'honneur du mathématicien Leonhard Euler (1707 — 1783), est une procédure numérique pour résoudre par approximation des équations différentielles du premier ordre avec une condition initiale. C'est la plus simple des méthodes de résolution numérique des équations différentielles. thumb|Illustration de la méthode d'Euler explicite : l'avancée se fait par approximation sur la tangente au point initial.
