A new method for obtaining the optimal path to robot navigation in 2-D environments is presented in this paper. To obtain the optimal path we use mathematical morphology in binary worlds and the geodesic distance. The navigation algorithm is based on the search for a path of minimum cost by using the wave-front of the geodesic distance of the mathematical morphology. The optimal path will be th...

We study in this lecture the literature on mixed integer programming models and formulations for a specific problem class, namely deterministic production planning problems. The objective is to present the classical optimization approaches used, and the known models, for dealing with such management problems. We describe first production planning models in the general context of manufacturing p...

The objective of this paper is the development and solution of nonlinear and mixed-integer (MIP) optimization models for real-world planning and scheduling problems in petroleum refineries. Firstly, we present a nonlinear planning model that represents a general refinery topology and allows implementation of nonlinear process models as well as blending relations. The optimization model is able ...

The dynamic nature of today’s competitive markets compels organizations to an incessant reassessment in an effort to respond to continuous challenges. Therefore, warehouses as an important link in most supply chains, must be continually re-evaluated to ensure that they are consistent with both market’s demands and management’s strategies. A number of warehouse decision support models have been ...

Robots interacting with the physical world plan with models of physics. We advocate that robots interacting with people need to plan with models of cognition. This writeup summarizes the insights we have gained in integrating computational cognitive models of people into robotics planning and control. It starts from a general gametheoretic formulation of interaction, and analyzes how different ...

Brachytherapy is a medical treatment process, based on the use of radioactive sources, which are placed within the patient’s body, in order to submit a curative radiation dose to a target volume. Brachytherapy is mainly used for treating certain kinds of cancerous tumours. It can be considered as an alternative to surgery, and can be used for treating localized tumours. We dress a list of compu...

0377-2217/$ see front matter 2009 Elsevier B.V. A doi:10.1016/j.ejor.2009.09.008 * Corresponding author. Address: Escuela Politécn Ferrándiz y Carbonell, 2, 03801 Alcoy, Alicante, Spain +34 96 652 85 85. E-mail addresses: [email protected] (J. Mula), dpe [email protected] (M. Díaz-Madroñero), evicens@ This paper presents a review of mathematical programming models for supply chain producti...

Higher Order Natural Deduction Proof Object Maintenance of proof developments at different layers of granularity which are connected to each other September 25th, 2003 – p.7 Source: Autexier, Benzmüller Proof Data Structure MEGA Main References [CheikhrouhouSorge-ACIDCA-00] Overview on PDS [SiekmannEtAl-35yAutomath] Working with PDS Discussion + Support for proof development at different levels...

Irreversible Electroporation (IRE) is a new drug-free method to ablate undesirable tissue of particular use in cancer therapy. IRE achieves cell death within the targeted tissue through a series of electric pulses that elevate the transmembrane potentials to an extent that permanently damages the lipid bilayers throughout the treated region. Although the IRE procedure is easy to perform, treatm...

The salmon farming production chain is structured in four consecutive phases: freshwater, seawater, plant processing, and distribution and marketing. The phases interact in a pull manner, freshwater stocks fish to meet seawater’s demand, seawater produces to meet plant processing biomass demand, and the processing plant produces to satisfy consumers’ demand. Freshwater planning decisions are in...