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.
Optimisation SDPEn mathématiques et en informatique théorique, l'optimisation SDP ou semi-définie positive, est un type d'optimisation convexe, qui étend l'optimisation linéaire. Dans un problème d'optimisation SDP, l'inconnue est une matrice symétrique que l'on impose d'être semi-définie positive. Comme en optimisation linéaire, le critère à minimiser est linéaire et l'inconnue doit également satisfaire une contrainte affine. L'optimisation SDP se généralise par l'optimisation conique, qui s'intéresse aux problèmes de minimisation d'une fonction linéaire sur l'intersection d'un cône et d'un sous-espace affine.
Algorithme de Cocke-Younger-KasamiEn informatique théorique et en théorie des langages, l'algorithme de Cocke-Younger-Kasami (CYK) est un algorithme d'analyse syntaxique pour les grammaires non contextuelles, publié par Itiroo Sakai en 1961. Il permet de déterminer si un mot est engendré par une grammaire, et si oui, d'en donner un arbre syntaxique. L'algorithme est nommé d'après les trois personnes qui l'ont redécouvert indépendamment, J. Cocke, dont l'article n'a jamais été publié, D. H. Younger et T. Kasami qui a publié un rapport interne aux US-AirForce.
Avant le présentLa locution « avant le présent », en abrégé AP, ou parfois « avant aujourd'hui » (AA), équivalent de l'anglais before present (BP), est utilisée en préhistoire, en paléontologie, en géologie et en climatologie, pour désigner les âges exprimés en nombre d'années comptées vers le passé à partir du présent, lequel peut-être selon le cas l'année 1950, l'année 2000 ou l'année courante. Les méthodes de datation absolue sont aujourd'hui nombreuses, comme la datation par le carbone 14, la thermoluminescence, la datation par l'uranium-thorium, etc.
PrésentismeDans la philosophie du temps, le présentisme est la théorie métaphysique selon laquelle seul le présent existe, contrairement au passé et au futur qui n'existent pas. Cette théorie s'oppose directement à l'éternalisme, théorie selon laquelle le passé, le présent et le futur existent tout autant. Le terme est utilisé pour la première fois dans les années 1920 : tout d'abord en 1921 par l'artiste Raoul Haussmann, du mouvement Dada, dans la revue De Stijl. En 1924, le philosophe français Frédéric Paulhan y recourt lui aussi.
