abstract water pricing is a policy instrument for improving water efficiency, reducing water demand, management of the irrigation systems and recovering costs. the underlying principle of water pricing is that it should reflect the opportunity cost of water. in this study, parametric mathematical programming approache were used to estimate the willingness of farmers to pay for groundwater under...

abstract water pricing is a policy instrument for improving water efficiency, reducing water demand, management of the irrigation systems and recovering costs. the underlying principle of water pricing is that it should reflect the opportunity cost of water. in this study, parametric mathematical programming approache were used to estimate the willingness of farmers to pay for groundwater under...

A mathematical programming approach to deal with the global configuration of resource constraints is presented. A specialized parametric programming algorithm to obtain the pareto set for the biobjective problem that appears to deal with the global configuration for 0-1-Integer Linear Programing problems is presented and implemented. Computational results for Multiconstrained Knapsack problems ...

Equity measures can be used as working tools to explore management alternatives for :I \ \ater qualit! system. Several example measures of equity are discussed which proved useful in suggesting nra m;inagsment programs, in identifying critical waste dischargers. in suggesting Lones for grouping dischargers. and for understanding given management programs. The example equity measures were evelua...

The T-calculus is a typed functional extension of the tiled signal algebra previously defined for handling, with advanced synchronization feature, audio or musical finite signals. Primarily designed for programing interactive music systems, the T-calculus can also be seen as a multi-purpose programing language proposal that addresses the difficult problem of globally asynchronous and locally sy...

Robin Milner's paper, 'The use of machines to assist in rigorous proof', introduces methods for automating mathematical reasoning that are a milestone in the development of computer-assisted theorem proving. His ideas, particularly his theory of tactics, revolutionized the architecture of proof assistants. His methodology for automating rigorous proof soundly, particularly his theory of type po...

Today using evolutionary programing for solving complex, nonlinear mathematical problems like optimum power flow is commonly in use. These types of problems are naturally nonlinear and the conventional mathematical methods aren’t powerful enough for achieving the desirable results. In this study an Optimum Power Flow problem solved by means of minimization of fuel costs for IEEE 30 buses test s...

This study extends a mathematical model that integrates the location, allocation, inventory replenishment and routing decisions simultaneously. To cope with inherent uncertainty of parameters, we implement a continuous-time Markov process and derive the performance measures of the system. Using the obtained results, the problem is formulated as a mixed integer nonlinear programing model (MINLP)...