Generating Synthetic Event Logs based on Multi- perspective Business Rules

Traditsiooniline äriprotsesside modelleerimine kasutab imperatiivset lähenemist, kus äri-protsesse kirjeldatakse üksteise järel sooritatavate tegevuste abil. On näidatud, et imper-atiivne lähenemine on sobivam lahendus stabiilsete ja ennustatavate protsesside puhul. Deklaratiivsed mudelid seevastu sobivad muutuvate protsesside kirjeldamiseks. Deklaratiivne mudel sisaldab endas reeglite hulka mida ei tohi eirata protsessi käitamisel. Viimastel aastatel on arendatud mitmeid uusi meetodeid deklaratiivsete protsessimudelite leidmiseks sündmuste logidest. Meetodite testimiseks on vajalik tööriistade olemasolu, mis genereerivad sünteetilisi sündmuste logisid, mille peal neid meetodeid katsetada. Enamus olemasolevaid tööriistu kasutavad imperatiivseid protsessimudelid logide genereerimiseks. Selline lähenemine ei ole sobiv deklaratiivsete protsessimudelite avastamise meetodite tes-timiseks. Sarnaselt on olemas vajadus tööriistade järgi, mis genereeriks sündmuste logisid kasutades mitmeperspektiivseid Declare mudeleid. Käesolevas töös esitleme tööriista mitmeperspektiivsete Declare mudelite genereerimiseks. See töörist tõlgib Declare piirangud lõpliku olekumasina esitusse,et neid kasutada deklaratiivsete mudelite simu-leerimiseks. Tööriist võimaldab kasutajatel genereerida logisid eeldefineeritud omadustega ( näiteks protsessi instantside arv ja protsessi pikkus), mis on kooskõlas Declare mudeli-tega.\n\rMärksõnad: Declare, deklaratiivne protsessimudel, protsessi simuleerimine, logide gene-reerimine, mitmeperspektiive, lineaarne taisarvuline planeerimineTraditional business modelling is imperative in the sense that activities are provided step by step, from start to end, leading towards full business process. It has been proved that the imperative paradigm is most suitable in the context of stable and predictable processes. Declarative models are more suitable for variable processes. A declarative model is made of a set of constrains that cannot be violated during the process execution. In recent years, many techniques have been developed to discover declarative process model from event logs. To test these techniques it is sometime necessary to have tools that generate synthetic logs on which the techniques can be applied. However, majority of the existing tools avail-able in this field use simulation of an imperative process model to generate synthetic event logs. These approaches are not suitable for the evaluation of process discovery techniques using declarative process models. Additionally, there is a need for tools to generate event logs based on the simulation of multi-perspective declarative models. To close this gap, we developed a tool for log generation based on multi- perspective Declare models. This mod-el simulator will base on the translation of Declare constraints into Finite State Automata for the simulation of declarative processes. The tool will allows users to generate logs with predefined characteristics (e.g., number and length of the process instances), which is compliant with a given Declare model.\n\rKeywords: Declare, Declarative Process Models, Process Simulation, Log Generation, Multi-perspective, Integer Linear Programmin

Processes used by the governing body for retaining teachers

This study explores the processes used by the Education Board of Faezan Girls\u27 School (pseudonym) for retaining the teachers. In not-for-profit private schools of Pakistan, governing bodies/education boards are mainly responsible for governing academic and administrative affairs. This study argues that school governing bodies can retain teacher for a longer period by using different processes. Strategic planning is required to plan and implement those processes. Within the qualitative research paradigm, case study method was found viable in answering the research question. Semi-structured interviews were conducted with the participants from the board, the principal of the school and teachers. Some documents were also analyzed for the purpose of triangulation of data gathered from the research participants. The findings of the study inform that first of all, it is important to find out the teachers\u27 reasons for leaving the school. The study has also illustrated that governing body can retain teachers by providing them better financial incentives, giving them a token of appreciation, creating a friendly environment in school, and setting a certain criteria for selection of teachers. Commitment of teachers to work in their not-for- profit community school and expertise of members and officials of governing body in the field of education also helped in implementation of the processes to retain teachers. The study has shown that the Education Board faces various challenges while implementing the processes to retain teachers. In this case, marriages and childrearing are the main reasons for the current 21% teacher turnover. The school governing body is looking forward to address the child rearing issue by establishing a child care centre in the school. This research is distinctive, because it investigated an area that has not been researched enough in the developing countries\u27 context. This study recommends further inquiry into school governing bodies and teacher retention issues in Pakistan

Who are The Islamists?

Edited by Carl W. Ernst, Richard C. Martin and Bruce B. Lawrenc

IMU Aided GPS Based Navigation of Ackermann Steered Rover

GPS signal loss is a major issue when the navigation system of rovers is based solely on GPS for outdoor navigation rendering the rover stuck in the mid of the road in case of signal loss. In this study, a low-cost IMU aided GPS-based navigation system for Ackermann Steered mobile robots is presented and tested to cater to the issue of GPS signal loss along. GPS path is selected and fed using the android application which provides real-time location tracking of the rover on the map embedded into the application. System utilizes Arduino along with the node MCU, compass, IMU, Rotary encoders, and an Ackermann steered rover. Contorller processes the path file, compares its current position with the path coordinates and navigates using inertial sensor aided navigation algorithm, avoiding obstacles to reach its destination. IMU measures the distance traveled from each path point, and in case of signal loss, it makes the rover move for the remaining distance in the direction of destination point. Rover faced a sinusoidal motion due to the steering, so PID was implemented. The system was successfully tested on the IST premises and finds its application in the delivery trolley, institutional delivery carts, and related applications

Dhaga technique for tissue plane preservation after decompressive craniectomy: comparison of new technique with institutional standard

Abstract BACKGROUND: During cranioplasty after decompressive craniectomy, the temporalis muscle is firmly attached to the dural patch and intermixed with fibrotic tissue leading to considerable difficulty in dissecting the plane between the dura, galea and the temporalis muscle. This leads to increased surgical time, intraoperative blood loss, risk of complications and also affects rehabilitation. We have developed the dhaga technique, which aids in preserving the plane between the muscle and dura in order to improve outcomes. Here we describe our technique and also compare the dhaga technique with the generally accepted standard procedure. METHODS: A retrospective review was carried out of all patients undergoing cranioplasty following decompressive craniectomy either through the dhaga technique or the institutional standard (control group). Both techniques were compared using intra operative blood loss, duration of surgery and any complications as study variables. RESULTS: There were 133 patients were included in the study. The control group included 68 patients who underwent the procedure according to institutional standard, and 65 patients were included in the dhaga technique group. Both groups were well matched for baseline characteristics. Patients in the dhaga technique group had statistically significant lower operating time (P value = 0.037) and intra operative blood loss (P value = 0.025). However, there was no significant difference in complications. CONCLUSION: The utilization of dhaga technique can potentially improve outcomes and reduce costs by decreasing operative time and blood loss. Moreover, the temporalis muscle preservation in the dhaga technique may also enhance aesthetic outcomes and chewing, which were not assessed in this study. There were no differences in complication between the two techniques

IMU Aided GPS Based Navigation of Ackermann Steered Rover

GPS signal loss is a major issue when the navigation system of rovers is based solely on GPS for outdoor navigation rendering the rover stuck in the mid of the road in case of signal loss. In this study, a low-cost IMU aided GPS-based navigation system for Ackermann Steered mobile robots is presented and tested to cater to the issue of GPS signal loss along. GPS path is selected and fed using the android application which provides real-time location tracking of the rover on the map embedded into the application. System utilizes Arduino along with the node MCU, compass, IMU, Rotary encoders, and an Ackermann steered rover. Contorller processes the path file, compares its current position with the path coordinates and navigates using inertial sensor aided navigation algorithm, avoiding obstacles to reach its destination. IMU measures the distance traveled from each path point, and in case of signal loss, it makes the rover move for the remaining distance in the direction of destination point. Rover faced a sinusoidal motion due to the steering, so PID was implemented. The system was successfully tested on the IST premises and finds its application in the delivery trolley, institutional delivery carts, and related applications