Surface band structure of Bi1−xSbx\text{Bi}_{1-x}\text{Sb}_{x}(111)

Theoretical and experimental studies agree that $\text{Bi}_{1-x}\text{Sb}_{x}$ ($0.07 \leq x \leq 0.21$) to be a three-dimensional topological insulator. However, there is still a debate on the corresponding $\text{Bi}_{1-x}\text{Sb}_{x}$(111) surface band structure. While three spin polarized bands have been claimed experimentally, theoretically, only two surface bands appear, with the third band being attributed to surface imperfections. Here, we address this controversy using angle-resolved photoemission spectroscopy (ARPES) on $\text{Bi}_{1-x}\text{Sb}_{x}$ films. To minimize surface imperfections, we have optimized the sample growth recipe. We have measured the evolution of the surface band structure of $\text{Bi}_{1-x}\text{Sb}_{x}$ with $x$ increasing gradually from $x = 0$ to $x = 0.6$. Our ARPES data show better agreement with the theoretical calculations, where the system is topologically non-trivial with two surface bands

Improved homology-driven computational validation of protein-protein interactions motivated by the evolutionary gene duplication and divergence hypothesis

<p>Abstract</p> <p>Background</p> <p>Protein-protein interaction (PPI) data sets generated by high-throughput experiments are contaminated by large numbers of erroneous PPIs. Therefore, computational methods for PPI validation are necessary to improve the quality of such data sets. Against the background of the theory that most extant PPIs arose as a consequence of gene duplication, the sensitive search for homologous PPIs, i.e. for PPIs descending from a common ancestral PPI, should be a successful strategy for PPI validation.</p> <p>Results</p> <p>To validate an experimentally observed PPI, we combine FASTA and PSI-BLAST to perform a sensitive sequence-based search for pairs of interacting homologous proteins within a large, integrated PPI database. A novel scoring scheme that incorporates both quality and quantity of all observed matches allows us (1) to consider also tentative paralogs and orthologs in this analysis and (2) to combine search results from more than one homology detection method. ROC curves illustrate the high efficacy of this approach and its improvement over other homology-based validation methods.</p> <p>Conclusion</p> <p>New PPIs are primarily derived from preexisting PPIs and not invented <it>de novo</it>. Thus, the hallmark of true PPIs is the existence of homologous PPIs. The sensitive search for homologous PPIs within a large body of known PPIs is an efficient strategy to separate biologically relevant PPIs from the many spurious PPIs reported by high-throughput experiments.</p

Identification of regulatory variants associated with genetic susceptibility to meningococcal disease

Non-coding genetic variants play an important role in driving susceptibility to complex diseases but their characterization remains challenging. Here, we employed a novel approach to interrogate the genetic risk of such polymorphisms in a more systematic way by targeting specific regulatory regions relevant for the phenotype studied. We applied this method to meningococcal disease susceptibility, using the DNA binding pattern of RELA - a NF-kB subunit, master regulator of the response to infection - under bacterial stimuli in nasopharyngeal epithelial cells. We designed a custom panel to cover these RELA binding sites and used it for targeted sequencing in cases and controls. Variant calling and association analysis were performed followed by validation of candidate polymorphisms by genotyping in three independent cohorts. We identified two new polymorphisms, rs4823231 and rs11913168, showing signs of association with meningococcal disease susceptibility. In addition, using our genomic data as well as publicly available resources, we found evidences for these SNPs to have potential regulatory effects on ATXN10 and LIF genes respectively. The variants and related candidate genes are relevant for infectious diseases and may have important contribution for meningococcal disease pathology. Finally, we described a novel genetic association approach that could be applied to other phenotypes

Do Political Attitudes Matter for Epistemic Decisions of Scientists?

The epistemic attitudes of scientists, such as epistemic tolerance and authoritarianism, play important roles in the discourse about rivaling theories. Epistemic tolerance stands for the mental attitude of an epistemic agent, e.g., a scientist, who is open to opposing views, while epistemic authoritarianism represents the tendency to uncritically accept views of authorities. Another relevant epistemic factor when it comes to the epistemic decisions of scientists is the skepticism towards the scientific method. However, the question is whether these epistemic attitudes are influenced by their sociopolitical counterparts, such as the researcher's degree of conservatism. To empirically investigate the interplay between epistemic and sociopolitical attitudes of scientists, we conducted a survey with researchers (N = 655) across different disciplines. We propose scales for measuring epistemic tolerance and epistemic authoritarianism, as well as a scale for detecting the participants' readiness to question the scientific method. Furthermore, we investigate the relationship between epistemic tolerance and epistemic authoritarianism on the one hand, and career stage and sociopolitical views on the other hand. Interestingly, our study found only small correlations between the participants' degree of conservatism and their epistemic attitudes. This suggests that political views, against common argumentation, actually do not play an important role in one's scientific decisions. Moreover, social scientists scored higher on the epistemic tolerance and lower on the epistemic authoritarianism scale than natural scientists. Finally, the results indicate that natural scientists question the scientific method less than social scientists

Reactive standard deontic logic

We introduce a reactive variant of SDL (standard deontic logic): SDLR1 (reactive standard deontic logic). Given a Kripkean view on the semantics of SDL in terms of directed graphs where arrows -> represent the accessibility relation between worlds, reactive models add two elements: arrows -> are labelled as 'active' or 'inactive', and double arrows a dagger connect arrows, e.g. (x(1) -> x(2)) a dagger (x(3) -> x(4)). The idea is that passing through x(1) -> x(2) activates a switch represented by a dagger that inverts the label of x(3) -> x(4) and hence activates respectively deactivates this arrow. This allows to introduce two modalities: a- is the usual KD-modality of SDL and operates on the Kripkean graph where all labels and double arrows are ignored, while takes them into account. We demonstrate that RSDL1 allows for an intuitive interpretation of 'ought'. The logic can handle contrary-to-duty cases such as several instantiations of the Chisholm set in a paradox-free way by means of using double arrows and annotations to block and give access to ideal worlds

Abstract

Mobile agents are autonomous objects that can migrate from node to node of a computer network. Mobile agent technology has been proposed for various application areas, including electronic commerce, systems management and active messaging. Many of these applications-especially those for electronic commerce- require agents to be performed “exactly once”, independent of communication and node failures. In other words, once a mobile agent has been launched, it must never be lost before its execution is finished. Moreover, each “portion ” of the agent performed at the visited nodes is performed exactly once. Due to the autonomy of mobile agents, there is no “natural ” instance that monitors the progress of an agent’s execution. As a result of that agents may be blocked due to node crashes or network partitioning even if there are other nodes available that could continue processing. In this paper, we will describe a protocol that ensures the exactly once property of agents and additionally reduces the blocking probability of agents by introducing so-called observer nodes for monitoring the progress of agents. This protocol is based on conventional transactional technology, such as defined by X/Open DTP or CORBA OTS. It is implemented in the Mole, a mobile agent system developed at Stuttgart University. 1