The linearized approximation to the semiclassical initial value representation (LSC-IVR) has been used together with the thermal Gaussian approximation (TGA) (TGA/LSC-IVR) [J. Liu and W. H. Miller, J. Chem. Phys. 125, 224104 (2006)] to simulate quantum dynamical effects in realistic models of two condensed phase systems. This represents the first study of dynamical properties of the Ne(13) Lenn...

We propose an approach to automatic verification of realtime systems against scenario-based requirements. A real-time system is modeled as a network of Timed Automata (TA), and a scenario-based requirement is specified as a Live Sequence Chart (LSC). We define a trace-based semantics for a kernel subset of the LSC language. By equivalently translating an LSC chart into an observer TA and then n...

Based on a detailed experimental investigation in an aspect-ratio-4 rectangular cell in the range 3.7 x 10(7)<or=Ra<or=3.7 x 10(9), we present evidence of possible scenarios of the long-term dynamics of large-scale circulations (LSC) in bounded large-aspect-ratio turbulent Rayleigh-Bénard convection. Karhunen-Loève analysis of instantaneous velocity fields from long-time particle image velocime...

La0.8Sr0.2CoO3 was coated on NiO (LSC–NiO) cathodes using a sol–gel method. Dissolution studies in molten Li2CO3 and K2CO3 (62:38 mol%) at 650 8C showed lower Ni dissolution than that of the conventional nickel oxide cathode. Impedance analysis showed that the behavior of the developed cathode is similar to that of nickel oxide. The LSC coated Ni cathode has an over potential of 109 mVat an app...

Change detection scheme based on guided contrasting was previously proposed. Guided contrasting filter takes two images (test and sample) as input and forms the output as filtered version of test image. Such filter preserves the similar details and smooths the nonsimilar details of test image with respect to sample image. Due to this the difference between test image and its filtered version (d...

Limbal stem cells (LSC) account for homeostasis and regeneration of corneal epithelium. Solar ultraviolet A (UVA) is the major source causing oxidative damage in the ocular surface. Autophagy, a lysosomal degradation mechanism, is essential for physiologic function and stress defense of stem cells. PAX6, a master transcription factor governing corneal homeostasis by regulating cell cycle and ce...

Seams are very important for the quality of woolen garments. garment must be durable and smooth. Seam performance is an factor determining durability a garment. The tensile characteristics seamed fabric changes with change bias angle, stitch seam types. In this study, three wool fabrics different properties were chosen. Fabrics have been cut in angles 0°, 30°, 45°, 60° 90° then sewn six types (...

The surface composition of dense La0.6Sr0.4CoO3 d (LSC) thin film model electrodes, deposited by pulsed laser deposition at 600 C on yttria-stabilized zirconia (100) electrolytes, was investigated by low-energy ion scattering (LEIS) and time resolved inductively coupled plasma mass spectrometry (ICP-MS). Results obtained by both methods agree qualitatively and quantitatively and provide a compr...

To employ new solar photovoltaic technologies in products and buildings, many systems need to be adapted. Inspired by the cylindrical shape, in this work we have evaluated the performance of luminescent solar concentrator photovoltaic (LSC-PV) elements with narrow PV cell strips that could be integrated in an outdoor lighting pole. Silicon photovoltaic (PV) cells were attached to the back of bo...

Live Sequence Charts (LSCs) is a visual requirements language for specifying reactive system behavior. When modeling and designing open reactive systems, it is often essential to have a guarantee that the requirements can be satisfied under all possible circumstances. We apply results in the area of controller synthesis to a subset of the LSC language to decide the realizability of LSC requirem...