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.

The improvement of care for paediatric and congenital cardiac disease across the World: a challenge for the World Society for Pediatric and Congenital Heart Surgery

The diagnosis and treatment for paediatric and congenital cardiac disease has undergone remarkable progress over the last 60 years. Unfortunately, this progress has been largely limited to the developed world. Yet every year approximately 90% of the more than 1,000,000 children who are born with congenital cardiac disease across the world receive either suboptimal care or are totally denied care. While in the developed world the focus has changed from an effort to decrease post-operative mortality to now improving quality of life and decreasing morbidity, which the focus of this Supplement, the rest of the world still needs to develop basic access to congenital cardiac care. The World Society for Pediatric and Congenital Heart Surgery [http://www.wspchs.org/] was established in 2006. The Vision of the World Society is that every child born anywhere in the world with a congenital heart defect should have access to appropriate medical and surgical care. The Mission of the World Society is to promote the highest quality comprehensive care to all patients with pediatric and/or congenital heart disease, from the fetus to the adult, regardless of the patient`s economic means, with emphasis on excellence in education, research and community service. We present in this article an overview of the epidemiology of congenital cardiac disease, the current and future challenges to improve care in the developed and developing world, the impact of the globalization of cardiac surgery, and the role that the World Society should play. The World Society for Pediatric and Congenital Heart Surgery is in a unique position to influence and truly improve the global care of children and adults with congenital cardiac disease throughout the world [http://www.wspchs.org/].

Finite Element Modeling for Development and Optimization of a Bone Plate for Mandibular Fracture in Dogs

This study aimed to develop a plate to treat fractures of the mandibular body in dogs and to validate the project using finite elements and biomechanical essays. Mandible prototypes were produced with 10 oblique ventrorostral fractures (favorable) and 10 oblique ventrocaudal fractures (unfavorable). Three groups were established for each fracture type. Osteosynthesis with a pure titanium plate of double-arch geometry and blocked monocortical screws offree angulanon were used. The mechanical resistance of the prototype with unfavorable fracture was lower than that of the fcworable fracture. In both fractures, the deflection increased and the relative stiffness decreased proportionally to the diminishing screw number The finite element analysis validated this plate study, since the maximum tension concentration observed on the plate was lower than the resistance limit tension admitted by the titanium. In conclusion, the double-arch geometry plate fixed with blocked monocortical screws has sufficient resistance to stabilize oblique,fractures, without compromising mandibular dental or neurovascular structures. J Vet Dent 24 (7); 212 - 221, 2010

Disturbances in microbiota - cause or effect?

IBD are a group of complex polygenetic diseases also involving environmental factors. Evidence for a role for bacteria in IBD include an increased abundance of mucosa-associated bacteria in IBD (which occurs even where there is no intestinal inflammation), and the positive impact of antibiotics on the progress of both Crohn's disease (CD) and ulcerative colitis (UC) of the pouch - pouchitis. Bacteria are necessary for most animal models of IBD. The increased abundance of mucosal bacteria in IBD is not non-specific because while some mucosal bacteria are more abundant this is not the case for all mucosal bacteria including the very abundant Bacteroides vulgatus. On the other hand, antibiotic treatments are not curative, and the humoral immune Ig response to bacterial antigens which is more evident in CD, appears to be polyclonal. While this argues against a role for specific bacteria causing a classical infection, certain mucosal bacteria may damage the mucosal barrier. This would promote invasion by other commensal mucosal bacteria triggering an immune response. Altered adaptive, and to a lesser extent, innate immunity have been extensively studied, and genetic defects in the CARD15 (or NOD2) gene that encodes a bacterial sensing protein modulating innate and adaptive immunity are strongly associated with ileal CD. However, the penetrance of the homozygous CARD15 frameshift mutation, which is the most strongly CD-associated genotype, is very low with only 4% of humans with this developing CD. Furthermore, mice with the same defects in CARD15 do not develop spontaneous ileitis or colitis. Therefore, there have to be other aetiological factor(s). Altered permeability is a consistent finding in subclinical CD. There are other data to suggest that altered mucin is an early event in UC. We propose that the pathogenesis of IBD is multifactorial involving specific mucosal bacteria, defective barrier function and altered mucosal immunity in an aetiology triangle.

Prevalence of Rickettsia species antibodies and Rickettsia species DNA in the blood of cats with and without fever

Rickettsia species antibodies have been detected in some cats but it is unknown whether infected cats develop clinical signs. The prevalence of Rickettsia species deoxyribonucleic acid (DNA) in blood from clinically ill cats has not been determined. The objective of this study was to determine if cats with fever (body temperature >= 102.5 degrees F [39.2 degrees C]) were more likely to have evidence of rickettsial infection than healthy, age-matched, control cats with a body temperature < 102.5 degrees F. Rickettsia species polymerase chain reaction (PCR) assays were performed to detect rickettsial DNA extracted from blood (71 paired samples), indirect immunofluorescence assays (IFA) were performed to detect serum antibodies against Rickettsia felis (90 paired samples) and Rickettsia rickettsii (91 paired samples), and the results between pairs were compared. All samples were negative for Rickettsia species DNA. More cats with fever were seropositive for R felis or R rickettsii than control cats, but results were not statistically significant. Results of this pilot study failed to show an association between Rickettsia species DNA or Rickettsia species antibodies and fever. (c) 2008 ESFM and AAFP. Published by Elsevier Ltd. All rights reserved.

An integrated database on ticks and tick-borne zoonoses in the tropics and subtropics with special reference to developing and emerging countries

Tick-borne zoonoses (TBZ) are emerging diseases worldwide. A large amount of information (e.g. case reports, results of epidemiological surveillance, etc.) is dispersed through various reference sources (ISI and non-ISI journals, conference proceedings, technical reports, etc.). An integrated database-derived from the ICTTD-3 project (http://www.icttd.nl)-was developed in order to gather TBZ records in the (sub-)tropics, collected both by the authors and collaborators worldwide. A dedicated website (http://www.tickbornezoonoses.org) was created to promote collaboration and circulate information. Data collected are made freely available to researchers for analysis by spatial methods, integrating mapped ecological factors for predicting TBZ risk. The authors present the assembly process of the TBZ database: the compilation of an updated list of TBZ relevant for (sub-)tropics, the database design and its structure, the method of bibliographic search, the assessment of spatial precision of geo-referenced records. At the time of writing, 725 records extracted from 337 publications related to 59 countries in the (sub-)tropics, have been entered in the database. TBZ distribution maps were also produced. Imported cases have been also accounted for. The most important datasets with geo-referenced records were those on Spotted Fever Group rickettsiosis in Latin-America and Crimean-Congo Haemorrhagic Fever in Africa. The authors stress the need for international collaboration in data collection to update and improve the database. Supervision of data entered remains always necessary. Means to foster collaboration are discussed. The paper is also intended to describe the challenges encountered to assemble spatial data from various sources and to help develop similar data collections.

Food aversion: A critical balance between allergen-specific IgE levels and taste preference

Animals sensitized to allergens change their feeding behavior and avoid drinking the otherwise preferred sweetened solutions containing the allergens. This phenomenon, known as food aversion, appears to be mediated by allergen-specific IgE antibodies. Here we investigated food aversion in BALB/c and C57BL/6 mice, which differ in their allergic responses to the allergen ovalbumin as well as in their preference for sweet taste. BALB/c mice present higher levels of IgE and a natural lower preference for sweet flavors when compared to C57BL/6 mice. Specifically, we studied a conflicting situation in which animals simultaneously experienced the aversive contact with the allergen and the attractive sweet taste of increasing concentrations of sucrose. We found that BALB/c mice were more prone to develop food aversion than C57BL/6 mice and that this aversive behavior could be abolished in both strains by increasing the palatability of the solution containing the allergen. In both strains food aversion was positively correlated with the levels of allergen-specific IgE antibodies and inversely correlated with their preference for sucrose sweetened solutions. (C) 2009 Elsevier Inc. All rights reserved.

Serum Starvation and Full Confluency for Cell Cycle Synchronization of Domestic Cat (Felis catus) Foetal Fibroblasts

Nuclear transfer of domestic cat can be used as a tool to develop reproductive biotechnologies in wild felids. The importance of cell cycle phase during the nuclear transfer has been a matter of debate since the first mammalian clone was produced. The cell cycle phase of donor cells interferes on maintenance of correct ploidy and genetic reprogramming of the reconstructed embryo. The use of G0/G1 arrested donor cells has been shown to improve nuclear transfer efficiency. The present study was conducted to test the hypothesis that domestic cat foetal fibroblasts cultured up to the fifth passage and submitted to full confluency provide a higher percentage of cells at G0/G1 stage than fibroblasts cultured in serum starved media. Results demonstrated that serum starvation increased (p < 0.05) the percentage of G0/G1 fibroblasts when compared with control. Moreover, the combined protocol using confluency and serum starvation was more efficient (p < 0.05) synchronizing cells at G0/G1 stage than serum starvation or confluency alone for the first 3 days of treatment. In conclusion, serum starvation and full confluency act in a synergistic manner to improve domestic cat foetal fibroblast cell cycle synchronization at the G0/G1 stage.

Tracking the Ovarian Cycle in Black-and-Gold Howlers (Alouatta caraya) by Measuring Fecal Steroids and Observing Vaginal Bleeding

A better understanding of a species` reproductive physiology can help conservation programs to manage primates in the wild and develop assisted reproductive technologies in captivity. We investigated whether measurements of fecal progestin and estrogen metabolites obtained by a radioimmunoassay could be used to monitor the ovarian cycle of Alouatta caraya. We also compared the occurrence of vaginal bleeding with the hormone profiles. We collected fecal samples from 3 adult and 1 subadult captive female over 5 mo and performed vaginal cytology for the adults. The interval between fecal progestin surges in the adult females was 19.11 +/- 2.14 d (n = 18 cycles). Fecal progestin concentrations remained at basal values for 9.83 +/- 2.21 d (n = 18) and rose to elevated values for 9.47 +/- 0.72 d (n = 19). The subadult female showed basal levels of fecal estrogen and progestin concentrations throughout the study, suggesting that our hormone measurements are valid to monitor the ovarian cycle. Bleeding periods coincided with basal levels of fecal estrogens and progestin at intervals of 19.8 +/- 0.9 d and lasted for 4.1 +/- 1.0 d. Although we obtained these data from only 3 individuals, the results indicate that this species likely has a menstrual-type ovarian cycle. These data provide the first endocrine profile for the Alouatta caraya ovarian cycle and are similar to results obtained for other howler species. This similarity is important for comparative studies of howlers, allowing for a better understanding of their reproductive physiology and contributing to a critical information base for managing Alouatta species.

Human immature dental pulp stem cells` contribution to developing mouse embryos: production of human/mouse preterm chimaeras

In this study, we aimed at determining whether human immature dental pulp stem cells (hIDPSC) would be able to contribute to different cell types in mouse blastocysts without damaging them. Also, we analysed whether these blastocysts would progress further into embryogenesis when implanted to the uterus of foster mice, and develop human/mouse chimaera with retention of hIDPSC derivates and their differentiation. hIDPSC and mouse blastocysts were used in this study. Fluorescence staining of hIDPSC and injection into mouse blastocysts, was performed. Histology, immunohistochemistry, fluorescence in situ hybridization and confocal microscopy were carried out. hIDPSC showed biological compatibility with the mouse host environment and could survive, proliferate and contribute to the inner cell mass as well as to the trophoblast cell layer after introduction into early mouse embryos (n = 28), which achieved the hatching stage following 24 and 48 h in culture. When transferred to foster mice (n = 5), these blastocysts with hIDPSC (n = 57) yielded embryos (n = 3) and foetuses (n = 6); demonstrating presence of human cells in various organs, such as brain, liver, intestine and hearts, of the human/mouse chimaeras. We verified whether hIDPSC would also be able to differentiate into specific cell types in the mouse environment. Contribution of hIDPSC in at least two types of tissues (muscles and epithelial), was confirmed. We showed that hIDPSC survived, proliferated and differentiated in mouse developing blastocysts and were capable of producing human/mouse chimaeras.

Oral manifestations of human T-cell lymphotropic virus infection in adult patients from Brazil

Objective: Human T-cell lymphotropic virus type 1 (HTLV-1) was the first human retrovirus discovered and its pathogenesis is related to T cells infection. This study aimed to verify the presence of oral manifestations in a Brazilian population of patients who was seropositive for HTLV, and identify risk factors for oral manifestations. Subjects and methods: An assessment was made of 139 patients at the Emilio Ribas Institute of Infectious Diseases. Results: A total of 112 (80.5%) patients were HTLV-1, 26 (18.7%) were HTLV-2+. About 35.2% of patients had myelopathy/tropical spastic paraparesis (HAM/TSP), with 48 of them being HTLV-1+ and one patient was seropositive for HTLV-1 and -2. The most common oral manifestations were: xerostomia (26.8%), candidiasis (20.8%), fissured tongue (17.9%), and loss of tongue papillae (10.0%). A multivariate logistic regression analysis showed that HAM/TSP is an independent risk factor for xerostomia (P = 0.02). The patients who were HAM/TSP+ were three times more likely to develop xerostomia when compared with patients without HAM/TSP (odds ratio = 2.69, 95% confidence interval = 1.17-6.17). Conclusion: Despite the fact that the findings of this study suggest a relationship between xerostomia and HAM/TSP, more studies should be developed to show what the association would be between xerostomia presented by HTLV patients and pathogenesis of the virus.

Oral status and Candida colonization in patients with Sjogren`s Syndrome

Objective: To determine the oral status, salivary flow rate, Candida carriage in saliva, and prevalence of Candida albicans colonization in several areas of the mouth in patients with primary and secondary Sjogren`s syndrome as opposed to those of healthy subjects. Study design: Thirty-seven patients with Sjogren`s syndrome (SS), [14 patients with primary SS (SS-1) and 23 patients with secondary SS (SS-2)], along with 37 healthy controls were examined in regard to number of teeth, pro-bing pocket depth (PPD), approximal plaque index (API), bleeding on probing (BOP), presence of prosthetic appliances and smoking habits. Salivary flow rate (SFR), Candida carriage in saliva, presence of Candida albicans colonization on buccal, angular, palatal and sulcular areas, on dentures and on the tongue`s dorsal surface were determined. Statistical analyses were performed using the 2-tailed Fisher exact and Kruskal-Wallis test. Results: No statistically significant difference was found between SS-1 and SS-2 groups based on the parameters analysed. Statistically significant differences were observed between patients with SS and healthy subjects in terms of SFR, oral signs and symptoms, API, BOP, C. albicans colonization on tongue and buccal area, and Candida carriage in saliva. In the gingival crevicular fluid positive C. albicans colonization was found in only one subject of SS subgroup. Conclusions: SS patients carry a higher risk of having periodontitis and are more predisposed to develop candidiasis. C. albicans is scarcely detected in gingival crevicular fluid despite high scores on C. albicans colonization in different areas of the oral cavity in SS patients.

Mucocele in pediatric patients: Analysis of 36 children

Mucoceles are common benign lesions of the oral cavity that develop following extravasation or retention of mucous material from major or minor salivary glands. Most series report a higher incidence of mucocele in young patients but no studies exist for this specific age group. The records of 104 patients presenting with mucocele who underwent surgery in the Oral Diseases Clinic of the Department of Dermatology of the University of Sao Paulo, Brazil, between 1991 and 2006, were reviewed. Of these, 36 (34.6%) were 15 years old or younger, the youngest being 2 years old. Twenty-six patients were girls, 10 were boys. Lesions were located on the lower labial mucosa (30 patients), tongue (three), floor of the mouth (one), buccal mucosa (one), and in one patient the location was unknown. Histopathology revealed an extravasation pattern in 35 patients and a retention pattern in one. Of the distinct subtypes of mucocele, tongue lesions (mucocele of the glands of Blandin-Nuhn) seem to be more prevalent and retention mucoceles seem to be very rare in children.

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.

Understanding and enhancing research-policy linkages in Australian housing: A discussion paper

This project aimed to develop a systematic framework for understanding the relationship between social science research and public policy, and to build more effective linkages between social researchers and policy practitioners in the Australian housing system, particularly through AHURI. The project is explicitly applied and solution-focused. It was undertaken in close collaboration with AHURI and has contributed to AHURI's overall mission and strategy to enhancing research-based housing policy. It provided an opportunity for the AHURI policy community to engage in a process of action-oriented, self-reflection around its core business of applied housing policy research.