Constraint-based analysis of gene interactions using restricted boolean networks and time-series data

Abstract Background A popular model for gene regulatory networks is the Boolean network model. In this paper, we propose an algorithm to perform an analysis of gene regulatory interactions using the Boolean network model and time-series data. Actually, the Boolean network is restricted in the sense that only a subset of all possible Boolean functions are considered. We explore some mathematical properties of the restricted Boolean networks in order to avoid the full search approach. The problem is modeled as a Constraint Satisfaction Problem (CSP) and CSP techniques are used to solve it. Results We applied the proposed algorithm in two data sets. First, we used an artificial dataset obtained from a model for the budding yeast cell cycle. The second data set is derived from experiments performed using HeLa cells. The results show that some interactions can be fully or, at least, partially determined under the Boolean model considered. Conclusions The algorithm proposed can be used as a first step for detection of gene/protein interactions. It is able to infer gene relationships from time-series data of gene expression, and this inference process can be aided by a priori knowledge available.

Constraint handling rules. Compositional semantics and program transformation

This thesis intends to investigate two aspects of Constraint Handling Rules (CHR). It proposes a compositional semantics and a technique for program transformation. CHR is a concurrent committed-choice constraint logic programming language consisting of guarded rules, which transform multi-sets of atomic formulas (constraints) into simpler ones until exhaustion [Frü06] and it belongs to the declarative languages family. It was initially designed for writing constraint solvers but it has recently also proven to be a general purpose language, being as it is Turing equivalent [SSD05a]. Compositionality is the first CHR aspect to be considered. A trace based compositional semantics for CHR was previously defined in [DGM05]. The reference operational semantics for such a compositional model was the original operational semantics for CHR which, due to the propagation rule, admits trivial non-termination. In this thesis we extend the work of [DGM05] by introducing a more refined trace based compositional semantics which also includes the history. The use of history is a well-known technique in CHR which permits us to trace the application of propagation rules and consequently it permits trivial non-termination avoidance [Abd97, DSGdlBH04]. Naturally, the reference operational semantics, of our new compositional one, uses history to avoid trivial non-termination too. Program transformation is the second CHR aspect to be considered, with particular regard to the unfolding technique. Said technique is an appealing approach which allows us to optimize a given program and in more detail to improve run-time efficiency or spaceconsumption. Essentially it consists of a sequence of syntactic program manipulations which preserve a kind of semantic equivalence called qualified answer [Frü98], between the original program and the transformed ones. The unfolding technique is one of the basic operations which is used by most program transformation systems. It consists in the replacement of a procedure-call by its definition. In CHR every conjunction of constraints can be considered as a procedure-call, every CHR rule can be considered as a procedure and the body of said rule represents the definition of the call. While there is a large body of literature on transformation and unfolding of sequential programs, very few papers have addressed this issue for concurrent languages. We define an unfolding rule, show its correctness and discuss some conditions in which it can be used to delete an unfolded rule while preserving the meaning of the original program. Finally, confluence and termination maintenance between the original and transformed programs are shown. This thesis is organized in the following manner. Chapter 1 gives some general notion about CHR. Section 1.1 outlines the history of programming languages with particular attention to CHR and related languages. Then, Section 1.2 introduces CHR using examples. Section 1.3 gives some preliminaries which will be used during the thesis. Subsequentely, Section 1.4 introduces the syntax and the operational and declarative semantics for the first CHR language proposed. Finally, the methodologies to solve the problem of trivial non-termination related to propagation rules are discussed in Section 1.5. Chapter 2 introduces a compositional semantics for CHR where the propagation rules are considered. In particular, Section 2.1 contains the definition of the semantics. Hence, Section 2.2 presents the compositionality results. Afterwards Section 2.3 expounds upon the correctness results. Chapter 3 presents a particular program transformation known as unfolding. This transformation needs a particular syntax called annotated which is introduced in Section 3.1 and its related modified operational semantics !0t is presented in Section 3.2. Subsequently, Section 3.3 defines the unfolding rule and prove its correctness. Then, in Section 3.4 the problems related to the replacement of a rule by its unfolded version are discussed and this in turn gives a correctness condition which holds for a specific class of rules. Section 3.5 proves that confluence and termination are preserved by the program modifications introduced. Finally, Chapter 4 concludes by discussing related works and directions for future work.

Maintenance of skills, competencies, and performance in allergy and clinical immunology: time to lay the foundation for a universal approach

Allergist/clinical immunologist maintenance of certification and training program reaccreditation are mandatory in some countries. The World Allergy Organization conducted surveys in 2009 and 2011 to assess where such programs were available and to promote the establishment of such programs on a global level. This was done with the presumption that after such an "inventory," World Allergy Organization could offer guidance to its Member Societies on the promotion of such programs to assure the highest standards of practice in the field of allergy and clinical immunology. This review draws on the experience of countries where successful programs are in place and makes recommendations for those wishing to implement such programs for the specialty.

Some considerations on the compile-time analysis of constraint logic programs

This paper discusses some issues which arise in the dataflow analysis of constraint logic programming (CLP) languages. The basic technique applied is that of abstract interpretation. First, some types of optimizations possible in a number of CLP systems (including efficient parallelization) are presented and the information that has to be obtained at compile-time in order to be able to implement such optimizations is considered. Two approaches are then proposed and discussed for obtaining this information for a CLP program: one based on an analysis of a CLP metainterpreter using standard Prolog analysis tools, and a second one based on direct analysis of the CLP program. For the second approach an abstract domain which approximates groundness (also referred to as "definiteness") information (i.e. constraint to a single valué) and the related abstraction functions are presented.

Automatic compile-time parallelization of CLP programs by analysis and transformation to a concurrent constraint language.

The concept of independence has been recently generalized to the constraint logic programming (CLP) paradigm. Also, several abstract domains specifically designed for CLP languages, and whose information can be used to detect the generalized independence conditions, have been recently defined. As a result we are now in a position where automatic parallelization of CLP programs is feasible. In this paper we study the task of automatically parallelizing CLP programs based on such analyses, by transforming them to explicitly concurrent programs in our parallel CC platform (CIAO) as well as to AKL. We describe the analysis and transformation process, and study its efficiency, accuracy, and effectiveness in program parallelization. The information gathered by the analyzers is evaluated not only in terms of its accuracy, i.e. its ability to determine the actual dependencies among the program variables, but also of its effectiveness, measured in terms of code reduction in the resulting parallelized programs. Given that only a few abstract domains have been already defined for CLP, and that none of them were specifically designed for dependency detection, the aim of the evaluation is not only to asses the effectiveness of the available domains, but also to study what additional information it would be desirable to infer, and what domains would be appropriate for further improving the parallelization process.

Organizational, direct support, and general support maintenance repair parts and special tools list (including depot maintenance repair parts and special tools) for dual time base plug-in unit TD-1159/U (NSN 6625-00-261-5139).

"9 October 1982."

Direct support and general support maintenance repair parts and special tools list (including depot maintenance repair parts and special tools) for multiplexer, time division digital, TD-1069/G, (NSN 5805-01-028-8425).

Includes index.

Direct support and general support maintenance manual : multiplexer, time division, digital, TD-1069/G (NSN 5805-01-028-8425).

Includes index.

Heritage language loss and the implications for ethnic identity maintenance over time

Language has been seen as a central pillar to ethnic identity. When the possibility of heritage language loss becomes imminent, therefore, concern turns towards the consequences for feelings of ethnic group membership. Heritage language researchers have indicated that the heritage language is so strongly associated with the individual’s cultural background that heritage language loss could have negative implications for the sense of identity to the ethnic group. This study investigates the relationship between language and ethnic identity over time among Gaelic learners in Nova Scotia. In order to identify the specific processes of heritage language use, the Gaelic learners are compared to French (second language), learners living in the same English-speaking milieu. Path analyses reveal that, only among Gaelic learners, there is an initial separation of language and ethnic identity, but that, over time, ethnic identity is a direct outcome of language use. The results support Edwards’ (1985), contention, at least in the case of heritage languages, that language and identity are not always strongly linked. It is suggested that this may be especially true in contexts where there is little opportunity for contact with members of the heritage language group.

An advanced real-time predictive maintenance framework for large scale machine systems

This thesis introduces and develops a novel real-time predictive maintenance system to estimate the machine system parameters using the motion current signature. Recently, motion current signature analysis has been addressed as an alternative to the use of sensors for monitoring internal faults of a motor. A maintenance system based upon the analysis of motion current signature avoids the need for the implementation and maintenance of expensive motion sensing technology. By developing nonlinear dynamical analysis for motion current signature, the research described in this thesis implements a novel real-time predictive maintenance system for current and future manufacturing machine systems. A crucial concept underpinning this project is that the motion current signature contains infor­mation relating to the machine system parameters and that this information can be extracted using nonlinear mapping techniques, such as neural networks. Towards this end, a proof of con­cept procedure is performed, which substantiates this concept. A simulation model, TuneLearn, is developed to simulate the large amount of training data required by the neural network ap­proach. Statistical validation and verification of the model is performed to ascertain confidence in the simulated motion current signature. Validation experiment concludes that, although, the simulation model generates a good macro-dynamical mapping of the motion current signature, it fails to accurately map the micro-dynamical structure due to the lack of knowledge regarding performance of higher order and nonlinear factors, such as backlash and compliance. Failure of the simulation model to determine the micro-dynamical structure suggests the pres­ence of nonlinearity in the motion current signature. This motivated us to perform surrogate data testing for nonlinearity in the motion current signature. Results confirm the presence of nonlinearity in the motion current signature, thereby, motivating the use of nonlinear tech­niques for further analysis. Outcomes of the experiment show that nonlinear noise reduction combined with the linear reverse algorithm offers precise machine system parameter estimation using the motion current signature for the implementation of the real-time predictive maintenance system. Finally, a linear reverse algorithm, BJEST, is developed and applied to the motion current signature to estimate the machine system parameters.

Time course of training-induced microcirculatory changes and of vegf expression in skeletal muscles of spontaneously hypertensive female rats

Exercise-induced vessel changes modulate arterial pressure (AP) in male spontaneously hypertensive rats (SHR). Vascular endothelial growth factor (VEGF) is important for angiogenesis of skeletal muscle. The present study evaluated the time course of VEGF and angiogenesis after short- and long-term exercise training of female SHR and Wistar Kyoto (WKY) rats, 8-9 weeks (200-250 g). Rats were allocated to daily training or remained sedentary for 3 days (N = 23) or 13 weeks (N = 23). After training, the carotid artery was catheterized for AP measurements. Locomotor (tibialis anterior and gracilis) and non-locomotor skeletal muscles (temporalis) were harvested and prepared for histologic and protein expression analyses. Training increased treadmill performance by all groups (SHR = 28%, WKY = 64%, 3 days) and (SHR = 141%, WKY = 122%, 13 weeks). SHR had higher values of AP than WKY (174 ± 4 vs 111 ± 2 mmHg) that were not altered by training. Three days of running increased VEGF expression (SHR = 28%, WKY = 36%) simultaneously with an increase in capillary-to-fiber ratio in gracilis muscle (SHR = 19%, WKY = 15%). In contrast, 13 weeks of training increased gracilis capillary-to-fiber ratio (SHR = 18%, WKY = 19%), without simultaneous changes in VEGF expression. Training did not change VEGF expression and capillarity of temporalis muscle. We conclude that training stimulates time- and tissue-dependent VEGF protein expression, independent of pressure levels. VEGF triggers angiogenesis in locomotor skeletal muscle shortly after the exercise starts, but is not involved in the maintenance of capillarity after long-term exercise in female rats.

Viral mutation and its influence in the time evolution of the immunizations

In this paper, we study the behavior of immune memory against antigenic mutation. Using a dynamic model proposed by one of the authors in a previous study (A. de Castro [Phys. J. Appl. Phys. 33, 147 (2006) and Simul. Mod. Pract. Theory. 15, 831 (2007)]), we have performed simulations of several inoculations, where in each virtual sample the viral population undergoes mutations. Our results suggest that the sustainability of the immunizations is dependent on viral variability and that the memory lifetimes are not random, what contradicts what was suggested by Tarlinton et al. [Curr. Opin. Immunol. 20, 162 (2008)]. We show that what may cause an apparent random behavior of the immune memory is the antigenic variability.

Methadone maintenance treatment reduces heroin injection in New South Wales prisons

The purpose of this study was to examine whether methadone maintenance treatment reduces injecting risk behaviour land therefore transmission of blood-borne viral infections) among prisoners in New South Wales (NSW), using comparison of retrospective reports of drug use in prisons for people who received standard drug treatment, time-limited methadone treatment and methadone maintenance treatment, The setting for the study was the NSW prison system. One hundred and eighty-five injecting drug users who had been recently released from NSW prisons were recruited in 1993, Self-reported drug use and injecting risk behaviour were compared in inmates who received standard drug treatment (counselling), time-limited methadone treatment and methadone maintenance treatment. HIV status was determined by serology, Intervention comprised high and low dose methadone treatment and counselling. The groups were similar in terms of most basic demographic characteristics but subjects who had been maintained on methadone reported a significantly lower prevalence of heroin injection, syringe sharing and scored lower on an HIV Risk-taking Behavioural Scale than subjects who received standard drug treatment and time-limited methadone treatment, This study suggests that methadone treatment is associated with reduced injecting risk behaviour in prison with adequate (greater than 60 mg) dose and duration in treatment. These treatment conditions are known to increase effectiveness in community-based methadone programmes. Prospective studies are required to evaluate the effectiveness of methadone programmes in the prevention of HIV and other blood-borne viral infections among IDU prisoners.

A proteome analysis of conditioned media from human neonatal fibroblasts used in the maintenance of human embryonic stem cells

The pathways involved in the maintenance of human embryonic stem (hES) cells remain largely unknown, although some signaling pathways have been identified in mouse embryonic stem (mES) cells. Fibroblast feeder layers are used to maintain the undifferentiated growth of hES cells and an examination of the conditioned media (CM) of human neonatal fibroblasts (HNFs) could provide insights into the maintenance of hES cells. The neonatal foreskin fibroblast line (HNF02) used in this study was shown to have a normal 2n = 46, XY chromosomal complement and to support the undifferentiated growth of the Embryonic Stem Cell International Pte. Ltd.-hES3 cell line. The CM of HNF02 was examined using two-dimensional liquid chromatography-tandem mass spectrometry (2-D LCMS) and two-dimensional electrophoresis (2-DE) followed by matrix-assisted laser desorption/ionization-time of flight tandem mass spectrometry (2-DE/MALDI). A total of 102 proteins were identified, 19 by 2-DE/MALDI, 53 by 2-D LCMS and 30 by both techniques. These proteins were classified into 15 functional groups. Proteins identified in the extracellular matrix and differentiation and growth factor functional categories were considered most likely to be involved in the maintenance of hES cell growth, differentiation and pluripotency as these groups contained proteins involved in a variety of events including cell adhesion, cell proliferation and inhibition of cell proliferation, Writ signaling and inhibition of bone morphogenetic proteins.

Long-term maintenance of the analgesic effects of transcranial magnetic stimulation in fibromyalgia

We assessed for the first time the long-term maintenance of repetitive transcranial magnetic stimulation (rTMS)-induced analgesia in patients with chronic widespread pain due to fibromyalgia. Forty consecutive patients were randomly assigned, in a double-blind fashion, to 2 groups: one receiving active rTMS (n = 20) and the other, sham stimulation (n = 20), applied to the left primary motor cortex. The stimulation protocol consisted of 14 sessions: an ""induction phase"" of 5 daily sessions followed by a ""maintenance phase"" of 3 sessions a week apart, 3 sessions a fortnight apart, and 3 sessions a month apart. The primary outcome was average pain intensity over the last 24 hours, measured before each stimulation from day 1 to week 21 and at week 25 (1 month after the last stimulation). Other outcomes measured included quality of life, mood and anxiety, and several parameters of motor cortical excitability. Thirty patients completed the study (14 in the sham stimulation group and 16 in the active stimulation group). Active rTMS significantly reduced pain intensity from day 5 to week 25. These analgesic effects were associated with a long-term improvement in items related to quality of life (including fatigue, morning tiredness, general activity, walking, and sleep) and were directly correlated with changes in intracortical inhibition. In conclusion, these results suggest that TMS may be a valuable and safe new therapeutic option in patients with fibromyalgia. (C) 2011 International Association for the Study of Pain. Published by Elsevier B.V. All rights reserved.