MDA-based re-engineering with Object-Z

This paper describes a practical application of MDA and reverse engineering based on a domain-specific modelling language. A well defined metamodel of a domain-specific language is useful for verification and validation of associated tools. We apply this approach to SIFA, a security analysis tool. SIFA has evolved as requirements have changed, and it has no metamodel. Hence, testing SIFA’s correctness is difficult. We introduce a formal metamodelling approach to develop a well-defined metamodel of the domain. Initially, we develop a domain model in EMF by reverse engineering the SIFA implementation. Then we transform EMF to Object-Z using model transformation. Finally, we complete the Object-Z model by specifying system behavior. The outcome is a well-defined metamodel that precisely describes the domain and the security properties that it analyses. It also provides a reliable basis for testing the current SIFA implementation and forward engineering its successor.

Collection and evaluation of semen from the three-toed sloth (Bradypus tridactylus)

Sloths (Bradypus sp.) are extremely sensitive animals that suffer with the destruction and fragmentation of forests. They present a low population growth rate and need to be further studied for the preservation of the specie. Thus, the aim of this study was to establish an efficient semen collection protocol as well as characterize sperm concentration, motility and morphology in order to contribute with information about the reproductive traits of this specie, which has never been described in the literature before. For that, nine Bradypus tridactylus males were captured during the wet season and six during the dry season, in Manaus (AM), located in the north region of Brazil, semen was collected by electroejaculation with shocks given in sequences of progressive intensities (minimum 20 mA and maximum 60 mA). All animals ejaculated small volumes of semen and in some of them, the volume ejaculated was not enough for a complete spermiogram. Physical characteristics observed on the collections of the wet season were different from those seen in the specimen collected in the dry season. Motility an vigor was very low and did not show forward progression, only oscillatory movement. After Spermac stain, spermatozoa presented a wide variety of defects; however, the differences in morphology were not significant between seasons. The morphology assessed by scanning electron microscopy shows that the head in both groups could be elongated, short or could have a base narrower than the apex and the midpiece narrowed abruptly, forming a nip in its transition to the tail. Although further studies are necessary to verify our preliminary findings concerning seasonal variation in sperm quality, these results demonstrate that semen can be safely collected from sloths by electroejaculation and provide the first reports of semen characteristics in this species. (C) 2008 Elsevier Ltd. All rights reserved.

BisGMA/TEGDMA ratio and filler content effects on shrinkage stress

Objective. To investigate the contributions of BisGMA:TEGDMA and filler content on polymerization stress, along with the influence of variables associated with stress development, namely, degree of conversion, reaction rate, shrinkage, elastic modulus and loss tangent for a series of experimental dental composites. Methods. Twenty formulations with BisGMA: TEGDMA ratios of 3: 7, 4: 6, 5: 5, 6: 4 and 7: 3 and barium glass filler levels of 40, 50, 60 or 70 wt% were studied. Polymerization stress was determined in a tensilometer, inserting the composite between acrylic rods fixed to clamps of a universal test machine and dividing the maximum load recorded by the rods cross-sectional area. Conversion and reaction rate were determined by infra-red spectroscopy. Shrinkage was measured by mercury dilatometer. Modulus was obtained by three-point bending. Loss tangent was determined by dynamic nanoindentation. Regression analyses were performed to estimate the effect of organic and inorganic contents on each studied variable, while a stepwise forward regression identified significant variables for polymerization stress. Results. All variables showed dependence on inorganic concentration and monomeric content. The resin matrix showed a stronger influence on polymerization stress, conversion and reaction rate, whereas filler fraction showed a stronger influence on shrinkage, modulus and loss tangent. Shrinkage and conversion were significantly related to polymerization stress. Significance. Both the inorganic filler concentration and monomeric content affect polymerization stress, but the stronger influence of the resin matrix suggests that it may be possible to reduce stress by modifying resin composition without sacrificing filler content. The main challenge is to develop formulations with low shrinkage without sacrificing degree of conversion. (C) 2011 Academy of Dental Materials. Published by Elsevier Ltd. All rights reserved.

Long-term stability of Class II malocclusion treated with 2-and 4-premolar extraction protocols

Introduction: The objective of this study was to cephalometrically compare the stability of complete Class II malocclusion treatment with 2 or 4 premolar extractions after a mean period of 9.35 years. Methods: A sample of 57 records from patients with complete Class II malocclusion was selected and divided into 2 groups. Group 1 consisted of 30 patients with an initial mean age of 12.87 years treated with extraction of 2 maxillary premolars. Group 2 consisted of 27 patients with an initial mean age of 13.72 years treated with extraction of 4 premolars. T tests were used to compare the groups` initial cephalometric characteristics and posttreatment changes. Pearson correlation coefficients were calculated to determine the correlation between treatment and posttreatment dental-relationship changes. Results: During the posttreatment period, both groups had similar behavior, except that group 1 had a statistically greater maxillary forward displacement and a greater increase in the apical-base relationship than group 2. On the other hand, group 2 had a statistically greater molar-relationship relapse toward Class II. There were significant positive correlations between the amounts of treatment and posttreatment dentoalveolar-relationship changes. Conclusions: Treatment of complete Class II malocclusions with 2 maxillary premolar extractions or 4 premolar extractions had similar long-term posttreatment stability. (Am J Orthod Dentofacial Orthop 2009;136:154.e1-154.e10)

Comparison of the effects produced by headgear and pendulum appliances followed by fixed orthodontic treatment

This study compared the effects produced by two different molar distalizers, namely cervical headgear (CHG) and the intraoral pendulum appliance, associated with fixed orthodontic appliances. The headgear group comprised 30 patients (19 females, 11 males), with an initial age of 13.07 years [standard deviation (SD) = 1.3], treated with CHG and fixed orthodontic appliances for a mean period of 3.28 years, and the pendulum group 22 patients (15 females, 7 males), with initial age of 13.75 years (SD = 1.86), treated with the pendulum appliance followed by fixed orthodontic appliances for a mean period of 4.12 years. Lateral cephalograms were taken at the start (T1) and on completion (T2) of orthodontic treatment. The pendulum and CHG groups were similar as to initial age, severity of the Class II malocclusion, gender distribution, initial cephalometric characteristics, and initial and final treatment priority index (TPI). Only treatment time was not similar between the groups, with a need for annualization for data for the pendulum group. The data were compared with independent t-tests. There was significantly greater restriction of maxillary forward growth and improvement of the skeletal maxillomandibular relationship in the CHG group (P < 0.05). The maxillary molars were more mesially tipped and extruded and the mandibular molars more uprighted in the CHG group compared with the pendulum group (P < 0.05). There was more labial tipping of the mandibular incisors and greater overbite reduction in the pendulum group. The pendulum appliance produced only dentoalveolar effects, different from the CHG appliance, which restricted maxillary forward displacement, thus improving the skeletal maxillomandibular relationship.

Cephalometric evaluation of Class II malocclusion treatment with cervical headgear and mandibular fixed appliances

The present study aimed to evaluate the cephalometric changes in Class II patients treated exclusively with cervical headgear (CHG) in the maxillary arch and fixed appliances in the mandibular arch as compared with a control group. The sample comprised 82 lateral cephalograms obtained pre- (T1) and post- (T2) treatment/observation of 41 subjects, divided into two groups: group 1-25 Class II division 1 patients (20 females and five males), with a mean pre-treatment age of 10.4 years, treated for a mean period of 2.5 years and group 2-16 Class II untreated subjects (12 females and four males), with a mean initial age of 9.9 years, followed for a mean period of 2.2 years. Treatment changes between the groups were compared by means of t-tests. The results showed restriction of maxillary forward displacement and also a restriction in maxillary length growth, improvement in the maxillomandibular relationship, restriction of mandibular incisor vertical development, reduction in overjet and overbite, and improvement in molar relationship. It was concluded that this treatment protocol corrected the Class II malocclusion characteristics primarily through maxillary forward growth restriction.

Contradictions and institutional convergences: Genre as method

My purpose here is to put forward a conception of genre as a way to conduct Futures Studies. To demonstrate the method, I present some examples of contemporary political and corporate discourses and contextualise them in broader institutional and historical settings. I elaborate the method further by giving examples of ‘genre chaining’ and ‘genre hybridity’ (Fairclough 1992 2000) to show how past, present, and future change can be viewed through the lens of genre.

A simulation model for analysing patient activity in dermatology

We developed a general model to assess patient activity within the primary and secondary health-care sectors following a dermatology outpatient consultation. Based on observed variables from the UK teledermatology trial, the model showed that up to 11 doctor-patient interactions occurred before a patient was ultimately discharged from care. In a cohort of 1000 patients, the average number of health-care visits was 2.4 (range 1-11). Simulation analysis suggested that the most important parameter affecting the total number of doctor-patient Interactions is patient discharge from care following the initial consultation. This implies that resources should be concentrated in this area. The introduction of teledermatology (either realtime or store and forward) changes the values of the model parameters. The model provides a quantitative tool for planning the future provision of dermatology health-care.

Teledermatology: a review

Teledermatology holds great potential for revolutionizing the delivery of dermatology services, providing equitable service to remote areas and allowing primary care physicians to refer patients to dermatology centres of excellence at a distance. However, before its routine application asa service tool, its reliability, accuracy and cost-effectiveness need to be verified by rigorous evaluation. Teledermatology can be applied in one of two ways: it may be conducted in real-time, utilizing videoconferencing equipment, or by store-and-forward methods, when transmitted digital images or photographs are submitted with a clinical history. While there is a considerable range of reported accuracy and reliability, evidence suggests that teledermatology will become increasingly utilized and incorporated into more conventional dermatology service delivery systems. Studies to date have generally found that real-time dermatology is likely to allow greater clinical information to be obtained from the patient. This may result in fewer patients requiring conventional consultations, but it is generally more time-consuming and costly to the health service provider It is often favoured by the patient because of the instantaneous nature of the diagnosis and management regimen for the condition, and it has educational value to the primary care physician. Store-and-forward systems of teledermatology often give high levels of diagnostic accuracy, and are cheaper and more convenient for the health care provider, but lack the immediacy of patient contact with the dermatologist, and involve a delay in obtaining the diagnosis and advice on management. It is increasingly likely that teledermatology will prove to be a significant tool in the provision of dermatology services in the future. These services will probably be provided by store-and-forward digital image systems, with real-time videoconferencing being used for case conferences and education. However, much more research is needed into the outcomes and Limitations of such a service and its effect on waiting lists, as well as possible cost benefits for patients, primary health care professionals and dermatology departments.

An evaluation of the first year's experience with a low-cost telemedicine link in Bangladesh

In July 1999, the Swinfen Charitable Trust in the UK established a telemedicine link in Bangladesh, between the Centre for the Rehabilitation of the Paralysed (CRP) in Dhaka and medical consultants abroad. This low-cost telemedicine system used a digital camera to capture still images, which were then transmitted by email. During the first 12 months, 27 telemedicine referrals were made. The following specialties were consulted: neurology (44%), orthopaedics (40%), rheumatology (8%), nephrology (4%) and paediatrics (4%). Initial email replies were received at the CRP within a day of referral in 70% of cases and within thee days in 100%, which shows that store-and-forward telemedicine can be both fast and reliable. Telemedicine consultation was complete within three days in 14 cases (52%) and within three weeks in 24 cases (89%). Referral was judged to be beneficial in 24 cases (89%), the benefits including establishment of the diagnosis, the provision of reassurance to the patient and referring doctor, and a change of management. Four patients (15% of the total) and their families were spared the considerable expense and unnecessary stress of travelling abroad for a second opinion, and the savings from this alone outweighed the set-up and running costs in Bangladesh. The latter are limited to an email account with an Internet service provider and the local-rate telephone call charges from the CRP. This successful telemedicine system is a model for further telemedicine projects in the developing world.

On the surface diffusion of hydrocarbons in microporous activated carbon

This paper addresses the current status of the various diffusion theories for surface diffusion in the literature. The inadequacy of these models to explain the surface diffusion of many hydrocarbons in microporous activated carbon is shown in this paper. They all can explain the increase of the surface diffusivity (D-mu) with loading, but cannot explain the increase of the surface permeability (D(mu)partial derivativeC(mu)/partial derivativeP) with loading as observed in our data of diffusion of hydrocarbons in activated carbon, even when the surface heterogeneity is accounted for in those models. The explanation for their failure was presented, and we have put forward a theory to explain the increase of surface diffusion permeability with loading. This new theory assumes the variation of the activation energy for surface diffusion with surface loading, and it is validated with diffusion data of propane, n-butane, n-hexane, benzene and ethanol in activated carbon. (C) 2001 Elsevier Science Ltd. All rights reserved.

Hypercapitalism: Language, new media and social perceptions of value

Using examples from contempoary policy and business discourses, and exemplary historical texts dealing with the notion of value, I put forward an argument as to why a critical scholarship that draws on media history, language analysis, philosophy and political economy is necessary to understand the dynamics of what is being called 'the global knowledge economy'. I argue that the social changes associated with new modes of value determination are closely associated with new media form.

The ethics of germ line gene manipulation - A five dimensional debate

Contributors to the debate surrounding the ethics of germ line gene manipulation have by and large concentrated their efforts on discussions of the potential risks that are associated with the use of this technology. Many international advisory committees have ruled out the acceptability of germ line gene manipulation at least for the time being. The purpose of this work is to generate much needed discussion on the many other ethical issues concerning the implementation of not only germ line gene manipulation but also other related biotechnologies. In this paper I systematically investigate and analyse the most salient issues put forward by proponents and opponents alike. I argue that if germ line manipulation proves to be a safe and effective procedure, then the principle of beneficence imposes on the medical profession a moral duty to pursue the technology.

Group displays in pale-winged starlings

Cliff-nesting pale-winged starlings (Onychognathus nabouroup) gather on the cliff tops to perform Group Displays which include both aggressive and courtship elements: Hopping, Wing Stretching, Wing Drooping, Wing Flicking, Staring, Head Forward Threat and Butterfly Fluttering. These displays occur throughout the year, most frequently in the late afternoon. We suggest that this behaviour may be important in pair formation, and in establishing dominance relationships between birds breeding at the same site.

Service quality and consumers' experience: Towards an interpretive approach

As marketers and researchers we understand quality from the consumer's perspective, and throughout contemporary service quality literature there is an emphasis on what the consumer is looking for, or at least that is the intention. Through examining the underlying assumptions of dominant service quality theories, an implicit dualistic ontology is highlighted (where subject and object are considered independent) and argued to effectively negate the said necessary consumer orientation. This fundamental assumption is discussed, as are the implications, following a critical review of dominant service quality models. Consequently, we propose an alternative approach to service quality research that aims towards a more genuine understanding of the consumer's perspective on quality experienced within a service context. Essentially, contemporary service quality research is suggested to be limited in its inherent third-person perspective and the interpretive, specifically phenomenographic, approach put forward here is suggested as a means of achieving a first-person perspective on service quality.