In this study, a dynamic inexact waste management (DIWM) model is developed for identifying optimal waste-flow-allocation and facility-capacity-expansion strategies under uncertainty and is based on an inexact scenario-based probabilistic programming (ISPP) approach. The DIWM model can handle uncertainties presented as interval values and probability distributions, and it can support assessing ...

Summary: LeoTask is a Java library for computation-intensive and time-consuming research tasks. It automatically executes tasks in parallel on multiple CPU cores on a computing facility. It uses a configuration file to enable automatic exploration of parameter space and flexible aggregation of results, and therefore allows researchers to focus on programming the key logic of a computing task. I...

In earlier works several data aggregation schemas based methods have been proposed to overcome the problems of the privacy in wireless sensor networks. These methods provides efficient result to analysis of secure data with traditional aggregation because cluster heads can straightforwardly comprehensive the cipher texts not including decryption; accordingly, reduces the transmission overhead i...

Java Programming Laboratory (JPL) is a cloud based learning environment used for teaching object-oriented programming at Griffith University, Australia. JPL incorporates a number of features found in other successful programming learning environments and builds upon them with a range of innovative features. JPL provides a database that tracks individual students’ successes and progression throu...

abstract: implementing a combined cooling, heating and power system(cchp) to cool, heat and produce electricity is growing rapidly due to its efficiency and low emissions. in this paper, using economic analysis, the size and operation detail of the required gas engine and the specific electricity, cooling and heating load curves for a one year operating period has been determined. the proposed ...

in this paper, firstly by using a mixed linear programming a new model of locating facilities with limited capacity is presented to design a closed-loop supply chain in a multi-product and multi-period mode. then, using a robust optimization approach, the proposed model decreases in non-deterministic expansion. the results show that the proposed model can handle facility capacity in a closed lo...

Companies pursuing extension of their activities and new companies in establishment phase are using various concepts and techniques to consider location decision, because location greatly a®ects both ̄xed and variable costs and on the overall pro ̄t of the company. This paper suggests a new use of quality function deployment (QFD) for facility location selection problem instead of applying it to ...

jahanshahloo has suggested a method for the solving linear programming problems with zero-one variables‎. ‎in this paper we formulate fully fuzzy linear programming problems with zero-one variables and a method for solving these problems is presented using the ranking function and also the branch and bound method along with an example is presented.

The -calculus is an extension of the -calculus with a pattern matching facility. The form of the argument of a function can be speci ed and hence -calculus is more convenient than ordinary -calculus. We explore the basic theory of -calculus, establishing results such as con uence. In doing so, we nd some requirements for patterns that guarantee con uence. Our work can be seen as giving some fou...