Bridging the Gap: How Firms Use Process Mining to Create and Act on a Shared End-to-End Process Understanding

Firms struggle with improving end-to-end (E2E) processes due to difficulties in establishing shared E2E process understanding across firm levels. Creating behavioral visibility into processes might provide a solution, but traditional methods are limited in effectiveness. Thus, process mining (PM), offering data-driven process discovery and measurement, shows promise, but its implications on creating and acting on a shared E2E process understanding remain unclear. Addressing this gap, we conduct a single case study at a manufacturing firm guided by theories of organizational learning and organizational routines. Our preliminary findings reveal how the data-driven behavioral visibility through PM enables four mechanisms within and between the individual, team, and firm levels to create a shared E2E process understanding and change. We contribute to business process management and PM research by showing how firms use PM to overcome challenges in the multi-level process of creating and acting on a shared E2E process understanding

Analysis of hybrid systems using HySAT

In this paper we describe the complete workflow of analyzing the dynamic behavior of safety-critical embedded systems with HySAT. HySAT is an arithmetic constraint solver with a tightly integrated bounded model checker for hybrid discrete-continuous systems which — in contrast to many other solvers — is not confined to linear arithmetic, but can also deal with nonlinear constraints involving transcendental functions. Based on a controller for train separation implementing a “moving block ” interlocking scheme in the forthcoming European Train Control System Level 3, we exemplify the usage of the tool over the whole cycle from encoding a hybrid system to interpreting the results

Leveraging Big Data for M&A: Towards Designing Process Mining Analyses for Process Assessment in IT Due Diligence

The success of mergers & acquisitions (M&A) depends on the buyer\u27s adequate due diligence (DD) assessment of the target firm. Assessing the target\u27s IT-enabled processes recently emerged as a novel information technology DD (IT DD) responsibility. However, it remains unclear how to operationalize and conduct the process assessment in IT DD. To address this challenge, we propose the big data analytics technology process mining (PM) and follow a design science research approach, based on literature and 12 interviews, to reveal and operationalize requirements for process assessment in IT DD, demonstrate PM to measure the operationalized requirements, and derive design principles and enabling factors to guide the design, implementation, and use of PM for process assessment in IT DD. Consequently, our study contributes to research on IT DD, M&A, and PM and provides practitioners with design knowledge and a prototypical PM artifact to leverage PM for process assessment in IT DD

Availability and mobilization of forest resources in Sweden

The available amount of wood supply is essential for national strategic planning and evaluation of forestry in Sweden. Since Sweden holds a large part of the forests in the European Union and plays a significant role in the global trade of wood-based products, a precise estimate of the potential of the Swedish forest resource is also important in regional and global outlook studies. In this study, we analyse factors influencing the availability and mobilization of wood supply. By comparing data from the Swedish National Forest Inventory with the stand registers of the five largest forest owners in Sweden, we estimate the productive forest area not included in the forest owners' stand databases. Our results show that 0.4 million hectares, or 5% of these large-scale forest owners productive forest area, is outside their stand registers and therefore neither included in their long-term harvesting plans nor in their nature conservation plans. For small-scale forest owners, we analyse the final felling rate during 2004-2020 using satellite imagery to estimate the proportion of properties that abstain from final fellings and thereby could affect the potential mobilization of wood supply. During this period, 32% of the forest properties owned by small-scale forest owners have not done any final felling. These forest estates hold in total 1.1 million hectares of productive forest land or 9% of the area owned by small-scale forest owners. This implies a gap between the potential and realistic estimates for Forest Available for Wood Supply

Particle-based modeling of the unsteady flow in a high-test peroxide catalytic chamber

A particle-based mathematical model is proposed. It contains a one-dimensional approximation of the flow with heat transfer in the chamber wall and the catalytic material. It is designed for packed bed reactors with spherical granulated catalytic materials and is customized for high-test peroxide as fluid. The unsteady flow in the cold start phase can be analyzed. The temperature values increase over the time and the mass fraction of the chemical components are useable for a better understanding of the process inside and a precise design of new catalytic chambers with an improved functionality

Dysphagia in Patients with Acute Ischemic Stroke: Early Dysphagia Screening May Reduce Stroke-Related Pneumonia and Improve Stroke Outcomes

Background Dysphagia is associated with poor outcome in stroke patients. Studies investigating the association of dysphagia and early dysphagia screening (EDS) with outcomes in patients with acute ischemic stroke (AIS) are rare. The aims of our study are to investigate the association of dysphagia and EDS within 24 h with stroke-related pneumonia and outcomes. Methods Over a 4.5-year period (starting November 2007), all consecutive AIS patients from 15 hospitals in Schleswig-Holstein, Germany, were prospectively evaluated. The primary outcomes were stroke-related pneumonia during hospitalization, mortality, and disability measured on the modified Rankin Scale ≥2-5, in which 2 indicates an independence/slight disability to 5 severe disability. Results Of 12,276 patients (mean age 73 ± 13; 49% women), 9,164 patients (74%) underwent dysphagia screening; of these patients, 55, 39, 4.7, and 1.5% of patients had been screened for dysphagia within 3, 3 to 72 h following admission. Patients who underwent dysphagia screening were likely to be older, more affected on the National Institutes of Health Stroke Scale score, and to have higher rates of neurological symptoms and risk factors than patients who were not screened. A total of 3,083 patients (25.1%; 95% CI 24.4-25.8) had dysphagia. The frequency of dysphagia was higher in patients who had undergone dysphagia screening than in those who had not (30 vs. 11.1%; p < 0.001). During hospitalization (mean 9 days), 1,271 patients (10.2%; 95% CI 9.7-10.8) suffered from stroke-related pneumonia. Patients with dysphagia had a higher rate of pneumonia than those without dysphagia (29.7 vs. 3.7%; p < 0.001). Logistic regression revealed that dysphagia was associated with increased risk of stroke-related pneumonia (OR 3.4; 95% CI 2.8-4.2; p < 0.001), case fatality during hospitalization (OR 2.8; 95% CI 2.1-3.7; p < 0.001) and disability at discharge (OR 2.0; 95% CI 1.6-2.3; p < 0.001). EDS within 24 h of admission appeared to be associated with decreased risk of stroke-related pneumonia (OR 0.68; 95% CI 0.52-0.89; p = 0.006) and disability at discharge (OR 0.60; 95% CI 0.46-0.77; p < 0.001). Furthermore, dysphagia was independently correlated with an increase in mortality (OR 3.2; 95% CI 2.4-4.2; p < 0.001) and disability (OR 2.3; 95% CI 1.8-3.0; p < 0.001) at 3 months after stroke. The rate of 3-month disability was lower in patients who had received EDS (52 vs. 40.7%; p = 0.003), albeit an association in the logistic regression was not found (OR 0.78; 95% CI 0.51-1.2; p = 0.2). Conclusions Dysphagia exposes stroke patients to a higher risk of pneumonia, disability, and death, whereas an EDS seems to be associated with reduced risk of stroke-related pneumonia and disability

Pioglitazone Prevents Capillary Rarefaction in Streptozotocin-Diabetic Rats Independently of Glucose Control and Vascular Endothelial Growth Factor Expression

Background/Aims: Reduction of capillary network density occurs early in the development of metabolic syndrome and may be relevant for the precipitation of diabetes. Agonists of the peroxisome proliferator-activated receptor (PPAR)-gamma transcription factor are vasculoprotective, but their capacity for structural preservation of the microcirculation is unclear. Methods: Male Wistar rats were rendered diabetic by streptozotocin and treated with pioglitazone in chow for up to 12 weeks. Capillary density was determined in heart and skeletal muscle after platelet endothelial cell adhesion molecule-1 (PECAM-1) immunostaining. Hallmarks of apoptosis and angiogenesis were determined. Results: Capillary density deteriorated progressively in the presence of hyperglycemia (from 971/mm(2) to 475/mm(2) in quadriceps muscle during 13 weeks). Pioglitazone did not influence plasma glucose, left ventricular weight, or body weight but nearly doubled absolute and relative capillary densities compared to untreated controls (1.2 vs. 0.6 capillaries/myocyte in heart and 1.5 vs. 0.9 capillaries/myocyte in quadriceps muscle) after 13 weeks of diabetes. No antiapoptotic or angiogenic influence of pioglitazone was detected while a reduced expression of hypoxia-inducible factor-3 alpha and PPAR coactivator-1 alpha (PGC-1 alpha) mRNA as well as vascular endothelial growth factor (VEGF) protein possibly occurred as a consequence of improved vascularization. Conclusion: Pioglitazone preserves microvascular structure in diabetes independently of improvements in glycemic control and by a mechanism unrelated to VEGF-mediated angiogenesis. Copyright (C) 2012 S. Karger AG, Base

Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems with Applications to Probabilistic State Reachability and Region Stability

The stochastic Boolean satisfiability (SSAT) problem has been introduced by Papadimitriou in 1985 when adding a probabilistic model of uncertainty to propositional satisfiability through randomized quantification. SSAT has many applications, among them probabilistic bounded model checking (PBMC) of symbolically represented Markov decision processes. This article identifies a notion of Craig interpolant for the SSAT framework and develops an algorithm for computing such interpolants based on a resolution calculus for SSAT. As a potential application area of this novel concept of Craig interpolation, we address the symbolic analysis of probabilistic systems. We first investigate the use of interpolation in probabilistic state reachability analysis, turning the falsification procedure employing PBMC into a verification technique for probabilistic safety properties. We furthermore propose an interpolation-based approach to probabilistic region stability, being able to verify that the probability of stabilizing within some region is sufficiently large

The psychopathological and psychosocial outcome of early-onset schizophrenia: Preliminary data of a 13-year follow-up

<p>Abstract</p> <p>Background</p> <p>Relatively little is known about the long-term psychopathological and psychosocial outcome of early-onset schizophrenia. The existing literature describes more severe courses of illness in these patients compared with adult-onset schizophrenia. This article reports preliminary data of a study exploring the outcome of early-onset schizophrenia 13.4 years (mean) after first admission. Predictors for interindividual outcomes were investigated.</p> <p>Methods</p> <p>We retrospectively assessed 27 former patients (mean age at first admission 15.5 years, SD = 2.0) that were consecutively admitted to the Department of Child and Adolescent Psychiatry at the University of Wuerzburg between 1990 and 2000. A multidimensional approach was chosen to assess the outcome consisting of a mail survey including different questions about psychopathological symptoms, psychosocial parameters, and standardized self-reports (ESI and ADS).</p> <p>Results</p> <p>Concerning the psychopathological outcome, 22.2% reported having acute schizophrenic symptoms. Almost one third (30.8%) described symptoms of depression and 37.0% reported having tried to commit suicide or seriously thought about it. 77.8% of the former patients were still in outpatient treatment. Compared to the general population, the number of patients without a school graduation was relatively high (18.5%). Almost half of participants still live with their parents (48.1%) or in assisted or semi-assisted living conditions (33.3%). Only 18.5% were working in the open market.</p> <p>Conclusion</p> <p>Schizophrenia with an early onset has an unfavourable prognosis. Our retrospective study of the psychopathological and psychosocial outcome concludes with a generally poor rating.</p