A rigorous approach to facilitate and guarantee the correctness of the genetic testing management in human genome information systems

Abstract Background Recent medical and biological technology advances have stimulated the development of new testing systems that have been providing huge, varied amounts of molecular and clinical data. Growing data volumes pose significant challenges for information processing systems in research centers. Additionally, the routines of genomics laboratory are typically characterized by high parallelism in testing and constant procedure changes. Results This paper describes a formal approach to address this challenge through the implementation of a genetic testing management system applied to human genome laboratory. We introduced the Human Genome Research Center Information System (CEGH) in Brazil, a system that is able to support constant changes in human genome testing and can provide patients updated results based on the most recent and validated genetic knowledge. Our approach uses a common repository for process planning to ensure reusability, specification, instantiation, monitoring, and execution of processes, which are defined using a relational database and rigorous control flow specifications based on process algebra (ACP). The main difference between our approach and related works is that we were able to join two important aspects: 1) process scalability achieved through relational database implementation, and 2) correctness of processes using process algebra. Furthermore, the software allows end users to define genetic testing without requiring any knowledge about business process notation or process algebra. Conclusions This paper presents the CEGH information system that is a Laboratory Information Management System (LIMS) based on a formal framework to support genetic testing management for Mendelian disorder studies. We have proved the feasibility and showed usability benefits of a rigorous approach that is able to specify, validate, and perform genetic testing using easy end user interfaces.

Is income area level associated with blood pressure in adults regardless of individual-level characteristics? A multilevel approach

This population-based health survey was carried out in Florianopolis, Brazil, to assess the association between adult systolic blood pressure (SBP) and contextual income level, after controlling for potential individual-level confounders. A statistically significant negative association between SBP levels and contextual income was identified after adjusting for individual-level characteristics. SBP levels in the highest and in the intermediate tertiles of contextual income were 5.78 and 2.82 mmHg lower, respectively, than that observed in the bottom tertile. The findings suggest an association between income area level and blood pressure, regardless of well-known individual-level hypertension risk factors. (C) 2012 Elsevier Ltd. All rights reserved.

Conceptual problem for noncommutative inflation and the new approach for nonrelativistic inflationary equation of state

In a previous paper, we connected the phenomenological noncommutative inflation of Alexander, Brandenberger and Magueijo [ Phys. Rev. D 67 081301 (2003)] and Koh and Brandenberger [ J. Cosmol. Astropart Phys. 2007 21 ()] with the formal representation theory of groups and algebras and analyzed minimal conditions that the deformed dispersion relation should satisfy in order to lead to a successful inflation. In that paper, we showed that elementary tools of algebra allow a group-like procedure in which even Hopf algebras (roughly the symmetries of noncommutative spaces) could lead to the equation of state of inflationary radiation. Nevertheless, in this paper, we show that there exists a conceptual problem with the kind of representation that leads to the fundamental equations of the model. The problem comes from an incompatibility between one of the minimal conditions for successful inflation (the momentum of individual photons being bounded from above) and the Fock-space structure of the representation which leads to the fundamental inflationary equations of state. We show that the Fock structure, although mathematically allowed, would lead to problems with the overall consistency of physics, like leading to a problematic scattering theory, for example. We suggest replacing the Fock space by one of two possible structures that we propose. One of them relates to the general theory of Hopf algebras (here explained at an elementary level) while the other is based on a representation theorem of von Neumann algebras (a generalization of the Clebsch-Gordan coefficients), a proposal already suggested by us to take into account interactions in the inflationary equation of state.

Morphology and surface sedimentation on the upper and middle continental slope off Uruguay

This paper presents for the first time a morphological and surface sediment characterization of the Uruguayan outer continental shelf and slope. The study is based on a high-resolution coverage using hydrographical, geomorphological and sedimentological sampling and several textural and productivity proxies. Along slope terraces and an important canyon system characterizes continental slope morphology, indicating that across- and down-slope sedimentary processes control large-scale sedimentation. Terraces represent the prolongation of the Argentinean Contouritic Depositional System that vanishes in the study area, presumably as a result of the dynamic of the Brazil-Malvinas confluence. Canyons incised in the upper slope are likely related to low-stand sea level conditions. At the outer shelf and shallow upper slope (170-250 m depth), off-shelf sand transport is inferred from the distribution of relict sand and reworked biogenic gravel. In the upper continental slope, the northern region is characterized by an erosive environment controlled by a steep slope and the southward flowing Brazil current. In the south, a depositional environment is enhanced by the presence of a gentler slope and seaward incised canyons and is mainly controlled by hemipelagic processes associated with nutrient-rich Sub-Antarctic Waters (SAW), by its confluence with South Atlantic Central Waters (SACW) and by the Rio de la Plata’s (RdlP) influence. Additionally, within the upper slope, the occurrence of igneous-metamorphic cobbles and pebbles in canyon and mound lag deposits suggests the influence of glacial fluvial discharge and/or iceberg transport processes. In the middle slope, sedimentation is controlled by thermohaline-induced deep-water bottom currents. The decreasing influence of the erosive Antarctic Intermediate Water (AAIW) is evident in a northward diminution in grain size. The variety of transport and sedimentary processes identified reflect the control of the Brazil-Malvinas confluence zone and the Rio de la Plata’s discharge.