نتایج جستجو برای: tiran 5500
تعداد نتایج: 1188 فیلتر نتایج به سال:
We have realized the first demonstration of “relativistic” quantum cryptography, using both faint laser pulses and entangled photons. By incorporating an optical delay cavity, Bob is able to measure every photon from Alice in the correct basis, leading to enhanced key rates, as well as some security advantages. We have also implemented our proposal for a high-speed quantum random number generat...
Rapid characterization of biological specimens is increasingly important in research and clinical applications. While current optical and chemical detection techniques can effectively analyze biological systems, a number of disadvantages restrict their versatility. As examples: most samples require advanced processing such as PCR amplification or chemical treatment, and photobleaching often lim...
This paper discusses the lessons learned in the modeling of a software fault tolerance solution built by a consortium of universities and industrial companies for an Esprit project called TIRAN. The requirements of high flexibility and modularity for the software have lead to a modeling approach strongly based on compositionality. Since the interest was for assessing both correctness and perfor...
Aim of this paper is, first, introducing and discussing a few considerations on some key requirements of mobile computing services. In particular, the relevance of both dependability and adaptability to an effective distribution of the service is investigated. Secondly, the paper proposes a novel structuring technique for the application layer of mobile software, as an example of an existing to...
This paper presents a case study of a software fault tolerance mechanisms, the distributed memory, designed and implemented within the european projects TIRAN and DEPAUDE, and currently under study within the Italian project ISIDE. The studied mechanisms are part of a complete framework of general purpose software fault tolerance mechanisms. In this paper we show a method for the compositional ...
We determine the effects of a delayed or immediate tax cut with or without a “sunset” feature in a real customer-market, nonRicardian economy. Our model incorporates both the supply-sider channel as well as the Feldstein-Rubin-Summers channel. We show that a tax cut may depress both the real asset price and employment. The presence of the paradoxical result of employment contraction does not wo...
PURPOSE To compare the static and dynamic accommodative responses measured with the WAM-5500 and the PowerRef-II autorefractors. METHODS The dynamic and static monocular accommodative responses were measured with the WAM-5500 and the PowerRef-II instruments in 30 pre-presbyopic patients (23.66 [±3.19] years). The spherical equivalent was measured at 0.00, 2.50, and 5.00 diopters (D) of accomm...
, 2319 (2000); 290 Science et al. Joshua B. Tenenbaum Reduction A Global Geometric Framework for Nonlinear Dimensionality This copy is for your personal, non-commercial use only. clicking here. colleagues, clients, or customers by , you can order high-quality copies for your If you wish to distribute this article to others here. following the guidelines can be obtained by Permission to republi...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید