Directed transport of active particles over asymmetric energy barriers

We theoretically and numerically investigate the transport of active colloids to target regions, delimited by asymmetric energy barriers. We show that it is possible to introduce a generalized effective temperature that is related to the local variance of particle velocities. The stationary probability distributions can be derived from a simple diffusion equation in the presence of an inhomogeneous effective temperature resulting from the action of external force fields. In particular, transitions rates over asymmetric energy barriers can be unbalanced by having different effective temperatures over the two slopes of the barrier. By varying the type of active noise, we find that equal values of diffusivity and persistence time may produce strongly varied effective temperatures and thus stationary distributions

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

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

Mapping Learning and Game Mechanics for Serious Games Analysis in Engineering Education

In a world where students are increasing digitally tethered to powerful, ‘always on’ mobile devices, new models of engagement and approaches to teaching and learning are required from educators. Serious Games (SG) have proved to have instructional potential but there is still a lack of methodologies and tools not only for their design but also to support game analysis and assessment. This paper explores the use of SG to increase student engagement and retention. The development phase of the Circuit Warz game is presented to demonstrate how electronic engineering education can be radically reimagined to create immersive, highly engaging learning experiences that are problem-centered and pedagogically sound. The Learning Mechanics–Game Mechanics (LM-GM) framework for SG game analysis is introduced and its practical use in an educational game design scenario is shown as a case study

Clinical Processes - The Killer Application for Constraint-Based Process Interactions?

For more than a decade, the interest in aligning information systems in a process-oriented way has been increasing. To enable operational support for business processes, the latter are usually specified in an imperative way. The resulting process models, however, tend to be too rigid to meet the flexibility demands of the actors involved. Declarative process modeling languages, in turn, provide a promising alternative in scenarios in which a high level of flexibility is demanded. In the scientific literature, declarative languages have been used for modeling rather simple processes or synthetic examples. However, to the best of our knowledge, they have not been used to model complex, real-world scenarios that comprise constraints going beyond control-flow. In this paper, we propose the use of a declarative language for modeling a sophisticated healthcare process scenario from the real world. The scenario is subject to complex temporal constraints and entails the need for coordinating the constraint-based interactions among the processes related to a patient treatment process. As demonstrated in this work, the selected real process scenario can be suitably modeled through a declarative approach.Ministerio de Economía y Competitividad TIN2016-76956-C3-2-RMinisterio de Economía y Competitividad TIN2015-71938-RED

Structural characterization of carboxyatractyloside and acaricidal activity of natural ent-kaurene diterpenoids isolated from Chamaeleon gummifer against Tetranychus urticae

Plant-borne secondary metabolites are attracting high interest for their potential use in agricultural applications, with special reference to the control of arthropod pests. In the present work, the structural elucidation of glycosylated diterpenoid carboxyatractyloside (2) isolated from the roots of Chamaeleon gummifer Cass. (Asteraceae) is reported by means of spectroscopic and spectrometric techniques. Complete identification occurred thanks to one- and two-dimensional NMR experiments, assigning the single protons and carbons, and the stereochemistry by the NOESY correlations. Carboxyatractyloside (2), together with two ent-kaurenes atractyloside (1) and atractyligenin (3), extracted from the roots of C. gummifer, have been tested for their acaricidal and oviposition inhibition activity against the two-spotted spider mite, Tetranychus urticae Koch (Acari: Tetranychidae) Notably, compounds 1–3 were toxic to T. urticae, leading to significant mortality, oviposition inhibition, reduced hatchability of eggs, and natality inhibition. However, at the lowest dose (12.5 μg cm− 2) compound 2 was the most effective, leading to mortality > 60% after 5 days exposure, inhibiting oviposition by > 70% and egg hatching by 33%; it also reduced natality by 80%. Overall, these compounds represent valuable candidates to develop novel acaricides for crop protection. Further research on how to develop stable formulations for field use, as well as on non-target effects of these compounds on pollinators and mite biocontrol agents, is ongoing