community consists of almost 600 people coming from over 100 organisations. The activities of the 3D Pilot cover two phases: an explorative phase, carried out between January 2010 and June 2011 and an implementation-oriented phase, finished at the end of 2012. The major achievement of the first phase was the establishment of a national 3D standard. This standard is embedded in a formal informat...

In today’s businesses we can see the trend that service-oriented architectures (SOA) represent the main paradigm for IT infrastructures. In this setting, software offers its functionality as an electronic service to other software in a network. In order to realise more complex tasks or business processes that are comprised of individual services, compositions of these are formed. Thus, several ...

Web search engines are becoming everyday commodity but still they are mainly oriented towards English. Other languages, with their different word structures, are not represented well with available web search engines. We present one solution for a morphologically sensitive search engine which enables the Croatian-speaking users to use query words more naturally and get the results that cover al...

Modal idempotent semirings cover a large set of different applications. The paper presents a small collection of these, ranging from algebraic logics for program correctness over bisimulation refinement, formal concept analysis, database preferences to feature oriented software development. We provide new results and/or views on these domains; the modal semiring setting allows a concise and uni...

We present experimental data on charge transfer from coherent elliptic states of Rydberg atoms, which are oriented relative to the impact velocity vector of monoenergetic, singly charged ions. The data cover a broad range of scaled velocities around unity, selected angles of approach over the whole sphere, all eccentricities from zero to one and principal quantum numbers ranging from n = 20 to ...

This document defines the taxonomy of dialog acts that are necessary to encode domain-independent dialog moves in the context of a task-oriented, open-domain dialog. Such taxonomy is formulated to satisfy two complementary requirements: on the one hand, domain independence, i.e. the power to cover all the range of possible interactions in any type of conversation (particularly conversation orie...

We prove that an irreducible 3-manifold whose fundamental group satisfies a certain group-theoretic property called RFRS is virtually fibered. As a corollary, we show that 3-dimensional reflection orbifolds and arithmetic hyperbolic orbifolds defined by a quadratic form virtually fiber. These include the Seifert Weber dodecahedral space and the Bianchi groups. Moreover, we show that a taut sutu...

This pattern language describes the building blocks of typical distributed object frameworks, such as Java RMI, CORBA, .NET Remoting, web object systems, or web services. The patterns cover the basic infrastructure of such distributed object frameworks in a rather abstract manner, as it can be observed by developers using a distributed object systems for object-oriented remoting. The patterns p...

Dynamic query processing in a parallel object-oriented database system / Carel Arie van den Berg.-Amsterdam : Stichting Mathematisch Centrum.-Ill. Thesis Enschede.-With index, ref.-With summary in Dutch. ISBN: 90-6196-434-2 NUGI 852 Subject headings: parallel database systems. Cover: (Man carrying a load up the mountain to nd new horizons) PROEFSCHRIFT ter verkrijging van de graad van doctor aa...

Inheritance is the main principle in object-oriented design methods to support structuring and reuse of object behaviour descriptions. Most proposals restrict the (formal) use of inheritance to method interfaces and method eeect speciications. We propose to extend the inheritance relation to cover whole object life cycles, i.e. to long term object behaviour. After sketching the basic idea of in...