Business process compliance checking – applying and evaluating a generic pattern matching approach for conceptual models in the financial sector

Given the strong increase in regulatory requirements for business processes the management of business process compliance becomes a more and more regarded field in IS research. Several methods have been developed to support compliance checking of conceptual models. However, their focus on distinct modeling languages and mostly linear (i.e., predecessor-successor related) compliance rules may hinder widespread adoption and application in practice. Furthermore, hardly any of them has been evaluated in a real-world setting. We address this issue by applying a generic pattern matching approach for conceptual models to business process compliance checking in the financial sector. It consists of a model query language, a search algorithm and a corresponding modelling tool prototype. It is (1) applicable for all graph-based conceptual modeling languages and (2) for different kinds of compliance rules. Furthermore, based on an applicability check, we (3) evaluate the approach in a financial industry project setting against its relevance for decision support of audit and compliance management tasks.     

Sparkle measurement revisited: A closer look at the details

Four years after introduction of the first instrument for measurement of sparkle, the foundations have been reconsidered, and the pool of practical experience has been analyzed to provide a more detailed and complete picture of the subject matter. The following aspects are introduced and discussed: observation conditions and resulting requirements for imaging (sampling) and filtering, analysis of spatial periods and frequencies as a basis for filtering, spatial filtering concepts, sparkle in the frequency domain, sparkle evaluation based on analysis of single images and difference images, origins of unwanted sparkle components, scaling and offset in sparkle evaluation, and verification of the method.     

Adaptive water management in Israel: structure and policy options

Difficulties in integrating technical, economic and institutional factors present a major gap in analytical capacity to guide water policy. This article presents an integrated framework to support water policy and guide water management choices, with application to Israel. That framework rests on the theory of economic policy originally developed by Tinbergen. It sees national water challenges as consisting of external factors, constraints, policy instruments and targets. The need for a modern implementation of the theory of economic policy is motivated by emerging environmental requirements, scarce water, growing demands for domestic use, and ongoing needs to implement existing and potential peace agreements.     

Development of a high pressure automated lag time apparatus for experimental studies and statistical analyses of nucleation and growth of gas hydrates

Nucleation in a supercooled or a supersaturated medium is a stochastic event, and hence statistical analyses are required for the understanding and prediction of such events. The development of reliable statistical methods for quantifying nucleation probability is highly desirable for applications where control of nucleation is required. The nucleation of gas hydrates in supercooled conditions is one such application. We describe the design and development of a high pressure automated lag time apparatus (HP-ALTA) for the statistical study of gas hydrate nucleation and growth at elevated gas pressures. The apparatus allows a small volume (≈150 μl) of water to be cooled at a controlled rate in a pressurized gas atmosphere, and the temperature of gas hydrate nucleation, T(f), to be detected. The instrument then raises the sample temperature under controlled conditions to facilitate dissociation of the gas hydrate before repeating the cooling-nucleation cycle again. This process of forming and dissociating gas hydrates can be automatically repeated for a statistically significant (>100) number of nucleation events. The HP-ALTA can be operated in two modes, one for the detection of hydrate in the bulk of the sample, under a stirring action, and the other for the detection of the formation of hydrate films across the water-gas interface of a quiescent sample. The technique can be applied to the study of several parameters, such as gas pressure, cooling rate and gas composition, on the gas hydrate nucleation probability distribution for supercooled water samples.     

Performance and reliability prediction for evolving service-oriented software systems

During software system evolution, software architects intuitively trade off the different architecture alternatives for their extra-functional properties, such as performance, maintainability, reliability, security, and usability. Researchers have proposed numerous model-driven prediction methods based on queuing networks or Petri nets, which claim to be more cost-effective and less error-prone than current practice. Practitioners are reluctant to apply these methods because of the unknown prediction accuracy and work effort. We have applied a novel model-driven prediction method called Q-ImPrESS on a large-scale process control system from ABB consisting of several million lines of code. This paper reports on the achieved performance prediction accuracy and reliability prediction sensitivity analyses as well as the effort in person hours for achieving these results.     

A principle for learning egocentric-allocentric transformation

Numerous single-unit recording studies have found mammalian hippocampal neurons that fire selectively for the animal's location in space, independent of its orientation. The population of such neurons, commonly known as place cells, is thought to maintain an allocentric, or orientation-independent, internal representation of the animal's location in space, as well as mediating long-term storage of spatial memories. The fact that spatial information from the environment must reach the brain via sensory receptors in an inherently egocentric, or viewpoint-dependent, fashion leads to the question of how the brain learns to transform egocentric sensory representations into allocentric ones for long-term memory storage. Additionally, if these long-term memory representations of space are to be useful in guiding motor behavior, then the reverse transformation, from allocentric to egocentric coordinates, must also be learned. We propose that orientation-invariant representations can be learned by neural circuits that follow two learning principles: minimization of reconstruction error and maximization of representational temporal inertia. Two different neural network models are presented that adhere to these learning principles, the first by direct optimization through gradient descent and the second using a more biologically realistic circuit based on the restricted Boltzmann machine (Hinton, 2002; Smolensky, 1986). Both models lead to orientation-invariant representations, with the latter demonstrating place-cell-like responses when trained on a linear track environment.     

A computational framework for scale‐bridging in multi‐scale simulations

A computational framework for scale‐bridging in multi‐scale simulations is presented. The framework enables seamless combination of at‐scale models into highly dynamic hierarchies to build a multi‐scale model. Its centerpiece is formulated as a standalone module capable of fully asynchronous operation. We assess its feasibility and performance for a two‐scale model applied to two challenging test problems from impact physics. We find that the computational cost associated with using the framework may, as expected, become substantial. However, the framework has the ability of effortlessly combining at‐scale models to render complex multi‐scale models. The main source of the computational inefficiency of the framework is related to poor load balancing of the lower‐scale model evaluation We demonstrate that the load balancing can be efficiently addressed by recourse to conventional load‐balancing strategies. Copyright © 2016 John Wiley & Sons, Ltd.     

Ultraschallbasierte in situ Vorspannkraftermittlung an Schrauben ohne Referenzmessung im nicht verspannten Zustand durch Kombination von Longitudinal- und Transversalwellen

Ultrasonic based bolt preload evaluation is commonly performed using the mono-wave method. This method works by measuring the time of flight of longitudinal waves. Here, a reference measurement in the unloaded condition is necessary for each bolt. In this publication the longitudinal wave is complemented by another type of ultrasonic wave - the transverse wave. This method does not require a reference measurement in the unloaded condition for each bolt. Moreover, an analytic method for determining the bolt-specific K-value is introduced, which is needed for the ultrasonic bolt preload determination. The analytically calculated K-values are compared with experimental K-values from tensile tests. The influence of material, bolt property class and surface protection system were determined with cylindrical specimens. In component tests, the bolt preload was evaluated using the bi-wave method, a possible influence of the bolt assembly method was investigated and the results were interpreted regarding their accuracy.     

Co-capping studies reveal CD8/TCR interactions after capping CD8 beta polypeptides and intracellular associations of CD8 with p56(lck)

A reaction-diffusion model was developed to predict the fate of nitric oxide (NO) released by cells of the immune system. The model was used to analyze data obtained previously using macrophages attached to microcarrier beads suspended in a stirred vessel. Activated macrophages synthesize NO, which is oxidized in the culture medium by molecular oxygen and superoxide (O2-, also released by the cells), yielding mainly nitrite (NO2-) and nitrate (NO3-) as the respective end products. In the analysis the reactor was divided into a "stagnant film" with position-dependent concentrations adjacent to a representative carrier bead and a well-mixed bulk solution. It was found that the concentration of NO was relatively uniform in the film. In contrast, essentially all of the O2- was calculated to be consumed within approximately 2 microm of the cell surfaces, due to its reaction with NO to yield peroxynitrite. The decomposition of peroxynitrite caused its concentration to fall to nearly zero over a distance of approximately 30 microm from the cells. Although the film regions (which had an effective thickness of 63 microm) comprised just 2% of the reactor volume and were predicted to account for only 6% of the NO2- formation under control conditions, they were calculated to be responsible for 99% of the NO3- formation. Superoxide dismutase in the medium (at 3.2 microM) was predicted to lower the ratio of NO3- to NO2- formation rates from near unity to <0.5, in reasonable agreement with the data. The NO3-/NO2- ratio was predicted to vary exponentially with the ratio of O2- to NO release rates from the cells. Recently reported reactions involving CO2 and bicarbonate were found to have important effects on the concentrations of peroxynitrite and nitrous anhydride, two of the compounds that have been implicated in NO cytotoxicity and mutagenesis.     

Supporting rapid design and evaluation of pervasive applications: challenges and solutions

Along with the improvement of the key technologies for pervasive computing, the design of applications itself has emerged as a notable research area. A design should decide which features go into the application of supporting its context-awareness and ascertaining how well those features add value for users with an acceptable user experience. This paper initially identifies the challenges in designing and evaluating pervasive applications. It then presents a condensed survey of prototyping techniques and existing toolkits with the aim of understanding how the design issues have been addressed by research prototypes. At the end, we describe various open issues with suggestions of possible ways to extend the capabilities of current prototyping toolkits.