This invited paper presents a number of correlated specifications of example railway system problems. They use a variety of partially or fully integrated formal specification. The paper thus represents a mere reposito...
详细信息
In this paper, a 3D tri-gate SOI FET with a wrap around gate geometry is studied using a full-band particle-based simulation tool as stated in M. Saraniti et al. (1999) Tri-gate FETs show superior scalability over pla...
详细信息
In this paper, a 3D tri-gate SOI FET with a wrap around gate geometry is studied using a full-band particle-based simulation tool as stated in M. Saraniti et al. (1999) Tri-gate FETs show superior scalability over planar device structures, including a reduction of short channel effects based on F. Yang et al. (2002). The 3D gate structure of the tri-gate FET not only plays a role in reducing DIBL by shielding the electric field lines from the drain, but also improves gate-channel controllability.
Background: Health care is entering the Information Society. It is evident that the use of modern information and communication technology offers tremendous opportunities to improve health care. However, there are als...
详细信息
Background: Health care is entering the Information Society. It is evident that the use of modern information and communication technology offers tremendous opportunities to improve health care. However, there are also hazards associated with information technology in health care. Evaluation is a means to assess the quality, value, effects and impacts of information technology and applications in the health care environment, to improve health information applications and to enable the emergence of an evidence-based health informatics profession and practice. Objective: In order to identify and address the frequent problems of getting evaluation understood and recognised, to promote transdisciplinary exchange within evaluation research, and to promote European cooperation, the Exploratory Workshop on "New Approaches to the Systematic Evaluation of Health Information Systems" (HIS-EVAL) was organized by the University for Health Sciences, Medical informatics and technology (UMIT), Innsbruck, Austria, in April 2003 with sponsorship from the European Science Foundation (ESF). Methods: The overall program was structured in three main parts: (a) discussion of problems and barriers to evaluation;(b) defining our visions and strategies with regard to evaluation of health information systems;and (c) organizing short-term and long-term activities to reach those visions and strategies. Results: The workshop participants agreed on the Declaration of Innsbruck (see Appendix B), comprising four observations and 12 recommendations with regard to evaluation of health information systems. Future activities comprise European networking as well as the development of guidelines and standards for evaluation studies. Conclusion: The HIS-EVAL workshop was intended to be the starting point for setting up a network of European scientists working on evaluation of health information systems, to obtain synergy effects by combining the research traditions from different evaluation fields, leadi
A balancing problem for transfer lines with parallel spindles is investigated. All spindle heads of the same workstation are activated simultaneously. The relations of the necessity of executing some operations at the...
详细信息
A balancing problem for transfer lines with parallel spindles is investigated. All spindle heads of the same workstation are activated simultaneously. The relations of the necessity of executing some operations at the same workstation, the possibility of combining the spindles at the same workstation as well as precedence constraints are given. The problem is to choose spindle heads from a given set and allocate them to workstations in such a way that i) all the operations are performed, ii) all constraints are satisfied, iii) the cycle time is provided, and iv) the line cost is minimal. The proposed method for solving the problem is based on its formulation as a mixed integer problem (MIP).
The tensile properties of tetra-functional multigraft copolymers have been shown to have surprising high strain at break (∼2100%), about double that of commercial thermoplastic elastomers such as Kraton! Currently, m...
详细信息
The tensile properties of tetra-functional multigraft copolymers have been shown to have surprising high strain at break (∼2100%), about double that of commercial thermoplastic elastomers such as Kraton! Currently, multigraft copolymers can be synthesized with a variety of branches (single, bi, tri-, tetra, and with different lengths) at each branch point and there can be a large number of branch points per molecule that are regularly, randomly, or heterogeneously spaced, each of which can have effects on mechanical properties. Unfortunately experimental synthesis and characterization of these novel polymer systems is quite time consuming. This is where molecular modeling and simulation can be critical for mapping out the fundamental mechanisms responsible for the observed behavior and to optimize/focus the experimental efforts. In this article we report details of our experimental synthetic and characterization effort along with some preliminary results from molecular dynamics, molecular mechanics, Monte Carlo, and normal mode analysis on tri- and tetra-functional, multibranch graft copolymers consisting of a polyisoprene backbone and polystyrene branches.
作者:
Iida, FumiyaPfeifer, RolfSteels, LucKuniyoshi, YasuoUniversity of Zurich
Artificial Intelligence Laboratory Department of Informatics Andreasstr. 15 Zurich Switzerland Vrije Universiteit Brussel
Artificial Intelligence Laboratory and Sony Computer Science Laboratory Department of Informatics Pleinlaan 2 Brussels Belgium University of Tokyo
School of Information Science and Technology Dept. of Mechano-Informatics Laboratory for Intelligent Systems and Informatics Engineering Bldg. 8 7-3-1 Hongo Bunkyo-kuTokyo Japan
The wide expansion and increasing demand for Networked Virtual Environments resulted in efforts for the optimization of these environments with the enhancement of advanced features, which offered extended functionalit...
详细信息
Hypermedia systems and more specifically open hypermedia systems (OHS) provide a rich set of implementations of different hypertext flavors such as navigational hypertext, spatial hypertext or taxonomic hypertext. Add...
详细信息
ISBN:
(纸本)1581136803
Hypermedia systems and more specifically open hypermedia systems (OHS) provide a rich set of implementations of different hypertext flavors such as navigational hypertext, spatial hypertext or taxonomic hypertext. Additionally, these systems offer component-based modular architectures and address interoperability between hypertext domains. Despite multiple efforts of integrating Web clients, a widespread adoption of OHS technology by Web developers has not taken place. In this paper it is argued that Web Services - which offer a component model for Web applications - can be integrated in OHSs. An architectural integration is proposed, a step-by-step process is outlined and an example of integration is provided. This very approach is aimed to benefit both worlds: the Web community with new rich hypermedia functionality that extends the current navigational hypermedia, and the OHS community by opening its tools and platforms to the many developer groups of the Web community.
The advent of XML framework has brought into focus the notion of semantic tagging of Web documents. At present, many of the web pages are in the HTML format, and the next generation of the Web is likely to be dominate...
详细信息
ISBN:
(纸本)1932415076
The advent of XML framework has brought into focus the notion of semantic tagging of Web documents. At present, many of the web pages are in the HTML format, and the next generation of the Web is likely to be dominated by XML. In this context, a mechanism to automatically detect and tag domain-specific concepts in a classified set of documents will reduce the manual effort needed to tag the free text documents. In this paper, we describe a mechanism to accomplish this using a phrase grammar-based approach. The referral link-based ranking method of web pages is critically examined. The proposed method is projected as a semantic alternative to this ranking scheme.
The design of tapered roller bearings has a fundamental influence on the performance, life and reliability of the bearings. Consequently, this also affects the operating quality and the economization of machines on wh...
详细信息
ISBN:
(纸本)1932415122
The design of tapered roller bearings has a fundamental influence on the performance, life and reliability of the bearings. Consequently, this also affects the operating quality and the economization of machines on which the bearings are used. The responsibility of bearing designers is to select an optimal scheme from all the possible alternative designs, or simply put to make the best choice. A basic requirement for conventional rolling bearings is the maximum dynamic capacity. In this paper we used Genetic Algorithm to search a design for tapered roller bearing, which has maximum dynamic capacity, and the design satisfies all the boundary conditions. The algorithm proceeds with basic objective of increase in dynamic capacity value. At the same time all the constraints are also satisfied.
暂无评论