In this paper, we discuss the most important changes and new features introduced with version 2.0 of our SMT solver Boolector, which placed first in the QF BV and QF ABV tracks of the SMT competition 2014. We further outline some features and techniques that were not yet described in the context of Boolector.

protect videos and either restrict access or pay royalties, we will not be able to digitize and put material on-line. We believe the best approach to this problem is to encrypt the videos and provide access keys that allow a user to decrypt the video when it is played. The system can manage this mechanism, but it does require hardware support for decryp-tion which most vendors of PC boards for ...

We have built a virtual data integration system which extends the BIRN Mediator[1] to include OWL 2 ontologies where these ontologies are used as domain schema. This mediator integrates data from multiple, heterogeneous sources. This data integration system rewrites conjunctive queries using LAV views defined over a DL-Lite ontology. This is an important problem in query optimization, data inte...

This paper describes a NLG system, developed by students at Heidelberg University, that generates instructions that direct users through virtual environments. The NLG architecture is implemented as a modular pipeline consisting of elementary components. The system has been developed for participation in the 2nd installment of the Generation Instructions in Virtual Environment (GIVE) challenge.

Standards for broadband wireless multimedia communications in the 5 GHz band have being developed in Europe as well as in the US and Japan. HiperLAN/2 is a radio based local area networking solution that is intended for connecting mobile users with the backbone network wirelessly. HiperLAN/2 is being developed by ETSI (European Telecommunications Standards Institute). This paper will present Hi...

Oulu 99 RoboCup simulation team is a simple, rule-based client which aims to play as effective soccer as possible without requiring the use of complex artificial intelligence. The tactical decision making of the client is based on simple rules which are determined by the player’s position on the field and the locations of the other players and the ball. By adding a weighted random noise factor ...