This paper deals with the issue of the brain-computer interface (BCI) – the human-machine interface (HMI) based on acquisition, analysis and transformation of signals generated by the central nervous system (CNS) as the manifestation of its normal function. Brain-computer interface can be seen as the bridge that is building up direct one-way or two-way communication pathway between the brain and the external technical device. Paper introduces techniques based on non-invasive functional imaging of the brain used for data acquisition in non-invasive brain computer interfaces, and is focused on the technique that is reading neural activity of the brain with use of multi-channel electroencephalograph (EEG). As the part of this paper we are introducing our experience with the low-cost commercially available equipment Emotiv EPOC Neuroheadset based on this technology.

In the paper a form-driven approach to the application development is presented. Our development environment IIS*Studio suports presented form-driven approach. It is aimed to provide the information system design and generating executable application prototypes. A form type is central IIS*Studio concept, used to model the structure and constraints of various business documents. On the one hand, a set of specified form types represents a platform independent model (PIM) of a real system. On the other hand, it is a PIM of the future software application. Starting from such a platform independent specification, through the chain of transformations, IIS*Studio generates a set of relational database subschemas in the 3rd normal form and also a global relational database schema by integration of the subschemas. It enables a full implementation of database schemas under different target database management systems. IIS*Studio comprises a tool for the formal specification of business applications, and a generator of the executable application prototypes. The case study presented in the paper illustrates main features of IIS*Studio application generator tool and the methodological aspects of its usage. We consider the chain of transformations from a PIM, through the series of platform specific models with different degree of platform specificity, towards executable program code, as a crucial in our approach.

The C++ Standard Template Library is the flagship example for libraries based on the generic programming paradigm. The usage of this library is intended to minimize classical C/C++ errors, but does not warrant bug-free programs. Furthermore, many new kinds of errors may arise from the inaccurate use of the generic programming paradigm, like dereferencing invalid iterators or misunderstanding remove-like algorithms. In this paper we present some typical scenarios that may cause undefined or weird behaviour. We present approaches that can be used for developing different safe iterators to avoid run-time errors. Some of these iterators are able to manipulate the container directly, hence they cannot result in undefined behaviour when an algorithm needs to add elements to the container or delete elements from the container. Our iterators are able to indicate if they are invalid. Algorithms’ preconditions are evaluated with our iterators.

The C++ Standard Template Library is the flagship example for libraries based on the generic programming paradigm. The usage of this library is intended to minimize classical C/C++ errors, but does not warrant bug-free programs. Furthermore, many new kinds of errors may arise from the inaccurate use of the generic programming paradigm, like dereferencing invalid iterators or misunderstanding remove-like algorithms. In this paper we present some typical scenarios that may cause undefined or weird behaviour. We present approaches that can be used for developing different safe iterators to avoid run-time errors. Some of these iterators are able to manipulate the container directly, hence they cannot result in undefined behaviour when an algorithm needs to add elements to the container or delete elements from the container. Our iterators are able to indicate if they are invalid. Algorithms’ preconditions are evaluated with our iterators.

This paper presents a parser for OWL DL. OWL DL, a sub-language of OWL, allows efficient reasoning with computability assurance. The OWL parser, named OntoP, has been developed specifically for the requirements of a larger framework: Ontology2DSL. Ontology2DSL enables the semi-automated construction of a formal grammar, as well as programs incorporating domain-specific languages (DSLs) from OWL ontologies. In this presentation of the parser, we focus on the data structure that the parser uses to store the extracted information from an OWL document (written in RDF/XML syntax), the algorithm used to construct and visualise the class hierarchy of the ontology, a converter that can transform the RDF/XML to Manchester OWL syntax, and those ontology metrics that highlight key ontology characteristics.

In this paper we deal with the construction of the component-based complex program system categorical model which will be used to behavioral description. The basis of the behavioral description of the component-based complex system and definition of the model is Abstract Behavioral Type (ABT) which yields behavior of the program component as maximal interactions among observable timed data streams. Program component is an independent entity, black-box, from which we can compose component-based complex program system and an interaction is in this case defined as a relation between observable program component input and output through component ports. Observable input and output is yielded as a pair of the infinite data stream and timed stream. Complexity of the system is given by number of ABTs where individual complex program system we can divide into two kinds of ABT types, namely component instance’s ABT whose internal structure is unknown and connector’s ABT whose internal structure is known and can be defined by user. Behavior of the whole complex system can be yielded as a conjunction of the ABTs.

The paper deals with the numerical solution of the advection diffusion equation describing the pollutant transport in the atmosphere. The idea is to use the not so common ELLAM framework and to compare the results with the state of the art Walcek method, which is used to solve the advection problems. The real wind model was chosen for the tests in order to get the good performance idea of the two methods. From the performed experiments and the calculation times, one can conclude that ELLAM is suitable to solve the presented problem.

We propose a new class of hybrid (discrete-continuous) dynamical system models with nondeterministic continuous evolutions and switching between discrete modes. Formally, this class is rather similar to the class of stochastic hybrid systems, but it is based on possibility theory. This approach has an advantage over stochastic models when available statistical information is not sufficient for constructing a reliable stochastic model. For example, it may be useful for modeling human-machine-environment systems, because, as it has been argued in the literature, possibility theory describes many aspects of human behavior better than probability theory. In this work we present a motivating example, give a definition and semantics of our systems, consider reachability problems for large subclasses of them, and propose methods to tackle these problems.

In this paper we present a system for accompanying of the process of Bachelor and Master thesis administration, including all stages: publication of thesis themes, thesis choice, documents fulfillment, thesis writing, thesis submission, thesis review, thesis publication, etc. The system is developed on the base of business process modeling system ILNET and its basic model for describing and executing workflow models. The basic model allows the creation and usage of both high-level constructs that are available in all popular business modeling standards as well as low-level programming language constructs that allow the implementations of new building blocks. Amongst the main features of the system are the capability of the blocks to implement their own custom visualization using the same workflow model, the centralized independent hosting and execution of the models, the ability to hot-swap a compiled and running model with another (newer) one and the automatic wrapping of web services and .NET libraries into ILNET building blocks.

The continuous-time Markov process is a widely used abstract tool for constructing high-level models of complex computer systems in order to evaluate either the performance or reliability parameters of a system. Utilization of the continuous-time Markov process is based on the assumption of exponential distribution of the time between random events influencing the behaviour of the modelled system. A different kind of probability distribution of this time requires adaptation (extension) of the original model. This article uses a representative example to evaluate the precision of the modelled system parameters using a simple Markov model based on the exponential distribution assumption instead of a more complex model which respects another (i.e. more realistic) probability distribution.