Lord Byronvignette|redresse|Lettre signée adressée à John Hanson. Source BEIC. George Gordon Byron, Byron, généralement appelé Lord Byron , est un poète britannique, né le à Londres et mort le à Missolonghi, en Grèce, alors sous domination ottomane. Il est l'un des plus illustres poètes de l'histoire littéraire de langue anglaise. Bien que classique par le goût, il représente l'une des grandes figures du romantisme de langue anglaise, avec William Blake, William Wordsworth, Samuel Taylor Coleridge, Percy Bysshe Shelley et John Keats.
Swap de devisesLe swap de devises (ou swap de taux d’intérêt et de devises) est un accord conclu entre deux parties qui s’échangent un montant déterminé de devises étrangères et s’engagent mutuellement à effectuer régulièrement des paiements correspondant aux intérêts ainsi qu’à se rendre le montant échangé à une échéance déterminée. En anglais ces swaps sont appelés cross currency swap ou currency interest rate swap (CIRS). Il existe différents types de swap : les swaps export sont consentis par des banques aux exportateurs dans certains pays.
Abduction (logique)L'abduction (du latin « abductio » : emmener) est un type de raisonnement consistant à inférer des causes probables à un fait observé. Autrement dit, il s'agit d'établir une cause la plus vraisemblable à un fait constaté et d'affirmer, à titre d'hypothèse de travail, que le fait en question résulte probablement de cette cause. Par exemple, en médecine, l’abduction est utilisée pour faire des diagnostics.
Earth ellipsoidAn Earth ellipsoid or Earth spheroid is a mathematical figure approximating the Earth's form, used as a reference frame for computations in geodesy, astronomy, and the geosciences. Various different ellipsoids have been used as approximations. It is a spheroid (an ellipsoid of revolution) whose minor axis (shorter diameter), which connects the geographical North Pole and South Pole, is approximately aligned with the Earth's axis of rotation.
Basis swapA basis swap is an interest rate swap which involves the exchange of two floating rate financial instruments. A basis swap functions as a floating-floating interest rate swap under which the floating rate payments are referenced to different bases. The existence of a basis arises from demand and supply imbalances and where, for example, a basis is due for a borrower seeking dollars, this is indicative of a synthetic dollar interest rate in the FX market pricing higher than the direct dollar interest rate.
Liste chaînéeUne liste chaînée ou liste liée (en anglais linked list) désigne en informatique une structure de données représentant une collection ordonnée et de taille arbitraire d'éléments de même type, dont la représentation en mémoire de l'ordinateur est une succession de cellules faites d'un contenu et d'un pointeur vers une autre cellule. De façon imagée, l'ensemble des cellules ressemble à une chaîne dont les maillons seraient les cellules.
Algorithme récursifUn algorithme récursif est un algorithme qui résout un problème en calculant des solutions d'instances plus petites du même problème. L'approche récursive est un des concepts de base en informatique. Les premiers langages de programmation qui ont autorisé l'emploi de la récursivité sont LISP et Algol 60. Depuis, tous les langages de programmation généraux réalisent une implémentation de la récursivité. Pour répéter des opérations, typiquement, un algorithme récursif s'appelle lui-même.
Synthèse de programmesEn informatique, la synthèse de programmes consiste à construire automatiquement un programme à partir d'une spécification. La spécification est décrite dans un langage logique, par exemple en logique temporelle linéaire. La synthèse de programmes s'appuie sur des techniques de vérification formelle de programmes. Le problème de synthèse de programmes remonte aux travaux d'Alonzo Church. Manna et Waldinger ont proposé une méthode déductive pour synthétiser un programme à partir d'une spécification en logique du premier ordre.
Planetary coordinate systemA planetary coordinate system (also referred to as planetographic, planetodetic, or planetocentric) is a generalization of the geographic, geodetic, and the geocentric coordinate systems for planets other than Earth. Similar coordinate systems are defined for other solid celestial bodies, such as in the selenographic coordinates for the Moon. The coordinate systems for almost all of the solid bodies in the Solar System were established by Merton E.
Type systemIn computer programming, a type system is a logical system comprising a set of rules that assigns a property called a type (for example, integer, floating point, string) to every "term" (a word, phrase, or other set of symbols). Usually the terms are various constructs of a computer program, such as variables, expressions, functions, or modules. A type system dictates the operations that can be performed on a term. For variables, the type system determines the allowed values of that term.
Type classIn computer science, a type class is a type system construct that supports ad hoc polymorphism. This is achieved by adding constraints to type variables in parametrically polymorphic types. Such a constraint typically involves a type class T and a type variable a, and means that a can only be instantiated to a type whose members support the overloaded operations associated with T.
