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.

Explora: A Visualisation Tool for Metric Analysis of Software Corpora

When analysing software metrics, users find that visualisation tools lack support for (1) the detection of patterns within metrics; and (2) enabling analysis of software corpora. In this paper we present Explora, a visualisation tool designed for the simultaneous analysis of multiple metrics of systems in software corpora. Explora incorporates a novel lightweight visualisation technique called PolyGrid that promotes the detection of graphical patterns. We present an example where we analyse the relation of subtype polymorphism with inheritance and invocation in corpora of Smalltalk and Java systems and find that (1) subtype polymorphism is more likely to be found in large hierarchies; (2) as class hierarchies grow horizontally, they also do so vertically; and (3) in polymorphic hierarchies the length of the name of the classes is orthogonal to the cardinality of the call sites.

Null Check Analysis

Null dereferencing is one of the most frequent bugs in Java systems causing programs to crash due to the uncaught NullPointerException. Developers often fix this bug by introducing a guard (i.e., null check) on the potentially-null objects before using them. In this paper we investigate the null checks in 717 open-source Java systems to understand when and why developers introduce null checks. We find that 35 of the if-statements are null checks. A deeper investigation shows that 71 of the checked-for-null objects are returned from method calls. This indicates that null checks have a serious impact on performance and that developers introduce null checks when they use methods that return null.

A Multiplex Real-Time PCR with High Resolution Melting Analysis for the Characterization of Antimicrobial Resistance in Neisseria gonorrhoeae.

Resistance to antibiotics used against Neisseria gonorrhoeae infections is a major public health concern. Antimicrobial resistance (AMR) testing relies on time-consuming culture-based methods. Development of rapid molecular tests for detecting AMR determinants could provide valuable tools for surveillance, epidemiological studies and to inform individual case management. We developed a fast (<1.5 hrs) SYBR-green based real-time PCR method with high resolution melting (HRM) analysis. One triplex and three duplex reactions included two sequences for N. gonorrhoeae identification and seven determinants of resistance to extended-spectrum cephalosporins (ESCs), azithromycin, ciprofloxacin, and spectinomycin. The method was validated by testing 39 previously fully-characterized N. gonorrhoeae strains, 19 commensal Neisseria spp., and an additional panel of 193 gonococcal isolates. Results were compared with culture-based AMR determination. The assay correctly identified N. gonorrhoeae and the presence or absence of the seven AMR determinants. There was some cross-reactivity with non-gonococcal Neisseria species and the detection limit was 10(3)-10(4) gDNA copies/reaction. Overall, the platform accurately detected resistance to ciprofloxacin (sensitivity and specificity, 100%), ceftriaxone (sensitivity 100%, specificity 90%), cefixime (sensitivity 92%, specificity 94%), azithromycin and spectinomycin (both sensitivity and specificity, 100%). In conclusion, our methodology accurately detects mutations generating resistance to antibiotics used to treat gonorrhea. Low assay sensitivity prevents direct diagnostic testing of clinical specimens but this method can be used to screen collections of gonococcal isolates for AMR more quickly than with current culture-based AMR testing.

Going live: a comparative analysis of the suitability of the RFP derivatives RedStar, mCherry and tdTomato for intravital and in vitro live imaging of Plasmodium parasites

Fluorescent proteins have proven to be important tools for in vitro live imaging of parasites and for imaging of parasites within the living host by intravital microscopy. We observed that a red fluorescent transgenic malaria parasite of rodents, Plasmodium berghei-RedStar, is suitable for in vitro live imaging experiments but bleaches rapidly upon illumination in intravital imaging experiments using mice. We have therefore generated two additional transgenic parasite lines expressing the novel red fluorescent proteins tdTomato and mCherry, which have been reported to be much more photostable than first- and second-generation red fluorescent proteins including RedStar. We have compared all three red fluorescent parasite lines for their use in in vitro live and intravital imaging of P. berghei blood and liver parasite stages, using both confocal and wide-field microscopy. While tdTomato bleached almost as rapidly as RedStar, mCherry showed improved photostability and was bright in all experiments performed.

Methods of visualization and analysis of cardiac depolarization in the three dimensional space

The master thesis presents methods for intellectual analysis and visualization 3D EKG in order to increase the efficiency of ECG analysis by extracting additional data. Visualization is presented as part of the signal analysis tasks considered imaging techniques and their mathematical description. Have been developed algorithms for calculating and visualizing the signal attributes are described using mathematical methods and tools for mining signal. The model of patterns searching for comparison purposes of accuracy of methods was constructed, problems of a clustering and classification of data are solved, the program of visualization of data is also developed. This approach gives the largest accuracy in a task of the intellectual analysis that is confirmed in this work. Considered visualization and analysis techniques are also applicable to the multi-dimensional signals of a different kind.

Direct support and general support maintenance repair parts and special tools lists (including depot maintenance repair parts and special tools) : spectrum analyzer AN/UPM-58, FSN 6625-523-8576.

September 1973."

Organizational maintenance repair parts and special tools lists : spectrum analyzer AN/UPM-58, FSN 6625-523-8576.

28 September 1973."

Organizational, direct support and general support maintenance repair parts and special tools list for spectrum analyzer AN/USM-489(V)1, (NSN 6625-01-079-9495).

Includes index.

Classification and compensation plans as tools in personnel administration : notes on definitions, principles, and developments /

"Presented at the A.M.A. Office executives' conference, Chicago, February, 1926."

Contributions to Physics-Based Aeroservoelastic Uncertainty Analysis

Thesis (Ph.D.)--University of Washington, 2016-06

A comprehensive analysis of sexual dimorphism in the midbrain dopamine system

Thesis (Ph.D.)--University of Washington, 2016-06

Ross River virus disease in Australia, 1886-1998, with analysis of risk factors associated with outbreaks

Ross River virus (RE) is a mosquito-borne arbovirus responsible for outbreaks of polyarthritic disease throughout Australia. To better understand human and environmental factors driving such events, 57 historical reports oil RR Outbreaks between 1896 and 1998 were examined collectively. The magnitude, regularity, seasonality, and locality of outbreaks were found to be wide ranging; however, analysis of climatic and tidal data highlighted that environmental conditions let differently ill tropical, arid, and temperate regions. Overall, rainfall seems to be the single most important risk factor, with over 90% of major outbreak locations receiving higher than average rainfall in preceding mouths. Many temperatures were close to average, particularly in tropical populations; however, in arid regions, below average maximum temperatures predominated, and ill southeast temperate regions, above average minimum temperatures predominated. High spring tides preceded coastal Outbreaks, both in the presence and absence of rainfall, and the relationship between rainfall and the Southern Oscillation Index and Lit Nina episodes suggest they may be useful predictive tools, but only ill southeast temperate regions. Such heterogeneity predisposing outbreaks supports the notion that there are different RE epidemiologies throughout Australia but also Suggests that generic parameters for the prediction and control of outbreaks are of limited use at a local level.

Sampling tissue for DNA analysis of trees: Trunk cambium as an alternative to canopy leaves

The number of studies of tropical tree species that use molecular tools is increasing, most of which collect leaf tissue for genomic DNA extraction. In tropical trees the canopy is not only frequently inaccessible, but also, once reached, the leaf tissue is often heavily defended against herbivory by high concentrations of anti-predation compounds, which may inhibit downstream applications, particularly PCR. Cambium tissue, accessed directly from the tree trunk at ground level, offers a readily accessible resource that is less hampered by the presence of defensive chemicals than leaf tissue. Here we describe a simple method for obtaining tissue from the cambial zone for DNA extraction and test the applicability of the method in a range of tropical tree species. The method was used successfully to extract DNA from 11 species in nine families. A subset of the DNA extracts was tested in more detail and proved to be highly suitable for AFLP analysis.

Analysis of the Pasteurella multocida outer membrane sub-proteome and its response to the in vivo environment of the natural host

This study describes the identification of outer membrane proteins (OMPs) of the bacterial pathogen Pasteurella multocida and an analysis of how the expression of these proteins changes during infection of the natural host. We analysed the sarcosine-insoluble membrane fractions, which are highly enriched for OMPs, from bacteria grown under a range of conditions. Initially, the OMP-containing fractions were resolved by 2-DE and the proteins identified by MALDI-TOF MS. In addition, the OMP-containing fractions were separated by 1-D SDS-PAGE and protein identifications were made using nano LC MS/MS. Using these two methods a total of 35 proteins was identified from samples obtained from organisms grown in rich culture medium. Six of the proteins were identified only by 2-DE MALDI-TOF MS, whilst 17 proteins were identified only by 1-D LC MS/MS. We then analysed the OMPs from P. multocida which had been isolated from the bloodstream of infected chickens (a natural host) or grown in iron-depleted medium. Three proteins were found to be significantly up-regulated during growth in vivo and one of these (Pm0803) was also up-regulated during growth in iron-depleted medium. After bioinformatic analysis of the protein matches, it was predicted that over one third of the combined OMPs predicted by the bioinformatics sub-cellular localisation tools PSORTB and Proteome Analyst, had been identified during this study. This is the first comprehensive proteomic analysis of the P. multocida outer membrane and the first proteomic analysis of how a bacterial pathogen modifies its outer membrane proteome during infection.