Dynamic simulation of regulatory networks using SQUAD.

BACKGROUND: The ambition of most molecular biologists is the understanding of the intricate network of molecular interactions that control biological systems. As scientists uncover the components and the connectivity of these networks, it becomes possible to study their dynamical behavior as a whole and discover what is the specific role of each of their components. Since the behavior of a network is by no means intuitive, it becomes necessary to use computational models to understand its behavior and to be able to make predictions about it. Unfortunately, most current computational models describe small networks due to the scarcity of kinetic data available. To overcome this problem, we previously published a methodology to convert a signaling network into a dynamical system, even in the total absence of kinetic information. In this paper we present a software implementation of such methodology. RESULTS: We developed SQUAD, a software for the dynamic simulation of signaling networks using the standardized qualitative dynamical systems approach. SQUAD converts the network into a discrete dynamical system, and it uses a binary decision diagram algorithm to identify all the steady states of the system. Then, the software creates a continuous dynamical system and localizes its steady states which are located near the steady states of the discrete system. The software permits to make simulations on the continuous system, allowing for the modification of several parameters. Importantly, SQUAD includes a framework for perturbing networks in a manner similar to what is performed in experimental laboratory protocols, for example by activating receptors or knocking out molecular components. Using this software we have been able to successfully reproduce the behavior of the regulatory network implicated in T-helper cell differentiation. CONCLUSION: The simulation of regulatory networks aims at predicting the behavior of a whole system when subject to stimuli, such as drugs, or determine the role of specific components within the network. The predictions can then be used to interpret and/or drive laboratory experiments. SQUAD provides a user-friendly graphical interface, accessible to both computational and experimental biologists for the fast qualitative simulation of large regulatory networks for which kinetic data is not necessarily available.

Mètodes algebraics i de teoria de la prova per a la formalització del raonament vague

Projecte de recerca elaborat a partir d’una estada a la Università degli studi di Siena, Italy , entre 2007 i 2009. El projecte ha consistit en un estudi de la formalització lògica del raonament en presència de vaguetat amb els mètodes de la Lògica Algebraica i de la Teoria de la Prova. S'ha treballat fonamental en quatre direccions complementàries. En primer lloc, s'ha proposat un nou plantejament, més abstracte que el paradigma dominant fins ara, per l'estudi dels sistemes de lògica borrosa. Fins ara en l'estudi d'aquests sistemes l'atenció havia recaigut essencialment en l'obtenció de semàntiques basades en tnormes contínues (o almenys contínues per l'esquerra). En primer nivell de major abstracció hem estudiat les propietats de completesa de les lògiques borroses (tant proposicionals com de primer ordre) respecte de semàntiques definides sobre qualsevol cadena de valors de veritat, no necessàriament només sobre l'interval unitat dels nombres reals. A continuació, en un nivell encara més abstracte, s’ha pres l'anomenada jerarquia de Leibniz de la Lògica Algebraica Abstracta que classifica tots els sistemes lògics amb un bon comportament algebraic i s'ha expandit a una nova jerarquia (que anomenem implicacional) que permet definir noves classes de lògiques borroses que contenen quasi totes les conegudes fins ara. En segon lloc, s’ha continuat una línia d'investigació iniciada els darrers anys consistent en l'estudi de la veritat parcial com a noció sintàctica (és a dir, com a constants de veritat explícites en els sistemes de prova de les lògiques borroses). Per primer cop, s’ha considerat la semàntica racional per les lògiques proposicionals i la semàntica real i racional per les lògiques de primer ordre expandides amb constants. En tercer lloc, s’ha tractat el problema més fonamental del significat i la utilitat de les lògiques borroses com a modelitzadores de (part de) els fenòmens de la vaguetat en un darrer article de caràcter més filosòfic i divulgatiu, i en un altre més tècnic en què defensem la necessitat i presentem l'estat de l'art de l'estudi de les estructures algèbriques associades a les lògiques borroses. Finalment, s’ha dedicat la darrera part del projecte a l'estudi de la complexitat aritmètica de les lògiques borroses de primer ordre.

Estimating the Prevalence of Problem Opiate and Problem Cocaine Use in Northern Ireland (PDF 213 KB)

Apr-06

Strategy selection during exploratory behavior: sex differences

This study was designed to assess sex-related differences in the selection of an appropriate strategy when facing novelty. A simple visuo-spatial task was used to investigate exploratory behavior as a specific response to novelty. The exploration task was followed by a visual discrimination task, and the responses were analyzed using signal detection theory. During exploration women selected a local searching strategy in which the metric distance between what is already known and what is unknown was reduced, whereas men adopted a global strategy based on an approximately uniform distribution of choices. Women's exploratory behavior gives rise to a notion of a secure base warranting a sense of safety while men's behavior does not appear to be influenced by risk. This sex-related difference was interpreted as a difference in beliefs concerning the likelihood of uncertain events influencing risk evaluation. Keywords: exploration, spontaneous strategies, sex differences, decision-making.

Scaling behavior and equilibrium lengths of knotted polymers

We use numerical simulations to investigate how the chain length and topology of freely fluctuating knotted polymer rings affect their various spatial characteristics such as the radius of the smallest sphere enclosing momentary configurations of simulated polymer chains. We describe how the average value of a characteristic changes with the chain size and how this change depends on the topology of the modeled polymers. Although the scaling profiles of a spatial characteristic for distinct knot types do not intersect (at least, in the range of our data), the profiles for nontrivial knots intersect the corresponding profile obtained for phantom polymers, i.e., those that are free to explore all available topological states. For each knot type, this point of intersection defines its equilibrium length with respect to the spatial characteristic. At this chain length, a polymer forming a given knot type will not tend to increase or decrease. on average, the value of the spatial characteristic when the polymer is released from its topological constraint. We show interrelations between equilibrium lengths defined with respect to spatial characteristics of different character and observe that they are related to the lengths of ideal geometric configurations of the corresponding knot types.

Prevalence of Problem Heroin Use in NI (PDF 227 KB)

Mar-02

Sexual protection behavior in HIV-positive gay men: testing a modified information-motivation-behavioral skills model.

This study on determinants of sexual protection behavior among HIV-positive gay men used the empirically tested information-motivation-behavioral skills (IMB) model. HIV-specific variables were added to the model to determine factors decisive for condom use with steady and casual partners. Data were collected using an anonymous, standardized self-administered questionnaire. Study participants were recruited at HIV outpatient clinics associated with the Eurosupport Study Group and the Swiss HIV Cohort Study. To identify factors associated with condom use, backward elimination regression analyses were performed. Overall, 838 HIV-infected gay men from 14 European countries were included in this analysis. About 53% of them reported at least one sexual contact with a steady partner; 62.5% had sex with a casual partner during the last 6 months. Forty-three percent always used condoms with steady partners and 44% with casual partners. High self-efficacy and subjective norms in favor of condom-use were associated with increased condom use with casual and steady partners, whereas feeling depressed was associated with decreased condom use with casual partners. Condoms were used less often with HIV-positive partners. Self-efficacy as an important behavioral skill to perform protection behavior was influenced by lower perceived vulnerability, higher subjective norms, and more positive safer sex attitudes. The IMB-model constructs appeared to be valid; however, not all the model predictors could be determined as hypothesized. Besides the original IMB constructs, HIV-specific variables, including sexual partners' serostatus and mental health, explained condom use. Such factors should be considered in clinical interventions to promote "positive prevention."

The generator problem for Z-stable C*-algebras

The generator problem was posed by Kadison in 1967, and it remains open until today. We provide a solution for the class of C*-algebras absorbing the Jiang-Su algebra Z tensorially. More precisely, we show that every unital, separable, Z-stable C*-algebra A is singly generated, which means that there exists an element x є A that is not contained in any proper sub-C*- algebra of A. To give applications of our result, we observe that Z can be embedded into the reduced group C*-algebra of a discrete group that contains a non-cyclic, free subgroup. It follows that certain tensor products with reduced group C*-algebras are singly generated. In particular, C*r (F ∞) ⨂ C*r (F ∞) is singly generated.

Schistosomiasis mansoni in Bananal (State of São Paulo, Brazil): IV. Study on the public awareness of its risks in the Palha District

A rather high prevalence of mansoni schistosomiasis has been observed in some localities of Bananal, State of São Paulo, during the past decade. The highest prevalence of schistosomiasis was found in the Palha District; it was thus considered adequate for an evaluation of public awareness of the risks involved in acquiring schistosomiasis, a likely outcome of certain behavior patterns. We interviewed 542 district-dwellers. The 5-to-39 age-group constituted 65.5% of the whole sample. Concerning the infection, 69.2% had hearsay information; 46.1% know the infection; 69.6% know how it is acquired; 31.5% know about the symptoms and 57.1% know what can be done to avoid infection; 17.7% declared to have acquired the infection at least once in their lifetime; 62.3% reported total or partial immersion in collections of water of Bananal, once or twice a week, 53.9% of these for bathing or fishing. Although most (91.7%) households have treated running water, are connected to the sewage network or have septic tanks, 9% of the people interviewed use to defecate on the field. It became clear that the educational messages aimed at this population had not been adequate, having failed to fulfil any expectations. The local people received only piecemeal and subjective information about their problem. The control of schistosomiasis requires an integrated practice, which includes the analysis of macro-determinant factors, such as basic sanitation, habitation, education and health care. In short, we require a multidisciplinary vision of the mechanisms of transmission of the infection, which depends upon adequate planning and well trained personnel, intent on their educational work, to attain satisfactory results.