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.

A model for adsorption of condensable vapors on nonporous materials

A new isotherm is proposed here for adsorption of condensable vapors and gases on nonporous materials having type II isotherms according to the Brunauer-Deming-Deming-Teller (BDDH) classification. The isotherm combines the recent molecular-continuum model in the multilayer region, with other widely used models for sub-monolayer coverage, some of which satisfy the requirement of a Henry's law asymptote. The model is successfully tested using isotherm data for nitrogen adsorption on nonporous silica, carbon and alumina, as well as benzene and hexane adsorption on nonporous carbon. Based on the data fits, out of several different alternative choices of model for the monolayer region, the Freundlich and the Unilan models are found to be the most successful when combined with the multilayer model to predict the whole isotherm. The hybrid model is consequently applicable over a wide pressure range. (C) 2000 Elsevier Science B.V. All rights reserved.

Central projections of Drosophila sensory neurons in the transition from embryo to larva

Sensory axons of different sensory modalities project into typical domains within insect ganglia. Tactile and gustatory axons project into a ventral layer of neuropil and proprioceptive afferents, including chordotonal axone, into an intermediate or dorsal layer. Here, we describe the central projections of sensory neurons in the first instar Drosophila larva, relating them to the projection of the same sensory afferents in the embryo and to sensory afferents of similar type in other insects. Several neurons show marked morphologic changes in their axon terminals in the transition between the embryo and larva. During a short morphogenetic period late in embryogenesis, the axon terminals of the dorsal bipolar dendrite stretch receptor change their shape and their distribution within the neuromere. In the larva, external sense organ neurons (es) project their axons into a ventral layer of neuropil. Chordotonal sensory neurons (ch) project into a slightly more dorsal region that is comparable to their projection in adults. The multiple dendrite (md) neurons show two distinctive classes of projection. One group of md neurons projects into the ventral-most neuropil region, the same region into which es neurons project. Members of this group are related by lineage to es neurons or share a requirement for expression of the same proneural gene during development. Other md neurons project into a more dorsal region. Sensory receptors projecting into dorsal neuropil possibly provide proprioceptive feedback from the periphery to central motorneurons and are candidates for future genetic and cellular analysis of simple neural circuitry. J. Comp. Neurol. 425:34-44, 2000. (C) 2000 Wiley-Liss, Inc.

Numerical modelling of double diffusion driven reactive flow transport in deformable fluid-saturated porous media with particular consideration of temperature-dependent chemical reaction rates

Numerical methods ave used to solve double diffusion driven reactive flow transport problems in deformable fluid-saturated porous media. in particular, thp temperature dependent reaction rate in the non-equilibrium chemical reactions is considered. A general numerical solution method, which is a combination of the finite difference method in FLAG and the finite element method in FIDAP, to solve the fully coupled problem involving material deformation, pore-fluid flow, heat transfer and species transport/chemical reactions in deformable fluid-saturated porous media has been developed The coupled problem is divided into two subproblems which are solved interactively until the convergence requirement is met. Owing to the approximate nature of the numerical method, if is essential to justify the numerical solutions through some kind of theoretical analysis. This has been highlighted in this paper The related numerical results, which are justified by the theoretical analysis, have demonstrated that the proposed solution method is useful for and applicable to a wide range of fully coupled problems in the field of science and engineering.

An overview of the MPEG-7 description definition language (DDL)

This paper presents an overview of the MPEG-7 Description Definition Language (DDL). The DDL provides the syntactic rules for creating, combining, extending and refining MPEG-7 Descriptors (Ds) and Description Schemes (DSs), In the interests of interoperability, the W3C's XML Schema language, with the addition of certain MPEG-7-specific extensions, has been chosen as the DDL. This paper describes the background to this decision and using examples, provides an overview of the core XML, schema features used within MPEG-7 and the extensions made in order to satisfy the MPEG-7 DDL requirements.

Predicting energy requirements in the clinical setting: Are current methods evidence based?

Estimating energy requirements is necessary in clinical practice when indirect calorimetry is impractical. This paper systematically reviews current methods for estimating energy requirements. Conclusions include: there is discrepancy between the characteristics of populations upon which predictive equations are based and current populations; tools are not well understood, and patient care can be compromised by inappropriate application of the tools. Data comparing tools and methods are presented and issues for practitioners are discussed. (C) 2003 International Life Sciences Institute.

Boys performing English

This article explores the gender dynamics of boys' responses to one Particular aspect of English teaching. oral performance work. It focuses on the possibility that the requirement to perform publicly in dramatic and other oral tasks may be an important factor in the rejection of English by many boys, and may contribute to boys' relatively poor achievement in English. The article provides a study of boys' engagement in English oral activities in two classrooms, and identifies a number of factors influencing boys' English learning. In particular, it shows that there is no simple relation between the performance requirements of English learning activities and boys' disengagement with English.

Environmental impact evaluation using a cooperative model for implementing EMS (ISO 14001) in small and medium-sized enterprises

Certification of an ISO 14001 Environmental Management System (EMS) is currently an important requirement for those enterprises wishing to sell their products in the context of a global market. The system`s structure is based on environmental impact evaluation (EIE). However, if an erroneous or inadequate methodology is applied, the entire process may be jeopardized. Many methodologies have been developed for making of EIEs, some of them are fairly complex and unsuitable for EMS implementation in an organizational context, principally when small and medium size enterprises (SMEs) are involved. The proposed methodology for EIE is part of a model for implementing EMS. The methodological approach used was a qualitative exploratory research method based upon sources of evidence such as document analyses, semi-structured interviews and participant observations. By adopting a cooperative implementation model based on the theory of system engineering, difficulties relating to implementation of the sub-system were overcome thus encouraging SMEs to implement EMS. (C) 2007 Elsevier Ltd. All rights reserved.

Are supplier selection criteria going green? Case studies of companies in Brazil

Purpose - The purpose of this paper is to verify if Brazilian companies are adopting environmental requirements in the supplier selection process. Further, this paper intends to analyze whether there is a relation between the level of environmental management maturity and the inclusion of environmental criteria in the companies` selection of suppliers. Design/methodology/approach - A review of mainstream literature on environmental management, traditional criteria in the supplier selection process and the incorporation of environmental requirements in this context. The empirical study`s strategy is based on five Brazilian case studies with industrial companies. Face-to-face interviews and informal conversations are to be held, explanations made by e-mail with representatives from the purchasing, environmental management, logistics and other areas, and observation and the collection of company documents are also employed. Findings - Based on the cases, it is concluded that companies still use traditional criteria to select suppliers, such as quality and cost, and do not adopt environmental requirements in the supplier selection process in a uniform manner. Evidence found shows that the level of environmental management maturity influences the depth with which companies adopt environmental criteria when selecting suppliers. Thus, a company with more advanced environmental management adopts more formal procedures for selecting environmentally appropriate suppliers than others. Originality/value - This is the first known study to verify if Brazilian companies are adopting environmental requirements in the supplier selection process.

The Australian Universities Teaching Committee project in 'Learning Outcomes and Curriculum Development in Psychology'

The Australian Universities Teaching Committee (AUTC) funds projects intended to improve the quality of teaching and learning in specific disciplinary areas. The project brief for 'Learning Outcomes and Curriculum Development in Psychology' for 2004/2005 was to 'produce an evaluative overview of courses ... with a focus on the specification and assessment of learning outcomes and ... identify strategic directions for universities to enhance teaching and learning'. This project was awarded to a consortium from The University of Queensland, University of Tasmania, and Southern Cross University. The starting point for this project is an analysis of the scientist-practitioner model and its role in curriculum design, a review of current challenges at a conceptual level, and consideration of the implications of recent changes to universities relating to such things as intemationalisation of programs and technological advances. The project will seek to bring together stakeholders from around the country in order to survey the widest possible range of perspectives on the project brief requirements. It is hoped also to establish mechanisms for fiiture scholarly discussion of these issues, including the establishment of an Australian Society for the Teaching of Psychology and an annual conference.

Transfusion Requirements After Cardiac Surgery The TRACS Randomized Controlled Trial

Context Perioperative red blood cell transfusion is commonly used to address anemia, an independent risk factor for morbidity and mortality after cardiac operations; however, evidence regarding optimal blood transfusion practice in patients undergoing cardiac surgery is lacking. Objective To define whether a restrictive perioperative red blood cell transfusion strategy is as safe as a liberal strategy in patients undergoing elective cardiac surgery. Design, Setting, and Patients The Transfusion Requirements After Cardiac Surgery (TRACS) study, a prospective, randomized, controlled clinical noninferiority trial conducted between February 2009 and February 2010 in an intensive care unit at a university hospital cardiac surgery referral center in Brazil. Consecutive adult patients (n=502) who underwent cardiac surgery with cardiopulmonary bypass were eligible; analysis was by intention-to-treat. Intervention Patients were randomly assigned to a liberal strategy of blood transfusion (to maintain a hematocrit >= 30%) or to a restrictive strategy (hematocrit >= 24%). Main Outcome Measure Composite end point of 30-day all-cause mortality and severe morbidity (cardiogenic shock, acute respiratory distress syndrome, or acute renal injury requiring dialysis or hemofiltration) occurring during the hospital stay. The noninferiority margin was predefined at -8% (ie, 8% minimal clinically important increase in occurrence of the composite end point). Results Hemoglobin concentrations were maintained at a mean of 10.5 g/dL(95% confidence interval [CI], 10.4-10.6) in the liberal-strategy group and 9.1 g/dL (95% CI, 9.09.2) in the restrictive-strategy group (P<.001). A total of 198 of 253 patients (78%) in the liberal-strategy group and 118 of 249 (47%) in the restrictive-strategy group received a blood transfusion (P<.001). Occurrence of the primary end point was similar between groups (10% liberal vs 11% restrictive; between-group difference, 1% [95% CI, -6% to 4%]; P=.85). Independent of transfusion strategy, the number of transfused red blood cell units was an independent risk factor for clinical complications or death at 30 days (hazard ratio for each additional unit transfused, 1.2 [95% CI, 1.1-1.4]; P=.002). Conclusion Among patients undergoing cardiac surgery, the use of a restrictive perioperative transfusion strategy compared with a more liberal strategy resulted in noninferior rates of the combined outcome of 30-day all-cause mortality and severe morbidity. Trial Registration clinicaltrials.gov Identifier: NCT01021631 JAMA. 2010; 304(14):1559-1567 www.jama.com

Effects of magnesium intake deficiency on bone metabolism and bone tissue around osseointegrated implants

Objectives: This study evaluated the effect of magnesium dietary deficiency on bone metabolism and bone tissue around implants with established osseointegration. Materials and methods: For this, 30 rats received an implant in the right tibial metaphysis. After 60 days for healing of the implants, the animals were divided into groups according to the diet received Control group (CTL) received a standard diet with adequate magnesium content, while test group (Mg) received the same diet except for a 90% reduction of magnesium. The animals were sacrificed after 90 days for evaluation of calcium, magnesium, osteocalcin and parathyroid hormone (PTH) serum levels and the deoxypyridinoline (DPD) level in the urine. The effect of magnesium deficiency on skeletal bone tissue was evaluated by densitometry of the lumbar vertebrae, while the effect of bone tissue around titanium implants was evaluated by radiographic measurement of cortical bone thickness and bone density. The effect on biomechanical characteristics was verified by implant removal torque testing. Results: Magnesium dietary deficiency resulted in a decrease of the magnesium serum level and an increase of PTH and DPD levels (P <= 0.05). The Mg group also presented a loss of systemic bone mass decreased cortical bone thickness and lower values of removal torque of the implants (P <= 0.01). Conclusions: The present study concluded that magnesium-deficient diet had a negative influence on bone metabolism as well as on the bone tissue around the implants.