The Viking surface sampler

A surface sampler subsystem for the Viking Lander has been designed, fabricated, cleaned, and successfully tested. Testing has included component level tests to qualification environment and subsystem level tests. This development hardware has also been integrated into a System Test Bed (STB) for the lander system. In addition to the normal dynamic and thermal environments the surface sampler hardware has been tested in an aircraft to simulate the effects of the reduced Martian gravity. Although problems have been encountered with the first-build and integration, the basic design appears to be sound and hardware qualification is scheduled for late 1973

Word-level Symbolic Trajectory Evaluation

Symbolic trajectory evaluation (STE) is a model checking technique that has been successfully used to verify industrial designs. Existing implementations of STE, however, reason at the level of bits, allowing signals to take values in {0, 1, X}. This limits the amount of abstraction that can be achieved, and presents inherent limitations to scaling. The main contribution of this paper is to show how much more abstract lattices can be derived automatically from RTL descriptions, and how a model checker for the general theory of STE instantiated with such abstract lattices can be implemented in practice. This gives us the first practical word-level STE engine, called STEWord. Experiments on a set of designs similar to those used in industry show that STEWord scales better than word-level BMC and also bit-level STE.Comment: 19 pages, 3 figures, 2 tables, full version of paper in International Conference on Computer-Aided Verification (CAV) 201

Panel design effects on response rates and response quality

To understand changes in individuals' opinions and attitudes it would be bestto collect data through panels. Such panels, however, often cause irritationamong respondents, resulting in low response rates and low response quality.We address whether this problem can be alleviated by designing a panel surveyin an alternative way. For this purpose, we perform two field studies wherewe measure the effects of several panel design characteristics on response ratesand response quality. These characteristics include the number of waves andthe time between subsequent waves, which may either be fixed or random.Our findings suggest that response rates and response quality can be im-proved significantly by surveying at random time intervals. It is then crucialthat panel members are not informed about the dates they will be surveyed,because in this case respondents are less likely to develop expectations as towhen they will be surveyed again. The methodology we put forward can be used to improve the e±ciency of a panel study by carefully calibrating thestudies' panel designs parameters.nonresponse;panel conditioning;randomized sampling;time sampling;panel design

Panel design effects on response rates and response quality

To understand changes in individuals' opinions and attitudes it would be best to collect data through panels. Such panels, however, often cause irritation among respondents, resulting in low response rates and low response quality. We address whether this problem can be alleviated by designing a panel survey in an alternative way. For this purpose, we perform two field studies where we measure the effects of several panel design characteristics on response rates and response quality. These characteristics include the number of waves and the time between subsequent waves, which may either be fixed or random. Our findings suggest that response rates and respons

Glotaran: A Java-Based Graphical User Interface for the R Package TIMP

In this work the software application called Glotaran is introduced as a Java-based graphical user interface to the R package TIMP, a problem solving environment for fitting superposition models to multi-dimensional data. TIMP uses a command-line user interface for the interaction with data, the specification of models and viewing of analysis results. Instead, Glotaran provides a graphical user interface which features interactive and dynamic data inspection, easier -- assisted by the user interface -- model specification and interactive viewing of results. The interactivity component is especially helpful when working with large, multi-dimensional datasets as often result from time-resolved spectroscopy measurements, allowing the user to easily pre-select and manipulate data before analysis and to quickly zoom in to regions of interest in the analysis results. Glotaran has been developed on top of the NetBeans rich client platform and communicates with R through the Java-to-R interface Rserve. The background and the functionality of the application are described here. In addition, the design, development and implementation process of Glotaran is documented in a generic way

Sensitive Detection and Early Prognostic Significance of p24 Antigen in Heat-Denatured Plasma of Human Immunodeficiency Virus Type 1-Infected Infants

Immune complex formation causes underdetection of p24 antigen in human immunodeficiencyvirus(HIV)infection.Brieflyboilingdilutedplasma releasesallcomplexedantigen, which can then be measured by some commercial assays. In a retrospective pediatric cohort study, the specificity of this procedure in 390 uninfected samples was 96.9% after initial testing and 100% after neutralization. Sensitivity among 125 postnatal infected samples was, at a detection of 2 pg/ml., 96.0% (97% neutralizable) compared with 47.7% for regular antigen (76% neutralizable), 96% for polymerase chain reaction, and 77% for viral culture. The high sensitivity and specificity of heat-denatured antigen was confirmed by prospectively testing 113 additional samples.Quantitativeanalysisofsamplesfrominfectedinfants showedlowlevelsofp24 antigen in 29% of cord blood sera, a postnatal increase to levels that were during the first 6 months of life inversely associated with survival, and persistence of antigenemia thereafter independent of clinical status. Prevalence and antigen levels were significantly lower in mothers. The persistent antigenemia in children indicates that their immune systems cannot restrict HIV expression as efficiently as those of adult

Nanopore Device for Reversible Ion and Molecule Sensing or Migration

Disclosed are methods and devices for detection of ion migration and binding, utilizing a nanopipette adapted for use in an electrochemical sensing circuit. The nanopipette may be functionalized on its interior bore with metal chelators for binding and sensing metal ions or other specific binding molecules such as boronic acid for binding and sensing glucose. Such a functionalized nanopipette is comprised in an electrical sensor that detects when the nanopipette selectively and reversibly binds ions or small molecules. Also disclosed is a nanoreactor, comprising a nanopipette, for controlling precipitation in aqueous solutions by voltage-directed ion migration, wherein ions may be directed out of the interior bore by a repulsing charge in the bore

A variational approach to the stochastic aspects of cellular signal transduction

Cellular signaling networks have evolved to cope with intrinsic fluctuations, coming from the small numbers of constituents, and the environmental noise. Stochastic chemical kinetics equations govern the way biochemical networks process noisy signals. The essential difficulty associated with the master equation approach to solving the stochastic chemical kinetics problem is the enormous number of ordinary differential equations involved. In this work, we show how to achieve tremendous reduction in the dimensionality of specific reaction cascade dynamics by solving variationally an equivalent quantum field theoretic formulation of stochastic chemical kinetics. The present formulation avoids cumbersome commutator computations in the derivation of evolution equations, making more transparent the physical significance of the variational method. We propose novel time-dependent basis functions which work well over a wide range of rate parameters. We apply the new basis functions to describe stochastic signaling in several enzymatic cascades and compare the results so obtained with those from alternative solution techniques. The variational ansatz gives probability distributions that agree well with the exact ones, even when fluctuations are large and discreteness and nonlinearity are important. A numerical implementation of our technique is many orders of magnitude more efficient computationally compared with the traditional Monte Carlo simulation algorithms or the Langevin simulations.Comment: 15 pages, 11 figure