Viewpoint consistency in Z and LOTOS: A case study

Specification by viewpoints is advocated as a suitable method of specifying complex systems. Each viewpoint describes the envisaged system from a particular perspective, using concepts and specification languages best suited for that perspective. Inherent in any viewpoint approach is the need to check or manage the consistency of viewpoints and to show that the different viewpoints do not impose contradictory requirements. In previous work we have described a range of techniques for consistency checking, refinement, and translation between viewpoint specifications, in particular for the languages LOTOS and Z. These two languages are advocated in a particular viewpoint model, viz. that of the Open Distributed Processing (ODP) reference model. In this paper we present a case study which demonstrates how all these techniques can be combined in order to show consistency between a viewpoint specified in LOTOS and one specified in Z. Keywords: Viewpoints; Consistency; Z; LOTOS; ODP

Emotional and Adrenocortical Responses of Infants to the Strange Situation: The Differential Function of Emotional Expression

The aim of the study was to investigate biobehavioural organisation in infants with different qualities of attachment. Quality of attachment (security and disorganisation), emotional expression, and adrenocortical stress reactivity were investigated in a sample of 106 infants observed during Ainsworth’s Strange Situation at the age of 12 months. In addition, behavioural inhibition was assessed from maternal reports. As expected, securely attached infants did not show an adrenocortical response. Regarding the traditionally defined insecurely attached groups, adrenocortical activation during the strange situation was found for the ambivalent group, but not for the avoidant one. Previous ndings of increased adrenocortical activity in disorganised infants could not be replicated. In line with previous ndings, adrenocortical activation was most prominent in insecure infants with high behavioural inhibition indicating the function of a secure attachment relationship as a social buffer against less adaptive temperamental dispositions. Additional analyses indicated that adrenocortical reactivity and behavioural distress were not based on common activation processes. Biobehavioural associations within the different attachment groups suggest that biobehavioural processes in securely attached infants may be different from those in insecurely attached and disorganised groups. Whereas a coping model may be applied to describe the biobehavioural organisation of secure infants, an arousal model explanation may be more appropriate for the other groups

Tentative Evidence for Relativistic Electrons Generated by the Jet of the Young Sun-like Star DG Tau

Synchrotron emission has recently been detected in the jet of a massive protostar, providing further evidence that certain jet formation characteristics for young stars are similar to those found for highly relativistic jets from AGN. We present data at 325 and 610 MHz taken with the GMRT of the young, low-mass star DG Tau, an analog of the Sun soon after its birth. This is the first investigation of a low-mass YSO at at such low frequencies. We detect emission with a synchrotron spectral index in the proximity of the DG Tau jet and interpret this emission as a prominent bow shock associated with this outflow. This result provides tentative evidence for the acceleration of particles to relativistic energies due to the shock impact of this otherwise very low-power jet against the ambient medium. We calculate the equipartition magnetic field strength (0.11 mG) and particle energy (4x10^40 erg), which are the minimum requirements to account for the synchrotron emission of the DG Tau bow shock. These results suggest the possibility of low energy cosmic rays being generated by young Sun-like stars.Comment: 19 pages, 2 figures, accepted for publication in ApJ Letter

Global climate change and tree nutrition: effects of elevated CO2 and temperature

Although tree nutrition has not been the primary focus of large climate change experiments on trees, we are beginning to understand its links to elevated atmospheric CO2 and temperature changes. This review focuses on the major nutrients, namely N and P, and deals with the effects of climate change on the processes that alter their cycling and availability. Current knowledge regarding biotic and abiotic agents of weathering, mobilization and immobilization of these elements will be discussed. To date, controlled environment studies have identified possible effects of climate change on tree nutrition. Only some of these findings, however, were verified in ecosystem scale experiments. Moreover, to be able to predict future effects of climate change on tree nutrition at this scale, we need to progress from studying effects of single factors to analysing interactions between factors such as elevated CO2, temperature or water availability

Relativistic Approach to Superfluidity in Nuclear Matter

Pairing correlations in symmetric nuclear matter are studied within a relativistic mean-field approximation based on a field theory of nucleons coupled to neutral ($\sigma$ and $\omega$) and to charged ($\varrho$) mesons. The Hartree-Fock and the pairing fields are calculated in a self-consistent way. The energy gap is the result of a strong cancellation between the scalar and vector components of the pairing field. We find that the pair amplitude vanishes beyond a certain value of momentum of the paired nucleons. This fact determines an effective cutoff in the gap equation. The value of this cutoff gives an energy gap in agreement with the estimates of non relativistic calculations.Comment: 21 pages, REVTEX, 8 ps-figures, to appear in Phys.Rev.C. e-mail: [email protected]

A cancer derived mutation in the Retinoblastoma gene with a distinct defect for LXCXE dependent interactions

<p>Abstract</p> <p>Background</p> <p>The interaction between viral oncoproteins such as Simian virus 40 TAg, adenovirus E1A, and human papilloma virus E7, and the retinoblastoma protein (pRB) occurs through a well characterized peptide sequence, LXCXE, on the viral protein and a well conserved groove in the pocket domain of pRB. Cellular proteins, such as histone deacetylases, also use this mechanism to interact with the retinoblastoma protein to repress transcription at cell cycle regulated genes. For these reasons this region of the pRB pocket domain is thought to play a critical role in growth suppression.</p> <p>Results</p> <p>In this study, we identify and characterize a tumor derived allele of the retinoblastoma gene (<it>RB1</it>) that possesses a discrete defect in its ability to interact with LXCXE motif containing proteins that compromises proliferative control. To assess the frequency of similar mutations in the <it>RB1 </it>gene in human cancer, we screened blood and tumor samples for similar alleles. We screened almost 700 samples and did not detect additional mutations, indicating that this class of mutation is rare.</p> <p>Conclusions</p> <p>Our work provides proof of principal that alleles encoding distinct, partial loss of function mutations in the retinoblastoma gene that specifically lose LXCXE dependent interactions, are found in human cancer.</p

On stability of discretizations of the Helmholtz equation (extended version)

We review the stability properties of several discretizations of the Helmholtz equation at large wavenumbers. For a model problem in a polygon, a complete $k$-explicit stability (including $k$-explicit stability of the continuous problem) and convergence theory for high order finite element methods is developed. In particular, quasi-optimality is shown for a fixed number of degrees of freedom per wavelength if the mesh size $h$ and the approximation order $p$ are selected such that $kh/p$ is sufficiently small and $p = O(\log k)$, and, additionally, appropriate mesh refinement is used near the vertices. We also review the stability properties of two classes of numerical schemes that use piecewise solutions of the homogeneous Helmholtz equation, namely, Least Squares methods and Discontinuous Galerkin (DG) methods. The latter includes the Ultra Weak Variational Formulation