Evolving combinatorial problem instances that are difficult to solve

This paper demonstrates how evolutionary computation can be used to acquire difficult to solve combinatorial problem instances. As a result of this technique, the corresponding algorithms used to solve these instances are stress-tested. The technique is applied in three important domains of combinatorial optimisation, binary constraint satisfaction, Boolean satisfiability, and the travelling salesman problem. The problem instances acquired through this technique are more difficult than the ones found in popular benchmarks. In this paper, these evolved instances are analysed with the aim to explain their difficulty in terms of structural properties, thereby exposing the weaknesses of corresponding algorithms.     

Primary reconstruction of the mandible after resection for oral cancer

Forty-seven patients with cancer of the lower half of the oral cavity underwent primary restoration of mandibular continuity with a threaded wire after "en bloc" resection. The overall 3 years tolerance rate of the wire calculated according to the actuarial method is 0.29. Preoperative radiotherapy and inclusion of the wire into silastic reduced tolerance of the prosthesis. The occurrence of an oral fistula required removal of the wire.     

Inhibition effect of swine wastewater heavy metals and antibiotics on anammox activity

The feasibility of anaerobic ammonium oxidation (anammox) process to treat wastewaters containing antibiotics and heavy metals (such as the liquid fraction of the anaerobically digested swine manure) was studied in this work. The specific anammox activity (SAA) was evaluated by means of manometric batch tests. The effects of oxytetracycline, sulfathiazole, copper and zinc were studied. The experimental data of the short-term assays were fitted with an inhibition model to identify the half maximal inhibitory concentration (IC(50)). After 24 h exposures, IC(50)-values equal to 1.9, 3.9, 650 and 1,100 mg L(-1) were identified for copper, zinc, sulfathiazole and tetracycline respectively. The effect of prolonged exposure (14 days) to oxytetracycline and sulfathiazole was studied by means of repeated batch-assays. Anabolism and catabolism reactions were active during the inhibition tests indicating that anammox bacteria could grow even in the extreme conditions tested. Considering the average concentrations expected in swine wastewaters, the inhibitors studied do not seem to represent a problem for the application of the anammox process. However, in order to verify the effect of these compounds on the growth of anammox bacteria, continuous culture experiments could be conducted.     

Democratic Legitimacy of New Forms of Water Management in the Netherlands

Due to changes in the Dutch flood management paradigm, governance practices have been shifting from technocratic and state-oriented towards more collaborative governance approaches in which many governmental actors, together with private and societal actors, search out integral solutions. This shift has had an impact on how water management is legitimized. This paper evaluates two water governance processes that reflect the new management paradigm in different ways, and analyzes how these changing paradigms influence the democratic legitimacy of water governance. It is concluded that the extent to which the new paradigm is implemented influences the way in which democratic legitimacy is organized. It is also shown that new forms of democratic legitimacy do not replace existing ones but rather contribute to hybrid and contextualized forms of legitimacy.     

An ENO-Based Method for Second-Order Equations and Application to the Control of Dike Levels

This work aims to model the optimal control of dike heights. The control problem leads to so-called Hamilton-Jacobi-Bellman (HJB) variational inequalities, where the dike-increase and reinforcement times act as input quantities to the control problem. The HJB equations are solved numerically with an Essentially Non-Oscillatory (ENO) method. The ENO methodology is originally intended for hyperbolic conservation laws and is extended to deal with diffusion-type problems in this work. The method is applied to the dike optimisation of an island, for both deterministic and stochastic models for the economic growth.     

On behavioural pseudometrics and closure ordinals

A behavioural pseudometric is often defined as the least fixed point of a monotone function F on a complete lattice of 1-bounded pseudometrics. According to Tarski?s fixed point theorem, this least fixed point can be obtained by (possibly transfinite) iteration of F, starting from the least element ⊥ of the lattice. The smallest ordinal α such that $F^{\alpha }(\perp )=F^{\alpha +1}(\perp )$ is known as the closure ordinal of F. We prove that if F is also continuous with respect to the sup-norm, then its closure ordinal is ω. We also show that our result gives rise to simpler and modular proofs that the closure ordinal is ω.     

Flicker sensitivity measured with intermittent stimuli: II. Comparison between temporal gradient detection and the "De Lange" curves.

The threshold gradient for perception of a linear change in luminance with time has been measured as a function of the stimulus duration. These data are compared with the "De Lange" curves representing the flicker sensitivity measured with intermittent presentation of the stimulus as a function of the stimulus duration. For this purpose it is necessary to take into account the fact that a linear luminance gradient, being a relatively low-frequency signal, is affected less by the low-pass filter supposedly situated in the visual system than by a sinusoidal signal (flicker) of the same duration.     

ISO 9000 versus CMM: Standardization and certification of IS development

A growing number of software developers use standards as a basis for their quality systems. Some of them go one step further and have their quality systems certified. In this paper, two well-known quality standards, ISO 9000 and the CMM, are compared. It is concluded that both standards are useful but there is a growing need for more specific standards.