Compositional Performance Modelling with the TIPPtool

Stochastic process algebras have been proposed as compositional specification formalisms for performance models. In this paper, we describe a tool which aims at realising all beneficial aspects of compositional performance modelling, the TIPPtool. It incorporates methods for compositional specification as well as solution, based on state-of-the-art techniques, and wrapped in a user-friendly graphical front end. Apart from highlighting the general benefits of the tool, we also discuss some lessons learned during development and application of the TIPPtool. A non-trivial model of a real life communication system serves as a case study to illustrate benefits and limitations

Self-consistent spin-wave theory for a frustrated Heisenberg model with biquadratic exchange in the columnar phase and its application to iron pnictides

Recent neutron scattering studies revealed the three dimensional character of the magnetism in the iron pnictides and a strong anisotropy between the exchange perpendicular and parallel to the spin stripes. We extend studies of the J1-J2-Jc Heisenberg model with S = 1 using self-consistent spin-wave theory. A discussion of two scenarios for the instability of the columnar phase is provided. The relevance of a biquadratic exchange term between in-plane nearest neighbors is discussed. We introduce mean-field decouplings for biquadratic terms using the Dyson-Maleev and the Schwinger boson representation. Remarkably their respective mean-field theories do not lead to the same results, even at zero temperature. They are gauged in the N'eel phase in comparison to exact diagonalization and series expansion. The J1-J2-Jc model is analyzed under the influence of the biquadratic exchange Jbq and a detailed description of the staggered magnetization and of the magnetic excitations is given. The biquadratic exchange increases the renormalization of the in-plane exchange constants which enhances the anisotropy between the exchange parallel and perpendicular to the spin stripes. Applying the model to iron pnictides, it is possible to reproduce the spin-wave dispersion for CaFe2As2 in the direction perpendicular to the spin stripes and perpendicular to the planes. Discrepancies remain in the direction parallel to the spin stripes which can be resolved by passing from S = 1 to S = 2. In addition, results for the dynamical structure factor within the self-consistent spin-wave theory are provided.Comment: 18 pages, 12 figures. Updated version, several references adde

The role of protein phosphatase 2A catalytic subunit Cα in embryogenesis: evidence from sequence analysis and localization studies

Protein phosphatase 2A (PP2A) constitutes one of the major families of protein serine/threonine phosphatases found in all eukaryotic cells. PP2A holoenzymes are composed of a catalytic subunit complexed with a structural regulatory subunit of 65 kDa. These core subunits associate with regulatory subunits of various sizes to form different heterotrimers which have been purified and evaluated with regard to substrate specificity. In fully differentiated tissues PP2A expression levels are highest in the brain, however, relatively little is known about expression in the developing embryo. In order to determine the composition of PP2A catalytic subunits in the mouse, cDNAs were cloned and the genomic organization of PP2A Cα was determined. By a gene targeting approach in the mouse, we have previously shown that the absence of the major catalytic subunit of PP2A, Cα, resulted in embryonic lethality around embryonic day E6.5. No mesoderm was formed which implied that PP2A plays a crucial role in gastrulation. Here, we extended our studies and analyzed wildtype embryos for Cα expression at subsequent stages of development. After gastrulation is completed, we find high expression of Cα restricted to the neural folds, which suggests that PP2A plays an additional pivotal role in neurulation

Spectral Properties of Magnetic Excitations in Cuprate Two-Leg Ladder Systems

This article summarizes and extends the recent developments in the microscopic modeling of the magnetic excitations in cuprate two-leg ladder systems. The microscopic Hamiltonian comprises dominant Heisenberg exchange terms plus an additional four-spin interaction which is about five times smaller. We give an overview over the relevant energies like the one-triplon dispersion, the energies of two-triplon bound states and the positions of multi-triplon continua and over relevant spectral properties like spectral weights and spectral densities in the parameter regime appropriate for cuprate systems. It is concluded that an almost complete understanding of the magnetic excitations in undoped cuprate ladders has been obtained as measured by inelastic neutron scattering, inelastic light (Raman) scattering and infrared absorption.Comment: 26 pages, 10 figures, review for Mod. Phys. Lett.

Teaching this class drives me nuts! - Examining the Person and Context Specificity of Teacher Emotions

Teachers' emotions are critically important for the quality of classroom instruction, and they are key components of teachers' psychological well-being. Past research has focused on individual differences between teachers, whereas within-teacher variation across contexts has rarely been considered. As such, the present research addresses the long-standing yet unresolved person-situation debate pertaining to the emotional experiences of teachers. In two diary studies (N = 135, 70% female, and N = 85, 28% female),we examined the role of person, academic subject, and group of students for teacher emotions;focusing on three of the most salient emotions found in teachers: enjoyment, anger, and anxiety. Findings from multi-level analysis confirmed the person specificity of enjoyment, anger, and, in particular, anxiety. In addition, underscoring the existence of within-teacher variability, findings supported that teachers' emotions considerably varied depending on the subject and group of students taught, particularly so for enjoyment and anger. Implications of the person and context specificity of teacher emotions are discussed in relation to assessments and intervention programs aiming to improve teachers' emotional lives in the classroom

Pax6 interactions with chromatin and identification of its novel direct target genes in lens and forebrain.

Pax6 encodes a specific DNA-binding transcription factor that regulates the development of multiple organs, including the eye, brain and pancreas. Previous studies have shown that Pax6 regulates the entire process of ocular lens development. In the developing forebrain, Pax6 is expressed in ventricular zone precursor cells and in specific populations of neurons; absence of Pax6 results in disrupted cell proliferation and cell fate specification in telencephalon. In the pancreas, Pax6 is essential for the differentiation of α-, β- and δ-islet cells. To elucidate molecular roles of Pax6, chromatin immunoprecipitation experiments combined with high-density oligonucleotide array hybridizations (ChIP-chip) were performed using three distinct sources of chromatin (lens, forebrain and β-cells). ChIP-chip studies, performed as biological triplicates, identified a total of 5,260 promoters occupied by Pax6. 1,001 (133) of these promoter regions were shared between at least two (three) distinct chromatin sources, respectively. In lens chromatin, 2,335 promoters were bound by Pax6. RNA expression profiling from Pax6⁺/⁻ lenses combined with in vivo Pax6-binding data yielded 76 putative Pax6-direct targets, including the Gaa, Isl1, Kif1b, Mtmr2, Pcsk1n, and Snca genes. RNA and ChIP data were validated for all these genes. In lens cells, reporter assays established Kib1b and Snca as Pax6 activated and repressed genes, respectively. In situ hybridization revealed reduced expression of these genes in E14 cerebral cortex. Moreover, we examined differentially expressed transcripts between E9.5 wild type and Pax6⁻/⁻ lens placodes that suggested Efnb2, Fat4, Has2, Nav1, and Trpm3 as novel Pax6-direct targets. Collectively, the present studies, through the identification of Pax6-direct target genes, provide novel insights into the molecular mechanisms of Pax6 gene control during mouse embryonic development. In addition, the present data demonstrate that Pax6 interacts preferentially with promoter regions in a tissue-specific fashion. Nevertheless, nearly 20% of the regions identified are accessible to Pax6 in multiple tissues

Single-Particle Dynamics in the Vicinity of the Mott-Hubbard Metal-to-Insulator Transition

The single-particle dynamics close to a metal-to-insulator transition induced by strong repulsive interaction between the electrons is investigated. The system is described by a half-filled Hubbard model which is treated by dynamic mean-field theory evaluated by high-resolution dynamic density-matrix renormalization. We provide theoretical spectra with momentum resolution which facilitate the comparison to photoelectron spectroscopy.Comment: 22 pages, 24 figures, comprehensive high-resolution study of single electron dynamics around a Mott metal-insulator transition, with momentum resolved spectral densities; slight changes due to referees' suggestion