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.     

Performance antecedents of voluntary and involuntary managerial turnover.

Examined the job performance of 420 credit managers (mean age at hiring 25 yrs) from a large finance company who either quit their job, were fired, or were promoted to a higher position in the company. Six biographical variables and 12 performance appraisal scores accumulated from data in employee files were used in a cross-validated multiple discriminant analysis to predict membership in the 3 classification groups. Results reveal a systematic relation between the performance appraisal variables and the classification groups: The performance of promoted Ss was significantly superior to that of Ss who quit, which in turn was significantly superior to the performance of the fired Ss. 18 discriminating variables accounted for a 46.7% hit rate in group membership. Findings are discussed in the context of research on performance antecedents of voluntary and involuntary turnover, as well as the feedback properties of performance appraisal information. It is suggested that no single performance–turnover relation exists. (14 ref) (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Temperature effects on the mass flow rate in the SBI and similar heat‐release rate test equipment

In various medium‐to‐large‐scale fire test equipments like the ISO room corner test (RC), and more recently, the single burning item test (SBI) the mass flow rate measurement of the combustion gases plays a key role in the determination of the heat‐release rate and smoke‐production rate. With the knowledge of the velocity profile and the temperature of the flow, the mass flow rate is obtained by measuring the velocity on the axis of the duct. This is done by means of a bi‐directional probe based on the pitot principle. However, due to the variation of the mean temperature and the temperature gradient in any cross section of the duct, introduced by ever changing combustion gas temperatures, the velocity nor the density profile are constant in time. This paper examines the resulting uncertainty on the mass flow rate. Copyright © 2006 John Wiley & Sons, Ltd.     

Positive psychology principles applied to consulting psychology at the individual and group level.

This article describes the application, at the team and individual level, of findings from the positive psychology research. An overview of this research is presented focusing on several areas generally included in the positive psychology domain: flow, appreciative inquiry, the broaden and build theory, and other strategies for increasing the experience of positive emotions and the identification and deployment of strengths. The authors propose that these applications show promise in consulting psychology engagements and may have merit when utilized by practitioners themselves. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

What's the use of being happy? Mood states, useful objects, and repetition priming effects.

Two experiments involving 99 undergraduate participants sought to examine the influence of mood states on encoding speed within lexical decision and pronunciation tasks. Mood states were measured naturalistically in Experiment 1 and manipulated in Experiment 2. Stimuli consisted of nouns representing useful (e.g., food) and nonuseful (e.g., lint) objects. Mood states had no implications for initial encoding speed. However, when the same words were presented a 2nd time (i.e., repeated), happy individuals displayed a tendency to encode useful words faster than nonuseful ones. Thus, mood states influenced repetition priming on the basis of stimulus valence. The authors propose that happiness sensitizes individuals to useful or rewarding objects, which in turn creates a stronger memory trace for such stimuli in the future. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Glyconanoparticle-DNA interactions: an atomic force microscopy study.

Glyconanoparticles which present carbohydrate and amino groups motifs at their surface were produced. These particles were highly stable and soluble in aqueous solutions. The presence of the carbohydrate groups also allowed the inclusion of more strongly binding groups, without affecting solubility. The binding of a model DNA, plasmid by these nanoparticles was studied by atomic force microscopy, transmission electron microscopy, and gel electrophoresis. Significant differences between the nanoparticles based on their affinities for the DNA were found, with implications for their potential use as nonviral gene delivery agents.     

The extracorporeal circuit: Materials,problems, and solutions

The extracorporeal circuit in hemodialysis and related therapies facilitates passage of blood to and from the patient and forms an integral link with the safety systems of the proportioning system. Historically, elements of the circuit were subject to problems such as spallation introduced by the blood pump and plasticizer from the tubing sets leaching into the blood. Many of these early issues have been largely resolved, although there is still potential for further improvement and innovation. The introduction of such improvements and innovations into clinical practice is critically dependent upon their cost and benefit to patient and renal unit staff.     

Family-Responsive Interventions, Perceived Organizational and Supervisor Support, Work-Family Conflict, and Psychological Strain.

This study examined organizational family-responsive policies, perceptions of the organization as family supportive, and supervisor support as issues that may be salient to the experience of conflict between paid employment (work) and family roles. Data were collected from 355 managerial personnel in New Zealand. Although work-family conflict and psychological strain were strongly linked, the availability of organizational policies had no significant association with levels of conflict or strain, whereas policy usage was related only to work-to-family interference and not to family-to-work interference. On the other hand, perceptions of the organization as family supportive and supervisor support for work-family balance displayed significant relationships with key variables, highlighting the importance of these variables for interventions designed to ameliorate the negative impact of work-family conflict on managerial well-being. Implications for the effective implementation of family-responsive interventions are discussed. (PsycINFO Database Record (c) 2010 APA, all rights reserved)