Interaction between GIS and hydrologic model: a preliminary approach using ArcHydro Framework Data Model

In different regions of Brazil, population growth and economic development can degrade water quality, compromising watershed health and human supply. Because of its ability to combine spatial and temporal data in the same environment and to create water resources management (WRM) models, the Geographical Information System (GIS) is a powerful tool for managing water resources, preventing floods and estimating water supply. This paper discusses the integration between GIS and hydrological models and presents a case study relating to the upper section of the Paraíba do Sul Basin (Sao Paulo State portion), situated in the Southeast of Brazil. The case study presented in this paper has a database suitable for the basin's dimensions, including digitized topographic maps at a 50,000 scale. From an ArcGIS®/ArcHydro Framework Data Model, a geometric network was created to produce different raster products. This first grid derived from the digital elevation model grid (DEM) is the flow direction map followed by flow accumulation, stream and catchment maps. The next steps in this research are to include the different multipurpose reservoirs situated along the Paraíba do Sul River and to incorporate rainfall time series data in ArcHydro to build a hydrologic data model within a GIS environment in order to produce a comprehensive spatial-temporal model.

An improved interolog mapping-based computational prediction of protein protein interactions with increased network coverage

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Frugivores at higher risk of extinction are the key elements of a mutualistic network

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Análise de pathway e network em tecido adiposo in vivo e o papel da vitamina D na adipogênese in vitro

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Syntax of social life in postpartum depression: Mother-child interaction

Purpose: Understand the difficulties and experienced of individuals suffering from postpartum depression, related to mood disturbances, the mother-child bond and its repercussions in the meanings established for the experience of being a mother. Methods: Forty-one patients were interviewed, with ages ranging from 20 to 49 years, from a total of 106 attended at the Primary Care Unit, in the interior of the state of Parahiba, Brazil. A sample of 21 women was selected, presenting an inclusion profile, propitious to mapping postpartum depression. The eligible patients were referred by two PSF (Health Family) teams (one each from the urban and rural zones), aimed at diagnosing the psychic disturbance of the perperium. They were accompanied by a psychologist and all signed an informed consent form. A field diary supported the information recorded. Beck's Depression Inventory complemented the inclusion and follow-up of the patients. The data were analyzed statistically. Results: We confirmed the findings of the most recent studies that infant abandonment in the postpartum period occurs in situations where multiple and serious factors add up, such as misery (86.7%), little schooling (67%), lack of a support network (36.5%), estrangement of the mother's family relations (12%) and lack of paternal involvement (91.5%). Conclusion: The feeling of psyching pain and suffering, resulting from postpartum depression, is the most emphasized by women (87%) because it triggers the greatest discomfort, due to the difficulty in overcoming it.

Probabilistic patterns of interaction: the effects of link-strength variability on food web structure

Patterns of species interactions affect the dynamics of food webs. An important component of species interactions that is rarely considered with respect to food webs is the strengths of interactions, which may affect both structure and dynamics. In natural systems, these strengths are variable, and can be quantified as probability distributions. We examined how variation in strengths of interactions can be described hierarchically, and how this variation impacts the structure of species interactions in predator-prey networks, both of which are important components of ecological food webs. The stable isotope ratios of predator and prey species may be particularly useful for quantifying this variability, and we show how these data can be used to build probabilistic predator-prey networks. Moreover, the distribution of variation in strengths among interactions can be estimated from a limited number of observations. This distribution informs network structure, especially the key role of dietary specialization, which may be useful for predicting structural properties in systems that are difficult to observe. Finally, using three mammalian predator-prey networks ( two African and one Canadian) quantified from stable isotope data, we show that exclusion of link-strength variability results in biased estimates of nestedness and modularity within food webs, whereas the inclusion of body size constraints only marginally increases the predictive accuracy of the isotope-based network. We find that modularity is the consequence of strong link-strengths in both African systems, while nestedness is not significantly present in any of the three predator-prey networks.

Using gene-network landscape to dissect genotype effects of TCF7L2 genetic variant on diabetes and cardiovascular risk

Vaquero AR, Ferreira NE, Omae SV, Rodrigues MV, Teixeira SK, Krieger JE, Pereira AC. Using gene-network landscape to dissect genotype effects of TCF7L2 genetic variant on diabetes and cardiovascular risk. Physiol Genomics 44: 903-914, 2012. First published August 7, 2012; doi:10.1152/physiolgenomics.00030.2012.-The single nucleotide polymorphism (SNP) within the TCF7L2 gene, rs7903146, is, to date, the most significant genetic marker associated with Type 2 diabetes mellitus (T2DM) risk. Nonetheless, its functional role in disease pathology is poorly understood. The aim of the present study was to investigate, in vascular smooth muscle cells from 92 patients undergoing aortocoronary bypass surgery, the contribution of this SNP in T2DM using expression levels and expression correlation comparison approaches, which were visually represented as gene interaction networks. Initially, the expression levels of 41 genes (seven TCF7L2 splice forms and 40 other T2DM relevant genes) were compared between rs7903146 wild-type (CC) and T2DM-risk (CT + TT) genotype groups. Next, we compared the expression correlation patterns of these 41 genes between groups to observe if the relationships between genes were different. Five TCF7L2 splice forms and nine genes showed significant expression differences between groups. RXR alpha gene was pinpointed as showing the most different expression correlation pattern with other genes. Therefore, T2DM risk alleles appear to be influencing TCF7L2 splice form's expression in vascular smooth muscle cells, and RXR alpha gene is pointed out as a treatment target candidate for risk reduction in individuals with high risk of developing T2DM, especially individuals harboring TCF7L2 risk genotypes.

Glia-Pinealocyte Network: The Paracrine Modulation of Melatonin Synthesis by Tumor Necrosis Factor (TNF)

The pineal gland, a circumventricular organ, plays an integrative role in defense responses. The injury-induced suppression of the pineal gland hormone, melatonin, which is triggered by darkness, allows the mounting of innate immune responses. We have previously shown that cultured pineal glands, which express toll-like receptor 4 (TLR4) and tumor necrosis factor receptor 1 (TNFR1), produce TNF when challenged with lipopolysaccharide (LPS). Here our aim was to evaluate which cells present in the pineal gland, astrocytes, microglia or pinealocytes produced TNF, in order to understand the interaction between pineal activity, melatonin production and immune function. Cultured pineal glands or pinealocytes were stimulated with LPS. TNF content was measured using an enzyme-linked immunosorbent assay. TLR4 and TNFR1 expression were analyzed by confocal microscopy. Microglial morphology was analyzed by immunohistochemistry. In the present study, we show that although the main cell types of the pineal gland (pinealocytes, astrocytes and microglia) express TLR4, the production of TNF induced by LPS is mediated by microglia. This effect is due to activation of the nuclear factor kappa B (NF-kB) pathway. In addition, we observed that LPS activates microglia and modulates the expression of TNFR1 in pinealocytes. As TNF has been shown to amplify and prolong inflammatory responses, its production by pineal microglia suggests a glia-pinealocyte network that regulates melatonin output. The current study demonstrates the molecular and cellular basis for understanding how melatonin synthesis is regulated during an innate immune response, thus our results reinforce the role of the pineal gland as sensor of immune status.

Mechanical Alterations in airway smooth muscle after interaction with indoor pollutant – A mathematical model.

The viscoelasticity of mammalian lung is determined by the mechanical properties and structural regulation of the airway smooth muscle (ASM). The exposure to polluted air may deteriorate these properties with harmful consequences to individual health. Formaldehyde (FA) is an important indoor pollutant found among volatile organic compounds. This pollutant permeates through the smooth muscle tissue forming covalent bonds between proteins in the extracellular matrix and intracellular protein structure changing mechanical properties of ASM and inducing asthma symptoms, such as airway hyperresponsiveness, even at low concentrations. In the experimental scenario, the mechanical effect of FA is the stiffening of the tissue, but the mechanism behind this effect is not fully understood. Thus, the aim of this study is to reproduce the mechanical behavior of the ASM, such as contraction and stretching, under FA action or not. For this, it was created a two-dimensional viscoelastic network model based on Voronoi tessellation solved using Runge-Kutta method of fourth order. The equilibrium configuration was reached when the forces in different parts of the network were equal. This model simulates the mechanical behavior of ASM through of a network of dashpots and springs. This dashpot-spring mechanical coupling mimics the composition of the actomyosin machinery of ASM through the contraction of springs to a minimum length. We hypothesized that formation of covalent bonds, due to the FA action, can be represented in the model by a simple change in the elastic constant of the springs, while the action of methacholine (MCh) reduce the equilibrium length of the spring. A sigmoid curve of tension as a function of MCh doses was obtained, showing increased tension when the muscle strip was exposed to FA. Our simulations suggest that FA, at a concentration of 0.1 ppm, can affect the elastic properties of the smooth muscle ¯bers by a factor of 120%. We also analyze the dynamic mechanical properties, observing the viscous and elastic behavior of the network. Finally, the proposed model, although simple, incorporates the phenomenology of both MCh and FA and reproduces experimental results observed with in vitro exposure of smooth muscle to FA. Thus, this new mechanical approach incorporates several well know features of the contractile system of the cells in a tissue level model. The model can also be used in different biological scales.

Mechanical alterations in airway smooth muscle after interaction with indoor pollutant - A mathematical model

The viscoelasticity of mammalian lung is determined by the mechanical properties and structural regulation of the airway smooth muscle (ASM). The exposure to polluted air may deteriorate these properties with harmful consequences to individual health. Formaldehyde (FA) is an important indoor pollutant found among volatile organic compounds. This pollutant permeates through the smooth muscle tissue forming covalent bonds between proteins in the extracellular matrix and intracellular protein structure changing mechanical properties of ASM and inducing asthma symptoms, such as airway hyperresponsiveness, even at low concentrations. In the experimental scenario, the mechanical effect of FA is the stiffening of the tissue, but the mechanism behind this effect is not fully w1derstood. Thus, the aim of this study is to reproduce the mechanical behavior of the ASM, such as contraction and stretching, under FA action or not. For this, it was created a two-dimensional viscoelastic network model based on Voronoi tessellation solved using Runge-Kutta method of fourth order. The equilibrium configuration was reached when the forces in different parts of the network were equal. This model simulates the mechanical behavior of ASM through of a network of dashpots and springs. This dashpot-spring mechanical coupling mimics the composition of the actomyosin machinery of ASM through the contraction of springs to a minimum length. We hypothesized that formation of covalent bonds, due to the FA action, can be represented in the model by a simple change in the elastic constant of the springs, while the action of methacholinc (MCh) reduce the equilibrium length of the spring. A sigmoid curve of tension as a function of MCh doses was obtained, showing increased tension when the muscle strip was exposed to FA. Our simulations suggest that FA, at a concentration of 0.1 ppm, can affect the elastic properties of the smooth muscle fibers by a factor of 120%. We also analyze the dynamic mechanical properties, observing the viscous and elastic behavior of the network. Finally, the proposed model, although simple, ir1corporates the phenomenology of both MCh and FA and reproduces experirnental results observed with ir1 vitro exposure of smooth muscle to .FA. Thus, this new mechanical approach incorporates several well know features of the contractile system of the cells ir1 a tissue level model. The model can also be used in different biological scales.

User interaction widgets for interactive theorem proving

Matita (that means pencil in Italian) is a new interactive theorem prover under development at the University of Bologna. When compared with state-of-the-art proof assistants, Matita presents both traditional and innovative aspects. The underlying calculus of the system, namely the Calculus of (Co)Inductive Constructions (CIC for short), is well-known and is used as the basis of another mainstream proof assistant—Coq—with which Matita is to some extent compatible. In the same spirit of several other systems, proof authoring is conducted by the user as a goal directed proof search, using a script for storing textual commands for the system. In the tradition of LCF, the proof language of Matita is procedural and relies on tactic and tacticals to proceed toward proof completion. The interaction paradigm offered to the user is based on the script management technique at the basis of the popularity of the Proof General generic interface for interactive theorem provers: while editing a script the user can move forth the execution point to deliver commands to the system, or back to retract (or “undo”) past commands. Matita has been developed from scratch in the past 8 years by several members of the Helm research group, this thesis author is one of such members. Matita is now a full-fledged proof assistant with a library of about 1.000 concepts. Several innovative solutions spun-off from this development effort. This thesis is about the design and implementation of some of those solutions, in particular those relevant for the topic of user interaction with theorem provers, and of which this thesis author was a major contributor. Joint work with other members of the research group is pointed out where needed. The main topics discussed in this thesis are briefly summarized below. Disambiguation. Most activities connected with interactive proving require the user to input mathematical formulae. Being mathematical notation ambiguous, parsing formulae typeset as mathematicians like to write down on paper is a challenging task; a challenge neglected by several theorem provers which usually prefer to fix an unambiguous input syntax. Exploiting features of the underlying calculus, Matita offers an efficient disambiguation engine which permit to type formulae in the familiar mathematical notation. Step-by-step tacticals. Tacticals are higher-order constructs used in proof scripts to combine tactics together. With tacticals scripts can be made shorter, readable, and more resilient to changes. Unfortunately they are de facto incompatible with state-of-the-art user interfaces based on script management. Such interfaces indeed do not permit to position the execution point inside complex tacticals, thus introducing a trade-off between the usefulness of structuring scripts and a tedious big step execution behavior during script replaying. In Matita we break this trade-off with tinycals: an alternative to a subset of LCF tacticals which can be evaluated in a more fine-grained manner. Extensible yet meaningful notation. Proof assistant users often face the need of creating new mathematical notation in order to ease the use of new concepts. The framework used in Matita for dealing with extensible notation both accounts for high quality bidimensional rendering of formulae (with the expressivity of MathMLPresentation) and provides meaningful notation, where presentational fragments are kept synchronized with semantic representation of terms. Using our approach interoperability with other systems can be achieved at the content level, and direct manipulation of formulae acting on their rendered forms is possible too. Publish/subscribe hints. Automation plays an important role in interactive proving as users like to delegate tedious proving sub-tasks to decision procedures or external reasoners. Exploiting the Web-friendliness of Matita we experimented with a broker and a network of web services (called tutors) which can try independently to complete open sub-goals of a proof, currently being authored in Matita. The user receives hints from the tutors on how to complete sub-goals and can interactively or automatically apply them to the current proof. Another innovative aspect of Matita, only marginally touched by this thesis, is the embedded content-based search engine Whelp which is exploited to various ends, from automatic theorem proving to avoiding duplicate work for the user. We also discuss the (potential) reusability in other systems of the widgets presented in this thesis and how we envisage the evolution of user interfaces for interactive theorem provers in the Web 2.0 era.

Development, degeneration and neural network of the bodily self

The question addressed by this dissertation is how the human brain builds a coherent representation of the body, and how this representation is used to recognize its own body. Recent approaches by neuroimaging and TMS revealed hints for a distinct brain representation of human body, as compared with other stimulus categories. Neuropsychological studies demonstrated that body-parts and self body-parts recognition are separate processes sub-served by two different, even if possibly overlapping, networks within the brain. Bodily self-recognition is one aspect of our ability to distinguish between self and others and the self/other distinction is a crucial aspect of social behaviour. This is the reason why I have conducted a series of experiment on subjects with everyday difficulties in social and emotional behaviour, such as patients with autism spectrum disorders (ASD) and patients with Parkinson’s disease (PD). More specifically, I studied the implicit self body/face recognition (Chapter 6) and the influence of emotional body postures on bodily self-processing in TD children as well as in ASD children (Chapter 7). I found that the bodily self-recognition is present in TD and in ASD children and that emotional body postures modulate self and others’ body processing. Subsequently, I compared implicit and explicit bodily self-recognition in a neuro-degenerative pathology, such as in PD patients, and I found a selective deficit in implicit but not in explicit self-recognition (Chapter 8). This finding suggests that implicit and explicit bodily self-recognition are separate processes subtended by different mechanisms that can be selectively impaired. If the bodily self is crucial for self/other distinction, the space around the body (personal space) represents the space of interaction and communication with others. When, I studied this space in autism, I found that personal space regulation is impaired in ASD children (Chapter 9).

Molecular interaction of the human metalloprotease meprin beta with the amyloid precursor protein, ADAM10, and ADAM17 based on proteomics

Die Zinkendopeptidasen Meprin α und β sind Schlüsselkomponenten in patho(physiologischen) Prozessen wie Entzündung, Kollagenassemblierung und Angiogenese. Nach ihrer Entdeckung in murinen Bürstensaummembranen und humanen Darmepithelien, wurden weitere Expressionsorte identifiziert, z.B. Leukozyten, Krebszellen und die humane Haut. Tiermodelle, Zellkulturen und biochemische Analysen weisen auf Funktionen der Meprine in der Epithelialdifferenzierung, Zellmigration, Matrixmodellierung, Angiogenese, Bindegewebsausbildung und immunologische Prozesse hin. Dennoch sind ihre physiologischen Substrate weitgehend noch unbekannt. Massenspektrometrisch basierte Proteomics-Analysen enthüllten eine einzigartige Spaltspezifität für saure Aminosäurereste in der P1´ Position und identifizierten neue biologische Substratkandidaten. Unter den 269 extrazellulären Proteinen, die in einem Substratscreen identifiziert wurden, stellten sich das amyloid precursor protein (APP) and ADAM10 (a disintegrin and metalloprotease 10) als sehr vielversprechende Kandidaten heraus. Mehrere Schnittstellen innerhalb des APP Proteins, hervorgerufen durch verschiedenen Proteasen, haben unterschiedlichen Auswirkungen zur Folge. Die β-Sekretase BACE (β-site APP cleaving enzyme) prozessiert APP an einer Schnittstelle, welche als initialer Schritt in der Entwicklung der Alzheimer Erkrankung gilt. Toxische Aβ (Amyloid β)-Peptide werden in den extrazellulären Raum freigesetzt und aggregieren dort zu senilen Plaques. Membran verankertes Meprin β hat eine β-Sekretase Aktivität, die in einem Zellkultur-basierten System bestätigt werden konnte. Die proteolytische Effizienz von Meprin β wurde in FRET (Fluorescence Resonance Energy Transfer)-Analysen bestimmt und war um den Faktor 104 höher als die von BACE1. Weiterhin konnte gezeigt werden, dass Meprin β die ersten zwei Aminosäuren prozessiert und somit aminoterminal einen Glutamatrest freisetzt, welcher nachfolgend durch die Glutaminylzyklase in ein Pyroglutamat zykliert werden kann. Trunkierte Aβ-Peptide werden nur in Alzheimer Patienten generiert. Aufgrund einer erhöhten Hydrophobie weisen diese Peptide eine höhere Tendenz zur Aggregation auf und somit eine erhöhte Toxizität. Bis heute wurde keine Protease identifiziert, welche diese Schnittstelle prozessiert. Die Bildung der Meprin vermittelten N-terminalen APP Fragmenten wurde in vitro und in vivo detektiert. Diese N-APP Peptide hatten keine cytotoxischen Auswirkungen auf murine und humane Gehirnzellen, obwohl zuvor N-APP als Ligand für den death receptor (DR) 6 identifiziert wurde, der für axonale Degenerationsprozesse verantwortlich ist. rnIm nicht-amyloidogenen Weg prozessiert ADAM10 APP und entlässt die Ektodomäne von der Zellmembran. Wir konnten das ADAM10 Propeptid als Substrat von Meprin β identifizieren und in FRET Analysen, in vitro und in vivo zeigen, dass die Meprin vermittelte Prozessierung zu einer erhöhten ADAM10 Aktivität führt. Darüber hinaus wurde ADAM10 als Sheddase für Meprin β identifiziert. Shedding konnte durch Phorbol 12-myristate 13-acetate (PMA) oder durch das Ionophor A23187 hervorgerufen werden, sowie durch ADAM10 Inhibitoren blockiert werden. rnDiese Arbeit konnte somit ein komplexes proteolytisches Netwerk innerhalb der Neurophysiologie aufdecken, welches für die Entwicklung der Alzheimer Demenz wichtig sein kann.rn

Effects of glucosamine, chondroitin, or placebo in patients with osteoarthritis of hip or knee: network meta-analysis

OBJECTIVE: To determine the effect of glucosamine, chondroitin, or the two in combination on joint pain and on radiological progression of disease in osteoarthritis of the hip or knee. Design Network meta-analysis. Direct comparisons within trials were combined with indirect evidence from other trials by using a Bayesian model that allowed the synthesis of multiple time points. MAIN OUTCOME MEASURE: Pain intensity. Secondary outcome was change in minimal width of joint space. The minimal clinically important difference between preparations and placebo was prespecified at -0.9 cm on a 10 cm visual analogue scale. DATA SOURCES: Electronic databases and conference proceedings from inception to June 2009, expert contact, relevant websites. Eligibility criteria for selecting studies Large scale randomised controlled trials in more than 200 patients with osteoarthritis of the knee or hip that compared glucosamine, chondroitin, or their combination with placebo or head to head. Results 10 trials in 3803 patients were included. On a 10 cm visual analogue scale the overall difference in pain intensity compared with placebo was -0.4 cm (95% credible interval -0.7 to -0.1 cm) for glucosamine, -0.3 cm (-0.7 to 0.0 cm) for chondroitin, and -0.5 cm (-0.9 to 0.0 cm) for the combination. For none of the estimates did the 95% credible intervals cross the boundary of the minimal clinically important difference. Industry independent trials showed smaller effects than commercially funded trials (P=0.02 for interaction). The differences in changes in minimal width of joint space were all minute, with 95% credible intervals overlapping zero. Conclusions Compared with placebo, glucosamine, chondroitin, and their combination do not reduce joint pain or have an impact on narrowing of joint space. Health authorities and health insurers should not cover the costs of these preparations, and new prescriptions to patients who have not received treatment should be discouraged.

Hippocampal functional connectivity reflects verbal episodic memory network integrity

Using functional magnetic resonance imaging during a verbal memory task, we investigated correlations of signal fluctuations within the hippocampus and ipsilateral frontal as well as temporal areas in temporal lobe epilepsy patients. Declarative memory abilities were additionally examined before and after temporal lobe epilepsy surgery. A significant difference exists in functional connectivity between patients whose mnemonic functions deteriorated and those who remained stable or improved. Univariate analyses showed significantly higher preoperative coupling between the hippocampus and Brodmann area 22 for the group that decreased in verbal learning. We suggest greater coupling to reflect higher functional network integrity. Postoperatively reduced learning ability in patients with higher preoperative coupling underlines the importance of hippocampal interaction with cortical areas for successful memory formation.