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.

Accuracy of direct digital radiography for detecting occlusal caries in primary teeth compared with conventional radiography and visual inspection: an in vitro study

Objectives: The diagnosis of caries lesions is still a matter of concern in dentistry. The diagnosis of dental caries by digital radiography has a number of advantages over conventional radiography; however, this method has not been explored fully in the field of paediatric dentistry. This in vitro research evaluated the accuracy of direct digital radiography compared with visual inspection and conventional radiography in the diagnosis of occlusal caries lesions in primary molars. Methods: 50 molars were selected and evaluated under standardized conditions by 2 previously calibrated examiners according to 3 diagnostic methods (visual inspection, conventional radiography and direct digital radiography). Direct digital radiographs were obtained with the Dixi3 system (Planmeca, Helsinki, Finland) and the conventional radiographs with InSight film (Kodak Eastman Co., Rochester, NY). The images were scored and a reference standard was obtained histologically. The interexaminer reliability was calculated using Cohen`s kappa test and the specificity, sensitivity and accuracy of the methods were calculated. Results: Examiner reliability was good. For lesions limited to the enamel, visual inspection showed significantly higher sensitivity and accuracy than both radiographic methods, but no significant difference was found in specificity. For teeth with dentinal caries, no significant differences were found for any parameter when comparing visual and radiographic evaluation. Conclusions: Although less accurate than the visual method for detecting caries lesions confined to the enamel, the direct digital radiographic method is as effective as conventional radiographic examination and visual inspection of primary teeth with occlusal caries when the dentine is involved. Dentomaxillofacial Radiology (2010) 39, 362-367. doi: 10.1259/dmfr/22865872

Comparison of visual inspection, radiographic examination, laser fluorescence and their combinations on treatment decisions for occlusal surfaces

Purpose: To compare visual inspection (VI), radiographic examination (RX) and the laser fluorescence device DIAGNOdent (L), as well as their combinations in vitro regarding treatment decisions for occlusal surfaces. Methods: 72 extracted human permanent teeth (molars and premolars) were used. Treatment decisions were recorded by three calibrated examiners, and the options available were fissure sealant and conservative restoration. For validation of treatment decisions, the teeth were sectioned and examined in a stereomicroscope. Thereafter, dental slices were scanned and the images were edited to facilitate classification of existing carious lesions. Intra and inter-examiner reproducibility for the determination of treatment plans were calculated using Cohen`s kappa test (95%-CI). Sensitivity, specificity, positive and negative predictive values, and the area under the ROC curve were also calculated. Results: VI and L provided on average the greatest intra- and inter-examiner reproducibility, respectively. Although the combination of diagnostic methods may decrease both intra- and inter examiners reproducibility, combination of VI, L and RX resulted in the greatest sensitivity, being statistically superior to RX and L. There was more inter-examiner agreement for the option of restorative treatment, while the use of sealants as a treatment option yielded the lowest values. Negative predictive values were numerically inferior to positive predictive values, indicating that the examiners preferred not to restore a carious tooth than to proceed operatively in an intact tooth. The combination of the three methods studied showed the best results in determining treatment plans for occlusal surfaces, when compared to the other types of exams. On the other hand, radiographic examination and laser fluorescence were less efficient when used alone.

Variations in cone photoreceptor abundance and the visual ecology of birds

The relative abundance and topographical distribution of retinal cone photoreceptors was measured in 19 bird species to identify possible correlations between photoreceptor complement and visual ecology. In contrast to previous studies, all five types of cone photoreceptor were distinguished, using bright field and epifluorescent light microscopy, in four retinal quadrants. Land birds tended to show either posterior dorsal to anterior ventral or anterior dorsal to posterior ventral gradients in cone photoreceptor distribution, fundus coloration and oil droplet pigmentation across the retina. Marine birds tended to show dorsal to ventral gradients instead. Statistical analyses showed that the proportions of the different cone types varied significantly across the retinae of all species investigated. Cluster analysis was performed on the data to identify groups or clusters of species on the basis of their oil droplet complement. Using the absolute percentages of each oil droplet type in each quadrant for the analysis produced clusters that tended to reflect phylogenetic relatedness between species rather than similarities in their visual ecology. Repeating the analysis after subtracting the mean percentage of a given oil droplet type across the whole retina (the 'eye mean') from the percentage of that oil droplet type in each quadrant, i.e. to give a measure of the variation about the mean, resulted in clusters that reflected diet, feeding behaviour and habitat to a greater extent than phylogeny.

Stressor categorization: acute physical and psychological stressors elicit distinctive recruitment patterns in the amygdala and in medullary noradrenergic cell groups

It has been hypothesized that the brain categorizes stressors and utilizes neural response pathways that vary in accordance with the assigned category. If this is true, stressors should elicit patterns of neuronal activation within the brain that are category-specific. Data from previous Immediate-early gene expression mapping studies have hinted that this is the case, but interstudy differences in methodology render conclusions tenuous. In the present study, immunolabelling for the expression of c-fos was used as a marker of neuronal activity elicited in the rat brain by haemorrhage, immune challenge, noise, restraint and forced swim. All stressors elicited c-fos expression in 25-30% of hypothalamic paraventricular nucleus corticotrophin-releasing-factor cells, suggesting that these stimuli were of comparable strength, at least with regard to their ability to activate the hypothalamic-pituitary-ad renal axis. In the amygdala, haemorrhage and immune challenge both elicited c-fos expression in a large number of neurons in the central nucleus of the amygdala, whereas noise, restraint and forced swim primarily elicited recruitment of cells within the medial nucleus of the amygdala. In the medulla, all stressors recruited similar numbers of noradrenergic (A1 and A2) and adrenergic (C1 and C2) cells. However, haemorrhage and immune challenge elicited c-fos expression In subpopulations of A1 and A2 noradrenergic cells that were significantly more rostral than those recruited by noise, restraint or forced swim. The present data support the suggestion that the brain recognizes at least two major categories of stressor, which we have referred to as 'physical' and 'psychological'. Moreover, the present data suggest that the neural activation footprint that is left in the brain by stressors can be used to determine the category to which they have been assigned by the brain.

The visual ecology of avian photoreceptors

The spectral sensitivities of avian retinal photoreceptors are examined with respect to microspectrophotometric measurements of single cells, spectrophotometric measurements of extracted or in vitro regenerated visual pigments, and molecular genetic analyses of visual pigment opsin protein sequences. Bird species from diverse orders are compared in relation to their evolution, their habitats and the multiplicity of visual tasks they must perform. Birds have five different types of visual pigment and seven different types of photo receptor-rods, double (uneven twin) cones and four types of single cone. The spectral locations of the wavelengths of maximum absorbance (lambda (max)) of the different visual pigments, and the spectral transmittance characteristics of the intraocular spectral filters (cone oil droplets) that also determine photoreceptor spectral sensitivity, vary according to both habitat and phylogenetic relatedness. The primary influence on avian retinal design appears to be the range of wavelengths available for vision, regardless of whether that range is determined by the spectral distribution of the natural illumination or the spectral transmittance of the ocular media (cornea, aqueous humour, lens, vitreous humour). Nevertheless, other variations in spectral sensitivity exist that reflect the variability and complexity of avian visual ecology. (C) 2001 Elsevier Science Ltd. All rights reserved.

Colourful objects through animal eyes

To understand how bees, birds, and fish may use colour vision for food selection and mate choice, we reconstructed views of biologically important objects taking into account the receptor spectral sensitivities. Reflectance spectra a of flowers, bird plumage, and fish skin were used to calculate receptor quantum catches. The quantum catches were then coded by red, green, and blue of a computer monitor; and powers, birds, and fish were visualized in animal colours. Calculations were performed for different illumination conditions. To simulate colour constancy, we used a von Kries algorithm, i.e., the receptor quantum catches were scaled so that the colour of illumination remained invariant. We show that on land this algorithm compensates reasonably well for changes of object appearance caused by natural changes of illumination, while in water failures of von Kries colour constancy are prominent. (C) 2000 John Wiley & Sons, Inc.