Results 1  10
of
729
A Theory of Mixin Modules: Basic and Derived Operators
 Mathematical Structures in Computer Science
, 1996
"... Mixins are modules in which some components are deferred , i.e. their definition has to be provided by another module. Moreover, differently from parameterized modules (like ML functors), mixin modules can be mutually dependent and their composition supports redefinition of components (overriding). ..."
Abstract

Cited by 39 (13 self)
 Add to MetaCart
). In this paper, we present a formal model of mixins and their basic composition operators. These operators can be viewed as a kernel language with clean semantics in which to express more complex operators of existing modular languages, including variants of inheritance in object oriented programming. Our formal
The stages of economic growth.
 Economic History Review , 2nd series 12,
, 1959
"... JSTOR is a notforprofit service that helps scholars, researchers, and students discover, use, and build upon a wide range of content in a trusted digital archive. We use information technology and tools to increase productivity and facilitate new forms of scholarship. For more information about J ..."
Abstract

Cited by 297 (0 self)
 Add to MetaCart
closed model, a dynamic theory of production must account for changing stocks of basic and applied science, as sectoral aspects of investment, which is done in The Process of Economic Growth, especially pp. 2225. 2 Ibid. pp. 96i03.
Behavioral theories and the neurophysiology of reward,
 Annu. Rev. Psychol.
, 2006
"... ■ Abstract The functions of rewards are based primarily on their effects on behavior and are less directly governed by the physics and chemistry of input events as in sensory systems. Therefore, the investigation of neural mechanisms underlying reward functions requires behavioral theories that can ..."
Abstract

Cited by 187 (0 self)
 Add to MetaCart
91 Although these theories provide important insights into reward function, they tend to neglect the fact that individuals usually operate in a world with limited nutritional and mating resources, and that most resources occur with different degrees of uncertainty. The animal in the wild
BASIC ASPECTS OF SOLITON THEORY
, 2006
"... Abstract. This is a review of the main ideas of the inverse scattering method (ISM) for solving nonlinear evolution equations (NLEE), known as soliton equations. As a basic tool we use the fundamental analytic solutions χ ± (x, λ) of the Lax operator L(λ). Then the inverse scattering problem for L(λ ..."
Abstract
 Add to MetaCart
Abstract. This is a review of the main ideas of the inverse scattering method (ISM) for solving nonlinear evolution equations (NLEE), known as soliton equations. As a basic tool we use the fundamental analytic solutions χ ± (x, λ) of the Lax operator L(λ). Then the inverse scattering problem for L
On Asynchrony in NamePassing Calculi
 In
, 1998
"... The asynchronous picalculus is considered the basis of experimental programming languages (or proposal of programming languages) like Pict, Join, and Blue calculus. However, at a closer inspection, these languages are based on an even simpler calculus, called Local (L), where: (a) only the output c ..."
Abstract

Cited by 97 (15 self)
 Add to MetaCart
capability of names may be transmitted; (b) there is no matching or similar constructs for testing equality between names. We study the basic operational and algebraic theory of Lpi. We focus on bisimulationbased behavioural equivalences, precisely on barbed congruence. We prove two coinductive
Derived Categories, Derived Equivalences And Representation Theory
 BabesBolyai University
, 1998
"... y RMod the category of (left) Rmodules and by Rmod the category of finitely generated (left) Rmodules. These module categories are the main object of study in representation theory and they carry a lot of important additional structure. A category C is called an additive category if 33 ffl ..."
Abstract

Cited by 6 (0 self)
 Add to MetaCart
y RMod the category of (left) Rmodules and by Rmod the category of finitely generated (left) Rmodules. These module categories are the main object of study in representation theory and they carry a lot of important additional structure. A category C is called an additive category if 33 ffl
On the Cyclic Homology of Exact Categories
 JPAA
"... The cyclic homology of an exact category was defined by R. McCarthy [26] using the methods of F. Waldhausen [36]. McCarthy's theory enjoys a number of desirable properties, the most basic being the agreement property, i.e. the fact that when applied to the category of finitely generated project ..."
Abstract

Cited by 88 (1 self)
 Add to MetaCart
projective modules over an algebra it specializes to the cyclic homology of the algebra. However, we show that McCarthy's theory cannot be both compatible with localizations and invariant under functors inducing equivalences in the derived category. This is our motivation for introducing a new theory
Edge Detection with Embedded Confidence
 IEEE TRANS. PATTERN ANAL. MACHINE INTELL
, 2001
"... Computing the weighted average of the pixel values in a window is a basic module in many computer vision operators. The process is reformulated in a linear vector space and the role of the different subspaces is emphasized. Within this framework well known artifacts of the gradient based edge dete ..."
Abstract

Cited by 96 (1 self)
 Add to MetaCart
Computing the weighted average of the pixel values in a window is a basic module in many computer vision operators. The process is reformulated in a linear vector space and the role of the different subspaces is emphasized. Within this framework well known artifacts of the gradient based edge
1.1 Basic field theory.
, 2000
"... 1 QCD. Perturbative and non perturbative. A quantum system is defined by the canonical variables q(t), p(t), and by the Hamiltonian H(p, q). q(t), p(t) is a short notation for qi(t), pi(t), the index i running over the degrees of freedom. In a field theory qi(t) = ϕa(⃗x, t) (1) or i ≡ (a,⃗x). There ..."
Abstract
 Add to MetaCart
,⃗x). There are infinitely many degrees of freedom. Solving the system means to construct a Hilbert space on which q, p act as operators obeying canonical commutation relations at equal time and the equations of motion. A ground state must exist. The usual approach in quantum field theory is to split the Hamiltonian H in a
Shapes, Shocks, and Deformations I: The Components of TwoDimensional Shape and the ReactionDiffusion Space
 International Journal of Computer Vision
, 1994
"... We undertake to develop a general theory of twodimensional shape by elucidating several principles which any such theory should meet. The principles are organized around two basic intuitions: first, if a boundary were changed only slightly, then, in general, its shape would change only slightly. Th ..."
Abstract

Cited by 83 (5 self)
 Add to MetaCart
. This leads us to propose an operational theory of shape based on incremental contour deformations. The second intuition is that not all contours are shapes, but rather only those that can enclose "physical" material. A theory of contour deformation is derived from these principles, based
Results 1  10
of
729