A Framework for Certified Self-Stabilization

We propose a general framework to build certified proofs of distributed self-stabilizing algorithms with the proof assistant Coq. We first define in Coq the locally shared memory model with composite atomicity, the most commonly used model in the self-stabilizing area. We then validate our framework by certifying a non trivial part of an existing silent self-stabilizing algorithm which builds a $k$-hop dominating set of the network. We also certified a quantitative property related to the output of this algorithm. Precisely, we show that the computed $k$-hop dominating set contains at most $\lfloor \frac{n-1}{k+1} \rfloor + 1$ nodes, where $n$ is the number of nodes in the network. To obtain these results, we also developed a library which contains general tools related to potential functions and cardinality of sets

Age and gender differences in narcissism: A comprehensive study across eight measures and over 250,000 participants

Age and gender differences in narcissism have been studied often. However, considering the rich history of narcissism research accompanied by its diverging conceptualizations, little is known about age and gender differences across various narcissism measures. The present study investigated age and gender differences and their interactions across eight widely used narcissism instruments (i.e., Narcissistic Personality Inventory, Hypersensitive Narcissism Scale, Dirty Dozen, Psychological Entitlement Scale, Narcissistic Personality Disorder Symptoms from the Diagnostic and Statistical Manual of Mental Disorders, Version IV, Narcissistic Admiration and Rivalry Questionnaire-Short Form, Single-Item Narcissism Scale, and brief version of the Pathological Narcissism Inventory). The findings of Study 1 (N = 5,736) revealed heterogeneity in how strongly the measures are correlated. Some instruments loaded clearly on one of the three factors proposed by previous research (i.e., Neuroticism, Extraversion, Antagonism), while others cross-loaded across factors and in distinct ways. Cross-sectional analyses using each measure and meta-analytic results across all measures (Study 2) with a total sample of 270,029 participants suggest consistent linear age effects (random effects meta-analytic effect of r = -.104), with narcissism being highest in young adulthood. Consistent gender differences also emerged (random effects meta-analytic effect was -.079), such that men scored higher in narcissism than women. Quadratic age effects and Age × Gender effects were generally very small and inconsistent. We conclude that despite the various conceptualizations of narcissism, age and gender differences are generalizable across the eight measures used in the present study. However, their size varied based on the instrument used. We discuss the sources of this heterogeneity and the potential mechanisms for age and gender differences

Size-dependent stability of ultra-small α-/β-phase tin nanocrystals synthesized by microplasma

Key features of tin, including electronic band structure and opto-electronic properties, are influenced by the crystal structure. Here the authors report a microplasma process for the synthesis of ultra-small tin nanocrystals in which the crystal structure is dependent on crystallite size

PILS - Personality Interaction Laboratory Study

The aim of the PILS-Study is to investigate the initial development of personality and social relationships in a laboratory-based setting. Here you can find an official form (pils_data_request.docx) to apply for a collaboration on PILS' data. If you intend to initiate a collaboration, please first complete the form by providing us with your and your co-researchers details, by outlining the research idea, and by giving us information on the data sources you need. Second, please adapt the variable selection file (pils_variable_selection_2_1.R) for each requested data source by the specific variables you like to analyse. Thus, to be able to successfully complete the 2-step application process, you need to know which data sources are of interest and within each data source which variables are of interest. We will only consider complete applications that consist of 1) the Pils collaboration request and 2) the adapted Pils variable selection R-file

Trait Personality and State Variability: Predicting Individual Differences in Within- and Cross-Context Fluctuations in Affect, Self-Evaluations, and Behavior in Everyday Life

Here, we provide you with supplemental material (data, R-Codes) to the manuscript "Trait Personality and State Variability: Predicting Individual Differences in Within- and Cross-Context Fluctuations in Affect, Self-Evaluations, and Behavior in Everyday Life" by Geukes et al. (2017). If you like to get in contact with us, please write an email to [email protected]

The rich are different: Unraveling the perceived and self-reported personality profiles of high net-worth individuals

Beyond money and possessions, how are the rich different from the general population? Drawing on a unique sample of high net-worth individuals from Germany (≥1 million Euro in financial assets; N = 130), nationally representative data (N = 22,981), and an additional online panel (N = 690), we provide the first direct investigation of the stereotypically-perceived and self-reported personality profiles of high net-worth individuals. Investigating the broad personality traits of the Big Five and the more specific traits of narcissism and locus of control, we find that stereotypes about wealthy people’s personality are accurate albeit somewhat exaggerated and that wealthy people can be characterized as stable, flexible, and agentic individuals who are focused more on themselves than on others

The rich are different: Unraveling the perceived and self-reported personality profiles of high net-worth individuals

Beyond money and possessions, how are the rich different from the general population? Drawing on a unique sample of high net-worth individuals from Germany (≥1 million Euro in financial assets; N = 130), nationally representative data (N = 22,981), and an additional online panel (N = 690), we provide the first direct investigation of the stereotypically-perceived and self-reported personality profiles of high net-worth individuals. Investigating the broad personality traits of the Big Five and the more specific traits of narcissism and locus of control, we find that stereotypes about wealthy people’s personality are accurate albeit somewhat exaggerated and that wealthy people can be characterized as stable, flexible, and agentic individuals who are focused more on themselves than on others

Explaining the longitudinal interplay of personality and social relationships in the laboratory and in the field: : The PILS and the CONNECT study

Our personalities (who we are) influence our social relationships (how we relate to people around us), and our social relationships influence our personalities. However, little is known about the specific processes underlying the complex interplay of personality and social relationships. According to the PERSOC framework, the identification of underlying social interaction processes promotes the understanding of how personality and social relationships are expressed, develop, and influence each other over time. The aim of the present paper is twofold: First, we outline and discuss four methodological challenges that arise when trying to empirically realize a process approach to the personality-relationship interplay. Second, we describe two data sets that are designed to meet these challenges and that are open for collaborative investigations: a laboratory-based process approach (Personality Interaction Laboratory Study; PILS) and a field-based process approach (CONNECT). We provide detailed information on the samples (two student samples; PILS: N = 311; CONNECT: N = 131), procedures (longitudinal and multimethodological), and measures (personality and social relationships, appearance and behavior, interpersonal perceptions), for which we present descriptive information, reliabilities, and intercorrelations. We summarize how these studies’ designs targeted the introduced methodological challenges, discuss the advantages and limitations of laboratory- and field-based process approaches, and call for their combination. We close by outlining an open research policy, aimed at accelerated collaborative efforts to further open the process black box, ultimately leading to a better understanding of the expression, development, and complex interplay of personality and social relationships

Explaining the longitudinal interplay of personality and social relationships in the laboratory and in the field: : The PILS and the CONNECT study

Our personalities (who we are) influence our social relationships (how we relate to people around us), and our social relationships influence our personalities. However, little is known about the specific processes underlying the complex interplay of personality and social relationships. According to the PERSOC framework, the identification of underlying social interaction processes promotes the understanding of how personality and social relationships are expressed, develop, and influence each other over time. The aim of the present paper is twofold: First, we outline and discuss four methodological challenges that arise when trying to empirically realize a process approach to the personality-relationship interplay. Second, we describe two data sets that are designed to meet these challenges and that are open for collaborative investigations: a laboratory-based process approach (Personality Interaction Laboratory Study; PILS) and a field-based process approach (CONNECT). We provide detailed information on the samples (two student samples; PILS: N = 311; CONNECT: N = 131), procedures (longitudinal and multimethodological), and measures (personality and social relationships, appearance and behavior, interpersonal perceptions), for which we present descriptive information, reliabilities, and intercorrelations. We summarize how these studies’ designs targeted the introduced methodological challenges, discuss the advantages and limitations of laboratory- and field-based process approaches, and call for their combination. We close by outlining an open research policy, aimed at accelerated collaborative efforts to further open the process black box, ultimately leading to a better understanding of the expression, development, and complex interplay of personality and social relationships

Are Narcissists Sexy? Zeroing in on the Effect of Narcissism on Short-Term Mate Appeal

This research was aimed to provide a comprehensive test of the classic notion that narcissistic individuals are appealing as short-term romantic or sexual partners. In three studies, we tested the hypotheses that narcissism exerts a positive effect on an individual’s mate appeal and that this effect is mediated by high physical attractiveness and high social boldness. We implemented a multimethod approach and used ratings of opposite sex persons (Study 1), ratings of friends (Study 2), and records of courtship outcomes in naturalistic interactions (Study 3) as indicators of mate appeal. In all cases, narcissism had a positive effect on mate appeal, which was mainly due to the agentic self-enhancement aspects of narcissism (rather than narcissists’ lacking communion). As predicted, physical attractiveness and social boldness mediated the positive effect of narcissism on mate appeal. Findings further indicated that narcissism was more strongly linked to mate appeal than to friend appeal