Two extensions are formulated of the analysis of the allocation of decision rights in Hendrikse and Veerman (2001). First, the incomplete contracts in their article can be viewed as simple long-term contracts, i.e. it is not allowed to make the allocation of authority contingent on the circumstances. Contingent long-term contracts are now considered. Second, another aspect of decision rights is...

Decision support systems are generally geared to short-term tactical decision makkrg. As an alternative, this paper develops a mathematical progrming model to evaluate long-term strategic alternatives in the context of farm-level agricultural production where a broiler farm considers long-term implications of diversification into commercial aquiculture. The model considers a ten-year strategic ...

The paper presents the elements of a new methodology to control complex and hypercomplex socio-economic structures. The control process is iterative, combining the principles of System Dynamics, Control theory and the PROMETHEE Multicriteria Decision Aid (MCDA) methodology. It consists of three main stages: setting up and calibration of a quantitative model, de®nition of long-term strategies an...

We present a polynomial time algorithm for deciding confluence of ground term rewrite systems. We generalize the decision procedure to get a polynomial time algorithm, assuming that the maximum arity of a symbol in the signature is a constant, for deciding confluence of rewrite systems where each rule contains a shallow linear term on one side and a ground term on the other. The existence of a ...

An attractor network is a network of neurons with excitatory interconnections that can settle into a stable pattern of firing. This article shows how attractor networks in the cerebral cortex are important for long-term memory, short-term memory, attention, and decision making. The article then shows how the random firing of neurons can influence the stability of these networks by introducing s...

In this communication is considered the design of a decision support system for the short term water resource management of an irrigation system. The operations of similar systems are often impaired by different stochastic events like device failure, heavy rains or dry periods and new long term goals. To be effective, such a decision support system which is based on knowledge techniques (state ...

Static and dynamic term structure model of interest rates are studied according to the need for using. As for the static model, exponential splines model is studied and every cash flow of the project is discounted relatively accurately by getting the model of discount rate. As for the dynamic model, a basic model is studied, and the option pricing formula under changing risk-free rate is gotten...

Term algebras can model recursive data structures which are widely used in programming languages. To verify programs we must be able to reason about these structures. However, as programming languages often involve multiple data domains, in program verification decision procedures for a single theory are usually not applicable. An important class of mixed constraints consists of combinations of...

In recent years Agent-based Computational Economics (ACE) has become an increasingly important method in market simulation. After liberalization of many former governmental owned or controlled industries the used operations research models are not longer sufficient to simulate market behavior due to individual action and increasing competition. Agentbased simulation appears to be an alternative...

BACKGROUND The ethical argument that shared decision-making is "the right" thing to do, however laudable, is unlikely to change how healthcare is organized, just as evidence alone will be an insufficient factor: practice change is governed by factors such as cost, profit margin, quality, and efficiency. It is helpful, therefore, when evaluating new approaches such as shared decision-making to c...