Visual insights into high-resolution earthquake Simulations.

This study focuses on the visualization of a series of large earthquake simulations collectively called TeraShake. The simulation series aims to assess the impact of San Andreas Fault earthquake scenarios in Southern California. We discuss the role of visualization in gaining scientific insight and aiding unexpected discoveries.     

Trouble at the Telco: When GSM Goes Bad

GSM is a series of standards defining various aspects of mobile voice and data communications. These standards provide a framework that looks set to underlie modern mobile business communications well into the 21st century.     

Fourth International Conference on Durability of Building Materials and Components

RILEM Bulletin

Fourth International Conference on Durability of Building Materials and Components     

A model for studying LCAT reaction: In vitro cholesterol esterification in pig ovarian follicular fluid

Phosphatidylcholine acyltransferase (lecithin:cholesterol acyltransferase or LCAT; EC 2.3.1.43) activity was found to be present in pig ovarian follicular fluid (POFF), in addition to pig serum (PS). The cholesterol esterification rate in both POFF and PS is linear with incubation time up to 2 hr. The mean absolute rate of POFF-cholesterol esterification was 8.1±0.4 nmoles per ml per hr approximately one-fourth of that in PS. However, the fractional rate (percent of labeled cholesterol esterified per hr) of POFF-cholesterol esterification was similar to that observed in PS. There was little variation of absolute rate of cholesterol esterification in the fluid obtained from different sizes of follicles. Fatty acid or triacylglycerol did not participate in the reaction of cholesterol esterification in POFF. No appreciable change in enzymatic activity was found from storing POFF at 4 C for periods of time up to 24 hr or at −70 C up to 2 months, but activity was lost thereafter. On the other hand, PS showed a much longer period of stability (5 days at 4 C and 9 months at −70 C). A discrepancy between the fatty acid composition of cholesteryl esters formed by the LCAT reaction and the fatty acid composition at the C-2 position of phosphatidylcholine led us to propose a two-step mechanism for the LCAT reaction. It is concluded that the LCAT of POFF, as well as that of plasma, is specific for individual fatty acids rather than for the fatty acid composition of phosphatidylcholine. The fatty acid concentration of lysophosphatidylcholine decreased during prolonged incubation times (6 to 21 hr) suggesting that the increased lysophosphatidylcholine formed as a product of the LCAT reaction may be reused as substrate for the LCAT reaction or for hydrolysis by lysophosphatidylcholine hydrolase. Presented at the AOCS Meeting, New York, May 1977.     

Predicting change for individual psychotherapy clients on the basis of their nearest neighbors.

This study extended client-focused research by using the nearest neighbor (NN) approach, a client-specific sampling and prediction strategy derived from research on alpine avalanches. Psychotherapy clients (N = 203) seen in routine practice settings in the United Kingdom completed a battery of intake measures and then completed symptom intensity ratings before each session. Forecasts of each client's rate of change and session-by-session variability were computed on the basis of that client's NNs (n = 10-50 in different comparisons). Alternative forecasts used linear or log-linear slopes and were compared with an alternative prediction strategy. Results showed that the NN approach was superior to the alternative model in predicting rate of change, though the advantage was less clear for predicting variability. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Violet

Violet is an easy-to-use theorem prover based on locking resolution, with integrated equality extensions that use term rewriting and Knuth–Bendix completion. Violet participated in the CADE-13 ATP System Competition.     

Placebo Psychotherapies and Nonconscious Learning in the Placebo Effect: Reply to Kirsch (2004).

In this reply, the authors explore several issues raised by I. Kirsch (2004; see record 2004-11156-008) concerning their original article (S. Stewart-Williams & J. Podd, 2004; see record 2004-11156-007), which dealt with the roles of expectancy and classical conditioning in the placebo effect. The only notable disagreement concerns a definitional issue, namely, Stewart-Williams and Podd's claim that the placebo concept can be extended to inert psychotherapies. The authors defend this claim against the criticisms Kirsch raised. In addition, they comment on the suggestion that nonconscious learning processes play only a small role in human placebo effects, arguing that there are theoretical reasons to expect these processes to be more important than has previously been recognized. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Formal methods for verification and validation of partial specifications: A case study

This paper describes our work exploring the suitability of formal specification methods for independent verification and validation (IV&V) of software specifications for large, safety-critical systems. An IV&V contractor often has to perform rapid analysis on incomplete specifications, with no control over how those specifications are represented. Lightweight formal methods show significant promise in this context, as they offer a way of uncovering major errors without the burden of full proofs of correctness. We describe a case study of the use of partial formal models for IV&V of the requirements for Fault Detection Isolation and Recovery on the space station. We conclude that the insights gained from formalizing a specification are valuable, and it is the process of formalization, rather than the end product, that is important. It was only necessary to build enough of the formal model to test the properties in which we were interested. Maintenance of fidelity between multiple representations of the same requirements (as they evolve) is still a problem, and deserves further study.     

Investigation of HgCdTe p-n device structures grown by liquid-phase epitaxy

The microstructure of p-n device structures grown by liquid-phase epitaxy (LPE) on CdZnTe substrates has been evaluated using transmission electron microscopy (TEM). The devices consisted of thick (∼21-μm) n-type layers and thin (∼1.6-μm) p-type layers, with final CdTe (∼0.5 μm) passivation layers. Initial observations revealed small defects, both within the n-type layer (doped with 8×10¹⁴/cm³ of In) and also within the p-type layer but at a much reduced level. These defects were not visible, however, in cross-sectional samples prepared by ion milling with the sample held at liquid nitrogen temperature. Only isolated growth defects were observed in samples having low indium doping levels (2×10¹⁴/cm³). The CdTe passivation layers were generally columnar and polycrystalline, and interfaces with the p-type HgCdTe layers were uneven. No obvious structural changes were apparent in the region of the CdTe/HgCdTe interfaces as a result of annealing at 250°C.