Effects of physical growth conditions on the structural and optical properties of sputtered grown thin HfO2 films

HfO₂ thin films were prepared by reactive DC magnetron sputtering technique on (100) p-Si substrate. The effects of O₂/Ar ratio, substrate temperature, sputtering power on the structural properties of HfO₂ grown films were studied by Spectroscopic Ellipsometer (SE), X-ray diffraction (XRD), Fourier transform infrared (FTIR) spectrum, and X-ray photoelectron spectroscopy (XPS) depth profiling techniques. The results show that the formation of a SiO_x suboxide layer at the HfO₂/Si interface is unavoidable. The HfO₂ thickness and suboxide formation are highly affected by the growth parameters such as sputtering power, O₂/Ar gas ratio during sputtering, and substrate temperature. XRD spectra show that the deposited films have (111) monoclinic phase of HfO₂, which is also supported by FTIR spectra. XPS depth profiling spectra shows that highly reactive sputtered Hf atoms consume some of the oxygen atoms from the underlying SiO₂ to form HfO₂, leaving Si-Si bonds behind.     

Analysis of transient electromagnetic scattering from closedsurfaces using a combined field integral equation

In the past, both the time-domain electric and magnetic field integral equations have been applied to the analysis of transient scattering from closed structures. Unfortunately, the solutions to both these equations are often corrupted by the presence of spurious interior cavity modes. In this article, a time-domain combined field integral equation is derived and shown to offer solutions devoid of any resonant components. It is anticipated that stable marching-on-in-time schemes for solving this combined field integral equation supplemented by fast transient evaluation schemes such as the plane wave time-domain algorithm will enable the analysis of scattering from electrically large closed bodies capable of supporting resonant modes     

Development of ZTO/Ag/ZTO transparent electrodes for thin film solar cells

Journal of Materials Science: Materials in Electronics - This article presents the optimization of Zinc Tin Oxide/Silver/Zinc Tin Oxide (ZTO/Ag/ZTO) multilayers to implement them in thin film solar...     

Spatio-temporal querying recurrent multimedia databases using a semantic sequence state graph

We present an indexing method for spatiotemporal data: semantic sequence state graph (S³G). S³G maintains objects with their locations as states and events as transitions. The spatial information is maintained in states while the semantic events result in temporal ordering between the states. If the objects visit the same locations repeatedly, we call such databases as recurrent databases. Our querying interface supports queries based on spatio-temporal logic that includes operators such as ??next?? and ??eventually??. The interactive querying interface enables the user to build the query interactively and see the intermediate results of the query.     

Multifocal varicella-zoster virus leukoencephalitis in a patient with AIDS: MR findings

We describe a patient with AIDS who presented with an acute encephalitis caused by infection with varicella-zoster virus. The hemorrhagic, necrotizing encephalitis had an unusual MR appearance, with innumerable discrete, small, targetlike lesions in the right cerebral hemisphere, which were coalescent in the posterior temporal, parietal, and occipital regions. Of the several known disease patterns of varicella-zoster viral infection in the CNS, this histopathologic pattern of multifocal leukoencephalitis is rare. It is important to recognize, as effective antiviral drug treatments are available.     

SynchRuler: a rule-based flexible synchronization model with model checking

Flexible synchronization models cannot provide a proper way of managing user interactions that change the course of a presentation. In this paper, we present a flexible synchronization model, termed SynchRuler, which allows such user interactions including backward and skip. The synchronization rules, which are based on event-condition-action (ECA) rules, are maintained to handle relationships among streams in SynchRuler. The synchronization rules are manipulated by the receiver-controller-actor (RCA) scheme, where receivers, controllers, and actors are objects to receive events, to check conditions, and to execute actions, respectively. The verification of a multimedia presentation specification is performed with the synchronization model. The correctness of the model and the presentation is controlled with a technique called model checking. Model checker PROMELA/SPIN tool is used for automatic verification of the correctness of LTL (linear temporal logic) formulas.     

The effect of uncontrolled concurrency on model checking

Correctness of concurrent software is usually checked by techniques such as peer code reviews or code walkthroughs and testing. These techniques, however, are subject to human error, and thus do not achieve an in‐depth verification of correctness. Model‐checking techniques, which can systematically identify and verify every state that a system can enter, are a powerful alternative method for verifying concurrent systems. However, the usefulness of model checking is limited because the number of states for concurrent models grows exponentially with the number of processes in the system. This is often referred to as the ‘state explosion problem.’ Some processes are a central part of the software operation and must be included in the model. However, we have found that some exponential complexity results due to uncontrolled concurrency introduced by the programmer rather than due to the intrinsic characteristics of the software being modeled. We have performed tests on multimedia synchronization to show the effect of abstraction as well as uncontrolled concurrency using the Promela/SPIN model checker. We begin with a sequential model not expected to have exponential complexity but that results in exponential complexity. In this paper, we provide alternative designs and explain how uncontrolled concurrency can be removed from the code. Copyright © 2007 John Wiley & Sons, Ltd.