Designing fast LTL model checking algorithms for many-core GPUs

Recent technological developments made various many-core hardware platforms widely accessible. These massively parallel architectures have been used to significantly accelerate many computation demanding tasks. In this paper, we show how the algorithms for LTL model checking can be redesigned in order to accelerate LTL model checking on many-core GPU platforms. Our detailed experimental evaluation demonstrates that using the NVIDIA CUDA technology results in a significant speedup of the verification process. Together with state space generation based on shared hash-table and DFS exploration, our CUDA accelerated model checker is the fastest among state-of-the-art shared memory model checking tools.     

A novel split-and-merge algorithm for hierarchical clustering of Gaussian mixture models

The paper presents a novel split-and-merge algorithm for hierarchical clustering of Gaussian mixture models, which tends to improve on the local optimal solution determined by the initial constellation. It is initialized by local optimal parameters obtained by using a baseline approach similar to k-means, and it tends to approach more closely to the global optimum of the target clustering function, by iteratively splitting and merging the clusters of Gaussian components obtained as the output of the baseline algorithm. The algorithm is further improved by introducing model selection in order to obtain the best possible trade-off between recognition accuracy and computational load in a Gaussian selection task applied within an actual recognition system. The proposed method is tested both on artificial data and in the framework of Gaussian selection performed within a real continuous speech recognition system, and in both cases an improvement over the baseline method has been observed.     

Observation of a half-quantum-flux periodicity pattern in an rf SQUID with small critical currents

We have found experimentally that rf SQUID's working in a nonhysteretic mode with small critical currents give exactly at resonance and at very low rf bias a triangular pattern with a period equal to half of one elementary quantum of magnetic flux. We discuss a possible explanation of this peculiar result.     

Sex Differences and Individual Differences in Cognitive Performance and Their Relationship to Endogenous Gonadal Hormones and Gonadotropins.

Sexually dimorphic cognitive performance in men (n=42) and women (n=42) was related to testosterone, estradiol, progesterone, luteinizing hormone, follicle-stimulating hormone, and sex hormone binding globulin, measured in 10-ml blood samples collected between 0900 and 1030 and, among women, during the follicular phase of the menstrual cycle. Significant sex differences favored men on spatial tasks (Mental Rotation and Judgment of Line Orientation) and on an inhibition task and favored women on a verbal task (category fluency). However, there were no significant relationships between any of the hormones and cognitive performance, suggesting that there are few, if any, consistent, substantial relationships between endogenous, nonfluctuating levels of gonadal hormones or gonadotropins and these cognitive abilities in men or women. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Differential Fos Expression Following Aspiration, Electrolytic, or Excitotoxic Lesions of the Perirhinal Cortex in Rats.

The authors explored the possibility that there are different neural consequences, beyond the primary site of brain damage, following perirhinal cortex (PRh) lesions made in different ways. Fos expression was used as a marker for neuronal activation and compared across the forebrains of rats that underwent the different types of surgery. Electrolytic and excitotoxic PRh lesions produced dramatic increases in Fos expression in the cortex, and excitotoxic and aspiration PRh lesions increased Fos expression in the dentate gyrus. These data are consistent with the hypothesis that different lesion methods have separable effects on neural function in regions outside the lesion site that could account for inconsistencies in the literature regarding the behavioral effects of PRh lesions on tests of spatial memory. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Stress transmission through three-dimensional granular crystals with stacking faults

We explore the effect of stacking fault defects on the transmission of forces in three-dimensional face-centered-cubic granular crystals. An external force is applied to a small area at the top surface of a crystalline packing of granular beads containing one or two stacking faults at various depths. The response forces at the bottom surface are measured and found to correspond to predictions based on vector force balance within the geometry of the defects. We identify the elementary stacking fault as a boundary between two pure face-centered-cubic crystals with different stacking orders. Other stacking faults produce response force patterns that can be viewed as resulting from repetitions of this basic defect. As the number of stacking faults increases, the intensity pattern evolves toward that of an hexagonal-close-packed crystal. This leads to the conclusion that the force pattern of that crystal structure can be viewed as the extreme limit of a face-centered-cubic crystal with a stacking fault at every layer.This work was supported by NSF-CTS 0090490 and by the NSF MRSEC Program under DMR-0213745. MJS acknowledges support by the University of Chicago MRSEC Summer 2002 REU program.     

A Comparative Study of Group Contingencies and Randomized Reinforcers to Reduce Disruptive Classroom Behavior.

The present investigation employed an alternating treatments design to (1) examine the efficacy of group contingencies in the reduction of disruptive behavior, and (2) compare the effects of independent, interdependent, and dependent group contingencies in the reduction of disruptive behavior in adolescent males identified with serious emotional disturbance. Disruptive classroom behavior has been associated with both decrement inacademic performance and increased risk for antisocial behavior. Although research findings have suggested that group contingencies are efficacious in reducing disruptive behavior, the data remain inconclusive regarding which group contingency (interdependent, dependent, and independent) is most effective. Results suggest that a clear superiority among the group contingencies was not evidenced. However, all were dramatically effective in the reduction of classroom disruptive behavior. (PsycINFO Database Record (c) 2011 APA, all rights reserved)     

Culture and group perception: Dispositional and stereotypic inferences about novel and national groups.

In 3 studies, the authors tested the hypothesis that Chinese participants would view social groups as more entitative than would Americans and, as a result, would be more likely to infer personality traits on the basis of group membership--that is, to stereotype. In Study 1, Chinese participants made stronger stereotypic trait inferences than Americans did on the basis of a target's membership in a fictitious group. Studies 2 and 3 showed that Chinese participants perceived diverse groups as more entitative and attributed more internally consistent dispositions to groups and their members. Guided by culturally based lay theories about the entitative nature of groups, Chinese participants may stereotype more readily than do Americans when group membership is available as a source of dispositional inference. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Fitting in and feeling fine: Conformity and coping motives as mediators of the relationship between social anxiety and problematic drinking.

The present research was conducted to clarify the relationships among social anxiety, alcohol consumption, alcohol-related problems, and negative-reinforcement drinking motives among college students. Heavy drinking students (N = 316, 53.80% female) completed self-report measures of social anxiety, alcohol consumption, alcohol-related problems, and drinking motives. Findings indicated that students higher in social anxiety consumed less alcohol but experienced more negative consequences. Moreover, the relationship between social anxiety and negative consequences was mediated by coping and conformity drinking motives in addition to alcohol consumption. In the context of social anxiety, the current research demonstrates the importance of examining problematic drinking as distinct constructs: alcohol consumption and negative consequences. Findings are also discussed in terms of implications for interventions with socially anxious students. (PsycINFO Database Record (c) 2010 APA, all rights reserved)