On the relative complexity of labelled modal tableaux

We investigate the relative complexity of two free-variable labelled modal tableaux(KEM and Single Step Tableaux, SST). We discuss the reasons why p-simulation is not a proper measure of the relative complexity of tableaux-like proof systems, and we propose an improved comparison scale (p-search-simulation). Finally we show that KEM p-search-simulates SST while SST cannot p-search-simulate KEM.

An analysis of relational complexity in an air traffic control conflict detection task

Theoretical analyses of air traffic complexity were carried out using the Method for the Analysis of Relational Complexity. Twenty-two air traffic controllers examined static air traffic displays and were required to detect and resolve conflicts. Objective measures of performance included conflict detection time and accuracy. Subjective perceptions of mental workload were assessed by a complexity-sorting task and subjective ratings of the difficulty of different aspects of the task. A metric quantifying the complexity of pair-wise relations among aircraft was able to account for a substantial portion of the variance in the perceived complexity and difficulty of conflict detection problems, as well as reaction time. Other variables that influenced performance included the mean minimum separation between aircraft pairs and the amount of time that aircraft spent in conflict.

The impact of expert testimony on jurors' decisions: Gender of the expert and testimony complexity

The present study investigated whether people used the gender of an expert witness as a heuristic cue to evaluate the evidence presented by the expert. Specifically, the gender of the expert and the complexity of the expert's testimony (low, high) were varied systematically within a simulated civil trial involving an antitrust price-fixing agreement. It was expected that the male expert would be more persuasive than the female expert, but only when the testimony presented was complex. As predicted, this interaction was revealed across a range of dependent measures. Somewhat unexpected was the finding of a female expert advantage in the low-complexity condition. The implications of these findings are discussed.

Attachment style and coping resources as predictors of coping strategies in the transition to parenthood

The relations among adult attachment style, coping resources, appraised strain, and coping strategies were examined in a prospective study of married couples having their first child (N = 92). Attachment and coping resources were measured during the second trimester of pregnancy, and parenting strain and coping strategies were assessed when the babies were about 6 weeks old. Results supported a theoretical model proposing that attachment is predictive of coping resources and appraised strain, and that attachment, resources, and strain are predictive of coping strategies. Results also highlighted the complexity of associations among attachment, stress, and coping: Gender differences in mean scores and predictive associations were obtained, and some interactions were found between resources and strain in predicting coping strategies. The findings support the utility of integrating theories of attachment and coping in explaining couples' adjustment to important developmental transitions.

On compliance of business processes with business contracts

This paper addresses the problem of ensuring compliance of business processes, implemented within and across organisational boundaries, with the constraints stated in related business contracts. In order to deal with the complexity of this problem we propose two solutions that allow for a systematic and increasingly automated support for addressing two specific compliance issues. One solution provides a set of guidelines for progressively transforming contract conditions into business processes that are consistent with contract conditions thus avoiding violation of the rules in contract. Another solution compares rules in business contracts and rules in business processes to check for possible inconsistencies. Both approaches rely on a computer interpretable representation of contract conditions that embodies contract semantics. This semantics is described in terms of a logic based formalism allowing for the description of obligations, prohibitions, permissions and violations conditions in contracts. This semantics was based on an analysis of typical building blocks of many commercial, financial and government contracts. The study proved that our contract formalism provides a good foundation for describing key types of conditions in contracts, and has also given several insights into valuable transformation techniques and formalisms needed to establish better alignment between these two, traditionally separate areas of research and endeavour. The study also revealed a number of new areas of research, some of which we intend to address in near future.

One size doesn't fit all: Research methodologies in a language variation study of Sudanese teens

The research reported here draws on a study of five teenagers from a Dinka-speaking community of Sudanese settling in Australia. A range of factors including language proficiency, social network structure and language attitudes are examined as possible causes for the variability of language use. The results and discussion illustrate how the use of a triangular research approach captured the complexity of the participants' language situation and was critical to developing a full understanding of the interplay of factors influencing the teens' language maintenance and shift in a way that no single method could. Further, it shows that employment of different methodologies allowed for flexibility in data collection to ensure the fullest response from participants. Overall, this research suggests that for studies of non-standard communities, variability in research methods may prove more of a strength that the use of standardised instruments and approaches.

Theory of modulational instability in Bragg gratings with quadratic nonlinearity

Modulational instability in optical Bragg gratings with a quadratic nonlinearity is studied. The electric field in such structures consists of forward and backward propagating components at the fundamental frequency and its second harmonic. Analytic continuous wave (CW) solutions are obtained, and the intricate complexity of their stability, due to the large number of equations and number of free parameters, is revealed. The stability boundaries are rich in structures and often cannot be described by a simple relationship. In most cases, the CW solutions are unstable. However, stable regions are found in the nonlinear Schrodinger equation limit, and also when the grating strength for the second harmonic is stronger than that of the first harmonic. Stable CW solutions usually require a low intensity. The analysis is confirmed by directly simulating the governing equations. The stable regions found have possible applications in second-harmonic generation and dark solitons, while the unstable regions maybe useful in the generation of ultrafast pulse trains at relatively low intensities. [S1063-651X(99)03005-6].

The origin of the metazoan biphasic life cycle: New insights from an ancient phylum

The biphasic life cycle, characterised by metamorphosis from a pelagic larva to a benthic adult, is found throughout the Metazoa. So is sexual reproduction via eggs and sperm. Amidst a tangled web of hypotheses on the origin of metazoan biphasy, current weight of opinion lies with a simple, larva-like holopelagic ancestor that independently settled multiple times to incorporate a benthic phase into the life cycle. This school of thought derives from Haeckel's interpretation of the gastrula as the recapitulation of a gastrean ancestor that evolved via selection on a simple, planktonic hollow ball-of-cells to develop the capacity to feed. We suggest that a paradigm shift is required to accomodate accumulating evidence of the genomic and developmental complexity of the metazoan last common ancestor, which was likely to have already possessed a biphasic lifecycle. Here we incorporate recent evidence from basal metazoans, in particular poriferans, to argue that a more parsimonious theory of the origin of biphasy is as a direct consequence of sexual reproduction in an ancestral benthic adult form. The metazoan embryo can itself be considered the precursor to a biphasic life cycle, wherein the embryo represents one phase and the adult another. Embryos in the water column are subject to natural selection for longeveity and dispersal, which sets them on the evolutionary trajectory towards the crown metazoan planktonic larvae. This alternate view considers the conserved use of regulatory genes in disparate metazoans as a reflection of both the complexity of the LCA and the antiquity of the biphasic life cycle. It does not require that extant embryogenesis, including gastrulation, recapitulates evolution.

Modelling of cold-formed purlin-sheeting systems .1. Full model

Purlin-sheeting systems used for roofs and walls commonly take the form of cold-formed channel or zed section purlins, screw-connected to corrugated sheeting. These purlin-sheeting systems have been the subject of numerous theoretical and experimental investigations over the past three decades, but the complexity of the systems has led to great difficulty in developing a sound and general model. This paper presents a non-linear elasto-plastic finite element model, capable of predicting the behaviour of purlin-sheeting systems without the need for either experimental input or over simplifying assumptions. The model incorporates both the sheeting and the purlin, and is able to account for cross-sectional distortion of the purlin, the flexural and membrane restraining effects of the sheeting, and failure of the purlin by local buckling or yielding. The validity of the model is shown by its good correlation with experimental results. A simplified version of this model, which is more suitable for use in a design environment, is presented in a companion paper. (C) 1997 Elsevier Science Ltd.

Family advocacy roles and highly dependent residents in nursing homes

A developing critique has questioned the practical utility of user rights policy initiatives for highly dependent residents of nursing homes. This paper seeks to extend this critique to the advocacy roles that families have been accorded within the policy initiatives, The discussion is based on a qualitative research study of family participation in six aged care units, The paper argues that the capacity of families to act as advocates for highly dependent nursing home residents is is limited by the their weak position within the organisations and the complexity of their relations with staff It questions both the applicability and the appropriateness of rights models which do not take sufficient account of the structure and meaning of care.

Modelling of cold-formed purlin-sheeting systems .2. Simplified model

A number of theoretical and experimental investigations have been made into the nature of purlin-sheeting systems over the past 30 years. These systems commonly consist of cold-formed zed or channel section purlins, connected to corrugated sheeting. They have proven difficult to model due to the complexity of both the purlin deformation and the restraint provided to the purlin by the sheeting. Part 1 of this paper presented a non-linear elasto plastic finite element model which, by incorporating both the purlin and the sheeting in the analysis, allowed the interaction between the two components of the system to be modelled. This paper presents a simplified version of the first model which has considerably decreased requirements in terms of computer memory, running time and data preparation. The Simplified Model includes only the purlin but allows for the sheeting's shear and rotational restraints by modelling these effects as springs located at the purlin-sheeting connections. Two accompanying programs determine the stiffness of these springs numerically. As in the Full Model, the Simplified Model is able to account for the cross-sectional distortion of the purlin, the shear and rotational restraining effects of the sheeting, and failure of the purlin by local buckling or yielding. The model requires no experimental or empirical input and its validity is shown by its goon con elation with experimental results. (C) 1997 Elsevier Science Ltd.