This report documents the outcomes of Dagstuhl Seminar 14032 “Planning with epistemic goals”. It brought together the communities of so far relatively separate research areas related to artificial intelligence and logic: automated planning on the one hand, and dynamic logics of interaction on the other. Significant overlap in motivation, theory and methods was discovered, and a good potential f...

The applications of mathematical simulations of tissue tem perature distributions in hyperthermia treatments are discussed in terms of four areas, comparative, prospective, concurrent, and retrospective thermal dosimetry. These four aspects of thermal dosimetry cover the range of hyperthermia applications of interest to clinicians, from comparative evaluation of compet itive heating modalities ...

Mathematical programming problems with semi-continuous variables and cardinality constraint have many applications, including production planning, portfolio selection, compressed sensing and subset selection in regression. This class of problems can be modeled as mixed-integer programs with special structures and are in general NP-hard. In the past few years, based on new reformulations, approx...

Historically, mathematical morphology has primarily focused on the processing and analysis of two-dimensional image data. In this paper, we survey a number of other areas where mathematical morphology finds fruitful application, such as computer graphics and solid modeling; path planning; filtering, segmentation and visualization of volume data; or visual exploration of high-dimensional data. W...

In this paper we propose a 3D mathematical model for planning a corrective ostectomy on bones with angular deformities. Angular deformity is usually treated with a surgery procedure called Center of Rotation of Angulation (CORA) [3, 1, 4, 2, 5] which uses 2D radiographic images and without considering rotational deviation. Our proposal is based on a 3D computed tomographic imaging technique whi...

When planning trajectories for linear control systems, a demand that arises naturally in, for instance, air traac control, noise contaminated data interpolation, and planning for switched control systems, is that the curve interpolate through given points or intervals at given times. In this article, we address this by showing how standard optimal control techniques, together with mathematical ...

This paper proposes a novel constraint-based 3G network-planning model and a novel hybrid approach for optimizing the 3G network-planning problem. Computational results show that the model and the approach are more efficient than the mathematical model and the existing heuristics. Optimal solutions are always obtained for small and medium sized problems. The proposed hybrid approach can be an e...

Cell Formation (CF) is the initial step in the configuration of cell assembling frameworks. This paper proposes a new mathematical model for the CF problem considering aspects of production planning, namely inventory, backorder, and subcontracting. In this paper, for the first time, backorder is considered in cell formation problem. The main objective is to minimize the total fixed and variable...

We present Finesse, a system that forms plans for declarer play in the game of Bridge. Finesse generalises the technique of proof-planning, developed at Edinburgh University in the context of mathematical theorem-proving, to deal with the dis-junctive choice encountered when planning under uncertainty , and the context-dependency of actions produced by the presence of an opposition. In its doma...