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

Human organizations that have begun to rely on networks for collaboration are already prolific. Networked collaboration is highly beneficial in many group activity including mixed teams of humans and agents. The prospect of understanding complex interactions on network organizations has prompted us to develop a paradigm serving as a reference model for organizations of networked individuals. In...

Applied researchers often find themselves making statistical inferences in settings that would seem to require multiple comparisons adjustments. We challenge the Type I error paradigm that underlies these corrections. Moreover we posit that the problem of multiple comparisons can disappear entirely when viewed from a hierarchical Bayesian perspective. We propose building multilevel models in th...