Developing logic programs from specifications using stepwise refinement

In this paper we demonstrate a refinement calculus for logic programs, which is a framework for developing logic programs from specifications. The paper is written in a tutorial-style, using a running example to illustrate how the refinement calculus is used to develop logic programs. The paper also presents an overview of some of the advanced features of the calculus, including the introduction of higher-order procedures and the refinement of abstract data types.

Genetic associations between carcass traits measured by real-time ultrasound and scrotal circumference and growth traits in Nelore cattle

The aim of the present study was to evaluate the genetic correlations among real-time ultrasound carcass, BW, and scrotal circumference (SC) traits in Nelore cattle. Carcass traits, measured by real-time ultrasound of the live animal, were recorded from 2002 to 2004 on 10 farms across 6 Brazilian states on 2,590 males and females ranging in age from 450 to 599 d. Ultrasound records of LM area (LMA) and backfat thickness (BF) were obtained from cross-sectional images between the 12th and 13th ribs, and rump fat thickness (RF) was measured between the hook and pin bones over the junction between gluteus medius and biceps femoris muscles. Also, BW (n = 22,778) and SC ( n = 5,695) were recorded on animals born between 1998 and 2003. The BW traits were 120, 210, 365, 450, and 550-d standardized BW (W120, W210, W365, W450, and W550), plus BW (WS) and hip height (HH) on the ultrasound scanning date. The SC traits were 365-, 450-, and 550-d standardized SC (SC365, SC450, and SC550). For the BW and SC traits, the database used was from the Nelore Breeding Program-Nelore Brazil. The genetic parameters were estimated with multivariate animal models and REML. Estimated genetic correlations between LMA and other traits were 0.06 (BF), -0.04 ( RF), 0.05 (HH), 0.58 (WS), 0.53 (W120), 0.62 (W210), 0.67 (W365), 0.64 ( W450 and W550), 0.28 (SC365), 0.24 (SC450), and 0.00 ( SC550). Estimated genetic correlations between BF and with other traits were 0.74 ( RF), -0.32 (HH), 0.19 (WS), -0.03 (W120), -0.10 (W210), 0.04 (W365), 0.01 (W450), 0.06 ( W550), 0.17 (SC365 and SC450), and -0.19 (SC550). Estimated genetic correlations between RF and other traits were -0.41 (HH), -0.09 (WS), -0.13 ( W120), -0.09 ( W210), -0.01 ( W365), 0.02 (W450), 0.03 (W550), 0.05 ( SC365), 0.11 ( SC450), and -0.18 (SC550). These estimates indicate that selection for carcass traits measured by real-time ultrasound should not cause antagonism in the genetic improvement of SC and BW traits. Also, selection to increase HH might decrease subcutaneous fat as correlated response. Therefore, to obtain animals suited to specific tropical production systems, carcass, BW, and SC traits should be considered in selection programs.

Stability improvement of the fatty acid binding protein Sm14 from S. mansoni by Cys replacement: Structural and functional characterization of a vaccine candidate

The Schistosoma mansoni fatty acid binding protein (FABP), SmA, is a vaccine candidate against, S. mansoni and F hepatica. Previously, we demonstrated the importance of a correct fold to achieve protection in immunized animals after cercariae challenge [[10]. C.R.R. Ramos, R.C.R. Figueredo, T.A. Pertinhez, M.M. Vilar, A.L.T.O. Nascimento, M. Tendler, I. Raw, A. Spisni, P.L. Ho, Gene structure and M20T polymorphism of the Schistosoma mansoni Sm14 fatty acid-binding protein: structural, functional and immunoprotection analysis. J. Biol. Chem. 278 (2003) 12745-12751]. Here we show that the reduction of vaccine efficacy over time is due to protein dimerization and subsequent aggregation. We produced the mutants Sm14-M20(C62S) and Sm14M20(C62V) that, as expected, did not dimerize in SDS-PAGE. Molecular dynamics calculations and unfolding experiments highlighted a higher structural stability of these mutants with respect to the wild-type. In addition, we found that the mutated proteins, after thermal denaturation, refolded to their active native molecular architecture as proved by the recovery of the fatty acid binding ability. Sm14-M20(C62V) turned out to be the more stable form over time, providing the basis to determine the first 3D solution structure of a Sm14 protein in its apo-form. Overall, Sm14-M20(C62V) possesses an improved structural stability over time, an essential feature to preserve its immunization capability and, in experimentally immunized animals, it exhibits a protection effect against S. mansoni cercariae infections comparable to the one obtained with the wild-type protein. These facts indicate this protein as a good lead molecule for large-scale production and for developing an effective Sm14 based anti-helminthes vaccine. (C) 2008 Elsevier B.V. All rights reserved.

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/].