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)     

The Einstein relation in nanostructured materials: simplified theory and suggestion for experimental determination

An attempt is made to study the Einstein relation for the diffusivity–mobility ratio (DMR) in quantum wells (QWs) and quantum well wires (QWWs) of tetragonal compounds on the basis of a newly formulated electron energy spectrum taking into account the combined influences of the anisotropies in effective electron mass, the spin–orbit splitting, and the presence of crystal field splitting, respectively. The results for quantum-confined III–V compounds form a special case of our generalized analysis. The DMR has also been studied for QWs and QWWs of II–VI and IV–VI materials. Taking QWs and QWWs of CdGeAs₂, InAs, CdS and PbSe as examples, it was found that the DMR increases with increasing carrier statistics and decreasing film thickness respectively in various oscillatory manners emphasizing the influence of dimensional quantizations and the energy band constants in different cases. An experimental method of determining the DMR in nanostructures with arbitrary dispersion laws has also been suggested and the present simplified analysis is in agreement with the suggested relationship. The well-known results for nanostructures with parabolic energy bands have also been obtained as special cases from this generalized analysis under certain limiting conditions.     

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.     

Au and Au-Ag bimetallic nanoparticles synthesized by using 12-3-12 cationic Gemini surfactant as template

A seed-growth method has been applied to synthesize gold (Au) and Au-silver (Ag) bimetallic nanoparticles (NP) by using 12-3-12, a cationic Gemini surfactant, as a capping agent as well as micellar template. A systematic increase in the [12-3-12] from pre- to post-micellar region (up to 5 times the critical micelle concentration, cmc) produces Au NP from spherical to large plate like structures. Keeping [12-3-12] constant (equal to 1 / 2 cmc) and increasing ascorbic acid (AA) concentration lead to the formation of core shell type Au-Ag bimetallic NP. At maximum AA concentration (i.e. [AA] = 5.6 mM), fused bimetallic Au-Ag NP are obtained. The anisotropic growth of such materials is a key factor for various applications in nanotechnology.     

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.