The article presents an algorithm for choosing mutually agreed management decisions in the implementation of a production project, which allows orienting interests project participants to customer order increase efficiency task and as whole. proposed proposes economic mathematical model "customer-executor" system, taking into account various restrictions. features this are considered, it is sho...

We present a general formal model called MODIA that can tackle a central challenge for autonomous vehicles (AVs), namely the ability to interact with an unspecified, large number of world entities. In MODIA, a collection of possible decisionproblems (DPs), known a priori, are instantiated online and executed as decision-components (DCs), unknown a priori. To combine the individual action recomm...

Trauma is a major cause of systemic inflammatory response syndrome and multiple organ dysfunction syndrome. Macrophages (Mφ) direct trauma-induced inflammation, and Mφ death critically influences the progression of the inflammatory response. In the current study, we explored an important role of trauma in inducing mitochondrial DNA (mtDNA) damage in Mφ and the subsequent regulation of Mφ death....

Simulating design models makes early verification of the software’s business logic possible. Model simulators can be implemented using an interpreter, but it provides limited runtime performance. This is only acceptable if the only use case of the tool is interactive model execution and debugging. If the model executor tool is to be used for automated regression testing, execution time becomes ...

In many practical domains, planning systems are required to reason about durative actions. A common assumption in the literature is that the executor is allowed to decide the duration of each action. However, this assumption may be too restrictive for applications. In this paper, we tackle the problem of temporal planning with uncontrollable action durations. We show how to generate robust plan...

As biomedical data has become increasingly easy to generate in large quantities, the methods used to analyze it have proliferated rapidly. Reproducible and reusable methods are required to learn from large volumes of data reliably. To address this issue, numerous groups have developed workflow specifications or execution engines, which provide a framework with which to perform a sequence of ana...

In our review article “ATG13: Just a companion, or an executor of the autophagic program?” (Alers S, et al., Autophagy 10:6, 944–56), we stated: “Notably, no Drosophila or C. elegans homolog of Atg17 or RB1CC1 has been described so far.” This statement is incorrect. Two papers described the identification and characterization of Drosophila Atg17/RB1CC1/FIP200 and established that this fly gene ...

This paper is about the interface between continuous and symbolic robot control. We advocate describing continuous actions and their related sensing strategies as situation speciic activities, which can be manipulated by a symbolic reactive planner. The approach addresses the issues involved in turning symbolic actions into continuous activities , and using task speciic sensing routines to supp...

This paper describes the computational model underlying the AGILO autonomous robot soccer team and its implementation. The most salient aspects of the AGILO control software are that it includes (1) a cooperative probabilistic game state estimator working with a simple off-the-shelf camera system; (2) a situated action selection module that makes amble use of experience-based learning and produ...

Our aim was to optimize a SOA control system by evolving the architecture of the service component that transforms system models into task trees, which are then executed by the runtime library called the Task Tree Executor, TTE. In the paper we present the two novel TTE architectures that evolved from the previous TTE architecture and introduced finer grained parallelism. The novel architecture...