lifting function
Смотреть что такое "lifting function" в других словарях:
Lambda lifting — or closure conversion is the process of eliminating free variables from local function definitions from a computer program. The elimination of free variables allows the compiler to hoist local definitions out of their surrounding contexts into a… … Wikipedia
Homotopy lifting property — In mathematics, in particular in homotopy theory within algebraic topology, the homotopy lifting property (also known as the right lifting property or the covering homotopy axiom) is a technical condition on a continuous function from a… … Wikipedia
Zeta function universality — In mathematics, the universality of zeta functions is the remarkable property of the Riemann zeta function and other, similar, functions, such as the Dirichlet L functions, to approximate arbitrary non vanishing holomorphic functions arbitrarily… … Wikipedia
Nested function — definitions can be compared to how a Matryoshka doll nests within larger versions of itself, in several levels. In computer programming, a nested function (or nested procedure/subroutine) is a function which is lexically (textually) encapsulated… … Wikipedia
Matrix function — In mathematics, a matrix function is a function which maps a matrix to another matrix. Contents 1 Extending scalar functions to matrix functions 1.1 Power series 1.2 Jordan decomposition … Wikipedia
Monad (functional programming) — In functional programming, a monad is a programming structure that represents computations. Monads are a kind of abstract data type constructor that encapsulate program logic instead of data in the domain model. A defined monad allows the… … Wikipedia
Digital control — is a branch of control theory that uses digital computers to act as system controllers. Depending on the requirements, a digital control system can take the form of a microcontroller to an ASIC to a standard desktop computer. Since a digital… … Wikipedia
VS-AT4 mine — The VS AT4 and VS AT4 EL are Italian minimum metal blast resistant anti tank blast mines. The VS AT4 uses a blast resistant mechanical pressure fuze, while the VS AT4 EL uses a programmable electronic pressure fuze with an integral anti lifting… … Wikipedia
Strength training — This article is about the basic principles to train muscular strength. For strength training using free weights or weight machines, see weight training. The lat. pulldown, which strengthens the arms and back Strength training is the use of… … Wikipedia
Alexandra Bellow — (1935 ndash;) is a mathematician who has made substantial contributions to the fields of ergodic theory, probability and analysis. BiographyShe was born in Bucharest, Romania, as Alexandra Bagdasar. Her parents were both physicians. Her mother,… … Wikipedia
ship — shipless, adj. shiplessly, adv. /ship/, n., v., shipped, shipping. n. 1. a vessel, esp. a large oceangoing one propelled by sails or engines. 2. Naut. a. a sailing vessel square rigged on all of three or more masts, having jibs, staysails, and a… … Universalium
