Strongly convergent dynamic programming : some results

No abstract

The DONS rail scheduling system

This paper describes a system for automated rail scheduling currently being developed at Dutch Rail (NS). This system will be used initially to base infrastructure decisions upon. Rail infrastructure poses constraints upon the rail schedules that can be made within it, because of the large extent in which trains share it. Good infrastructure is the one that allows good schedules. The Petri net based ExSpect editor is used to model infrastructure variants and to help converting them into schedule constraints. With OR techniques, schedules are then made generated. ExSpect is then used to simulate the execution of these schedules within their infrastructure

Adaptive workflow nets for grid computing

Existing grid applications commonly use workflows for the orchestration of grid services. Existing workflow models however suffer from the lack of adaptivity. In this paper we define Adaptive Grid Workflow nets (AGWF nets) appropriate for modeling grid workflows and allowing changes in the process structure as a response to triggering events/exceptions. Moreover, a recursion is allowed, which makes the model especially appropriate for a number of grid applications. We show that soundness can be verified for AGWF nets

A SOA-Based Architecture Framework

In this paper we present first results of a SOA-based architecture framework. The architecture framework is required to be close to industry standards, especially to service component architecture (SCA), language independent (i.e. it is adoptable) and the building blocks of a system, activities and data, are first class citizens. We present a meta model of the architecture framework and discuss its concepts in detail

A SOA-based architecture framework

We present an Service-Oriented Architecture (SOA)– based architecture framework. The architecture framework is designed to be close to industry standards, especially to the Service Component Architecture (SCA). The framework is language independent and the building blocks of each system, activities and data, are first class citizens. We present a meta model of the architecture framework and discuss its concepts in detail. Through the framework, concepts of an SOA such as wiring, correlation and instantiation can be clarifie

Immune Checkpoint Inhibitor-related Pancreatitis:A Case Series, Review of the Literature and an Expert Opinion

Immune checkpoint inhibitors (ICIs) have revolutionized the treatment of various malignancies, but are associated with serious adverse events like pancreatitis. Current guidelines are limited to the first step in treating acute ICI-related pancreatitis with steroids but lack treatment advices for steroid dependent pancreatitis. We describe a case series of 3 patients who developed ICI-related pancreatitis with chronic features such as exocrine insufficiency and pancreatic atrophy at imaging. Our first case developed after treatment with pembrolizumab. The pancreatitis responded well after discontinuation of immunotherapy but imaging showed pancreatic atrophy and exocrine pancreatic insufficiency persisted. Cases 2 and 3 developed after treatment with nivolumab. In both, pancreatitis responded well to steroids. However during steroid tapering, pancreatitis recurred and the latter developed exocrine pancreatic insufficiency and pancreatic atrophy at imaging. Our cases demonstrate resemblances with autoimmune pancreatitis based on clinical and imaging findings. In line, both diseases are T-cell mediated and for autoimmune pancreatitis azathioprine is considered as maintenance therapy. Guidelines of other T-cell mediated diseases like ICI-related hepatitis suggest tacrolimus. After adding tacrolimus in case 2 and azathioprine in case 3, steroids could be completely tapered and no new episodes of pancreatitis have occurred. These findings support the idea that the treatment modalities for other T-cell mediated diseases are worthwhile options for steroid dependent ICI-related pancreatitis.</p

Enhancing workflow-nets with data for trace completion

The growing adoption of IT-systems for modeling and executing (business) processes or services has thrust the scientific investigation towards techniques and tools which support more complex forms of process analysis. Many of them, such as conformance checking, process alignment, mining and enhancement, rely on complete observation of past (tracked and logged) executions. In many real cases, however, the lack of human or IT-support on all the steps of process execution, as well as information hiding and abstraction of model and data, result in incomplete log information of both data and activities. This paper tackles the issue of automatically repairing traces with missing information by notably considering not only activities but also data manipulated by them. Our technique recasts such a problem in a reachability problem and provides an encoding in an action language which allows to virtually use any state-of-the-art planning to return solutions