Green radio communication is an emerging topic since the overall footprint of information and communication technology (ICT) services is predicted to triple between 2007 and 2020. Given this research line, energy harvesting (EH) and wireless power transfer (WPT) networks can be evaluated as promising approaches. In this paper, an overview of recent trends for future green networks on the platfo...

This thesis discusses the radial version of the Hele-Shaw problem. Different from the channel version, traveling-wave solutions do not exist in this version. Under algebraic potentials, in the case that the droplets expand, in finite time, cusps will appear on the boundary and classical solutions may not exist afterwards. Physicists have suggested that for (2p+ 1, 2)-cusps, that near cusp singu...

This paper derives a new and surprisingly low complexity result for inference in a new form of Reiter’s propositional default logic [18]. The problem studied here is the default inference problem whose fundamental importance was pointed out by Kraus, Lehmann, and Magidor [12]. We prove that “normal” default inference, in propositional logic, is a problem complete for co-NP(3), the third level o...

We consider inductive inference learning of recursive computable functions Here the power of probabilistic algorithms increases as the probability of success decrease The pattern of this increase depends on the exact requirements about learning algorithm Typically the interval of success probabilities can be split into subintervals such that the power of algorithms with the success probabilitie...

A typical instruction memory design exploration process using simulation tools for various cache parameters is a rather time-consuming process, even for low complexity applications. In order to design a power efficient memory hierarchy of an embedded system, a huge number of system simulations are needed for all the different instruction memory hierarchies, because many cache memory parameters ...

The type system of object-oriented programming languages should enable the description of models that originate from object-oriented analysis and design. In this paper, the BETA type system is generalised, resulting in direct language support for a number of new modelling aspects. The increased expressive power is obtained from a synergy between general block structure and the generalised type ...