Enhancing declarative process models with DMN decision logic

Modeling dynamic, human-centric, non-standardized and knowledge-intensive business processes with imperative process modeling approaches is very challenging. Declarative process modeling approaches are more appropriate for these processes, as they offer the run-time flexibility typically required in these cases. However, by means of a realistic healthcare process that falls in the aforementioned category, we demonstrate in this paper that current declarative approaches do not incorporate all the details needed. More specifically, they lack a way to model decision logic, which is important when attempting to fully capture these processes. We propose a new declarative language, Declare-R-DMN, which combines the declarative process modeling language Declare-R with the newly adopted OMG standard Decision Model and Notation. Aside from supporting the functionality of both languages, Declare-R-DMN also creates bridges between them. We will show that using this language results in process models that encapsulate much more knowledge, while still offering the same flexibility

Si photocathode with Ag-supported dendritic Cu catalyst for CO2 reduction

Si photocathodes integrated with Ag-supported dendritic Cu catalysts are used to perform light-driven reduction of CO2 to C2 and C3 products in aqueous solution. A back illumination geometry with an n-type Si absorber was used to permit the use of absorbing metallic catalysts. Selective carrier collection was accomplished by a p+ implantation on the illumination side and an n+ implantation followed by atomic layer deposition of TiO2 on the electrolyte site. The Ag-supported dendritic Cu CO2 reduction catalyst was formed by evaporation of Ag followed by high-rate electrodeposition of Cu to form a high surface area structure. Under simulated 1 sun illumination in 0.1 M CsHCO3 saturated with CO2, the photovoltage generated by the Si (∼600 mV) enables C2 and C3 products to be produced at -0.4 vs. RHE. Texturing of both sides of the Si increases the light-limited current density, due to reduced reflection on the illumination side, and also deceases the onset potential. Under simulated diurnal illumination conditions photocathodes maintain over 60% faradaic efficiency to hydrocarbon and oxygenate products (mainly ethylene, ethanol, propanol) for several days. After 10 days of testing, contamination from the counter electrode is observed, which causes an increase in hydrogen production. This effect is mitigated by a regeneration procedure which restores the original catalyst selectivity. A tandem, self-powered CO2 reduction device was formed by coupling a Si photocathode with two series-connected semitransparent CH3NH3PbI3 perovskite solar cells, achieving an efficiency for the conversion of sunlight to hydrocarbons and oxygenates of 1.5% (3.5% for all products)

Interestingness of traces in declarative process mining: The janus LTLPf Approach

Declarative process mining is the set of techniques aimed at extracting behavioural constraints from event logs. These constraints are inherently of a reactive nature, in that their activation restricts the occurrence of other activities. In this way, they are prone to the principle of ex falso quod libet: they can be satisfied even when not activated. As a consequence, constraints can be mined that are hardly interesting to users or even potentially misleading. In this paper, we build on the observation that users typically read and write temporal constraints as if-statements with an explicit indication of the activation condition. Our approach is called Janus, because it permits the specification and verification of reactive constraints that, upon activation, look forward into the future and backwards into the past of a trace. Reactive constraints are expressed using Linear-time Temporal Logic with Past on Finite Traces (LTLp f). To mine them out of event logs, we devise a time bi-directional valuation technique based on triplets of automata operating in an on-line fashion. Our solution proves efficient, being at most quadratic w.r.t. trace length, and effective in recognising interestingness of discovered constraints

Children, family and the state : revisiting public and private realms

The state is often viewed as part of the impersonal public sphere in opposition to the private family as a locus of warmth and intimacy. In recent years this modernist dichotomy has been challenged by theoretical and institutional trends which have altered the relationship between state and family. This paper explores changes to both elements of the dichotomy that challenge this relationship: a more fragmented family structure and more individualised and networked support for children. It will also examine two new elements that further disrupt any clear mapping between state/family and public/private dichotomies: the third party role of the child in family/state affairs and children's application of virtual technology that locates the private within new cultural and social spaces. The paper concludes by examining the rise of the 'individual child' hitherto hidden within the family/state dichotomy and the implications this has for intergenerational relations at personal and institutional levels

Discovering a junction tree behind a Markov network by a greedy algorithm

In an earlier paper we introduced a special kind of k-width junction tree, called k-th order t-cherry junction tree in order to approximate a joint probability distribution. The approximation is the best if the Kullback-Leibler divergence between the true joint probability distribution and the approximating one is minimal. Finding the best approximating k-width junction tree is NP-complete if k>2. In our earlier paper we also proved that the best approximating k-width junction tree can be embedded into a k-th order t-cherry junction tree. We introduce a greedy algorithm resulting very good approximations in reasonable computing time. In this paper we prove that if the Markov network underlying fullfills some requirements then our greedy algorithm is able to find the true probability distribution or its best approximation in the family of the k-th order t-cherry tree probability distributions. Our algorithm uses just the k-th order marginal probability distributions as input. We compare the results of the greedy algorithm proposed in this paper with the greedy algorithm proposed by Malvestuto in 1991.Comment: The paper was presented at VOCAL 2010 in Veszprem, Hungar

SCFAs strongly stimulate PYY production in human enteroendocrine cells.

Peptide-YY (PYY) and Glucagon-Like Peptide-1 (GLP-1) play important roles in the regulation of food intake and insulin secretion, and are of translational interest in the field of obesity and diabetes. PYY production is highest in enteroendocrine cells located in the distal intestine, mirroring the sites where high concentrations of short chain fatty acids (SCFAs) are produced by gut microbiota. We show here that propionate and butyrate strongly increased expression of PYY but not GCG in human cell line and intestinal primary culture models. The effect was predominantly attributable to the histone deacetylase inhibitory activity of SCFA and minor, but significant contributions of FFA2 (GPR43). Consistent with the SCFA-dependent elevation of PYY gene expression, we also observed increased basal and stimulated PYY hormone secretion. Interestingly, the transcriptional stimulation of PYY was specific to human-derived cell models and not reproduced in murine primary cultures. This is likely due to substantial differences in PYY gene structure between mouse and human. In summary, this study revealed a strong regulation of PYY production by SCFA that was evident in humans but not mice, and suggests that high fibre diets elevate plasma concentrations of the anorexigenic hormone PYY, both by targeting gene expression and hormone secretion

Direct and Inverse Variational Problems on Time Scales: A Survey

We deal with direct and inverse problems of the calculus of variations on arbitrary time scales. Firstly, using the Euler-Lagrange equation and the strengthened Legendre condition, we give a general form for a variational functional to attain a local minimum at a given point of the vector space. Furthermore, we provide a necessary condition for a dynamic integro-differential equation to be an Euler-Lagrange equation (Helmholtz's problem of the calculus of variations on time scales). New and interesting results for the discrete and quantum settings are obtained as particular cases. Finally, we consider very general problems of the calculus of variations given by the composition of a certain scalar function with delta and nabla integrals of a vector valued field.Comment: This is a preprint of a paper whose final and definite form will be published in the Springer Volume 'Modeling, Dynamics, Optimization and Bioeconomics II', Edited by A. A. Pinto and D. Zilberman (Eds.), Springer Proceedings in Mathematics & Statistics. Submitted 03/Sept/2014; Accepted, after a revision, 19/Jan/201

Preliminary interpretation of Titan plasma interaction as observed by the Cassini Plasma Spectrometer: Comparisons with Voyager 1

The Cassini Plasma Spectrometer (CAPS) instrument observed the plasma environment at Titan during the Cassini orbiter's TA encounter on October 26, 2004. Titan was in Saturn's magnetosphere during the Voyager 1 flyby and also during the TA encounter. CAPS measurements from this encounter are compared with measurements made by the Voyager 1 Plasma Science Instrument (PLS). The comparisons focus on the composition and nature of ambient and pickup ions. They lead to: A) the major ion components of Saturn's magnetosphere in the vicinity of Titan are H+, H-2(+) and O+/CH4+ ions; B) finite gyroradius effects are apparent in ambient O+ ions as the result of their absorption by Titan's extended atmosphere; C) the principal pickup ions are composed of H+, H-2(+), N+/CH2+, CH4+, and N-2(+); D) the pickup ions are in narrow energy ranges; and E) there is clear evidence of the slowing down of background ions due to pickup ion mass loading