Spatiotemporal modeling has been received a great attention in both the research and user community. Although considerable research efforts and valuable results do exists, many of the studies and proposed approaches are based on the assumption that objects have crisp boundaries, relationships among them are precisely defined, and accurate measurement of positions leads to error-free representat...

Mathematical models and numerical algorithms are explored for several technological challenges in physics, chemistry, aerothermodynamics, and evolution of dynamic systems in economics and weather forecast. Various mathematical concepts are examined to evaluate multifold integrals, dynamics of strange attractors, and solutions of differential equations with small parameters at the highest deriva...

In this thesis, we explore ways to make practical extensions to Dimensionality Reduction, or DR algorithms with the goal of addressing challenging, real-world cases. The first case we consider is that of how to provide guidance to those users employing DR methods in their data analysis. We specifically target users who are not experts in the mathematical concepts behind DR algorithms. We first ...

This paper presents an analytical overview of Decision Support Systems (DSSs) – a widely used, but insufficiently systematically described term, which covers a variety of types of information systems aimed to support human decision making. Introduction to the issue is briefly presented. Description of key terms, definitions and taxonomy problems follows, trying to turn the existing confusion in...

This paper attempts to draw together results from information systems research, linguistic theory, and methodology in order to present a unified framework in which to understand conceptual models. Three different roles of conceptual models (CM's) in the design and use of information systems (IS's) are investigated. The descriptive role of a CM is that it is an abstract representation of the uni...

It’s not intended for the commercial market. It should rather be seen as a test bed for trying out new ideas in operating system design, operating system concepts, program verification, compiler techniques and more. About 12 researchers are working full time and ca. 40 more are involved in the project. The projects two lead researchers are James Larus, concerned with programming languages, prog...

There are many important issues in informatics and many agree that algorithms and programming are most important issues that need to be included in informatics education (Dagienė and Jevsikova, 2012). In this paper, we propose how some of these issues can be easily taught us� ing the notion of a formal system which consists of axioms and inference rules by which theorems can be proved. As is ar...

Although "mental models" are of central importance to system dynamics research and practice, the field has yet to develop an unambiguous and agreed upon definition of them. To begin to address this problem, existing definitions and descriptions of mental models in system dynamics and several literatures related to cognitive science were reviewed and compared. Available definitions were found to...