Despite the more handy terminology of abstract simplicial complexes , in its core this article is about antitone Boolean functions. Given maximal faces (=facets) our main algorithm, called Facets-To-Faces, outputs a compressed format. The degree compression which programmed using high-level programming language Mathematica, compares favorably to both hardwired Mathematica command BooleanConvert...

Knowledge Discovery in Databases (KDD) is the process of extracting previously unknown, hidden and interesting patterns from a huge amount of data stored in databases. Data mining is a stage of the entire KDD process that involves applying a particular data mining algorithm to extract an interesting knowledge. One of the very important aspects of any data mining task is the evaluation process o...

The paper presents partial results of the expert cooperation between geologists and historians in Bohemian Switzerland (Elbe Sandstones) area focused on mapping documentation old quarries mining pits. More than three thousand abandoned for building stone were newly mapped registered within study area. Attention was given not only to preserved relics after their historical context: methods extra...

Abstract A concealed geological structure encountered during the excavation of a coal working face could connect to high-pressure water in limestone strata, which can result serious or catastrophic inrush accident. However, existing geophysical detection methods used ensure safety faces cannot detect small anomalies reliably. Based on generalized theory scattered waves, we have developed novel ...

Process mining is the research area that is concerned with knowledge discovery from event logs and is often situated at the intersection of the fields of data mining and business process management. Although the term entails a collection of a-posteriori analysis methods for extracting knowledge from event logs, most of the attention in the process mining literature has been given to process dis...

Ensuring the stability of paste false rooves is an important issue in study process filling and slicing mining. Here, a mechanical model roof created to analyze its lower mining order determine minimum thickness roof. We use FLAC3D simulate influence changes on The quantitative functional relationship between subsidence roof, optimal artificial finally obtained by development law plastic zone f...