Coupling virtual environments (e.g. game engines like Source Engine or Unreal Engine 3) with agent reasoning systems (ARS) is often used in the multi-agent systems (MAS) research field. However, externally connecting ARS or MAS to environments almost always requires individual approach for every coupling. Therefore, we recognize the need for a common method of access, without the need to implem...

Customs and quarantine departments are applying information systems to automate their inspection processes and improve their inspection efficiency and accuracy. The product codes from the Harmonized System (HS codes) are the essential elements of the system’s integration, automation and intelligence. The identified HS codes are well-accepted and precise product references used by customs author...

IDD-MC is a symbolic analysis tool for bounded Stochastic Petri nets. The restriction regarding the boundedness can be circumvented by a simulative approach. Besides that, the simulation is going to be capable of handling extended Stochastic Petri nets. In this paper we report on the integration of a multi-scaling stochastic simulation engine into IDD-MC. We present some experimental results wh...

Within the ECHO (European Cultural Heritage Online) project an integrated domain of metadata repositories was created covering data from 5 different humanities disciplines. The integration required intensive work on encoding, syntactical and especially the semantic level, since interoperability is still difficult to be achieved. An ontology was created and a search engine that makes use of the ...

MEMS are regarded to be an enabling technology allowing the development of smart products by augmenting the computational ability of microelectronics with the perception and control capabilities of micro-sensors and micro-actuators. MEMS technology makes possible the integration of microelectronics with active perception and control functions, thereby, greatly expanding the design and applicati...

Intelligent Automation Corporation (IAC) is developing for the Air Force a system to detect the onset of turbine engine augmentor instabilities known as “rumble” and “screech” for test cells. These combustion instabilities can be potentially harmful to the engine and are known to cause premature failures in gas turbine components. The approach developed by IAC involves using a unique combinatio...

A three-dimensional reacting flow modeling approach is presented for diesel engine studies that can be used for predictions of trends in soot emissions for a wide range of operating conditions. The modeling framework employs skeletal chemistry for n-heptane for ignition and combustion, and links acetylene chemistry to the soot nucleation process. The soot model is based on integration and modif...

This paper presents novel extensions and applications of the UPPAAL-SMC model checker. The extensions allow for statistical model checking of stochastic hybrid systems. We show how our race-based stochastic semantics extends to networks of hybrid systems, and indicate the integration technique applied for implementing this semantics in the UPPAAL-SMC simulation engine. We report on two applicat...

UNLABELLED Taverna is an application that eases the integration of tools and databases for life science research by the construction of workflows. The Taverna Interaction Service extends the functionality of Taverna by defining human interaction within a workflow and acting as a mediation layer between the automated workflow engine and one or more users. AVAILABILITY Taverna, the Interaction ...

This paper describes the design and implementation of SweetProlog, a system for translating Web rules into Prolog. It enables the integration of ontologies and rules on the Semantic Web. This is achieved via a translation of OWL ontologies described in Description Logics and rules expressed in OWLRuleML into a set of facts and rules described in Prolog. Finally, the resulting logic program is i...