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.

Physicochemical characteristics of LR3-IGF1 protein inclusion bodies: Electrophoretic mobility studies

A knowledge of the physicochemical properties of inclusion bodies is important for the rational design of potential recovery processes such as flotation and precipitation. In this study, measurement of the size and electrophoretic mobility of protein inclusion bodies and cell debris was undertaken. SDS-PAGE analysis of protein inclusion bodies subjected to different cleaning regimes suggested that electrophoretic mobility provides a qualitative measure of protein inclusion body purity. Electrophoretic mobility as a function of electrolyte type and ionic strength was investigated. The presence of divalent ions produced a stronger effect on electrophoretic mobility compared with monovalent ions. The isoelectric point of cell debris was significantly lower than that for the inclusion bodies. Hence, the contaminating cell debris may be separated from inclusion bodies using flotation by exploiting this difference in isoelectric points. Separation by this method is simple, convenient, and a possible alternative to the conventional route of centrifugation.

Purification of recombinant human growth hormone from CHO cell culture supernatant by Gradiflow preparative electrophoresis technology

Purification of recombinant human growth hormone (rhGH) from Chinese hamster ovary (CHO) cell culture supernatant by Gradiflow large-scale electrophoresis is described. Production of rhGH in CHO cells is an alternative to production in Escherichia coli, with the advantage that rhGH is secreted into protein-free production media, facilitating a more simple purification and avoiding resolubilization of inclusion bodies and protein refolding. As an alternative to conventional chromatography, rhGH was purified in a one-step procedure using Gradiflow technology. Clarified culture supernatant containing rhGH was passed through a Gradiflow BF200 and separations were performed over 60 min using three different buffers of varying pH. Using a 50 mM Tris/Hepes buffer at pH 7.5 together with a 50 kDa separation membrane, rhGH was purified to approximately 98% purity with a yield of 90%. This study demonstrates the ability of Gradiflow preparative electrophoresis technology to purify rhGH from mammalian cell culture supernatant in a one-step process with high purity and yield. As the Gradiflow is directly scalable, this study also illustrates the potential for the inclusion of the Gradiflow into bioprocesses for the production of clinical grade rhGH and other therapeutic proteins. (C) 2003 Elsevier Science (USA). All rights reserved.

Mediatizing educational policy: The journalistic field, science policy, and cross-field effects

This paper is concerned to demonstrate the usefulness of the theory of Bourdieu, including the concepts of field, logics of practice and habitus, to understanding relationships between media and policy, what Fairclough has called the 'mediatization' of policy. Specifically, the paper draws upon Bourdieu's accessible account of the journalistic field as outlined in On television and journalism. The usefulness of this work is illustrated through a case study of a recent Australian science policy, The chance to change. As this policy went through various iterations and media representations, its naming and structure became more aphoristic. This is the mediatization of contemporary policy, which often results in policy as sound bite. The case study also shows the cross-field effects of this policy in education, illustrating how today educational policy can be spawned from developments in other public policy fields.

The Development of Science Education Research in Brazil and Contributions from the History and Philosophy of Science

Over the last 50 years a new research area, science education research, has arisen and undergone singular development worldwide. In the specific case of Brazil, research in science education first appeared systematically 40 years ago, as a consequence of an overall renovation in the field of science education. This evolution was also related to the political events taking place in the country. We will use the theoretical work of Rene Kaes on the development of groups and institutions as a basis for our discussion of the most important aspects that have helped the area of science education research develop into an institution and kept it operating as such. The growth of this area of research can be divided into three phases: The first was related to its beginning and early configurations; the second consisted of a process of consolidation of this institution; and the third consists of more recent developments, characterised by a multiplicity of research lines and corresponding challenges to be faced. In particular, we will analyse the special contributions to this study gleaned from the field known as the history and philosophy of science.

Taxonomic re-examination of the hermit crab species Pagurus forceps and Pagurus comptus (Decapoda: Paguridae) by molecular analysis

The current taxonomy of two poorly known hermit crab species Pagurus forceps H. Milne Edwards, 1836 and Pagurus comptus White, 1847 from temperate Pacific and Atlantic coastlines of South America is based only on adult morphology. Past studies have questioned the separation of these two very similar species, which occur sympatrically. We included specimens morphologically assignable to P. forceps and P. comptus in a phylogenetic analysis, along with other selected anomuran decapods, based on 16S ribosomal gene sequences. Differences between samples putatively assigned to either P. forceps and P. comptus were moderate, with sequence similarity ranging from 98.2 to 99.4% for the fragments analyzed. Our comparison of mitochondrial DNA sequences (16S rRNA) revealed diagnostic differences between the two putative species, suggesting that P. forceps and P. comptus are indeed phylogenetically close but different species, with no genetic justification to support their synonymization. The polyphyly of Pagurus is not corroborated here among the represented Atlantic species, despite obviously complex relationships among the members of the genus.

Quantification of carbamazepine, carbamazepine-10,11-epoxide, phenytoin and phenobarbital in plasma samples by stir bar-sorptive extraction and liquid chromatography

A sensitive and reproducible stir bar-sorptive extraction and high-performance liquid chromatography-UV detection (SBSE/HPLC-UV) method for therapeutic drug monitoring of carbamazepine, carbamazepine-10,11-epoxide, phenytoin and phenobarbital in plasma samples is described and compared with a liquid:liquid extraction (LLE/HPLC-UV) method. Important factors in the optimization of SBSE efficiency such as pH, extraction time and desorption conditions (solvents, mode magnetic stir, mode ultrasonic stir, time and number of steps) assured recoveries ranging from 72 to 86%, except for phenytoin (62%). Separation was obtained using a reverse phase C-18 column with UV detection (210 nm). The mobile phase consisted of water: acetonitrile (78:22, v/v). The SBSE/HPLC-UV method was linear over a working range of 0.08-40.0 mu g mL(-1) for carbamazepine, carbamazepine-10,11-epoxide and phenobarbital and 0.125-40.0 mu g mL(-1) for phenytoin, The intra-assay and inter-assay precision and accuracy were studied at three concentrations (1.0, 4.0 and 20.0 mu g mL(-1)). The intra-assay coefficients of variation (CVs) for all compounds were less than 8.8% and all inter-CVs were less than 10%. Limits of quantification were 0.08 mu g mL(-1) for carbamazepine, carbamazepine-10,11-epoxide and phenobarbital and 0.125 mu g mL(-1) for phenytoin. No interference of the drugs normally associated with antiepileptic drugs was observed. Based on figures of merit results, the SBSE/HPLC-UV proved adequate for antiepileptic drugs analyses from therapeutic levels. This method was successfully applied to the analysis of real samples and was as effective as the LLE/HPLC-UV method. (c) 2008 Elsevier B.V. All rights reserved.

An environmentally friendly triphasic catalytic system: Mn(salen) occluded in membranes based on PDMS/PVA

The commercially available Jacobsen catalyst, Mn(salen), was occluded in hybrid polymeric membranes based on poly(dimethylsiloxane) (PDMS) and poly(vinyl alcohol) (PVA). The obtained systems were characterized by UV-vis spectroscopy and SEM techniques. The membranes were used as a catalytic barrier between two different phases: an organic substrate phase (cyclooctene or styrene) in the absence of solvent, and an aqueous solution of either t-BuOOH or H(2)O(2). Membranes containing different percentages of PVA were prepared, in order to modulate their hydrophilic/hydrophobic swelling properties. The occluded complex proved to be an efficient catalyst for the oxidation of alkenes. The new triphasic system containing a cheap and easily available catalyst allowed substrate oxidation and easy product separation using ""green"" oxidants. (C) 2010 Elsevier B.V. All rights reserved.

Rifampicin determination in plasma by stir bar-sorptive extraction and liquid chromatography

A sensitive and reproducible stir bar-sorptive extraction and high performance liquid chromatography-UV detection (SBSE/HPLC-UV) method for therapeutic drug monitoring of rifampicin in plasma samples is described and compared with a liquid:liquid extraction (LLE/HPLC-UV) method. This miniaturized method can result in faster analysis, higher sample throughput, lower solvent consumption and less workload per sample while maintaining or even improving sensitivity. Important factors in the optimization of SBSE efficiency such as pH, temperature, extraction time and desorption conditions (solvents, mode magnetic stir, mode ultrasonic stir, time and number of steps) were optimized recoveries ranging from 75 to 80%. Separation was obtained using a reverse phase C(8) column with UV detection (254 nm). The mobile phase consisted of methanol:0.25 N sodium acetate buffer, pH 5.0 (58:42, v/v). The SBSE/HPLC-UV method was linear over a working range of 0.125-50.0 mu g mL(-1). The intra-assay and inter-assay precision and accuracy were studied at three concentrations (1.25, 6.25 and 25.0 mu g mL(-1)). The intra-assay coefficients of variation (CVs) for all compounds were less than 10% and all inter-CVs were less than 10%. Limits of quantification were 0.125 mu g mL(-1). Stability studies showed rifampicin was stable in plasma for 12 h after thawing; the samples were also stable for 24 h after preparation. Based on the figures of merit results, the SBSE/HPLC-UV proved to be adequate to the rifampicin analyses from therapeutic to toxic levels. This method was successfully applied to the analysis of real samples and was as effective as the LLE/HPLC-UV method. (C) 2009 Elsevier B.V. All rights reserved.

Determination of fluoxetine and norfluoxetine enantiomers in human plasma by polypyrrole-coated capillary in-tube solid-phase microextraction coupled with liquid chromatography-fluorescence detection

A sensitive, selective, and reproducible in-tube polypyrrole-coated capillary (PPY) solid-phase microextraction and liquid chromatographic method for fluoxetine and norfluoxetine enantiomers analysis in plasma samples has been developed, validated, and further applied to the analysis of plasma samples from elderly patients undergoing therapy with antidepressants. Important factors in the optimization of in-tube SPME efficiency are discussed, including the sample draw/eject volume, draw/eject cycle number, draw/eject flow-rate, sample pH, and influence of plasma proteins. Separation of the analytes was achieved with a Chiralcel OD-R column and a mobile phase consisting of potassium hexafluorophosphate 7.5 mM and sodium phosphate 0.25 M solution, pH 3.0, and acetonitrile (75:25, v/v) in the isocratic mode, at a flow rate of 1.0 mL/min. Detection was carried out by fluorescence absorbance at Ex/Em 230/290 nm. The multifunctional porous surface structure of the PPY-coated film provided high precision and accuracy for enantiomers. Compared with other commercial capillaries, PPY-coated capillary showed better extraction efficiency for all the analytes. The quantification limits of the proposed method were 10 ng/mL for R- and S-fluoxetine, and 15 ng/mL for R- and S-norfluoxetine, with a coefficient of variation lower than 13%. The response of the method for enantiomers is linear over a dynamic range, from the limit of quantification to 700ng/mL, with correlation coefficients higher than 0.9940. The in-tube SPME/LC method can therefore be successfully used to analyze plasma samples from ageing patients undergoing therapy with fluoxetine. (C) 2009 Elsevier B.V. All rights reserved.

Social separation and diazepam withdrawal increase anxiety in the elevated plus-maze and serotonin turnover in the median raphe and hippocampus

The present work aimed to evaluate the effects of social separation for 14 days (chronic stress) and of withdrawal from a 14-day treatment with diazepam (acute stress) on the exploratory behaviour of male rats in the elevated plus-maze and on serotonin (5-hydroxytryptamine) turnover in different brain structures. Social separation had an anxiogenic effect, evidenced by fewer entries into, and less time spent on the open arms of the elevated plus-maze. Separation also selectively increased 5-hydroxytryptamine turnover in the hippocampus and median raphe nucleus. Diazepam withdrawal had a similar anxiogenic effect in grouped animals and increased 5-hydroxytryptamine turnover in the same brain structures. Chronic treatment with imipramine during the 14 days of separation prevented the behavioural and neurochemical changes caused by social separation. It is suggested that the increase in anxiety determined by both acute and chronic stress is mediated by the activation of the median raphe nucleus-hippocampal 5-hydroxytryptamine pathway.

Effect of early malnutrition and environmental stimulation in the performance of rats in the elevated plus maze

Malnourished rats since birth (mothers fed on 6% of protein) or controlled ones (16% of protein), half of each group received environmental stimulation (ES) from the age of 0-35th day, were studied. The performance in the elevated plus maze (EPM) was assessed on the last day. ES increased time spent and also the entries into open arms of EPM, but malnourished non-stimulated rats visited more segments near the central area than the distant ones. Data suggests an anxiolytic effect of ES which is less evident in malnourished rats. (C) 2009 Elsevier B.V. All rights reserved.

Neonatal exposure to LPS leads to heightened exploratory activity in adolescent rats

Although several reports have demonstrated physiological and behavioral changes in adult rats due to neonatal immune challenges, little is known about their effects in adolescence. Since neonatal exposure to lipopolysaccharide (LPS) alters the neural substrates involved in cognitive disorders, we tested the hypothesis that it may also alter the response to novel environments in adolescent rats. At 3 and 5 days of age, male Wistar rats received intraperitoneal injections of either vehicle solution or E. coli LPS (0.05 mg/kg) or were left undisturbed. In the mid-adolescent period, between 40 and 46 days of age, the rats were exposed to the following behavioral tests: elevated plus-maze, open-field, novel-object exploration task, hole-board and the modified Porsolt forced swim test. The results showed that, in comparison with control animals, LPS-treated rats exhibited (1) less anxiety-related behaviors and enhanced patterns of locomotion and rearing in the plus-maze and the open-field tests, (2) high levels of exploration of both objects in the novel-object task and of corner and central holes in hole-board test, and (3) more time spent diving, an active behavior in the forced swim test. The present findings suggest that neonatal LPS exposure has long-lasting effects on the behavior profile adolescent rats exhibit in response to novelty. This behavioral pattern, characterized by heightened exploratory activity in novel environments, also suggests that early immune stimulation may contribute to the development of impulsive behavior in adolescent rats. (C) 2010 Elsevier B.V. All rights reserved.

Social Science; black movement; racial relations; identityThe Brazilian black movement in the social sciences (1950-2000)

When and how did the Brazilian Black movement appear in the social sciences? What are the theoretical approaches and explanations for the 20th century emergence and development? This article will address these principal issues by analyzing studies that have taken on the topic of collective black mobilization from various disciplinary vantage points, particularly, Sociology, History and Anthropology.