The number type leda real provides exact computation for a subset of real algebraic numbers: Every integer is a leda real, and leda reals are closed under the basic arithmetic operations +,−, ∗, / and k-th root operations. leda reals guarantee correct results in all comparison operations. The number type is available as part of the leda C++ software library of efficient data types and algorithm...

We describe the architecture and performance of autonomous agents that play the complex, multi-faceted internet game called Netrek. To perform competently within Netrek, an agent must be capable of 1) reacting in real-time to arcade-like tasks and environment changes within the local surroundings, 2) reasoning about strategy and long-term tasks at a slower pace and on a global scale, and 3) coo...

In this paper we present a new redshift survey undertaken to address the rather interesting question that arises when all the currently available redshift information from the LEDA database is plotted in`hypergalactic' coordinates. A signiicant empty region was found between the southern Pavo-Indus (PI) wall and the northern Perseus-Pisces (PP) chain. This survey tests the reality of this void ...

Co-editors Valia Mitsou (LIRIS, CNRS Univ Lyon 1) [email protected] and Frances Rosamond (Univ Bergen) [email protected]. Congratulations to all for awards and prizes, graduates, new jobs, and wonderful research. Michael Wehar o ers a new look at ne-grained FPT. IPEC Excellent Paper winner Marcin Wrochna and NWO award winner Johan Kwisthout contribute articles. Australia's Chris Walla...

1.1 Abstract Terminological knowledge representation formalisms in the tradition of kl-one enable one to deene the relevant concepts of a problem domain and their interaction in a structured and well-formed way. In recent years, a wealth of literature has appeared on this topic, e.g. Baj93]. Sound and complete inference algorithms for terminological logics have been developed using constraint c...

Fairly dividing goods among several (possibly strategic) parties is a common problem both in economics and computer science. For instance, a government may wish to divide tracts of land to various organizations or a cloud computing environment may wish to divide computing time among several users. Often, such situations are dealt with via the use of monetary transfers — such as in auctioning of...

It is a well known fact that minera l plays an important role in the nutrition of animal and plant. The t race elements, which are a part of the mineral and exi st in a very small amount in the living bodies, include not only essential elements but also harmfu l and useless elements. In the researches up until now, physiological significance or essentiality for living body of such elements as c...

This paper presents an experimental study of efficient algorithms for the minimum cost flow problem. It is more comprehensive than earlier surveys both in terms of the range of considered implementations and the size of the test instances. In the cost scaling algorithm, Goldberg’s partial augmentrelabel method was also applied, which is a novel result. The studied algorithms were implemented as...

Fair allocation of goods or resources among various agents is a central task in multiagent systems and other fields. The specific setting where just one divisible resource is to be divided fairly is commonly referred to as cake cutting, and agents are called players in this setting. Cake-cutting protocols aim at dividing a cake and assigning the resulting portions to several players in a way th...

In this paper, we propose an efficient encoding and labeling scheme for XML, called EXEL, which is a variant of the region labeling scheme using ordinal and insertfriendly bit strings. We devise a binary encoding method to generate the ordinal bit strings, and an algorithm to make a new bit string inserted between bit strings without any influences on the order of preexisting bit strings. These...