Specification-Driven Predictive Business Process Monitoring

Predictive analysis in business process monitoring aims at forecasting the future information of a running business process. The prediction is typically made based on the model extracted from historical process execution logs (event logs). In practice, different business domains might require different kinds of predictions. Hence, it is important to have a means for properly specifying the desired prediction tasks, and a mechanism to deal with these various prediction tasks. Although there have been many studies in this area, they mostly focus on a specific prediction task. This work introduces a language for specifying the desired prediction tasks, and this language allows us to express various kinds of prediction tasks. This work also presents a mechanism for automatically creating the corresponding prediction model based on the given specification. Differently from previous studies, instead of focusing on a particular prediction task, we present an approach to deal with various prediction tasks based on the given specification of the desired prediction tasks. We also provide an implementation of the approach which is used to conduct experiments using real-life event logs.Comment: This article significantly extends the previous work in https://doi.org/10.1007/978-3-319-91704-7_7 which has a technical report in arXiv:1804.00617. This article and the previous work have a coauthor in commo

Exchange Rate of Indonesia: Does Rupiah Overshoot?

This research attempts to analyze whether Rupiah overshoots when the crisis hit Indonesia in mid of 1998. It also try to find out the fundamental macroeconomic factors that influence exchange rate when economic crisis hit Indonesia. It uses ordinary least square method and also cointegration in order to see long-term relationship. Furthermore, in order to examine the stability of exchange rate when the exchange rate system changed from managed floating to free floating, this paper apply Chow Test. The result shows that when the economic crisis hit Indonesia, Rupiah overshoots and there has been a structural change of exchange rate after 1998.Overshoot;exchange rate;economic crisis;Indonesia

Features for matching people in different views

There have been significant advances in the computer vision field during the last decade. During this period, many methods have been developed that have been successful in solving challenging problems including Face Detection, Object Recognition and 3D Scene Reconstruction. The solutions developed by computer vision researchers have been widely adopted and used in many real-life applications such as those faced in the medical and security industry. Among the different branches of computer vision, Object Recognition has been an area that has advanced rapidly in recent years. The successful introduction of approaches such as feature extraction and description has been an important factor in the growth of this area. In recent years, researchers have attempted to use these approaches and apply them to other problems such as Content Based Image Retrieval and Tracking. In this work, we present a novel system that finds correspondences between people seen in different images. Unlike other approaches that rely on a video stream to track the movement of people between images, here we present a feature-based approach where we locate a target’s new location in an image, based only on its visual appearance. Our proposed system comprises three steps. In the first step, a set of features is extracted from the target’s appearance. A novel algorithm is developed that allows extraction of features from a target that is particularly suitable to the modelling task. In the second step, each feature is characterised using a combined colour and texture descriptor. Inclusion of information relating to both colour and texture of a feature add to the descriptor’s distinctiveness. Finally, the target’s appearance and pose is modelled as a collection of such features and descriptors. This collection is then used as a template that allows us to search for a similar combination of features in other images that correspond to the target’s new location. We have demonstrated the effectiveness of our system in locating a target’s new position in an image, despite differences in viewpoint, scale or elapsed time between the images. The characterisation of a target as a collection of features also allows our system to robustly deal with the partial occlusion of the target

Routing Symmetric Demands in Directed Minor-Free Graphs with Constant Congestion

The problem of routing in graphs using node-disjoint paths has received a lot of attention and a polylogarithmic approximation algorithm with constant congestion is known for undirected graphs [Chuzhoy and Li 2016] and [Chekuri and Ene 2013]. However, the problem is hard to approximate within polynomial factors on directed graphs, for any constant congestion [Chuzhoy, Kim and Li 2016]. Recently, [Chekuri, Ene and Pilipczuk 2016] have obtained a polylogarithmic approximation with constant congestion on directed planar graphs, for the special case of symmetric demands. We extend their result by obtaining a polylogarithmic approximation with constant congestion on arbitrary directed minor-free graphs, for the case of symmetric demands

Verification of Generalized Inconsistency-Aware Knowledge and Action Bases (Extended Version)

Knowledge and Action Bases (KABs) have been put forward as a semantically rich representation of a domain, using a DL KB to account for its static aspects, and actions to evolve its extensional part over time, possibly introducing new objects. Recently, KABs have been extended to manage inconsistency, with ad-hoc verification techniques geared towards specific semantics. This work provides a twofold contribution along this line of research. On the one hand, we enrich KABs with a high-level, compact action language inspired by Golog, obtaining so called Golog-KABs (GKABs). On the other hand, we introduce a parametric execution semantics for GKABs, so as to elegantly accomodate a plethora of inconsistency-aware semantics based on the notion of repair. We then provide several reductions for the verification of sophisticated first-order temporal properties over inconsistency-aware GKABs, and show that it can be addressed using known techniques, developed for standard KABs

The Effect of Benzyl Amino Purine (BAP) Concentration on the Growth Amount of the Explant of Dendrobium spectabile Orchid by In-Vitro

Dendrobium spectabile orchid is an ornamental plant of high economic value, having relatively durable properties, beauty, and attractiveness of orchids lie in the diverse shapes and colors of the flowers. Therefore, it requires rapid and efficient propagation techniques. One of them is in-vitro vegetative propagation. Plant propagation using the in-vitro technique has the opportunity to produce a large number of plant seeds in a relatively short time. This study aims to determine the correct concentration of Benzyl Amino Purine (BAP) on the growth amount of the explants of Dendrobium spectabile orchid by in-vitro. The research was conducted at the Biotechnology Laboratory of the Regional Technical Implementation Unit (UPTD) of the Aloe Vera Center (AVC) Pontianak. This research was conducted from January 1, 2020, to March 30, 2020. The method used was a Completely Randomized Design (CRD). The treatment consisted of 6 levels of treatment, namely b1 = 0.75 ppm, b2 = 1.00 ppm, b3 = 1.25 ppm, b4 = 1.50 ppm, b5 = 1.75 ppm, b6 = 2.00 ppm. All treatments were repeated 4 times for each treatment consisting of 3 plant samples. The research finding showed that the treatment of BAP concentration 1.50 was the best in increasing the average number of leaves 4.92 strands, the average number of shoots 4.25 buds, and the average leaf length was 2.44 cm

ANALISIS DAMPAK PENERAPAN IT SERVICE DESK PADA BANK XYZ

Tujuan dari penelitian ini untuk mengidentifikasi faktor-faktor penentu kinerja operasional IT yang terkait dengan IT Service Desk. Dan untuk menentukan konsiderasi implementasi IT Service Deskd alam bisnis proses perusahaan. Populasi dalam penelitian ini sebanyak 1500 karyawan atau user dari layanan IT Service Desk. Dengan menggunakan metode Slovin, didapat 100 user sebagai sampel. Variabel dalam penelitian ini antara lain adalah faktor-faktor kesuksesan dari IT Service Desk dan Problem Management. Metode pengumpulan data menggunakan metode kuesioner. Analisis data menggunakan analisis multivariate yaitu analisis faktor. Adapun kesimpulan dari diperoleh dari penelitian ini antara lain faktor-faktor kesuksesan dari IT Service Desk dan Problem Management ada 9 variabel dan menjadi 37 indikator. Dari hasil penelitian, ada hubungan antar faktor yang satu dengan yang lain. Dan setelah proses reduksi ternyata dari 37 indikator terbentuklah 4 faktor baru yang terdiri dari faktor quick solution, faktor excellent IT Service Desk, faktor focus support, faktor excellent staff. Dari keseluruhan faktor baru tersebut quick solution merupakan faktor baru yang paling dominan