Putting it all together – Formal verification of the VAMP

In the verified architecture microprocessor (VAMP) project we have designed, functionally verified, and synthesized a processor with full DLX instruction set, delayed branch, Tomasulo scheduler, maskable nested precise interrupts, pipelined fully IEEE compatible dual precision floating point unit with variable latency, and separate instruction and data caches. The verification has been carried out in the theorem proving system PVS. The processor has been implemented on a Xilinx FPGA. A shorter version of this article with the title “Instantiating uninterpreted functional units and memory system: functional verification of the VAMP” appeared in [8]. The work reported here was done while all the authors were with Saarland University.     

Cutting stress off at the pass: Reducing vigilance and responsiveness to social threat by manipulating attention.

Personality processes relating to social perception have been shown to play a significant role in the experience of stress. In 5 studies, the authors demonstrate that early stage attentional processes influence the perception of social threat and modify the human stress response. The authors first show that cortisol release in response to a stressful situation correlates with selective attention toward social threat. Second, the authors show in 2 laboratory studies that this attentional pattern, most evident among individuals with low self-esteem, can be modified with a repetitive training task. Next, in a field study, students trained to modify their attentional pattern to reduce vigilance for social threat showed lower self-reported stress related to their final exam. In a final field study with telemarketers, the attentional training task led to increased self-esteem, decreased cortisol and perceived stress responses, higher confidence, and greater work performance. Taken together, these results demonstrate the impact of antecedent-focused strategies on the late-stage consequences of social stress. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Fast location of high-order modes for boxed microstrip with finite strip thickness

Many analyses of boxed microstrip discontinuities require the location of large numbers of high-order modes. Using Sturm-Liouville theory, this letter derives a relationship between microstrip modes and slab-loaded guide modes, leading to an efficient mode location algorithm for microstrip, including microstrip with finite strip thickness.<>     

Measurement of Energy Expenditure in Elite Athletes Using MEMS-Based Triaxial Accelerometers

Fitness development and performance assessment of elite athletes requires an understanding of many physiological factors, many of these are direct and indirect measures of athlete energy expenditure. Many methods are physiological factor assessments and require the athlete to be constrained by laboratory equipment or periodic interruption of activity to take measurements such as blood samples are required to be taken. This paper presents a method that is entirely ambulatory and noninvasive, using microelectromechanical systems (MEMS) accelerometers. The commonly used output of commercial accelerometer-based devices (known as "counts") cannot discriminate activity intensity for the activities of interest. This, in conjunction with variability in output from different systems and lack of commonality across manufacturers, limits the usefulness of commercial devices. This paper identifies anthropometric and kinematic sources of inter-athlete variability in accelerometer output, leading to an alternate energy expenditure estimator based mainly on step frequency modified by anthropometric measures. This energy expenditure estimator is more robust and not influenced by many sources of variability that affect the currently used estimator. In this system, low-power signal processing was implemented to extract both the energy estimator and other information of physiological and statistical interest     

Interstate forensic psychology consultations: A call for reform and proposal of a model rule.

Forensic psychology has made important gains in professional recognition and stature in the courts, resulting in increasing demands for mobility of expertise. Current regulations regarding the interjurisdictional temporary forensic practice of psychology, however, are characterized by variability of regulations, ambiguity and inaccessibility, and continuing total barriers. A uniform, well-reasoned policy is needed. A conceptual basis for such a policy is provided by a discussion of licensing rationales and the application of these to forensic practice. Uniformity, public and professional protection, and practicability are identified as fundamental regulatory criteria. A Model Rule Regarding the Temporary Forensic Practice of Psychology is proposed for adoption by state licensing boards on a nationwide basis. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Validity of Three Measures of Communication for Predicting Relationship Adjustment and Stability Among a Sample of Young Couples.

The goal of this study was to examine whether data from 3 different measures of communication (i.e., self-report, quasi-observational, and observational) can predict relationship adjustment and stability 1 year later when used conjointly in a sample of 62 young couples. The 3 measures of communication were the Communication Skills Test-Revised (CST-R), the Communication Box (CB), and the Demand/Withdraw Pattern Questionnaire (DWPQ). Through hierarchical multiple regression analyses, results revealed that the CST-R and the DWPQ predict both genders' relationship adjustment 1 year later when used conjointly. Logistic regression analyses revealed that none of the measures of communication significantly predicted relationship stability. In conclusion, the combination of the CST-R and the DWPQ appears to be useful for longitudinally predicting relationship adjustment. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

The negated conditional: A litmus test for the suppositional conditional?

Under the suppositional account of conditionals, when people think about a conditional assertion, "if p then q," they engage in a mental simulation in which they imagine p holds and evaluate the probability that q holds under this supposition. One implication of this account is that belief in a conditional equates to conditional probability [P(q/p)]. In this paper, the authors examine a further implication of this analysis with respect to the wide-scope negation of conditional assertions, "it is not the case that if p then q." Under the suppositional account, nothing categorically follows from the negation of a conditional, other than a second conditional, "if p then not-q." In contrast, according to the mental model theory, a negated conditional is consistent only with the determinate state of affairs, p and not-q. In 4 experiments, the authors compare the contrasting predictions that arise from each of these accounts. The findings are consistent with the suppositional theory but are incongruent with the mental model theory of conditionals. (PsycINFO Database Record (c) 2010 APA, all rights reserved)