2,199 research outputs found
Weak refinement in Z
An important aspect in the specification of distributed systems is the role of the internal (or unobservable) operation. Such operations are not part of the user interface (i.e. the user cannot invoke them), however, they are essential to our understanding and correct modelling of the system. Various conventions have been employed to model internal operations when specifying distributed systems in Z. If internal operations are distinguished in the specification notation, then refinement needs to deal with internal operations in appropriate ways. However, in the presence of internal operations, standard Z refinement leads to undesirable implementations.
In this paper we present a generalization of Z refinement, called weak refinement, which treats internal operations differently from observable operations when refining a system. We illustrate some of the properties of weak refinement through a specification of a telecommunications protocol
Formal Specification and Testing of a Management Architecture
The importance of network and distributed systems management to supply and maintain services required by users has led to a demand for management facilities. Open network management is assisted by representing the system resources to be managed as objects, and providing standard services and protocols for interrogating and manipulating these objects. This paper examines the application of formal description techniques to the specification of managed objects by presenting a case study in the specification and testing of a management architecture. We describe a formal specification of a management architecture suitable for scheduling and distributing services across nodes in a distributed system. In addition, we show how formal specifications can be used to generate conformance tests for the management architecture
The ACIGA Data Analysis programme
The Data Analysis programme of the Australian Consortium for Interferometric
Gravitational Astronomy (ACIGA) was set up in 1998 by the first author to
complement the then existing ACIGA programmes working on suspension systems,
lasers and optics, and detector configurations. The ACIGA Data Analysis
programme continues to contribute significantly in the field; we present an
overview of our activities.Comment: 10 pages, 0 figures, accepted, Classical and Quantum Gravity,
(Proceedings of the 5th Edoardo Amaldi Conference on Gravitational Waves,
Tirrenia, Pisa, Italy, 6-11 July 2003
An information theoretic characterisation of auditory encoding.
The entropy metric derived from information theory provides a means to quantify the amount of information transmitted in acoustic streams like speech or music. By systematically varying the entropy of pitch sequences, we sought brain areas where neural activity and energetic demands increase as a function of entropy. Such a relationship is predicted to occur in an efficient encoding mechanism that uses less computational resource when less information is present in the signal: we specifically tested the hypothesis that such a relationship is present in the planum temporale (PT). In two convergent functional MRI studies, we demonstrated this relationship in PT for encoding, while furthermore showing that a distributed fronto-parietal network for retrieval of acoustic information is independent of entropy. The results establish PT as an efficient neural engine that demands less computational resource to encode redundant signals than those with high information content
Quantum atomic delocalization vs. structural disorder in amorphous silicon
Quantum effects on the atom delocalization in amorphous silicon have been
studied by path-integral Monte Carlo simulations from 30 to 800 K. The quantum
delocalization is appreciable vs. topological disorder, as seen from structural
observables such as the radial distribution function (RDF). At low
temperatures, the width of the first peak in the RDF increases by a factor of
1.5 due to quantum effects. The overall anharmonicity of the solid vibrations
at finite temperatures in amorphous silicon is clearly larger than in the
crystalline material. Low-energy vibrational modes are mainly located on
coordination defects in the amorphous material.Comment: 5 pages, 5 PS figures, REVTE
Understanding individual resilience in the workplace: the international collaboration of workforce resilience model
When not managed effectively, high levels of workplace stress can lead to several negative personal and performance outcomes. Some professional groups work in highly stressful settings and are therefore particularly at risk of conditions such as anxiety, depression, secondary traumatic stress, and burnout. However, some individuals are less affected by workplace stress and the associated negative outcomes. Such individuals have been described as “resilient.” A number of studies have found relationships between levels of individual resilience and specific negative outcomes such as burnout and compassion fatigue. However, because psychological resilience is a multi-dimensional construct it is necessary to more clearly delineate it from other related and overlapping constructs. The creation of a testable theoretical model of individual workforce resilience, which includes both stable traits (e.g., neuroticism) as well as more malleable intrapersonal factors (e.g., coping style), enables information to be derived that can eventually inform interventions aimed at enhancing individual resilience in the workplace. The purpose of this paper is to introduce a new theoretical model of individual workforce resilience that includes several intrapersonal constructs known to be central in the appraisal of and response to stressors and that also overlap with the construct of psychological resilience. We propose a model in which psychological resilience is hypothesized to mediate the relationship between neuroticism, mindfulness, self-efficacy, coping, and psychological adjustment
Quantum wires from coupled InAs/GaAs strained quantum dots
The electronic structure of an infinite 1D array of vertically coupled
InAs/GaAs strained quantum dots is calculated using an eight-band
strain-dependent k-dot-p Hamiltonian. The coupled dots form a unique quantum
wire structure in which the miniband widths and effective masses are controlled
by the distance between the islands, d. The miniband structure is calculated as
a function of d, and it is shown that for d>4 nm the miniband is narrower than
the optical phonon energy, while the gap between the first and second minibands
is greater than the optical phonon energy. This leads to decreased optical
phonon scattering, providing improved quantum wire behavior at high
temperatures. These miniband properties are also ideal for Bloch oscillation.Comment: 5 pages revtex, epsf, 8 postscript figure
Molecular mechanism of influenza A NS1-mediated TRIM25 recognition and inhibition
RIG-I is a viral RNA sensor that induces the production of type I interferon (IFN) in response to infection with a variety of viruses. Modification of RIG-I with K63-linked poly-ubiquitin chains, synthesised by TRIM25, is crucial for activation of the RIG-I/MAVS signalling pathway. TRIM25 activity is targeted by influenza A virus non-structural protein 1 (NS1) to suppress IFN production and prevent an efficient host immune response. Here we present structures of the human TRIM25 coiled-coil-PRYSPRY module and of complexes between the TRIM25 coiled-coil domain and NS1. These structures show that binding of NS1 interferes with the correct positioning of the PRYSPRY domain of TRIM25 required for substrate ubiquitination and provide a mechanistic explanation for how NS1 suppresses RIG-I ubiquitination and hence downstream signalling. In contrast, the formation of unanchored K63-linked poly-ubiquitin chains is unchanged by NS1 binding, indicating that RING dimerisation of TRIM25 is not affected by NS1
Distinct Contribution of DNA Methylation and Histone Acetylation to the Genomic Occupancy of Transcription Factors
Abstract Epigenetic modifications on chromatin play important roles in regulating gene expression. While chromatin states are often governed by multi-layered structure, how individual pathways contribute to gene expression remains poorly understood. For example, DNA methylation is known to regulate transcription factor binding but also to recruit methyl-CpG binding proteins that affect chromatin structure through the activity of histone deacetylase complexes (HDACs). Both of these mechanisms can potentially affect gene expression, but the importance of each, and whether these activities are integrated to achieve appropriate gene regulation, remains largely unknown. To address this important question, we measured gene expression, chromatin accessibility, and transcription factor occupancy in wild-type or DNA methylation-deficient mouse embryonic stem cells following HDAC inhibition. Interestingly, we observe widespread increases in chromatin accessibility at repeat elements when HDACs are inhibited, and this is magnified when cells also lack DNA methylation. A subset of these elements have elevated binding of the YY1 and GABPA transcription factors and increased expression. The pronounced additive effect of HDAC inhibition in DNA methylation deficient cells demonstrate that DNA methylation and histone deacetylation act largely independently to suppress transcription factor binding and gene expression
- …