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.

Mechanical behavior of prosthesis in Toucan beak (Ramphastos toco)

The purpose of this study is to characterize the structure of the beak of Toco Toucan (Ramphastos toco) and to investigate means for arresting fractures in the rhinotheca using acrylic resin. The structure of the rhamphastid bill has been described as a sandwich structured composite having a thin exterior comprised of keratin and a thick foam core constructed of mineralized collagenous rods (trabeculae). The keratinous rhamphotheca consists of superposed polygonal scales (approximately 50 pm in diameter and 1 mu m in thickness). In order to simulate the orientation of loading to which the beak is subjected during exertion of bite force, for example, we conducted flexure tests on the dorso-ventral axis of the maxilla. The initially intact (without induced fracture) beak fractured in the central portion when subjected to a force of 270 N, at a displacement of 23 mm. The location of this fracture served as a reference for the fractures induced in other beaks tested. The second beak was fractured and repaired by applying resin on both lateral surfaces. The repaired maxilla sustained a force of 70 N with 6.5 mm deflection. The third maxilla was repaired similarly except that it was conditioned in acid for 60s prior to fixation with resin. It resisted a force of up to 63 N at 6 mm of deflection. The experimental results were compared with finite element calculations for unfractured beak in bending configuration. The repaired specimens were found to have strength equal to only one third of the intact beak. Finite element simulations allow visualization of how the beak system (sandwich shell and cellular core) sustains high flexural strength. (C) 2010 Elsevier B.V. All rights reserved.

Characterization of Equine Adipose Tissue-Derived Progenitor Cells Before and After Cryopreservation

In horses, stem cell therapies are a promising tool to the treatment of many injuries, which are common consequences of athletic endeavor, resulting in high morbidity and often compromising the performance. In spite of many advantages, the isolation of stem cells similar to human, from equine adipose tissue, occurred only recently. The aim of this study was to isolate equine adipose tissue-derived progenitor cells (eAT-PC), to characterize their proliferative potential, and to study their differentiation capacity before and after cryopreservation. The cells, isolated from horse adipose tissue, presented similar fibroblast-like cell morphology in vitro. Their proliferation rate was evaluated during 63 days (23 passages) before and after cryopreservation. After the induction of osteogenic differentiation, von Kossa staining and positive immunostaining studies revealed the formation of calcified extracellular matrix confirming the osteogenic potential of these cells. Adipogenic differentiation was induced using two protocols: routine and other one developed by us, while our protocol requires a shorter time (Oil Red O staining revealed significant accumulation of lipid droplets after 7 days). Chondrogenic differentiation was observed after 21 days of induced pellet culture, as evidenced by histological (toluidine blue) and immunohistochemistry studies. Our data demonstrate that eAT-PC can be easily isolated and successfully expanded in vitro while presenting significant proliferating rate. These cells can be maintained undifferentiated in vitro and can efficiently undergo differentiation at least into mesodermal derivates. These eAT-PC properties were preserved even after cryopreservation. Our findings classify eAT-PC as a promising type of progenitor cells that can be applied in different cell therapies in equines.

Gender, marital status, farm size and other factors influencing the extent of cash cropping in Kenya: A case study

This article examines the effects of commercialisation of agriculture on land use and work patterns by means of a case study in the Nyeri district in Kenya. The study uses cross sectional data collected from small-scale farmers in this district. We find that good quality land is allocated to non-food cash crops, which may lead to a reduction in non-cash food crops and expose some households to greater risks of possible famine. Also the proportion of land allocated to food crops declines as the farm size increases while the proportion of land allocated to non-food cash crops rises as the size of farm increases. Cash crops are also not bringing in as much revenue commensurate with the amount of land allocated to them. With growing commercialisation, women still work more hours than men. They not only work on non-cash food crops but also on cash crops including non-food cash crops. Evidence indicates that women living with husbands work longer hours than those married but living alone, and also longer than the unmarried women. Married women seem to lose their decision-making ability with growth of commercialisation, as husbands make most decisions to do with cash crops. Furthermore husbands appropriate family cash income. Husbands are less likely to use such income for the welfare of the family compared to wives due to different expenditure patterns. Married women in Kenya also have little or no power to change the way land is allocated between food and non-food cash crops. Due to deteriorating terms of trade for non-food cash crops, men have started cultivation of food cash crops with the potential of crowding out women. It is found that both the area of non-cash crops tends to rise with farm size but also the proportion of the farm area cash cropped rises in Central Kenya.

Xenooplasmic Transfer between Buffalo and Bovine Enables Development of Homoplasmic Offspring

Nuclear-mitochondrial incompatibilities may be responsible for the development failure reported in embryos and fetuses produced by interspecies somatic cell nuclear transfer (iSCNT). Herein we performed xenooplasmic transfer (XOT) by introducing 10 to 15% of buffalo ooplasm into bovine zygotes to assess its effect on the persistence of buffalo mitochondrial DNA (mtDNA). Blastocyst rates were not compromised by XOT in comparison to both in vitro fertilized embryos and embryos produced by transfer of bovine ooplasm into bovine zygotes. Moreover, offspring were born after transfer of XOT embryos to recipient cows. Buffalo mtDNA introduced in zygotes was still present at the blastocyst stage (8.3 vs. 9.3%, p = 0.11), indicating unaltered heteroplasmy during early development. Nonetheless, no vestige of buffalo mtDNA was found in offspring, indicating a drift to homoplasmy during later stages of development. In conclusion, we show that the buffalo mtDNA introduced by XOT into a bovine zygote do not compromise embryo development. On the other hand, buffalo mtDNA was not inherited by offspring indicating a possible failure in the process of interspecies mtDNA replication.

Influence of laser irradiation on fiber post retention

The purpose of this in vitro study was to compare the bond strength between fiber post and laser-treated root canals. Forty single-rooted bovine teeth were endodontically treated and randomly divided into four groups of equal size according to the root canal treatment: group 1 conventional treatment (without laser irradiation); group 2 Nd:YAG laser (1.5 W, 10 Hz, 100 mJ); group 3 Er,Cr:YSGG laser (0.75 W, 20 Hz); and group 4 Nd:YAG + Er,Cr:YSGG lasers. The fiber posts were cemented with an adhesive system + resin cement, in accordance with the manufacturer`s instructions. A mini acrylic pipe was fixed on the coronal section of the post using a light-polymerized resin. Specimens were mounted on an acrylic pipe with a self-polymerized resin. Retention forces were determined using a universal testing machine (0.5 mm/min). Data were analyzed using one-way ANOVA and Tukey tests (p < 0.05). The post retention force in group 2 was found to be lower than that in the other experimental groups. Fractures were observed at the interface between the dentin and the resin in all groups. High-intensity lasers can be used in conventional endodontic treatment; however, root canal surface irradiation using the Nd:YAG laser was shown to negatively affect the post retention force.

Comparative analysis of root surface smear layer removal by different etching modalities or erbium:yttrium-aluminum-garnet laser irradiation. A scanning electron microscopy study

The purpose of this study was to evaluate the effect of erbium:yttrium-aluminum-garnet (Er:YAG) laser (2.94 mu m) irradiation on the removal of root surface smear layer of extracted human teeth and to compare its efficacy with that of citric acid, ethylenediamine tetra-acetic acid (EDTA), or a gel containing a mixture of tetracycline hydrochloride (HCl) and citric acid, using scanning electron microscopy (SEM). Thirty human dentin specimens were randomly divided into six groups: G1 (control group), irrigated with 10 ml of physiologic saline solution; G2, conditioned with 24% citric acid gel; G3, conditioned with 24% EDTA gel; G4, conditioned with a 50% citric acid and tetracycline gel; G5, irradiated with Er:YAG laser (47 mJ/10 Hz/5.8 J/cm(2)/pulse); G6, irradiated with Er:YAG laser (83 mJ/10 Hz/10.3 J/cm(2)/pulse). Electron micrographs were obtained and analyzed according to a rating system. Statistical analysis was conducted with Kruskal-Wallis and Mann-Whitney tests (P < 0.05). G1 was statistically different from all the other groups; no statistically significant differences were observed between the Er:YAG laser groups and those undergoing the other treatment modalities. When the two Er:YAG laser groups were compared, the fluency of G6 was statistically more effective in smear layer removal than the one used in G5 (Mann-Whitney test, P < 0.01). Root surfaces irradiated by Er:YAG laser had more irregular contours than those treated by chemical agents. It can be concluded that all treatment modalities were effective in smear layer removal. The results of our study suggest that the Er:YAG laser can be safely used to condition diseased root surfaces effectively. Furthermore, the effect of Er:YAG laser irradiation on root surfaces should be evaluated in vivo so that its potential to enhance the healing of periodontal tissues can be assessed.

Influence of etching with erbium, chromium:yttrium-scandium-gallium-garnet laser on microleakage of class V restoration

The aim of this in vitro study was to evaluate some parameters of dental etching when irradiated with an erbium, chromium:yttrium-scandium-gallium-garnet (Er,Cr:YSGG) laser. One-hundred sound human third molars were selected and randomly distributed into ten groups (n = 10). The class V cavities of group 1 (control) were prepared with a bur and etched with 37% phosphoric acid, while groups G2 to G10, were prepared with laser (5 W, 88.46 J/cm(2), 90/70% air/water) and etched with the following powers: G3 and G4, 0.25 W; G5 and G6, 0.5 W; G7 and G8, 0.75 W; G9 and G10, 1 W. Group G2 received no laser etching. Prior to restoration, G2, G4, G6, G8 and G10 received acid etching. After restoration, all samples were submitted to a microleakage test. According to statistical analysis (Kruskal-Wallis and Dunn`s tests), G10 presented the lowest microleakage values (P < 0.05). The other groups showed no differences between them. Etching with Er,Cr:YSGG laser (1 W) followed by phosphoric acid was effective in reducing the microleakage of class V restorations.

In vitro evaluation of erbium, chromium:yttrium-scandium-gallium-garnet laser-treated enamel demineralization

This study evaluated the effect of different parameters of erbium, chromium:yttrium-scandium-gallium-garnet (Er,Cr:YSGG) laser irradiation on enamel mineral loss in a simulated caries model. Forty-five enamel samples obtained from third molar teeth (3 mmx 3 mm) were randomly divided into five groups (n = 9): G1-Er,Cr:YSGG laser at 0.25 W, 20 Hz, 2.8 J/cm(2); G2-Er,Cr:YSGG laser at 0.50 W, 20 Hz, 5.7 J/cm(2); G3-Er,Cr:YSGG laser at 0.75 W, 20 Hz, 8.5 J/cm(2); G4-sodium fluoride (NaF) dentifrice (positive control); G5-no treatment (negative control). After irradiation, the samples were submitted to 2 weeks of pH cycling. After the acid challenge, the samples were assessed by cross-sectional microhardness at different depths from the enamel surface. Analysis of variance (ANOVA) and Student-Newman-Keuls tests were performed (alpha = 5%). The percentage of lesion inhibition for each group was: G1 37%; G2 38%; G3 64%, and G4 50.5%. Regarding the relative mineral loss values (micrometers x volume percent), groups G1 (1,392 +/- 522) and G2 (1,292 +/- 657) did not differ significantly from each other, but both had higher values than group G3 (753 +/- 287); the groups irradiated with Er,Cr:YSGG laser did not differ from group G4. Although the findings of the study revealed that Er,Cr:YSGG laser irradiation at 8.5 J/cm(2) can be an alternative for the enhancement of the enamel`s resistance to acid, lower energy densities also produced a cariostatic potential comparable to the use of fluoride dentifrice.

Mast cell concentration in the wound healing process of incisions made by different instruments

The aim of this study was to compare the concentration of mast cells (MCs) in the healing process of incisions. Thirty rats were submitted to six linear incisions each, performed in the dorsal skin by carbon dioxide (CO(2)) and diode lasers, electrocautery and conventional scalpel. The animals were euthanized at intervals of 0 h, 24 h, 48 h, 72 h, 7 days and 14 days after the incisions had been made. Histological sections were obtained and stained with toluidine blue for identification of MCs, which were manually counted by conventional microscopy in 20 microscopic fields in the border of the incision, near the granulation tissue, or in the area of new collagen formation, depending on intervals. The concentration of MCs was significantly higher in the wounds made by scalpel than in those made by other techniques at 48 h and 72 h. After 72 h the number of MCs was also significantly higher after electrocautery than after incisions made by 4 W CO(2) laser. On days 7 and 14, there was no significant difference in the MC count among the different types of incisions. In summary, the MC concentration varied after different surgical incisions at early phases of wound healing. At the end of the healing process, however, there were similar MC concentrations around the incisions, suggesting that, in standard incisions in the surgical techniques studied, the wound healing process ultimately occurred in a similar pattern.

Effect of low-intensity laser therapy on mast cell degranulation in human oral mucosa

Little is known about the physiological mechanisms related to low-intensity laser therapy (LILT), particularly in acute inflammation and subsequent wound healing. The objective of this study was to verify the effect of LILT on mast cell degranulation. Epulis fissuratum tissues from eight patients were used. One part of the lesion was irradiated with an AsGaAl laser (lambda = 670 nm, 8.0 J/cm(2), 5 mW, 4 min). The other part was not irradiated. Then, the specimens were immediately removed, fixed and examined by light microscopy. The number of mast cells was similar in laser-treated samples when compared with non-irradiated specimens. The degranulation indexes of the mast cells observed in the irradiated samples were significantly higher than those of controls (P < 0.05). LILT with the parameters used increased the number of degranulated mast cells in oral mucosa.