Model transformations are currently the focus of much interest and research due to the OMG’s QVT initiative. Current proposals for model transformation languages can be divided into two main camps: those taking a ‘declarative’ approach, and those opting for an ‘imperative’ approach. In this paper we detail an imperative, meta-circular, object orientated, pattern matching programming language Co...

An iterative reweighted least squares (IRWLS) procedure recently proposed is shown to converge to the support vector machine solution. The convergence to a stationary point is ensured by modifying the original IRWLS procedure.

we analyze a sequential decision making process, in which at each stepthe decision is made in two stages. in the rst stage a partially optimalaction is chosen, which allows the decision maker to learn how to improveit under the new environment. we show how inertia (cost of changing)may lead the process to converge to a routine where no further changesare made. we illustrate our scheme with som...

Artificial bee colony algorithms belong to the paradigm of bio-inspired, population-based, algorithms that have been widely used to solve optimization problems. These algorithms use population of individuals/particles/bees/ants in order to explore a search space of potential solutions to a given problem and to be able to quickly converge to a global solution, or at least to a good solution. The...

In this paper, we investigate two iterative methods for k-strict pseudocontractive mappings in a real Hilbert space. We prove that the proposed iterative algorithms converge strongly to some fixed point of a strict pseudo-contractive mapping.

Two conduction bands with very different effective masses are usually at the X point in half-Heusler Brillouin zone. Our orbital phase diagram provides feasible strategies to converge these two for thermoelectric enhancement.

converge to ET (x) in A for any x ∈ A, as n → ∞, here ET is an projection of A to the fixed point subspace of T . Note that when T is a completely positive mapping then ET is a conditional expectation. We provide an example of uniquely ergodic dynamical system relative its fixed point subspace, for which ET is not a conditional expectation. It is also constructed a uniquely ergodic entangled Ma...