Conversion de typeEn informatique la conversion de type, le transtypage ou la coercition (cast en anglais) est le fait de convertir une valeur d'un type (source) dans un autre (cible). On distingue trois formes de conversion (dont un seul mérite vraiment le nom de conversion) suivant la relation de sous-typage existant entre les types source et cible : la conversion entre types incomparables ; la coercition ascendante (transtypage vers le haut) ; la coercition descendante (transtypage vers le bas). C'est la coercition la plus ancienne historiquement.
Architecture japonaiseL' se caractérise traditionnellement par des structures en bois, légèrement surélevées, avec des toits de tuiles ou de chaume. Des portes coulissantes (fusuma) sont fréquemment utilisées comme cloisons, permettant de modifier la configuration d'un espace. Au Japon comme dans de nombreux autres pays, l'architecture contemporaine reflète une approche globale et moderne des anciens modèles, qui n'a souvent que peu de rapports avec les constructions japonaises traditionnelles.
Siècle des LumièresLe siècle des Lumières est un mouvement philosophique, littéraire et culturel bourgeois que connaît l'Europe au (de 1715 à 1789) et qui se propose de promouvoir le rationalisme, l'individualisme et le libéralisme, contre l'obscurantisme et la superstition de l'Église catholique et contre l'arbitraire de la royauté et de la noblesse, avec pour modèle la philosophie empirique, l'économie libérale et la monarchie constitutionnelle anglaise.
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).
ModernitéLa modernité est un concept désignant l’idée d'agir en conformité avec son temps et non plus en fonction de valeurs, considérées de facto comme « dépassées ». Les philosophes, anthropologues et sociologues traitent principalement de ce concept mais aussi les historiens, quand ils qualifient de « moderne » une des époques qu'ils étudient. Si bien que l'adjectif « moderne » est entré dans le langage usuel.
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).
Interprétation (logique)En logique, une interprétation est une attribution de sens aux symboles d'un langage formel. Les langages formels utilisés en mathématiques, en logique et en informatique théorique ne sont définis dans un premier temps que syntaxiquement ; pour en donner une définition complète, il faut expliquer comment ils fonctionnent et en donner une interprétation. Le domaine de la logique qui donne une interprétation aux langages formels s'appelle la sémantique formelle.
Architecture néo-classiquethumb|La Rotunda Santa Marija de Mosta, à Malte, est construite à partir de 1833. Larchitecture néo-classique est un courant architectural procédant du néo-classicisme de la seconde moitié du et du début du . Succédant au classicisme, à l’architecture baroque et rococo, l'architecture néo-classique utilise les éléments gréco-romains (colonnes, fronton, proportions harmonieuses, portique) et se met au service du politique. La découverte et les fouilles des sites de Pompéi et Herculanum remirent au goût du jour les formes antiques.
Méthode itérativeEn analyse numérique, une méthode itérative est un procédé algorithmique utilisé pour résoudre un problème, par exemple la recherche d’une solution d’un système d'équations ou d’un problème d’optimisation. En débutant par le choix d’un point initial considéré comme une première ébauche de solution, la méthode procède par itérations au cours desquelles elle détermine une succession de solutions approximatives raffinées qui se rapprochent graduellement de la solution cherchée. Les points générés sont appelés des itérés.
Heun's methodIn mathematics and computational science, Heun's method may refer to the improved or modified Euler's method (that is, the explicit trapezoidal rule), or a similar two-stage Runge–Kutta method. It is named after Karl Heun and is a numerical procedure for solving ordinary differential equations (ODEs) with a given initial value. Both variants can be seen as extensions of the Euler method into two-stage second-order Runge–Kutta methods.
