maxsat is an optimization version of sat that can represent a wide variety of important optimization problems. A recent approach for solving maxsat is to exploit both a sat solver and a Mixed Integer Programming (mip) solver in a hybrid approach. Each solver generates information used by the other solver in a series of iterations that terminates when an optimal solution is found. Empirical resu...

videoinsight® means to gain insight by looking at a work of contemporary art. it focuses on the aim and the psychological effect that are potentially provoked by the interaction with some selected contemporary works of art. the insight promoted by the work of art is the outcome of the activation of transference, of projections and reflections on the artistic product, of the unconscious elaborat...

In statistical classification work, one method of speeding up the process is to use only a small percentage of the total parameter set available. In this paper, we apply this technique both to the classification of malware and the identification of malware from a set combined with cleanware. In order to demonstrate the usefulness of our method, we use the same sets of malware and cleanware as i...

During the last years, preprocessing-based techniques have been developed to compute shortest paths between two given points in a road network. These speed-up techniques make the computation a matter of microseconds even on huge networks. While there is a vast amount of experimental work in the eld, there is still large demand on theoretical foundations. The preprocessing phases of most speed-u...

This paper shows how functional programming techniques have been successfully applied to relieve a performance bottleneck in an MPI collective communication operation. A functional speciication for the improved operation is given, and an eecient version implementable in an imperative language is derived and proved correct. Experimental results on an IBM SP2 distributed{memory machine connrm the...

Due to increased complexity and extreme quality of service requirements, traditional means for performance evaluation of telecom networks do not always suffice. The most flexible approach has been, and still is, simulation, which is the main focus of this paper. However, severe problems regarding efficiency exist, e.g. evaluation of ATM cell loss rate in range of <10-9 which is very computer in...