A portable metalorganic gas delivery system designed and constructed to interface with an existing molecular beam epitaxy chamber at beamline 33-ID-E of the Advanced Photon Source is described. This system offers the ability to perform in situ X-ray measurements of complex oxide growth via hybrid molecular beam epitaxy. The performance of the hybrid molecular beam epitaxy system while deliverin...

This paper applies and reenes the ProCoS approach to trans-formational design of real-time systems to a benchmark case study, the Karlsruhe production cell 10, 9]. We start by formalizing the informal requirements of 10, 9] in Duration Calculus and end with a distributed controller architecture where all components are speciied in the program speciication language SL time 18]. Novel is the full...

Fuzzing and symbolic execution are popular techniques for finding vulnerabilities and generating test-cases for programs. Fuzzing, a blackbox method that mutates seed input values, is generally incapable of generating diverse inputs that exercise all paths in the program. Due to the path-explosion problem and dependence on SMT solvers, symbolic execution may also not achieve high path coverage....

Multimedia Forensics allows to determine whether videos or images have been captured with the same device, and thus, eventually, by the same person. Currently, the most promising technology to achieve this task, exploits the unique traces left by the camera sensor into the visual content. Anyway, image and video source identification are still treated separately from one another. This approach ...

DISCLAIMER This work has been partly funded by the EU in the context of GN3plus project (http://www.geant.net/), but it does not necessarily represent the official position of the project itself and of its partners. Authors are solely responsible for the views, results and conclusions contained in this work. COPYRIGHT "Copyright and all rights therein are retained by authors. This work may not ...

In this demonstration, we present a multi-source hybrid Question Answering (QA) system. Our system consists of four sub-systems. 1) a knowledge base based QA, 2) an information retrieval based QA, 3) a keyword QA and 4) an information-extraction to construct our own knowledge base from web texts. With these sub-systems, we can query three types of information sources: curated knowledge bases, a...

This paper presents the simulation technique for simulating a micro grid (MG) and the analysis results of the operating characteristics of a MG with a hybrid power source. The hybrid power source in this research included both a diesel engine generation set and a wind generation system. The simulation tool adopted by this research is the professional software, Simulink. The simulation results a...