V.1 A high rate of labour-absorbing growth ...................................................................... 2 V.2 Promoting the self-employment of the poor by converting them into productive entrepreneurs............................................................................................. 4 V.3 Increasing the productivity of the poor workers both in wage employment and in self-emp...

This report states and sketches the proofs for some important properties of IsaCoSy’s constraint generation algorithm. We claim that for any rewrite rule, the constraint generation algorithm produces constraints that will prohibit the synthesis of exactly the terms containing a redex which can be rewritten by that rule (and no others).

Extending the period of the market exclusivity and responding properly to the recent agglomeration of patent expiries are pivotal to the success of pharmaceutical companies. Declining R&D productivity, rising costs of commercialization, near-term patent expirations for many top-selling drugs are forcing companies to adopt new systems to introduce innovative products to market and to focus on st...

We present DBtk, a toolkit for Directed Bigraphs. DBtk supports a textual language for directed bigraphs, the graphical visualization of bigraphs, the calculation of IPO labels, and the calculation of redex matchings. Therefore, this toolkit provides the main functions needed to implement simulators and verification tools.

Digitalization does fundamentally impact firms’ strategy development. With the fusion of IT and business strategy, Digital Business Strategy (DBS) creates the foundation for digital business models [1]. In this paper, we develop a DBS framework, based on a structured review of 21 industry reports. From this analysis, we yield 8 generic dimensions with a total of 40 critical success factors (CSF...

The usual approach to p laus ib le reasoning is to associate a v a l i d i t y measure wi th each fac t or r u l e , and to compute from these a v a l i d i t y measure for any deduction tha t is made. This approach is shown to be inappropr iate for some classes of problems, p a r t i c u l a r l y those in which the evidence is not i n t e r n a l l y cons is tent . Two current p laus ib le re...

Common object models select method implementations based on the class of the receiver. If an object belongs to several classes, more than one implementation is applicable for a method call. We present a conflict resolution strategy to get exactly one implementation per call. This is achieved by adding derived classes with method redefinitions.

A powerful reply to a range of familiar anti-physicalist arguments has recently been developed. According to this reply, our possession of phenomenal concepts can explain the facts that the anti-physicalist claims can only be explained by a non-reductive account of phenomenal consciousness. Chalmers (2006) argues that the phenomenal concept strategy is doomed to fail. This paper presents the ph...