A model of specification-based testing of interactive systems

In this paper we present a model of specification-based testing of interactive systems. This model provides the basis for a framework to guide such testing. Interactive systems are traditionally decomposed into a functionality component and a user interface component; this distinction is termed dialogue separation and is the underlying basis for conceptual and architectural models of such systems. Correctness involves both proper behaviour of the user interface and proper computation by the underlying functionality. Specification-based testing is one method used to increase confidence in correctness, but it has had limited application to interactive system development to date.

Influence of Mg content on the microstructure and solid solution chemistry of Al-7%Si-Mg casting alloys during solution treatment

The solution treatment stage of the T6 heat-treatment of Al-7%Si-Mg foundry alloys influences microstructural features such as Mg2Si dissolution, and eutectic silicon spheroidisation and coarsening. Microstructural and microanalytical studies have been conducted across a range of Sr-modified Al-7%Si alloys, with an Fe content of 0.12% and Mg contents ranging from 0.3-0.7wt%. Qualitative and quantitative metallography have shown that, in addition to the above changes, solution treatment also results in changes to the relative proportions of iron-containing intermetallic particles and that these changes are composition-dependent. While solution treatment causes a substantial transformation of pi phase to beta phase in low Mg alloys (0.3-0.4%), this change is not readily apparent at higher Mg levels (0.6-0.7%). The pi to beta transformation is accompanied by a release of Mg into the aluminum matrix over and above that which arises from the rapid dissolution of Mg2Si. Since the level of matrix Mg retained after quenching controls an alloy's subsequent precipitation hardening response, a proper understanding of this phase transformation is crucial if tensile properties are to be maximised.

Motor imagery in Parkinson's disease: A PET study

We used positron emission tomography (PET) with O-15-labelled water to record patterns of cerebral activation in six patients with Parkinson's disease (PD), studied when clinically off and after turning on as a result of dopaminergic stimulation. They were asked to imagine a Finger opposition movement performed with their right hand. externally paced at a rate of 1 Hz. Trials alternating between motor imagery and rest were measured. A pilot study of three age-matched controls was also performed. We chose the task as a robust method of activating the supplementary motor area (SMA), defects of which have been reported in PD. The PD patients showed normal de-rees of activation of the SMA (proper) when both off and on. Significant activation with imagining movement also occurred in the ipsilateral inferior parietal cortex (both off and when on) and ipsilateral premotor cortex (when off only). The patients showed significantly greater activation of the rostral anterior cingulate and significantly less activation of the left lingual gyrus and precuneus when performing the task on compared with their performance when off. PD patients when imagining movement and off showed less activation of several sites including the right dorsolateral prefrontal cortex (DLPFC) when compared to the controls performing the same task. No significant differences from controls were present when the patients imagined when on. Our results are consistent with other studies showing deficits of pre-SMA function in PD with preserved function of the SMA proper. In addition to the areas of reduced activation (anterior cingulate, DLPFC), there were also sites of activation (ipsilateral premotor and inferior parietal cortex) previously reported as locations of compensatory overactivity for PD patients performing similar tasks. Both failure of activation and compensatory changes a-re likely to contribute to the motor deficit in PD. (C) 2001 Movement Disorder Society.

Lentiviral vector-mediated tyro sinase-related protein 2 gene transfer to dendritic cells for the therapy of melanoma

Dendritic cells (DCs) are the most potent professional antigen-presenting cells (APCs), which play a vital role in primary immune responses. Introducing genes into DCs will allow constitutive expression of the encoded proteins and thus prolong the presentation of the antigens derived therefrom. In addition, multiple and unidentified epitopes encoded by the entire tumor-associated antigen (TAA) gene may enhance T cell activation. This study demonstrated that an HIV-1-based lentiviral vector conferred efficient gene transfer to DCs. The transgene, murine tyrosinase-related protein 2 (mTRP-2), encodes a clinically relevant melanoma-associated antigen (MAA), which has been found to be a tumor rejection antigen for B16 melanoma. The transfer and proper processing of mTRP-2 in DCs, in terms of RNA transcription activity and protein expression, were verified by RT-PCR and specific antibody, respectively. Administration of mTRP-2 gene-modified DCs (DC-HR'CmT2) to C57BL/6 mice evoked strong protection against tumor challenge, for which the presence of CD4(+) and CD8(+) cells during both the priming and challenge phase was essential. In a therapy model, our results showed that four of seven mice with preestablished tumor remained tumor free for 80 days after therapeutic vaccination. Given the results shown in this study, mTRP-2 gene transfer to DCs provides a potential therapeutic strategy for the management of melanoma, especially in the early stage of the disease.

The preparation and execution of self-initiated and externally-triggered movement: A study of event-related fMRI

Studies of functional brain imaging in humans and single cell recordings in monkeys have generally shown preferential involvement of the medially located supplementary motor area (SMA) in self-initiated movement and the lateral premotor cortex in externally cued movement. Studies of event-related cortical potentials recorded during movement preparation, however, generally show increased cortical activity prior to self-initiated movements but little activity at early stages prior to movements that are externally cued at unpredictable times. In this study, the spatial location and relative timing of activation for self-initiated and externally triggered movements were examined using rapid event-related functional MRI. Twelve healthy right-handed subjects were imaged while performing a brief finger sequence movement (three rapid alternating button presses: index-middle-index finger) made either in response to an unpredictably timed auditory cue (between 8 to 24 s after the previous movement) or at self-paced irregular intervals. Both movement conditions involved similar strong activation of medial motor areas including the pre-SMA, SMA proper, and rostral cingulate cortex, as well as activation within contralateral primary motor, superior parietal, and insula cortex. Activation within the basal ganglia was found for self-initiated movements only, while externally triggered movements involved additional bilateral activation of primary auditory cortex. Although the level of SMA and cingulate cortex activation did not differ significantly between movement conditions, the timing of the hemodynamic response within the pre-SMA was significantly earlier for self-initiated compared with externally triggered movements. This clearly reflects involvement of the pre-SMA in early processes associated with the preparation for voluntary movement. (C) 2002 Elsevier Science.

Conductivity, NMR and crystallographic study of N,N,N,N-tetramethylammonium dicyanamide plastic crystal phases: an archetypal ambient temperature plastic electrolyte material

N,N,N,N-Tetramethylammonium dicyanamide (Me(4)NDCA) has been examined via differential scanning calorimetry (DSC), thermogravimetric analysis, conductivity, single crystal X-ray diffraction and H-1 nuclear magnetic resonance (NMR) analyses, and was found to be highly conductive in the solid state (sigma = 10(-3) S cm(-2) at 420 K) and to also exhibit unusual plastic crystal behaviour. To investigate the correlation between such behaviour and the occurrence of molecular rotations in the crystal, H-1 NMR second moment measurements are compared with calculated values predicted from the crystal structure. While DSC analysis indicates a number of solid-solid transitions at ambient temperatures, subsequent H-1 NMR analysis of the Me4N+ cation shows that a variety of rotational motions become active at low (

Background risk in generalized expected utility theory

In this paper, it is shown that, for a wide range of risk-averse generalized expected utility preferences, independent risks are complementary, contrary to the results for expected utility preferences satisfying conditions such as proper and standard risk aversion.

On S-asymptotically omega-periodic functions on Banach spaces and applications

This paper is devoted to the study of the class of continuous and bounded functions f : [0, infinity] -> X for which exists omega > 0 such that lim(t ->infinity) (f (t + omega) - f (t)) = 0 (in the sequel called S-asymptotically omega-periodic functions). We discuss qualitative properties and establish some relationships between this type of functions and the class of asymptotically omega-periodic functions. We also study the existence of S-asymptotically omega-periodic mild solutions of the first-order abstract Cauchy problem in Banach spaces. (C) 2008 Elsevier Inc. All rights reserved.

The Mesozoic and Cenozoic motion of Adria (central Mediterranean): a review of constraints and limitations

This paper presents kinematic analysis on the motion of Adria, which is the continental mass that bridges Africa and Europe in the central Mediterranean. Palaeomagnetic data show a general coherence between the motion of Adria and Africa since the Late Paleozoic. This mutual motion, for the period from 120 Ma and the present, is verified by comparing inferred palaeolatitudes from relatively stable parts of Adria (Apulia, Gargano, Istria, and the Southern Alps) and the Hyblean Plateau, with latitudinal changes that are calculated from the motion of Africa with respect to hotspots. Additional constraints on the motion of Adria are provided from the Late Paleozoic-Early Mesozoic passive margin of Adria in the Ionian Sea. The seismic structure of the floor of the Ionian Sea resembles the structure of the oceanic crust in marginal back-arc basins, suggesting that it formed as a small ocean basin. Furthermore, the Ionian lithosphere in the Calabrian arc has been subjected to rapid rollback, which commonly occurs only when the subducting slab is made of oceanic lithosphere. This oceanic domain marks the Pennian-Triassic to Jurassic plate boundary between Adria and Africa, suggesting that a small amount of independent motion between Adria and Africa took place at that time. Since the Jurassic, Adria and Africa have shared a relatively coherent motion path. (C) 2004 Lavoisier SAS. All rights reserved.

The Western Alps from the Jurassic to Oligocene: spatio-temporal constraints and evolutionary reconstructions

Despite extensive research in the last 150 years, the regional tectonic reconstruction of the Western Alps has remained controversial. The curved orogenic belt consists of several ribbon-like continental terranes (Sesia/Austroalpine, Internal Crystalline Massifs, Brianconnais), which are separated by two or more ophiolitic sutures (Piemonte, Valais, Antrona?, Lanzo/ Canavese?). High-pressure (HP) metamorphism of each terrane occurred during distinct orogenic episodes: at similar to65 Ma in the Sesia/Austroalpine, at similar to45 Ma in the Piemonte zone and at similar to35 Ma in the Internal Crystalline Massifs. It is suggested that these events reflect individual accretionary episodes, which together with kinematic indicators and the speed and direction of plate motions, provide constraints for the discussed reconstruction model. The model involves a prolonged orogenic history that took place during relative convergence of Europe and Adria (here considered as a promontory of the African plate). The first accretionary event involved the Sesia/Austroalpine terrane. Final closure of the Piemonte Ocean occurred during the Eocene (similar to45 Ma) and involved ultra-high-pressure (UHP) metamorphism of the Piemonte oceanic crust. Incorporation of the Brianconnais terrane in the accretionary wedge occurred thereafter, possibly during or after subduction of the Valais Ocean in the late Eocene (45-35 Ma). This subduction was terminated at ca. 35 Ma, when the Internal Crystalline Massifs (i.e. the assumed internal parts of the Brianconnais terrane) were buried into great depths and underwent HP and UHP metamorphism. (C) 2004 Elsevier B.V. All rights reserved.

Characterization of temperature dependent and substrate-binding cleft movements in Bacillus circulans family 11 xylanase: A molecular dynamics investigation

Background: Xylanases (EC 3.2.1.8) hydrolyze xylan, one of the most abundant plant polysaccharides found in nature, and have many potential applications in biotechnology. Methods: Molecular dynamics simulations were used to investigate the effects of temperature between 298 to 338 K and xylobiose binding on residues located in the substrate-binding cleft of the family 11 xylanase from Bacillus circulans (BcX). Results: In the absence of xylobiose the BcX exhibits temperature dependent movement of the thumb region which adopts an open conformation exposing the active site at the optimum catalytic temperature (328 K). In the presence of substrate, the thumb region restricts access to the active site at all temperatures, and this conformation is maintained by substrate/protein hydrogen bonds involving active site residues, including hydrogen bonds between Tyr69 and the 2` hydroxyl group of the substrate. Substrate access to the active site is regulated by temperature dependent motions that are restricted to the thumb region, and the BcX/substrate complex is stabilized by extensive intermolecular hydrogen bonding with residues in the active site. General significance: These results call for a revision of both the ""hinge-bending"" model for the activity of group 11 xylanases, and the role of Tyr69 in the catalytic mechanism. (C) 2009 Elsevier B.V. All rights reserved.

Evolutionary History of Arabidopsis thaliana Aminoacyl-tRNA Synthetase Dual-Targeted Proteins

Aminoacyl-transfer RNA (tRNA) synthetases (aaRS) are key players in translation and act early in protein synthesis by mediating the attachment of amino acids to their cognate tRNA molecules. In plants, protein synthesis may occur in three subcellular compartments (cytosol, mitochondria, and chloroplasts), which requires multiple versions of the protein to be correctly delivered to its proper destination. The organellar aaRS are nuclear encoded and equipped with targeting information at the N-terminal sequence, which enables them to be specifically translocated to their final location. Most of the aaRS families present organellar proteins that are dual targeted to mitochondria and chloroplasts. Here, we examine the dual targeting behavior of aaRS from an evolutionary perspective. Our results show that Arabidopsis thaliana aaRS sequences are a result of a horizontal gene transfer event from bacteria. However, there is no evident bias indicating one single ancestor (Cyanobacteria or Proteobacteria). The dual-targeted aaRS phylogenetic relationship was characterized into two different categories (paralogs and homologs) depending on the state recovered for both dual-targeted and cytosolic proteins. Taken together, our results suggest that the dual-targeted condition is a gain-of-function derived from gene duplication. Selection may have maintained the original function in at least one of the copies as the additional copies diverged.

Molecular epidemiology: A multidisciplinary approach to understanding parasitic zoonoses

Sound application of molecular epidemiological principles requires working knowledge of both molecular biological and epidemiological methods. Molecular tools have become an increasingly important part of studying the epidemiology of infectious agents. Molecular tools have allowed the aetiological agent within a population to be diagnosed with a greater degree of efficiency and accuracy than conventional diagnostic tools. They have increased the understanding of the pathogenicity, virulence, and host-parasite relationships of the aetiological agent, provided information on the genetic structure and taxonomy of the parasite and allowed the zoonotic potential of previously unidentified agents to be determined. This review describes the concept of epidemiology and proper study design, describes the array of currently available molecular biological tools and provides examples of studies that have integrated both disciplines to successfully unravel zoonotic relationships that would otherwise be impossible utilising conventional diagnostic tools. The current limitations of applying these tools, including cautions that need to be addressed during their application are also discussed.(c) 2005 Australian Society for Parasitology Inc. Published by Elsevier Ltd. All rights reserved.

The role of micro-anchor devices in medial canthopexy

Telecanthus, the lateral displacement of the medial canthus, can be a congenital deformity or can occur after facial trauma or tumor resection. Treatment of telecanthus remains a challenge for plastic surgeons. For proper correction, it is necessary to shift the medial canthus medially, fixing its tendon to the bone. The ideal technique would allow easy, safe, and stable fixation of the tendon, permit a unilateral approach with minimal incisions, and be cost-effective. The purpose of this study was to evaluate the feasibility and results (immediate and long-term) of medial telecanthus repair using ipsilateral titanium microanchor fixation. Nine patients, 7 with unilateral telecanthus and 2 with bilateral telecanthus, underwent ipsilateral canthopexy involving a microanchor device. Anthropometric measurements of the orbital regions were taken before, immediately after, and at 1 year after surgery. Data for the affected sides were compared with those for the unaffected sides, and the evolution of those values was assessed throughout the 1-year follow-up period. For all patients, the final values were lower than those initially obtained. At 1 year after surgery, the intercanthal distance was reduced to age-adjusted normal values in all cases. On the operated side, stable improvement was observed in terms of the distance from the medial canthus to the midline, although some degree of recurrence was noted in most of the patients. The use of a microanchor system for medial canthopexy can be considered an easily performed and effective option for treating canthal dystopia, especially when an ipsilateral approach is preferred.