The endemic malarias threaten the several billion people residing where transmission occurs. Chemotherapeutic strategy pitted against these threats hinges upon species- and stage-specific treatments guided by diagnosis and screening against sometime dangerous contraindications. This approach suits malaria as it occurs among travelers in the developed, non-endemic world. However, limiting treatm...

Most of the works on learning from networked data assume that the network is static. In this paper we consider a different scenario, where the network is dynamic, i.e. nodes/relationships can be added or removed and relationships can change in their type over time. We assume that the “core” of the network is more stable than the “marginal” part of the network, nevertheless it can change with ti...

A new adaptation scheme for adapting arbitrary normal mutation distributions in evolution strategies is introduced. It can adapt correct scaling and correlations between object parameters. Furthermore, it is independent of any rotation of the objective function and reliably adapts mutation distributions corresponding to hyperellipsoids with high axis ratio. In simulations, the generating set ad...

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...