Energy problems are important in the formal analysis of embedded or autonomous systems. Using recent results on ∗-continuous Kleene ω-algebras, we show here that energy problems can be solved by algebraic manipulations on the transition matrix of energy automata. To this end, we prove general results about certain classes of finitely additive functions on complete lattices which should be of a ...

Sufficient conditions for the existence and Lipschitz continuity of optimal strategies for static team optimization problems are studied. Revised statements and proofs of some results appeared in the literature are presented. Their extensions are discussed. As an example of application, optimal production in a multidivisional firm is considered.

SFI WORKING PAPER: 2007-12-042 SFI Working Papers contain accounts of scientific work of the author(s) and do not necessarily represent the views of the Santa Fe Institute. We accept papers intended for publication in peer-reviewed journals or proceedings volumes, but not papers that have already appeared in print. Except for papers by our external faculty, papers must be based on work done at ...

A possible approach to Algorithm Selection and Configuration for continuous black box optimization problems relies on problem features, computed from a set of evaluated sample points. However, the computation of these features requires a rather large number of such samples, unlikely to be practical for expensive real-world problems. On the other hand, surrogate models have been proposed to tack...

s in Alphabetical Order by Speaker’s Surname: Efficient Generation of Low Discrepancy Sequences Emanouil Atanassov joint work with Michael Mascagni 5 On the Power of Various Real-Valued Quantum Queries Arvid Bessen 5 Comparison of Three Algorithms for Finding All Vertices of a Polyhedron Based on a Probabilistic Analysis Karl Heinz Borgwardt 5 Convergence Rate for an Optimization Algorithm Unde...

In spite of multiple problems, continuous ambulatory peritoneal dialysis is now an acceptable alternative treatment for end-stage renal failure. With proper care and attention to detail, many of its problems can be reduced or eliminated. It is particularly suitable for the very old, the very young and the patient living a long distance from the centre, and it is the treatment of choice for diab...