This report presents a submission to the Process Discovery Contest [1]. The contest is dedicated to the assessment of tools and techniques that discover business process models from event logs. The objective is to compare the efficiency of techniques to discover process models that provide a proper balance between “overfitting” and “underfitting”. In the context of the Process Discovery Contest...

Most research on computational scientific discovery has focused on developing an initial model, but an equally important task involves revising a model in response to new data. In this paper, we present an approach that represents candidate models as sets of quantitative processes and that treats revision as search through a model space which is guided by time-series observations and constraine...

Scientists use two forms of knowledge in the construction of explanatory models: generalized entities and processes that relate them; and constraints that specify acceptable combinations of these components. Previous research on inductive process modeling, which constructs models from knowledge and time-series data, has relied on handcrafted constraints. In this paper, we report an approach to ...

Keto-enol tautomerism was investigated for ionized pyruvic acid using the DFT(B3LYP) method and the larger basis sets [6-31++G(d,p), 6-311++G(3df, 3pd) and aug-cc-pVDZ]. Change of the tautomeric preference was observed when going from the neutral to ionized tautomeric mixture. Ionization favors the enolization process (ketoenol) of pyruvic acid, whereas the ketonization (ketoenol) is preferred ...

Discovering the Business Process (BP) model underpinning existing practices through analysis of event logs, allows users to understand, analyse and modify the process. But, to be useful, the BP model must be kept in line with practice throughout its lifetime, as changes occur to the business objectives, technologies and quality programs. Current techniques require users to manually revise the B...

A growing interest in real-world applications of inductive techniques signi es the need for methodologies for applying them. So far a number of methodologies for applying inductive learning techniques are described. After reviewing several published approaches, a number of unsolved problems are discussed, two major problems being the lack of attention to nontechnical issues and the focus of mos...

The management of business processes has recently received a lot of attention. One of the most interesting problems is the description of a process model in a language that allows the checking of the compliance of a process execution (or trace) to the model. In this paper we propose a language for the representation of process models that is inspired to the SCIFF language and is an extension of...

Performance scaling in pulsed inductive thrusters is discussed in the context of previous experimental studies and modeling results. Two processes, propellant ionization and acceleration, are interconnected where overall thruster performance and operation are concerned, but they are separated here to gain physical insight into each process and arrive at quantitative criteria that should be met ...

Inductive reasoning is one of the important characteristics of human intelligence. Researchers have regarded inductive reasoning as one of the seven primary mental abilities that are accounted for intelligent behaviours; researches also showed that it is the best predictor for academic performance. Despite its recognised importance underlying the learning process of human beings, little effort ...