In recent years, Win-Stay-Lose-Learn rule has attracted wide attention as an effective strategy updating rule, and voluntary participation is proposed by introducing a third in Prisoner’s dilemma game. Some researches show that combining with could promote cooperation more significantly under moderate temptation values, however, cooperators’ survival high aspiration levels values still challeng...

New advances in small-scale generation and consumption technologies have shifted conventional buildings’ functionality towards energy-efficient active buildings (ABs). Such developments drew the attention of researchers all around world, resulting a variety publications, including several review papers. This study conducts systematic literature so as to analyse concepts/factors enabling partici...

This paper makes two contributions at two different levels: one is about a design principle of HCI, namely the provision of personalized and dynamic feedback in interactive applications; the second contribution is a demonstration of the need for visual and dynamic representations to explain the design of interactive interfaces. At the first level, in the context of patients managing their healt...

Predator is a tool for automated formal verification of sequential C programs with dynamic linked data structures. It is in principle based on separation logic, but uses a graph-based heap representation. This paper first provides a brief overview of Predator and then discusses experience with its participation in the Software Verification Competition of TACAS’12.

Evidence for a right hemispheric involvement in language processing, in particular at the level of word meaning, has emerged within the last half century. Hemispheric functional specializations are dynamic; right hemispheric language participation significantly increases under certain conditions, such as during an epileptic seizure and during recovery from stroke. Interhemispheric connections v...

Dynamic Ranges in the W eb . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 Multiple Levels of Adult Cognitive Development . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 Optimal and Functional Levels . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 Automatization and Co-Participation . . . . ....

We propose a formulation for the problem of designing an optimal dynamic voting system when voting is costly. The possibility to coordinate participation by voting sequentially requires explicit maximization over a set of dynamic mechanisms which involves some arguments that are new to the theory of mechanism design. For a highly stylized specification of our model with private values and two a...

load modeling is widely used in power system studies. two types of modeling, namely, static and dynamic, are employed. the current industrial practice is the static modeling. static modelss are algebraic equations of active and reactive power changes in terms of voltage and frequency deviations. in this paper, a component based on static modeling is employed in which the aggregate model is deri...