The interconnected nature of the different components of smart grids is a prime example of complexity in technological systems. Developing such systems is highly dependent on the wishes and needs of end-users and other stakeholders. We argue that stakeholder values should be taken into consideration during the design and standardisation of complex infrastructures, and illustrate this with a cas...

Article history: Received 14 December 2007 Revised 9 September 2008 Accepted 11 September 2008 Available online 25 September 2008 Communicated by Naoki Saito We present a condition on the matrix of an underdetermined linear system which guarantees that the solution of the system with minimal q-quasinorm is also the sparsest one. This generalizes, and slightly improves, a similar result for the ...

Recently Perlmutter et al. (1999) suggested a positive value of Einstein’s cosmological constant Λ on the basis of luminosity distances from type-Ia supernovae (the “SN-method”). However, Λ world models had earlier been proposed by Hoell & Priester (1991) and Liebscher et al. (1992a,b) on the basis of quasar absorption-line data (the “Q-method”). Employing more general repulsive fluids (“dark e...

In this paper we investigate total correctness (termination and correctness simultaneously) in Nonstandard Dynamic Logic (NDL). Here we show that despite of the celebrated Kfoury-Park [5] result, termination is a first order notion if approached properly (e.g. via NDL). In Definition 1 below we recall the famous Manna-Cooper Q-method for proving total correctness. Then we do the same things to ...

Despite (or perhaps reflecting) widespread awareness of its ambiguity, the term ‘geoengineering’ has in recent years become massively more prominent. Academic, policy and civil society circles routinely use this term to describe, support or oppose a diverse range of techniques and ideas. This study aims to contribute to understandings of ways in which variously envisaged approaches to ‘geoengin...

From the perspectives of regulation and convergence, several debates on the industrial definition of smart TV service in Korean broadcasting and communications market have been in progress. The most heated controversy mainly depends on whether smart TV is controlled under the broadcasting regulations or under the communications regulations. This Korean specific problem is summarized in regulati...

Article history: Received 14 December 2007 Revised 9 September 2008 Accepted 11 September 2008 Available online 25 September 2008 Communicated by Naoki Saito We present a condition on the matrix of an underdetermined linear system which guarantees that the solution of the system with minimal q-quasinorm is also the sparsest one. This generalizes, and slightly improves, a similar result for the ...

Copy Abstract: The present study demonstrates a novel way of exploring the relationship between personality and social outcomes by examining an understudied intermediate step: situational construal. Construal is assessed in terms of the degree to which one’s description of a situation agrees with others’ descriptions of the same situation (normativity) and the degree to which the description is...

From the perspectives of regulation and convergence, several debates on the industrial definition of smart TV service in Korean broadcasting and communications market have been in progress. The most heated controversy mainly depends on whether smart TV is controlled under the broadcasting regulations or under the communications regulations. This Korean specific problem is summarized in regulati...

New computer-mediated channels of communication are action oriented and have the ability to deliver information and dialogue—moderated and unmoderated—which can facilitate the bringing together society’s stakeholders, opinion leaders and change agents, who have the ability to influence social action. However, existing online studies have been limited in explaining Internet users’ willingness to...