Efficient monitoring of parametric context-free patterns

Recent developments in runtime verification and monitoring show that parametric regular and temporal logic specifications can be efficiently monitored against large programs. However, these logics reduce to ordinary finite automata, limiting their expressivity. For example, neither can specify structured properties that refer to the call stack of the program. While context-free grammars (CFGs) are expressive and well-understood, existing techniques for monitoring CFGs generate large runtime overhead in real-life applications. This paper demonstrates that monitoring parametric CFGs is practical (with overhead on the order of 12% or lower in most cases). We present a monitor synthesis algorithm for CFGs based on an LR(1) parsing algorithm, modified to account for good prefix matching. In addition, a logic-independent mechanism is introduced to support matching against the suffixes of execution traces.     

Visualization and Analysis‐Oriented Reconstruction of Material Interfaces

Reconstructing boundaries along material interfaces from volume fractions is a difficult problem, especially because the under‐resolved nature of the input data allows for many correct interpretations. Worse, algorithms widely accepted as appropriate for simulation are inappropriate for visualization. In this paper, we describe a new algorithm that is specifically intended for reconstructing material interfaces for visualization and analysis requirements. The algorithm performs well with respect to memory footprint and execution time, has desirable properties in various accuracy metrics, and also produces smooth surfaces with few artifacts, even when faced with more than two materials per cell.     

Robust dimensions of anxiety sensitivity: Development and initial validation of the Anxiety Sensitivity Index-3.

Accumulating evidence suggests that anxiety sensitivity (fear of arousal-related sensations) plays an important role in many clinical conditions, particularly anxiety disorders. Research has increasingly focused on how the basic dimensions of anxiety sensitivity are related to various forms of psychopathology. Such work has been hampered because the original measure--the Anxiety Sensitivity Index (ASI)--was not designed to be multidimensional. Subsequently developed multidimensional measures have unstable factor structures or measure only a subset of the most widely replicated factors. Therefore, the authors developed, via factor analysis of responses from U.S. and Canadian nonclinical participants (n = 2,361), an 18-item measure, the ASI-3, which assesses the 3 factors best replicated in previous research: Physical, Cognitive, and Social Concerns. Factorial validity of the ASI-3 was supported by confirmatory factor analyses of 6 replication samples, including nonclinical samples from the United States and Canada, France, Mexico, the Netherlands, and Spain (n = 4,494) and a clinical sample from the United States and Canada (n = 390). The ASI-3 displayed generally good performance on other indices of reliability and validity, along with evidence of improved psychometric properties over the original ASI. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Propagation of Data Error and Parametric Sensitivity in Computable General Equilibrium Models

While computable general equilibrium (CGE) models are a well-established tool in economic analyses, it is often difficult to disentangle the effects of policies of interest from that of the assumptions made regarding the underlying calibration data and model parameters. To characterize the behavior of a CGE model of carbon output with respect to two of these assumptions, we perform a large-scale Monte Carlo experiment to examine its sensitivity to base year calibration data and elasticity of substitution parameters in the absence of a policy change. By examining a variety of output variables at different levels of economic and geographic aggregation, we assess how these forms of uncertainty impact the conclusions that can be drawn from the model simulations. We find greater sensitivity to uncertainty in the elasticity of substitution parameters than to uncertainty in the base-year data as the projection period increases. While many model simulations were conducted to generate large output samples, we find that few are required to capture the mean model response of the variables tested. However, characterizing standard errors and empirical probability distribution functions is not possible without a large number of simulations.     

Co-located collaborative visual analytics around a tabletop display

Co-located collaboration can be extremely valuable during complex visual analytics tasks. We present an exploratory study of a system designed to support collaborative visual analysis tasks on a digital tabletop display. Fifteen participant pairs employed Cambiera, a visual analytics system, to solve a problem involving 240 digital documents. Our analysis, supported by observations, system logs, questionnaires, and interview data, explores how pairs approached the problem around the table. We contribute a unique, rich understanding of how users worked together around the table and identify eight types of collaboration styles that can be used to identify how closely people work together while problem solving. We show how the closeness of teams’ collaboration and communication influenced how they performed on the task overall. We further discuss the role of the tabletop for visual analytics tasks and derive design implications for future co-located collaborative tabletop problem solving systems.     

Procedure for analysis of radium in freshwaters by adsorption on basic lead rhodizonate

Radium analysis is carried out by batch adsorption from natural waters on basic lead rhodizonate supported on charcoal, LERHO, starting from 2-L samples. 133Ba is added to allow the measurement of the overall chemical yield by gamma counting. Radium is recovered with a few milliliters of 1.5 M HCl, and lead is removed by a chromatographic column filled with Dowex 2 x 8. Finally 50 micrograms of barium carrier is added, and the radium is coprecipitated as sulfate on a preformed bed of barium sulfate, to prepare a sample suitable for alpha and gamma counting. The detection limit of the proposed method is 0.002 Bq/L 226Ra. This value is far beyond the radium activity admissible for drinking waters. Due to lack of appropriate samples, the procedure was tested using mineral waters spiked with 226Ra and two commercially available mineral waters with very low radium contents.     

Presence of female cowbirds (Molothrus ater ater) affects vocal imitation and improvisation in males.

In this article we report that imitation and improvisation of tutor songs by eastern male cowbirds (Molothrus ater ater) differs when they are housed with conspecific females as opposed to nonconspecifics. When males, tutored with 12 different song types, were individually housed with females, they developed repertoires composed primarily of improvised and original song types, whereas the repertoires of males housed with canaries were composed entirely of copies of the tutor songs. Song preferences of the female companions for individual tutor songs were unaffected by social housing. The potency of the males' repertoires, as tested by playback to females, appeared to be related to the song responsiveness of their female companions. The results add further evidence that suggests that male cowbirds configure their song repertoire by attending to social signals from companions. (PsycINFO Database Record (c) 2010 APA, all rights reserved)