A new formation model for M32: a threshed early-type spiral galaxy?

The origin of M32, the closest compact elliptical galaxy (cE), is a long-standing puzzle of galaxy fort-nation in the Local Group. Our N-body/smoothed particle hydrodynamics simulations suggest a new scenario in which the strong tidal field of M31 can transform a spiral galaxy into a compact elliptical galaxy. As a low-luminosity spiral galaxy plunges into the central region of M31, most of the outer stellar and gaseous components of its disk are dramatically stripped as a result of M31's tidal field. The central bulge component, on the other hand, is just weakly influenced by the tidal field, owing to its compact configuration, and retains its morphology. M31's strong tidal field also induces rapid gas transfer to the central region, triggers a nuclear starburst, and consequently forms the central high-density and more metal-rich stellar populations with relatively young ages. Thus, in this scenario, M32 was previously the bulge of a spiral galaxy tidally interacting with M31 several gigayears ago. Furthermore, we suggest that cE's like M32 are rare, the result of both the rather narrow parameter space for tidal interactions that morphologically transform spiral galaxies into cE's and the very short timescale (less than a few times 10(9) yr) for cE's to be swallowed by their giant host galaxies (via dynamical friction) after their formation.

Biomimetic in silico devices

We introduce biomimetic in silico devices, and means for validation along with methods for testing and refining them. The devices are constructed from adaptable software components designed to map logically to biological components at multiple levels of resolution. In this report we focus on the liver; the goal is to validate components that mimic features of the lobule (the hepatic primary functional unit) and dynamic aspects of liver behavior, structure, and function. An assembly of lobule-mimetic devices represents an in silico liver. We validate against outflow profiles for sucrose administered as a bolus to isolated, perfused rat livers. Acceptable in silico profiles are experimentally indistinguishable from those of the in situ referent. This new technology is intended to provide powerful Dew tools for challenging our understanding of how biological functional units function in vivo.

Multifidus muscle recovery is not automatic after resolution of acute, first-episode low back pain

Study Design. A clinical study was conducted on 39 patients with acute, first-episode, unilateral low back pain and unilateral, segmental inhibition of the multifidus muscle. Patients were allocated randomly to a control or treatment group. Objectives. To document the natural course of lumbar multifidus recovery and to evaluate the effectiveness of specific, localized, exercise therapy on muscle recovery. Summary of Background Data. Acute low back pain usually resolves spontaneously, but the recurrence rate is high. Inhibition of multifidus occurs with acute, first-episode, low back pain, and pathologic changes in this muscle have been linked with poor outcome and recurrence of symptoms. Methods. Patients in group 1 received medical treatment only. Patients in group 2 received medical treatment and specific, localized, exercise therapy. Outcome measures for both groups included 4 weekly assessments of pain, disability, range of motion, and size of the multifidus cross-sectional area. Independent examiners were blinded to group allocation. Patients were reassessed at a 10-week follow-up examination. Results. Multifidus muscle recovery was not spontaneous on remission of painful symptoms in patients in group 1. Muscle recovery was more rapid and more complete in patients in group 2 who received exercise therapy (P = 0.0001). Other outcome measurements were similar for the two groups at the 4-week examination. Although they resumed normal levels of activity, patients in group 1 still had decreased multifidus muscle size at the 10-week follow-up examination. Conclusions. Multifidus muscle recovery is not spontaneous on remission of painful symptoms. Lack of localized, muscle support may be one reason for the high recurrence rate of low back pain following the initial episode.

Impairments of movement kinematics in patients with Huntington's disease: A comparison with and without a concurrent task

This study aimed to quantify the efficiency and smoothness of voluntary movement in Huntington's disease (HD) by the use of a graphics tablet that permits analysis of movement profiles. In particular, we aimed to ascertain whether a concurrent task (digit span) would affect the kinematics of goal-directed movements. Twelve patients with HD and their matched controls performed 12 vertical zig-zag movements, with both left and right hands (with and without the concurrent task), to large or small circular targets over long or short extents. The concurrent task was associated with shorter movement times and reduced right-hand superiority. Patients with HD were overall slower, especially with long strokes, and had similar peak velocities for both small and large targets, so that controls could better accommodate differences in target size. Patients with HD spent more time decelerating, especially with small targets, whereas controls allocated more nearly equal proportions of time to the acceleration and deceleration phases of movement, especially with large targets. Short strokes were generally less force inefficient than were long strokes, especially so for either hand in either group in the absence of the concurrent task, and for the right hand in its presence. With the concurrent task, however, the left hand's behavior changed differentially for the two groups; for patients with HD, it became more force efficient with short strokes and even less efficient with long strokes, whereas for controls, it became more efficient with long strokes. Controls may be able to divert attention away from the inferior left hand, increasing its automaticity, whereas patients with HD, because of disease, may be forced to engage even further online visual control under the demands of a concurrent task. Patients with HD may perhaps become increasingly reliant on terminal visual guidance, which indicates an impairment in constructing and refining an internal representation of the movement necessary for its. effective execution. Basal ganglia dysfunction may impair the ability to use internally generated cues to guide movement.

Supporting contexts in program refinement

A program can be refined either by transforming the whole program or by refining one of its components. The refinement of a component is, for the main part, independent of the remainder of the program. However, refinement of a component can depend on the context of the component for information about the variables that are in scope and what their types are. The refinement can also take advantage of additional information, such as any precondition the component can assume. The aim of this paper is to introduce a technique, which we call program window inference, to handle such contextual information during derivations in the refinement calculus. The idea is borrowed from a technique, called window inference, for handling context in theorem proving. Window inference is the primary proof paradigm of the Ergo proof editor. This tool has been extended to mechanize refinement using program window inference. (C) 1997 Elsevier Science B.V.

Proving Temporal Properties of Z Specifications Using Abstraction

This paper presents a systematic approach to proving temporal properties of arbitrary Z specifications. The approach involves (i) transforming the Z specification to an abstract temporal structure (or state transition system), (ii) applying a model checker to the temporal structure, (iii) determining whether the temporal structure is too abstract based on the model checking result and (iv) refining the temporal structure where necessary. The approach is based on existing work from the model checking literature, adapting it to Z.

The effect of musculoskeletal pain on motor activity and control

Aberrant movement patterns and postures are obvious to clinicians managing patients with musculoskeletal pain. However, some changes in motor function that occur in the presence of pain are less apparent. Clinical and basic science investigations have provided evidence of the effects of nociception on aspects of motor function. Both increases and decreases in muscle activity have been shown, along with alterations in neuronal control mechanisms, proprioception, and local muscle morphology. Various models have been proposed in an attempt to provide an explanation for some of these changes. These include the vicious cycle and pain adaptation models. Recent research has seen the emergence of a new model in which patterns of muscle activation and recruitment are altered in the presence of pain (neuromuscular activation model). These changes seem to particularly affect the ability of muscles to perform synergistic functions related to maintaining joint stability and control. These changes are believed to persist into the period of chronicity. This review shows current knowledge of the effect of musculoskeletal pain on the motor system and presents the various proposed models, in addition to other shown effects not covered by these models. The relevance of these models to both acute and chronic pain is considered. It is apparent that people experiencing musculoskeletal pain exhibit complex motor responses that may show some variation with the time course of the disorder. (C) 2001 by the American Pain Society.

Specification, refinement and verification of concurrent systems - An integration of Object-Z and CSP

This paper presents a method of formally specifying, refining and verifying concurrent systems which uses the object-oriented state-based specification language Object-Z together with the process algebra CSP. Object-Z provides a convenient way of modelling complex data structures needed to define the component processes of such systems, and CSP enables the concise specification of process interactions. The basis of the integration is a semantics of Object-Z classes identical to that of CSP processes. This allows classes specified in Object-Z to he used directly within the CSP part of the specification. In addition to specification, we also discuss refinement and verification in this model. The common semantic basis enables a unified method of refinement to be used, based upon CSP refinement. To enable state-based techniques to be used fur the Object-Z components of a specification we develop state-based refinement relations which are sound and complete with respect to CSP refinement. In addition, a verification method for static and dynamic properties is presented. The method allows us to verify properties of the CSP system specification in terms of its component Object-Z classes by using the laws of the the CSP operators together with the logic for Object-Z.

Solution structure of BSTI: A new trypsin inhibitor from skin secretions of Bombina bombina

The three-dimensional solution structure of BSTI, a trypsin inhibitor from the European frog Bombina bombina, has been solved using H-1 NMR spectroscopy. The 60 amino acid protein contains five disulfide bonds, which were unambiguously determined to be Cvs (4-38), Cys (13-34), Cys (17-30), Cys (21-60), and Cys (40-54) by experimental restraints and subsequent structure calculations. The main elements of secondary structure are four beta -strands, arranged as two small antiparallel beta -sheets, The overall fold of BSTI is disk shaped and is characterized by the lack of a hydrophobic core. The presumed active site is located on a loop comprising residues 21-34, which is a relatively disordered region similar to that seen in many other protease inhibitors. However, the overall fold is different to other known protease inhibitors with the exception of a small family of inhibitors isolated from nematodes of the family Ascaris and recently also from the haemolymph of Apis mellifera. BSTI may thus be classified as a new member of this recently discovered family of protease inhibitors.

HI observations of interacting galaxy pair NGC 4038/9

We present the results of new radio interferometer Hi line observations for the merging galaxy pair NGC 4038/9 ('The Antennae'), obtained using the Australia Telescope Compact Array. The results improve substantially with respect to those of van der Hulst and show in detail the two merging galactic discs and the two tidal tails produced by their interaction. The small edge-on spiral dwarf galaxy ESO 572-G045 is also seen near the tip of the southern tail, but distinct from it. It shows no signs of tidal interaction. The northern tidal tail of the Antennae shows no HI connection to the discs and has an extension towards the west. The southern tidal tail is continuous, with a prominent HI concentration at its tip, roughly at the location of the tidal dwarf galaxy observed optically by Mirabel, Dottori & Lutz. Clear velocity structure is seen along the tidal tails and in the galactic discs. Radio continuum images at 20 and 13 cm are also presented, showing the discs in detail.

Materialized view selection under the maintenance time constraint

A data warehouse is a data repository which collects and maintains a large amount of data from multiple distributed, autonomous and possibly heterogeneous data sources. Often the data is stored in the form of materialized views in order to provide fast access to the integrated data. One of the most important decisions in designing a data warehouse is the selection of views for materialization. The objective is to select an appropriate set of views that minimizes the total query response time with the constraint that the total maintenance time for these materialized views is within a given bound. This view selection problem is totally different from the view selection problem under the disk space constraint. In this paper the view selection problem under the maintenance time constraint is investigated. Two efficient, heuristic algorithms for the problem are proposed. The key to devising the proposed algorithms is to define good heuristic functions and to reduce the problem to some well-solved optimization problems. As a result, an approximate solution of the known optimization problem will give a feasible solution of the original problem. (C) 2001 Elsevier Science B.V. All rights reserved.

Developing a meta model for the Bunge-Wand-Weber ontological constructs

At the core of the analysis task in the development process is information systems requirements modelling, Modelling of requirements has been occurring for many years and the techniques used have progressed from flowcharting through data flow diagrams and entity-relationship diagrams to object-oriented schemas today. Unfortunately, researchers have been able to give little theoretical guidance only to practitioners on which techniques to use and when. In an attempt to address this situation, Wand and Weber have developed a series of models based on the ontological theory of Mario Bunge-the Bunge-Wand-Weber (BWW) models. Two particular criticisms of the models have persisted however-the understandability of the constructs in the BWW models and the difficulty in applying the models to a modelling technique. This paper addresses these issues by presenting a meta model of the BWW constructs using a meta language that is familiar to many IS professionals, more specific than plain English text, but easier to understand than the set-theoretic language of the original BWW models. Such a meta model also facilitates the application of the BWW theory to other modelling techniques that have similar meta models defined. Moreover, this approach supports the identification of patterns of constructs that might be common across meta models for modelling techniques. Such findings are useful in extending and refining the BWW theory. (C) 2002 Elsevier Science Ltd. All rights reserved.

Factors affecting the establishment and dispersal of nymphs of Pristhesancus plagipennis Walker (Hemiptera : Reduviidae) when released onto soybean, cotton and sunflower crops

A problem with augmenting predatory bugs through mass release is the logistical difficulty of delivering nymphs onto the foliage of field crops. In this paper we examine postrelease establishment and dispersal of the nymphs of the predatory bug Pristhesancus plagipennis on soybean, cotton and sunflower in an effort to devise an appropriate strategy for field release. The effects of predator stadia and release rates on field establishment and within-crop-canopy dispersal after hand release were recorded in soybean, cotton and sunflower. Field establishment improved with the release of more-developed nymphs, with third instars providing the most appropriate compromise between field hardiness and rearing cost. Increased nymphal density at the point of release had little effect on nymphal dispersal throughout the crop canopy. The patterns of nymphal dispersal observed on the three crops suggest that crop-canopy architecture may have an effect on the ability of nymphs to spread out postrelease, as nymphs dispersed poorly in cotton and sunflower compared to soybean. To overcome poor dispersal of nymphs after release, a mechanical release method, where nymphs were mixed with vermiculite and delivered onto a target crop through a spinning disk fertiliser spreader, was tested, and provided similar nymph establishment rates and dispersal patterns as releasing nymphs individually by hand. The implications of nymph dispersal and field hardiness in regard to inundative field release techniques are discussed.

Development of Trichogramma australicum Girault (Hymenoptera : Trichogrammatidae) in Helicoverpa (Lepidoptera : Noctuidae) host eggs

Morphological studies of development of the egg parasitoid Trichogramma australicum Girault in the cotton bollworm, Helicoverpa armigera (Hubner), were conducted to provide benchmarks for assessing developmental rates in both natural hosts and artificial diets. Observations of living embryos and histological sections show that embryos proceed rapidly through cleavage and blastoderm formation and show a characteristic pinching or rotation 8 h after deposition. Eggs progressively increase in volume, primarily by increasing in diameter at the widest point. At 29 rectangle 1 C the duration of the egg stage is 22-24 h, the larval stage 27 h, the prepupal stage 50-52 h, and pupa 85 h. Larvae undergo dramatic shape changes as they ingest food but do not show signs of larval moults, reinforcing observations that there is only one larval instar. Criteria for staging the embryonic and postembryonic development in natural hosts will be used for future studies aimed at developing and refining artificial diets for Trichogramma.

Exploring the role of market learning capability in competitive strategy

It has been argued that a firm's capacity to learn from its market is a source of both innovation and competitive advantage. However, past research has failed to conceptualize market-focused learning activity as a capability having the potential to contribute to competitive advantage. Prior innovation research has been biased toward technological innovation. However, there is evidence to suggest that both technological and non-technological innovations contribute to competitive advantage reflecting the need for a broader conceptualization of the innovation construct. Past research has also overlooked the critical role of entrepreneurship in the capability building process. Competitive advantage has been predominantly measured in terms of financial indicators of performance. In general, the literature reflects the need for comprehensive measures of organizational innovation and competitive advantage. This paper examines the role of market-focused learning capability in organizational innovation-based competitive strategy. The paper contributes to the strategic marketing theory by developing and refining measures of entrepreneurship, market-focused learning capability, organizational innovation and sustained competitive advantage, testing relationships among these constructs.