Process Mining techniques are used for automatic extraction of information about business processes from logs of information systems, so you can verify the conformity between the planned process and the actual process. To illustrate the usefulness of such techniques, this paper presents an experience report with the data generated by the process-aware system of MPTCM-PA. It was possible to reve...

1. THE TRANSFORMATION LIFECYCLE When developing data transformations—a task omnipresent in applications like data integration, data migration, data cleaning, or scientific data processing—developers quickly face the need to verify the semantic correctness of the transformation. Declarative specifications of data transformations, e.g. SQL or ETL tools, increase developer productivity but usually...

In this work we study the performance of a dis-tributed GA that incorporates in its core parallelcooperative-competitive genetic operators. A se-ries of controlled experiments are conducted us-ing various large and difficult 0/1 multiple knap-sack problems to test the robustness of the dis-tributed GA. Simulation results verify that theproposed distributed GA compare...

The space-dependent density of cells is evaluated for the following situation: (i) The cells are forced to make a directed movement (ii) the space for the cellular migration is restricted. The steady state distribution density is obtained when the drift current density equals the diffusion current density. The analogy to the Boltzmann statistics is shown. In a further step the cellular volume i...

Referring to the concept of nation by Ernst Renan and nation-building process Antonina Kłoskowska, as well based on Samuel Huntington’s statements author attempts verify hypothesis that Polish national community retaining its demographic ethnocultural core, undergoes Ukrainization in sphere collective consciousness. For this purpose, using causal explanation integral political actions phenomena...

Positron annihilation experiments have been applied to verify the formation mechanism of electrically inactive vacancy-impurity clusters in highly n-type Si. We show that the migration of V-As pairs at 450 K leads to the formation of V-As2 complexes, which in turn convert to stable V-As3 defects at 700 K. These processes manifest the formation of V-As3 as the dominant vacancy-impurity cluster i...