One of the possible objectives when designing experiments is to build or formulate a model for predicting future observations. When primary objective prediction, some typical approaches in planning phase are use well-established small-sample experimental designs design (e.g., Definitive Screening Designs) and construct predictive models using widely used selection algorithms such as LASSO. Thes...

Model-driven Software Engineering is one of the most focused research fields. Model processors automatically generate the lower level artefacts. Graph transformation is a widely used technique for model transformations. Especially visual model transformations can be expressed by graph transformations. This paper presents a visual control flow support of the Visual Modelling and Transformation S...

Validated solution of a problem means to compute error bounds for a solution in finite precision. This includes the proof of existence of a solution. The computed error bounds are to be correct including all possible effects of rounding errors. The fastest known validation algorithm for the solution of a system of linear equations requires twice the computing time of a standard (purely) numeric...

Researchers have contributed promising new techniques for allocating cloud resources in more robust, efficient, and ecologically sustainable ways. Unfortunately, the wide-spread use of these techniques in production systems has, to date, remained elusive as their evaluation frequently relies on exploratory, modeldriven simulation only. We present a new methodology that complements existing mode...

Developing the AI for non-player characters in a video game is a collaborative task between programmers and designers. Most of the times, there is a tension between the freedom that designers require to include their narrative in the game and the effort required from programmers to debug faulty AI specified by good story tellers who are not programmers. In this paper is presented an architectur...

We combine simple retrieval with domain-specific validation of retrieved cases to produce a useful practical tool for case-based reasoning. Based on 200 real-world cases, we retrieve between three and six cases over a wide range of new problems. This represents a selectivity ranging from 1.5% to 3%, compared to an average selectivity of only 11% from simple retrieval alone.

Because of the importance of special functions, several books and a large collection of papers have been devoted to the numerical computation of these functions, the most well-known being the Abramowitz and Stegun handbook [1]. But up to this date, no environment offers routines for the provable correct evaluation of these special functions. We point out how series and limit-periodic continued ...

RESULTS — The model includes the pertinent organ systems, more than 50 continuously interacting biological variables, and the major symptoms, tests, treatments, and outcomes. The level of detail corresponds to that found in general medical textbooks, patient charts, clinical practice guidelines, and designs of clinical trials. The model is continuous in time and represents biological variables ...