Modern software-intensive systems often consist of multiple components that interact to fulfill complex functions in sometimes safetycritical situations. During the design, it is crucial to specify the system’s requirements formally and to detect inconsistencies as early as possible in order to avoid flaws in the product or costly iterations during its development. We propose to use Modal Seque...

To manage the complicated data such as recursive elements, multiply namespaces, repeatable structures, extended elements and attributes in the XML Binding documents of distance education technology specifications, and solve the existing P_Schema (Physical XML Schema) cannot map for above complicated data, this paper proposes a new mapping model namely C_Schema (Complex XML Schema) which inherit...

This paper describes the KarmetiK NotomotoN, a new musical robotic system for performance and education. A long time goal of the authors has been to provide users with plug-andplay, highly expressive musical robot system with a high degree of portability. This paper describes the technical details of the NotomotoN, and discusses its use in performance and educational scenarios. Detailed tests p...

Wind energy is a rapidly growing form of renewable energy in the United States. While summary information on the total amounts of installed capacity are available by state, a free, centralized, national, turbine-level, geospatial dataset useful for scientific research, land and resource management, and other uses did not exist. Available in multiple formats and in a web application, these publi...

Probabilistic safety assessment (PSA) is the most effective and efficient tool for safety and risk management in nuclear power plants (NPP). PSA studies not only evaluate risk/safety of systems but also their results are very useful in safe, economical and effective design and operation of NPPs. The latter application is popularly known as ‘‘Risk-Informed Decision Making’’. Evaluation of techni...

OBJECTIVES The aim of this paper is to describe the development and technical specifications of a framework and national key performance indicators (KPIs) for Australian mental health Court Liaison Services (CLSs) by the National Mental Health Court Liaison Performance Working Group (Working Group). METHODS Representatives from each Australian State and Territory were invited to form a Workin...

gas sensitive metal oxide layers used in fabrication of resistive gas sensors are prepared by different deposition techniques. the technical data reported on some basic and practically important specifications of these devices, although fabricated based on the same gas sensitive oxide, are anomalously different. the influence of the fabrication technique used for the deposition of the gas sensi...