Lukasz Faber

• PhD
• Professor (Assistant) at AGH University of Krakow

Along with the popularization of cloud computing and the increase in responsibilities of mobile devices, there is a need for intrusion detection systems available for working in these two new areas. At the same time, the increase in computational power of mobile devices gives us the possibility to use them to do a part of data preprocessing. Simila...

This paper introduces a new formal description of the execution model for agent‐based computing systems in the form of an adaptive dataflow decoupled from the domain‐specific semantics of the computation. We show that the execution models studied in previous work can be unified in this common model. The parameters of the model such as queuing polic...

In the paper a summary of our previously realized and published work connected with constructing collective intelligent evolutionary multi-agent systems for time series prediction, based on multi-layered perceptrons is shown. Besides recalling our past papers, we describe the whole concept, present an implementation in a contemporary, component-ori...

Last few years have seen introduction of more and more advanced manycore processors. Both very well known devices like GPGPU and Intel MIC and less popular, but still very interesting, like Epiphany. There is also a growing popularity of cheap, credit-card-sized devices offering advanced features and high computational power. One of this kind of de...

Recent years have seen a growing trend towards the introduction of more advanced manycore processors. On the other hand, there is also a growing popularity for cheap, credit-card-sized, devices offering more and more advanced features and computational power. In this paper we evaluate Parallella -- a small board with the Epiphany manycore coprocess...

We present a new software platform called eVolutus for simulating evolution of living organisms. We choose Foraminifera as model organisms that represent a group of single-cellular, mainly marine, organisms that construct well fossilisable protective shells. They have lived on Earth for more than 540 million years and have left an extraordinary fos...

Combining data from diverse, heterogeneous sources while facilitating a unified access to it is an important (albeit difficult) task. There are various possibilities of performing it. In this publication, we propose and describe an agent-based framework dedicated to acquiring and processing distributed, heterogeneous data collected from diverse sou...

Metaheuristics resulting from the hybridization of multi-agent systems with evolutionary com-puting are efficient in many optimization problems. Evolutionary multi-agent systems (EMAS) are more similar to biological evolution than classical evolutionary algorithms. However, techno-logical limitations prevented the use of fully asynchronous agents i...

The new methods of diagnosis are often more sensitive and speed up its process allowing for a more effective treatment. Yet they need to be carefully tested before they can be used in practice. The paper concerns the problems of developing nanorobots, which would circulate in the bloodstream of the human body gathering information about its conditi...

In decision support systems, it is essential to get a candidate solution fast, even if it means resorting to an approximation. This constraint introduces a scalability requirement with regard to the kind of heuristics which can be used in such systems. As execution time is bounded, these algorithms need to give better results and scale up with addi...

The work concerns the application of multi-agent systems to heterogeneous data integration, and shows how agent approach can be subjected to formal verification using a deductive approach. Since logical specifications are difficult to specify manually, a method for an automatic extraction of logical specifications, considered as a set of temporal l...

Existing solutions for agent-based systems turn out to be limited in some applications, like agent-based computing or simulations, where very large numbers of clearly defined agents interact heavily within a closed system. In those cases, fully-fledged, FIPA compliant environment introduce unnecessary overhead, but simple tools fail to scale when c...

Multiple different filesystems — including disk-based, network, distributed, abstract — arean integral part of every operating system. They are usually written as kernel modules and abstracted to the user via a virtual filesystem switch. In this paper we analyse the feasibility of reimplementing the virtual filesystem switch as a userspace daemon a...

The paper shows how an agent-based system can be subjected to formal verification using a deductive approach. The particular system for gathering open source intelligence is considered, which is build on a framework for data integration. Techniques allowing for automatic extraction of logical specifications are described with emphasis on pattern-ba...

The chapter introduces AgE framework as a core for constructing agent based simulation systems. Its features are described against other solutions that may be used in the area of agent-based simulation. The discussion focuses on technical issues—the support for agent-specific services as well as the mechanisms allowing for extensibility and flexibi...