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.     

Damaged layer characteristics in micro-endmilling of copper using an ultrahigh-speed air spindle

This paper presents an investigation on the characteristics of damaged layer in micro-machining by using the ultrahigh-speed air spindle. The damaged layer in metal cutting is derived from plastic deformation and transformation of metal structure. In this study, micro-cutting force, surface roughness, and plastic deformation layer according to the variation of machining conditions were investigated by experiments. The damaged layer was measured using optical microscope for the samples prepared by metallographic techniques. Its scale was dependent on cutting process parameters, especially feed per tooth. According to experimental results, it was verified that the thickness of damaged layer was increased with increasing of feed per tooth and cutting depth, also thickness of damaged layer was reduced in down-milling compared to upmilling during micro-endmilling operation.     

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.