Continuation (informatique)En informatique, la continuation d'un système est son futur, c'est-à-dire la suite des instructions qu'il lui reste à exécuter à un moment précis. C'est un point de vue pour décrire l'état de la machine. Dans certains langages de programmation, les continuations peuvent être manipulées explicitement en tant qu'objets du langage à part entière : on peut stocker la continuation courante dans une variable que l'on peut donc manipuler en tant que telle ; puis plus loin, on peut restaurer la continuation, ce qui a pour effet de dérouter l'exécution du programme actuel vers le futur que l'on avait enregistré.
Continuation-passing styleIn functional programming, continuation-passing style (CPS) is a style of programming in which control is passed explicitly in the form of a continuation. This is contrasted with direct style, which is the usual style of programming. Gerald Jay Sussman and Guy L. Steele, Jr. coined the phrase in AI Memo 349 (1975), which sets out the first version of the Scheme programming language. John C. Reynolds gives a detailed account of the numerous discoveries of continuations.
Delimited continuationIn programming languages, a delimited continuation, composable continuation or partial continuation, is a "slice" of a continuation frame that has been reified into a function. Unlike regular continuations, delimited continuations return a value, and thus may be reused and composed. Control delimiters, the basis of delimited continuations, were introduced by Matthias Felleisen in 1988 though early allusions to composable and delimited continuations can be found in Carolyn Talcott's Stanford 1984 dissertation, Felleisen et al.
Call-with-current-continuationIn the Scheme computer programming language, the procedure call-with-current-continuation, abbreviated call/cc, is used as a control flow operator. It has been adopted by several other programming languages. Taking a function f as its only argument, (call/cc f) within an expression is applied to the current continuation of the expression. For example ((call/cc f) e2) is equivalent to applying f to the current continuation of the expression.
Arguments sur l'existence de DieuLes arguments sur l'existence de Dieu, en faveur ou en défaveur de son existence, ont été nombreux au cours de l'histoire de la philosophie et de la théologie. Le Dieu dont il est question ici est ce que l'on nomme parfois le Dieu des philosophes, à savoir le Dieu des grandes religions du Livre (judaïsme, christianisme, islam), tel qu'il a été conceptualisé par les philosophes. Ses attributs sont d'être le créateur du monde, omniscient, omnipotent, omniprésent et bon.
Pile d'exécutionEn informatique, la pile d’exécution (souvent abrégée en la pile ; en anglais, call stack) est une structure de données de type pile qui sert à enregistrer des informations au sujet des fonctions actives dans un programme informatique. Une pile d'exécution est utilisée pour emmagasiner plusieurs valeurs, mais sa principale utilisation est de garder la trace de l'endroit où chaque fonction active doit retourner à la fin de son exécution (les fonctions actives sont celles qui ont été appelées, mais n’ont pas encore terminé leur exécution).
Onde stationnairevignette|redresse=2|Onde stationnaire résultant de la superposition d'ondes de sens inverse ; les points rouges sont les nœuds de vibration. En physique ondulatoire, une est une oscillation locale dans un milieu clos, qui ne se propage pas. On appelle les points où l'amplitude est nulle des nœuds de vibration, et ceux où l'amplitude est maximale des ventres de vibration. Dans un milieu à une dimension, comme un conducteur électrique ou un tuyau, elle est la résultante de la superposition d'ondes de même fréquence et de même amplitude mais de sens de propagation opposé .
ExistenceLe terme d'existence en soi est ambigu, il recouvre de multiples sens. Dans le langage trivial il désigne le fait d'être, d'être de manière réelle, il est ainsi utilisé dans un usage tout aussi indéterminé chez beaucoup de philosophes comme équivalent au terme d'« être ». Outre le fait d'exister, il intervient, indique le Petit Larousse, dans plusieurs expressions courantes pour signaler une durée (une longue existence), au sens de vie (être las de son existence), un mode de vie (changer d'existence), etc.
Argument ontologiqueL'argument ontologique est un argument qui vise à prouver l'existence de Dieu. Il est dit ontologique, car il appuie sa preuve sur la définition de ce qu'est l'être (ontos) de Dieu : il est dans l'être de Dieu d'exister. On considère généralement que Boèce () est le premier à avoir proposé un argument de ce genre, mais c'est sa formulation par Anselme de Cantorbéry au qui rend l'argument célèbre. À l'époque moderne, la version cartésienne de l'argument a été particulièrement influente, faisant l'objet de plusieurs critiques qui conduisent à rejeter la valeur des arguments ontologiques en général.
Théorie des bifurcationsLa théorie des bifurcations, en mathématiques et en physique est l'étude de certains aspects des systèmes dynamiques. Une bifurcation intervient lorsqu'un petit changement d'un paramètre physique produit un changement majeur dans l'organisation du système. Des exemples classiques d'une bifurcation en sciences pures sont par exemple les rythmes circadiens de populations animales en biologie théorique et les solutions de météo en mathématique et physique non linéaire, en sciences de l'ingénieur il y a aussi le flambage d'une poutre élastique (l'expérience peut être faite avec une règle d'écolier) ou les transitions de phase de matériaux (température critique de bifurcation, concentration critique).
Théorie de la stabilitéEn mathématiques, la théorie de la stabilité traite la stabilité des solutions d'équations différentielles et des trajectoires des systèmes dynamiques sous des petites perturbations des conditions initiales. L'équation de la chaleur, par exemple, est une équation aux dérivées partielles stable parce que des petites perturbations des conditions initiales conduisent à des faibles variations de la température à un temps ultérieur en raison du principe du maximum.
Prolongement analytiqueEn analyse complexe, la théorie du prolongement analytique détaille l'ensemble des propriétés et techniques relatives au prolongement des fonctions holomorphes (ou analytiques). Elle considère d'abord la question du prolongement dans le plan complexe. Puis elle aborde des formes plus générales d'extension qui permettent de prendre en compte les singularités et les complications topologiques qui les accompagnent. La théorie fait alors intervenir soit le concept assez ancien et peu opérant de fonction multiforme, soit le concept plus puissant de surface de Riemann.
Ondevignette|Propagation d'une onde. Une onde est la propagation d'une perturbation produisant sur son passage une variation réversible des propriétés physiques locales du milieu. Elle se déplace avec une vitesse déterminée qui dépend des caractéristiques du milieu de propagation. vignette|Une vague s'écrasant sur le rivage. Il existe trois principaux types d'ondes : les ondes mécaniques se propagent à travers une matière physique dont la substance se déforme. Les forces de restauration inversent alors la déformation.
ZielA goal or objective is an idea of the future or desired result that a person or a group of people envision, plan and commit to achieve. People endeavour to reach goals within a finite time by setting deadlines. A goal is roughly similar to a purpose or aim, the anticipated result which guides reaction, or an end, which is an object, either a physical object or an abstract object, that has intrinsic value. Goal setting Goal-setting theory was formulated based on empirical research and has been called one of the most important theories in organizational psychology.
Stabilité de LiapounovEn mathématiques et en automatique, la notion de stabilité de Liapounov (ou, plus correctement, de stabilité au sens de Liapounov) apparaît dans l'étude des systèmes dynamiques. De manière générale, la notion de stabilité joue également un rôle en mécanique, dans les modèles économiques, les algorithmes numériques, la mécanique quantique, la physique nucléaire Un exemple typique de système stable au sens de Liapounov est celui constitué d'une bille roulant sans frottement au fond d'une coupelle ayant la forme d'une demi-sphère creuse : après avoir été écartée de sa position d'équilibre (qui est le fond de la coupelle), la bille oscille autour de cette position, sans s'éloigner davantage : la composante tangentielle de la force de gravité ramène constamment la bille vers sa position d'équilibre.
Nonlinear systemIn mathematics and science, a nonlinear system (or a non-linear system) is a system in which the change of the output is not proportional to the change of the input. Nonlinear problems are of interest to engineers, biologists, physicists, mathematicians, and many other scientists since most systems are inherently nonlinear in nature. Nonlinear dynamical systems, describing changes in variables over time, may appear chaotic, unpredictable, or counterintuitive, contrasting with much simpler linear systems.
Équation de SchrödingerL'équation de Schrödinger, conçue par le physicien autrichien Erwin Schrödinger en 1925, est une équation fondamentale en mécanique quantique. Elle décrit l'évolution dans le temps d'une particule massive non relativiste, et remplit ainsi le même rôle que la relation fondamentale de la dynamique en mécanique classique. Au début du , il était devenu clair que la lumière présentait une dualité onde-corpuscule, c'est-à-dire qu'elle pouvait se manifester, selon les circonstances, soit comme une particule, le photon, soit comme une onde électromagnétique.
Rapport d'ondes stationnairesLe rapport d'ondes stationnaires (ROS) ou standing wave ratio (SWR) en anglais, et le taux d'ondes stationnaires (TOS) expriment la qualité de l'adaptation d'antenne, à une ligne de transmission, coaxiale ou bifilaire. Dans une ligne de transmission coexistent une onde incidente, d'amplitude , et une onde réfléchie, d'amplitude . La superposition de ces deux ondes va produire une onde résultante dont l'amplitude va varier le long de la ligne. On observera des maxima aux endroits où l'onde incidente et l'onde réfléchie produisent des interférences constructives.
Signal sinusoïdalthumb|upright|Signal sinusoïdal simple. Un signal sinusoïdal est un signal continu (onde) dont l’amplitude, observée à un endroit précis, est une fonction sinusoïdale du temps, définie à partir de la fonction sinus. La courbe associée s'appelle une sinusoïde (voir Figure 1). Un signal sinusoïdal est caractérisé par son amplitude maximale et sa fréquence.
Calcul des variationsLe calcul des variations (ou calcul variationnel) est, en mathématiques et plus précisément en analyse fonctionnelle, un ensemble de méthodes permettant de minimiser une fonctionnelle. Celle-ci, qui est à valeurs réelles, dépend d'une fonction qui est l'inconnue du problème. Il s'agit donc d'un problème de minimisation dans un espace fonctionnel de dimension infinie. Le calcul des variations s'est développé depuis le milieu du jusqu'aujourd'hui ; son dernier avatar est la théorie de la commande optimale, datant de la fin des années 1950.
