Logical Modeling and Dynamical Analysis of Cellular Networks

The logical (or logic) formalism is increasingly used to model regulatory and signaling networks. Complementing these applications, several groups contributed various methods and tools to support the definition and analysis of logical models. After an introduction to the logical modeling framework and to several of its variants, we review here a number of recent methodological advances to ease the analysis of large and intricate networks. In particular, we survey approaches to determine model attractors and their reachability properties, to assess the dynamical impact of variations of external signals, and to consistently reduce large models. To illustrate these developments, we further consider several published logical models for two important biological processes, namely the differentiation of T helper cells and the control of mammalian cell cycle.

In vivo analysis of growth hormone receptor signaling domains and their associated transcripts

The growth hormone receptor (GHR) is a critical regulator of postnatal growth and metabolism. However, the GHR signaling domains and pathways that regulate these processes in vivo are not defined. We report the first knock-in mouse models with deletions of specific domains of the receptor that are required for its in vivo actions. Mice expressing truncations at residue m569 (plus Y539/545-F) and at residue m391 displayed a progressive impairment of postnatal growth with receptor truncation. Moreover, after 4 months of age, marked male obesity was observed in both mutant 569 and mutant 391 and was associated with hyperglycemia. Both mutants activated hepatic JAK2 and ERK2, whereas STAT5 phosphorylation was substantially decreased for mutant 569 and absent from mutant 391, correlating with loss of IGF-1 expression and reduction in growth. Microarray analysis of these and GHR(-/-) mice demonstrated that particular signaling domains are responsible for the regulation of different target genes and revealed novel actions of growth hormone. These mice represent the first step in delineating the domains of the GHR regulating body growth and composition and the transcripts associated with these domains.

Quantitative analysis of DNA-protein interactions using double-labeled native gel electrophoresis and fluorescence-based imaging

We have developed a sensitive, non-radioactive method to assess the interaction of transcription factors/DNA-binding proteins with DNA. We have modified the traditional radiolabeled DNA gel mobility shift assay to incorporate a DNA probe end-labeled with a Texas-red fluorophore and a DNA-binding protein tagged with the green fluorescent protein to monitor precisely DNA-protein complexation by native gel electrophoresis. We have applied this method to the DNA-binding proteins telomere release factor-1 and the sex-determining region-Y, demonstrating that the method is sensitive (able to detect 100 fmol of fluorescently labeled DNA), permits direct visualization of both the DNA probe and the DNA-binding protein, and enables quantitative analysis of DNA and protein complexation, and thereby an estimation of the stoichiometry of protein-DNA binding.

Identification, mutagenesis, and transcriptional analysis of the methanesulfonate transport operon of methylosulfonomonas methylovora

Recently identified genes located downstream (3') of the msmEF (transport encoding) gene cluster, msmGH, and located 5' of the structural genes for methanesulfonate monooxygenase (MSAMO) are described from Methylosulfonomonas methylovora. Sequence analysis of the derived polypeptide sequences encoded by these genes revealed a high degree of identity to ABC-type transporters. MsmE showed similarity to a putative periplasmic substrate binding protein, MsmF resembled an integral membraneassociated protein, and MsmG was a putative ATP-binding enzyme. MsmH was thought to be the cognate permease component of the sulfonate transport system. The close association of these putative transport genes to the MSAMO structural genes msmABCD suggested a role for these genes in transport of methanesulfonic acid (MSA) into M. methylovora. msmEFGH and msmABCD constituted two operons for the coordinated expression of MSAMO and the MSA transporter systems. Reverse-transcription-PCR analysis of msmABCD and msmEFGH revealed differential expression of these genes during growth on MSA and methanol. The msmEFGH operon was constitutively expressed, whereas MSA induced expression of msmABCD. A mutant defective in msmE had considerably slower growth rates than the wild type, thus supporting the proposed role of MsmE in the transport of MSA into M. methylovora.

Algorithmic Minimization of Non-zero Entries in 0,1-Matrices

In this paper we present algorithms which work on pairs of 0,1- matrices which multiply again a matrix of zero and one entries. When applied over a pair, the algorithms change the number of non-zero entries present in the matrices, meanwhile their product remains unchanged. We establish the conditions under which the number of 1s decreases. We recursively define as well pairs of matrices which product is a specific matrix and such that by applying on them these algorithms, we minimize the total number of non-zero entries present in both matrices. These matrices may be interpreted as solutions for a well known information retrieval problem, and in this case the number of 1 entries represent the complexity of the retrieve and information update operations.

Systems Analysis: the Structure-and-Purpose Approach Based on Logic-linguistic Formalisation

Systems analysis (SA) is widely used in complex and vague problem solving. Initial stages of SA are analysis of problems and purposes to obtain problems/purposes of smaller complexity and vagueness that are combined into hierarchical structures of problems(SP)/purposes(PS). Managers have to be sure the PS and the purpose realizing system (PRS) that can achieve the PS-purposes are adequate to the problem to be solved. However, usually SP/PS are not substantiated well enough, because their development is based on a collective expertise in which logic of natural language and expert estimation methods are used. That is why scientific foundations of SA are not supposed to have been completely formed. The structure-and-purpose approach to SA based on a logic-and-linguistic simulation of problems/purposes analysis is a step towards formalization of the initial stages of SA to improve adequacy of their results, and also towards increasing quality of SA as a whole. Managers of industrial organizing systems using the approach eliminate logical errors in SP/PS at early stages of planning and so they will be able to find better decisions of complex and vague problems.

The Design and Analysis of Context-Aware, Secure Workflow Systems

Workflows are set of activities that implement and realise business goals. Modern business goals add extra requirements on workflow systems and their management. Workflows may cross many organisations and utilise services on a variety of devices and/or supported by different platforms. Current workflows are therefore inherently context-aware. Each context is governed and constrained by its own policies and rules to prevent unauthorised participants from executing sensitive tasks and also to prevent tasks from accessing unauthorised services and/or data. We present a sound and multi-layered design language for the design and analysis of secure and context aware workflows systems.

Systematic review and analysis of evidences on clinical efficacy and cost-effectiveness of biological drugs for the treatment of Ankylosing Spondylitis

Technology: Infliximab and comparator biological such as adalimumab, etanercept, golimumab. Conditions: Ankylosing spondylitis (AS) Issue: Infliximab is registered to be used in patients with AS. The aim of the Report is to evaluate the clinical efficacy and safety of infliximab and comparator biologicals for the treatment of adult AS. Methods: Systematic literature review and analysis as well as meta-analysis (direct and indirect comparison) of published randomised controlled clinical trials (RCT) were performed, all relevant health economics literature were identified ad analysed. Results: Clinical efficacy of biological therapies is based on good clinical evidences regarding to all clinical efficacy endpoints (ASAS20, ASAS40, ASAS 5/6, and BASDAI 50% response). Altogether, 22 trials are included in our meta-analysis, 12 infliximab, 3 adalimumab studies, 6 etanercept and 1 golimumab. Efficacy of biological treatments for the treatment of AS has been established by clinical scientific evidences, significant improvement at all outcomes considered was confirmed. According to the results of indirect comparison, there were no significant difference between biological treatments and placebo in terms of safety and tolerability endpoints. We found no significant difference between the clinical efficacy and safety of infliximab, adalimumab, etanercept and golimumab therapies. Cost-utility analysis of adalimumab and/or infliximab, etanercept and golimumab treatment for AS were performed in the UK, Canada, The Netherlands, Germany, Spain and France. There are no cost-utility studies from Eastern Central Europe. Implications for decision making: Efficacy of infliximab and comparator biologicals for the treatment of Ankylosing Spondylitis (AS) was proved by clinical evidence, significant improvement at all outcomes considered was confirmed. We found no significant differences in efficacy and safety of different biological treatments. Health economics results suggest that biological therapies are cost-effective alternatives for the treatment of AS in group of developed high income countries. There is a lack of health economics results in Central-Eastern European countries however these data are more and more required by governments and funders as part of the company economic dossiers.

The application of reduced-size short tandem repeat primer sets in the analysis of human DNA from degraded and compromised samples

The purpose of this research was to demonstrate the applicability of reduced-size STR (Miniplex) primer sets to challenging samples and to provide the forensic community with new information regarding the analysis of degraded and inhibited DNA. The Miniplex primer sets were validated in accordance with guidelines set forth by the Scientific Working Group on DNA Analysis Methods (SWGDAM) in order to demonstrate the scientific validity of the kits. The Miniplex sets were also used in the analysis of DNA extracted from human skeletal remains and telogen hair. In addition, a method for evaluating the mechanism of PCR inhibition was developed using qPCR. The Miniplexes were demonstrated to be a robust and sensitive tool for the analysis of DNA with as low as 100 pg of template DNA. They also proved to be better than commercial kits in the analysis of DNA from human skeletal remains, with 64% of samples tested producing full profiles, compared to 16% for a commercial kit. The Miniplexes also produced amplification of nuclear DNA from human telogen hairs, with partial profiles obtained from as low as 60 pg of template DNA. These data suggest smaller PCR amplicons may provide a useful alternative to mitochondrial DNA for forensic analysis of degraded DNA from human skeletal remains, telogen hairs, and other challenging samples. In the evaluation of inhibition by qPCR, the effect of amplicon length and primer melting temperature was evaluated in order to determine the binding mechanisms of different PCR inhibitors. Several mechanisms were indicated by the inhibitors tested, including binding of the polymerase, binding to the DNA, and effects on the processivity of the polymerase during primer extension. The data obtained from qPCR illustrated a method by which the type of inhibitor could be inferred in forensic samples, and some methods of reducing inhibition for specific inhibitors were demonstrated. An understanding of the mechanism of the inhibitors found in forensic samples will allow analysts to select the proper methods for inhibition removal or the type of analysis that can be performed, and will increase the information that can be obtained from inhibited samples.

Elemental analysis of biological matrices by laser ablation high resolution inductively coupled plasma mass spectrometry (LA-HR-ICP-MS) and high resolution inductively coupled plasma mass spectrometry (HR -ICP -MS)

The need for elemental analysis of biological matrices such as bone, teeth, and plant matter for sourcing purposes has emerged within the forensic and geochemical laboratories. Trace elemental analyses for the comparison of materials such as glass by inductively coupled plasma mass spectrometry (ICP-MS) and laser ablation ICP-MS has been shown to offer a high degree of discrimination between different manufacturing sources. Unit resolution ICP-MS instruments may suffer from some polyatomic interferences including 40Ar16O+, 40Ar 16O1H+, and 40Ca 16O+ that affect iron measurement at trace levels. Iron is an important element in the analysis of glass and also of interest for the analysis of several biological matrices. A comparison of the analytical performance of two different ICP-MS systems for iron analysis in glass for determining the method detection limits (MDLs), accuracy, and precision of the measurement is presented. Acid digestion and laser ablation methods are also compared. Iron polyatomic interferences were reduced or resolved by using dynamic reaction cell and high resolution ICP-MS. MDLs as low as 0.03 μg g-1 and 0.14 μg g-1 for laser ablation and solution based analyses respectively were achieved. The use of helium as a carrier gas demonstrated improvement in the detection limits of both iron isotopes (56Fe and 57Fe) in medium resolution for the HR-ICP-MS and with a dynamic reaction cell (DRC) coupled to a quadrupole ICP-MS system. ^ The development and application of robust analytical methods for the quantification of trace elements in biological matrices has lead to a better understanding of the potential utility of these measurements in forensic chemical analyses. Standard reference materials (SRMs) were used in the development of an analytical method using HR-ICP-MS and LA-HR-ICP-MS that was subsequently applied on the analysis of real samples. Bone, teeth and ashed marijuana samples were analyzed with the developed method. ^ Elemental analysis of bone samples from 12 different individuals provided discrimination between individuals, when femur and humerus bones were considered separately. Discrimination of 14 teeth samples based on elemental composition was achieved with the exception of one case where samples from the same individual were not associated with each other. The discrimination of 49 different ashed plant (cannabis) samples was achieved using the developed method. ^

Do selective cyclo-oxygenase-2 inhibitors and traditional non-steroidal anti-inflammatory drugs increase the risk of atherothrombosis? Meta-analysis of randomised trials

Objective: To assess the effects of selective cyclo-oxygenase-2 (COX 2) inhibitors and traditional non-steroidal anti-inflammatory drugs (NSAIDs) on the risk of vascular events. Design: Meta-analysis of published and unpublished tabular data from randomised trials, with indirect estimation of the effects of traditional NSAIDs. Data sources: Medline and Embase (January 1966 to April 2005); Food and Drug Administration records; and data on file from Novartis, Pfizer, and Merck. Review methods: Eligible studies were randomised trials that included a comparison of a selective COX 2 inhibitor versus placebo or a selective COX 2 inhibitor versus a traditional NSAID, of at least four weeks' duration, with information on serious vascular events (defined as myocardial infarction, stroke, or vascular death). Individual investigators and manufacturers provided information on the number of patients randomised, numbers of vascular events, and the person time of follow-up for each randomised group. Results: In placebo comparisons, allocation to a selective COX 2 inhibitor was associated with a 42% relative increase in the incidence of serious vascular events (1.2%/year v 0.9%/year; rate ratio 1.42, 95% confidence interval 1.13 to 1.78; P = 0.003), with no significant heterogeneity among the different selective COX 2 inhibitors. This was chiefly attributable to an increased risk of myocardial infarction (0.6%/year v 0.3%/year; 1.86, 1.33 to 2.59; P = 0.0003), with little apparent difference in other vascular outcomes. Among trials of at least one year's duration (mean 2.7 years), the rate ratio for vascular events was 1.45 (1.12 to 1.89; P = 0.005). Overall, the incidence of serious vascular events was similar between a selective COX 2 inhibitor and any traditional NSAID (1.0%/year v 0.9/%year; 1.16, 0.97 to 1.38; P = 0.1). However, statistical heterogeneity (P = 0.001) was found between trials of a selective COX 2 inhibitor versus naproxen (1.57, 1.21 to 2.03) and of a selective COX 2 inhibitor versus non-naproxen NSAIDs (0.88, 0.69 to 1.12). The summary rate ratio for vascular events, compared with placebo, was 0.92 (0.67 to 1.26) for naproxen, 1.51 (0.96 to 2.37) for ibuprofen, and 1.63 (1.12 to 2.37) for diclofenac. Conclusions: Selective COX 2 inhibitors are associated with a moderate increase in the risk of vascular events, as are high dose regimens of ibuprofen and diclofenac, but high dose naproxen is not associated with such an excess.

Elemental Analysis of Biological Matrices by Laser Ablation High Resolution Inductively Coupled Plasma Mass Spectrometry (LA-HR-ICP-MS) and High Resolution Inductively Coupled Plasma Mass Spectrometry (HR-ICP-MS)

The need for elemental analysis of biological matrices such as bone, teeth, and plant matter for sourcing purposes has emerged within the forensic and geochemical laboratories. Trace elemental analyses for the comparison of aterials such as glass by inductively coupled plasma mass spectrometry (ICP-MS) and laser ablation ICP-MS has been shown to offer a high degree of discrimination between different manufacturing sources. Unit resolution ICP-MS instruments may suffer from some polyatomic interferences including 40Ar16O+, 40Ar16O1H+, and 40Ca16O+ that affect iron measurement at trace levels. Iron is an important element in the analysis of glass and also of interest for the analysis of several biological matrices. A comparison of the nalytical performance of two different ICP-MS systems for iron analysis in glass for determining the method detection limits (MDLs), accuracy, and precision of the measurement is presented. Acid digestion and laser ablation methods are also compared. Iron polyatomic interferences were reduced or resolved by using dynamic reaction cell and high resolution ICP-MS. MDLs as low as 0.03 ìg g-1 and 0.14 ìg g-1 for laser ablation and solution based analyses respectively were achieved. The use of helium as a carrier gas demonstrated improvement in the detection limits of both iron isotopes (56Fe and 57Fe) in medium resolution for the HR-ICP-MS and with a dynamic reaction cell (DRC) coupled to a quadrupole ICP-MS system. The development and application of robust analytical methods for the quantification of trace elements in biological matrices has lead to a better understanding of the potential utility of these measurements in forensic chemical analyses. Standard reference materials (SRMs) were used in the development of an analytical method using HR-ICP-MS and LA-HR-ICP-MS that was subsequently applied on the analysis of real samples. Bone, teeth and ashed marijuana samples were analyzed with the developed method. Elemental analysis of bone samples from 12 different individuals provided discrimination between individuals, when femur and humerus bones were considered separately. Discrimination of 14 teeth samples based on elemental composition was achieved with the exception of one case where samples from the same individual were not associated with each other. The discrimination of 49 different ashed plant (cannabis)samples was achieved using the developed method.

An analysis of wind curtailment and constraint at a nodal level

Many countries have set challenging wind power targets to achieve by 2020. This paper implements a realistic analysis of curtailment and constraint of wind energy at a nodal level using a unit commitment and economic dispatch model of the Irish Single Electricity Market in 2020. The key findings show that significant reduction in curtailment can be achieved when the system non-synchronous penetration limit increases from 65% to 75%. For the period analyzed, this results in a decreased total generation cost and a reduction in the dispatch-down of wind. However, some nodes experience significant dispatch-down of wind, which can be in the order of 40%. This work illustrates the importance of implementing analysis at a nodal level for the purpose of power system planning.