The first step of successful analogical transfer is relational retrieval—retrieval that is based on common relational structure, such as an underlying principle or pattern. Unfortunately, purely relational retrieval often fails. Previous work has shown that schema abstraction via comparing two examples can improve relational retrieval. We asked whether labels that name relational structure migh...

Agents are an emerging technology that grants programmers a new way to exploit distributed resources. One of the hardest difficult in the development of this kind of application is the managing of agent interactions, since agents must interact in a collaborative and/or competitive way to achieve their task. Roles are a powerful paradigm that can be used to model agent interactions, both between...

Fuel cells, as highly efficient and environment-friendly power sources, have attracted ever-increasing research and development in the past few decades. Mathematical modeling and simulation are applied to examine the influence of the different physical and electrochemical phenomena occurring in the structure of the fuel cell during operation. Such simulation programs take a very long time (of t...

Artifact-Centric Systems are a novel paradigm in service-oriented computing. In the present contribution we show that model checking bounded, nonuniform artifact-centric systems is undecidable. We provide a partial model checking procedure for artifact-centric systems against the universal fragment of a first-order version of the logic CTL. We obtain this result by introducing a counterpart sem...

After a maturing period of over a decade, Model-Driven Engineering (Mde) starts to extend to novel areas that include safetycritical or embedded, but also cyberphysical systems. These domains explicitly manipulate time. This paper proposes three dimensions to analyse how Mde frameworks integrate time: which transformation paradigm is used, how time is represented inside it, and which characteri...

At present the agent paradigm is often used for computational modeling of human behavior in an organizational setting. However, not many of the existing computational approaches make use of a rich theoretical basis developed in social science. Therefore, often mathematically sound models are invalid in practice. This paper proposes a formal approach for modeling of characteristics and behavior ...

Tetris can be viewed as a highly complex decision making task, and used as a paradigm for studying human expertise. We hypothesized that models capable of playing Tetris for a long time are doing so by adopting slow but steady strategies to accumulate points, while human players are much more prone to using high-risk, high-reward strategies that earn more points in a shorter time frame. This wo...

Multi-level modeling has become a popular paradigm as it allows for a natural and easy-to-understand representation of various real-word hierarchies. To date, several approaches have been proposed on how multi-level models should be represented and constructed – however, their continuous evolution and consistency has received considerably less attention. Consistency checking is critical to effi...

A parallel distributed computational model for reasoning and learning is discussed based on a belief network paradigm. Issues like reasoning and learning for the proposed model are discussed. Comparisons between our method and other methods are also given.

In the paradigm of the search theory, we established the search model applicable to the characteristics of China's resale housing market, by modeling the search behavior for buyer and seller, respectively. Setting the parameters based on the Beijing housing market survey in August 2012, we implemented agentbased simulation to study the dynamics of the search behavior measured by search intensit...