A method for dynamically updating running code is described. The method is "principled" in that old functionality is not destroyed. Rather, new functionality is added which can selectively and dynamically change the overall behavior of the system, yet all formal properties of the original system are guaranteed to still hold. Higher-order functions are the key to making this work, and an impleme...

We introduce a solvable model of randomly growing systems consisted of many independent subunits. Scaling relations and growth rate distributions in the limit of infinite subunits are analyzed theoretically. Various types of scaling properties and distributions reported for growth rates of complex systems in wide fields can be derived from this basic physical model. Statistical data of growth r...

The slow roll approximation is studied for cosmological models in Hyperextended Scalar-Tensor Theories of Gravity. A procedure to obtain slow roll solutions in non-minimally coupled gravity is outlined and some examples are provided. An integral condition over the functional form of the non-minimal coupling is imposed in order to obtain intermediate inflationary behavior. e-mail: dtorres@venus....

Two major degradations, edge displacement and comer erosion, change the appearance of bilevel images. The displacement of an edge determines stroke width, and the erosion ofa comer affects crispness. These degradations are functions of the system parameters: the point spread function (PSF) width and functional form, and the binarization threshold. Changing each of these parameters will affect a...

Abs t rac t . In [3] a general fohl ol)eration has been introduced for definite programs wrt computed answer substitution semantics. It differs from the fold operation defined by Tama.ki and Sato in [26,25] because its application does not depend on the tra.~sformation history. This paper extends the results in [3] by giving a more powerful sufficient condition for the preservation of computed ...

A natural algebraic approach to the KdV hierarchy and its algebro-geometric finite-gap solutions is developed. In addition, a new derivation of associated higher-order trace formulas in connection with one-dimensional Schrödinger operators is presented.

We introduce a regularization method for mean curvature flow of a submanifold of arbitrary codimension in the Euclidean space, through higher order equations. We prove that the regularized problems converge to the mean curvature flow for all times before the first singularity.

The paper presents the proof of correctness of an experimental supercompiler HOSC dealing with higher-order functions. В работе приводится доказательство корректности экспериментального суперкомпилятора HOSC, работающего с функциями высших порядков.

We reexamine Alan R. Rogers’ (1994) analysis of the biological basis of the rate of time preference. Although his basic insight concerning the derivation of the utility function holds up, the functional form he uses does not generate equilibrium evolutionary behavior. Moreover, Rogers relies upon an interior solution for a particular kind of intergenerational transfer. We show such interior sol...

We derive a simple three parameters conductance formula for wires with monovalent atoms. The functional form of the formula is the most general in the framework of ballistic transport through the chain. The parameters in the formula are related to the nature of the coupling of the wire to the leads and independent of the length of the atomic chain. These parameters can be determined from a firs...