XP. A Common Lisp Pretty Printing System

XP provides efficient and flexible support for pretty printing in Common Lisp. Its single greatest advantage is that it allows the full benefits of pretty printing to be obtained when printing data structures, as well as when printing program code. XP is efficient, because it is based on a linear time algorithm that uses only a small fixed amount of storage. XP is flexible, because users can control the exact form of the output via a set of special format directives. XP can operate on arbitrary data structures, because facilities are provided for specifying pretty printing methods for any type of object. XP also modifies the way abbreviation based on length, nesting depth, and circularity is supported so that they automatically apply to user-defined functions that perform output ??g., print functions for structures. In addition, a new abbreviation mechanism is introduced that can be used to limit the total numbers of lines printed.

XP. A Common Lisp Pretty Printing System

XP provides efficient and flexible support for pretty printing in Common Lisp. Its single greatest advantage is that it allows the full benefits of pretty printing to be obtained when printing data structures, as well as when printing program code. XP is efficient, because it is based on a linear time algorithm that uses a small fixed amount of storage. XP is flexible, because users can control the exact form of the output via a set of special format directives. XP can operate on arbitrary data structures, because facilities are provided for specifying pretty printing methods for any type of object.

Neural Dynamics of Saccadic and Smooth Pursuit Eye Movement Coordination during Visual Tracking of Unpredictably Moving Targets

How does the brain use eye movements to track objects that move in unpredictable directions and speeds? Saccadic eye movements rapidly foveate peripheral visual or auditory targets and smooth pursuit eye movements keep the fovea pointed toward an attended moving target. Analyses of tracking data in monkeys and humans reveal systematic deviations from predictions of the simplest model of saccade-pursuit interactions, which would use no interactions other than common target selection and recruitment of shared motoneurons. Instead, saccadic and smooth pursuit movements cooperate to cancel errors of gaze position and velocity, and thus to maximize target visibility through time. How are these two systems coordinated to promote visual localization and identification of moving targets? How are saccades calibrated to correctly foveate a target despite its continued motion during the saccade? A neural model proposes answers to such questions. The modeled interactions encompass motion processing areas MT, MST, FPA, DLPN and NRTP; saccade planning and execution areas FEF and SC; the saccadic generator in the brain stem; and the cerebellum. Simulations illustrate the model’s ability to functionally explain and quantitatively simulate anatomical, neurophysiological and behavioral data about SAC-SPEM tracking.

Characterising novel anti-biofilm targets for the treatment of chronic Pseudomonas aeruginosa infection in the cystic fibrosis lung

The global rise in antibiotic resistance is a significant problem facing healthcare professionals. In particular within the cystic fibrosis (CF) lung, bacteria can establish chronic infection and resistance to a wide array of antibiotic therapies. One of the principle pathogens associated with chronic infection in the CF lung is Pseudomonas aeruginosa. P. aeruginosa can establish chronic infection in the CF lung partly through the use of the biofilm mode of growth. This biofilm mode of growth offers a considerable degree of protection from a wide variety of challenges such as the host immune system or antibiotic therapy. The threat posed by the emergence of chronic pathogens is prompting the development of next generation antimicrobials. The biofilm mode of growth is often central to the establishment of chronic infection and the development of antibiotic resistance. Thus, targeting biofilm formation has emerged as one of the principle strategies for the development of next generation antimicrobials. In this thesis two separate approaches were used to identify potential anti - biofilm targets. The first strategy focused on the identification of novel genes with a role in a biofilm formation. High throughput screening identified almost 300 genes which had a role in biofilm formation. A number of these genes were characterised at a phenotypic and a molecular level. The second strategy focused on the identification of compounds capable of inhibiting biofilm formation. A collection of marine sponge isolated bacteria were screened for the ability to inhibit the central pathway regulating biofilm formation, quorum sensing. A number of distinct isolates were identified that had quorum sensing inhibition activity from which, a Pseudomonas isolate was selected for further characterisation. A specific compound capable of inhibiting quorum sensing was identified using chemical analytical technologies in the supernatant of this marine isolate.

Inkless microcontact printing on SAMs of Boc- and TBS-protected thiols.

We report a new inkless catalytic muCP technique that achieves accurate, fast, and complete pattern reproduction on SAMs of Boc- and TBS-protected thiols immobilized on gold using a polyurethane-acrylate stamp functionalized with covalently bound sulfonic acids. Pattern transfer is complete at room temperature just after one minute of contact and renders sub-200 nm size structures of chemically differentiated SAMs.

Yeast screens identify the RNA polymerase II CTD and SPT5 as relevant targets of BRCA1 interaction.

BRCA1 has been implicated in numerous DNA repair pathways that maintain genome integrity, however the function responsible for its tumor suppressor activity in breast cancer remains obscure. To identify the most highly conserved of the many BRCA1 functions, we screened the evolutionarily distant eukaryote Saccharomyces cerevisiae for mutants that suppressed the G1 checkpoint arrest and lethality induced following heterologous BRCA1 expression. A genome-wide screen in the diploid deletion collection combined with a screen of ionizing radiation sensitive gene deletions identified mutants that permit growth in the presence of BRCA1. These genes delineate a metabolic mRNA pathway that temporally links transcription elongation (SPT4, SPT5, CTK1, DEF1) to nucleopore-mediated mRNA export (ASM4, MLP1, MLP2, NUP2, NUP53, NUP120, NUP133, NUP170, NUP188, POM34) and cytoplasmic mRNA decay at P-bodies (CCR4, DHH1). Strikingly, BRCA1 interacted with the phosphorylated RNA polymerase II (RNAPII) carboxy terminal domain (P-CTD), phosphorylated in the pattern specified by the CTDK-I kinase, to induce DEF1-dependent cleavage and accumulation of a RNAPII fragment containing the P-CTD. Significantly, breast cancer associated BRCT domain defects in BRCA1 that suppressed P-CTD cleavage and lethality in yeast also suppressed the physical interaction of BRCA1 with human SPT5 in breast epithelial cells, thus confirming SPT5 as a relevant target of BRCA1 interaction. Furthermore, enhanced P-CTD cleavage was observed in both yeast and human breast cells following UV-irradiation indicating a conserved eukaryotic damage response. Moreover, P-CTD cleavage in breast epithelial cells was BRCA1-dependent since damage-induced P-CTD cleavage was only observed in the mutant BRCA1 cell line HCC1937 following ectopic expression of wild type BRCA1. Finally, BRCA1, SPT5 and hyperphosphorylated RPB1 form a complex that was rapidly degraded following MMS treatment in wild type but not BRCA1 mutant breast cells. These results extend the mechanistic links between BRCA1 and transcriptional consequences in response to DNA damage and suggest an important role for RNAPII P-CTD cleavage in BRCA1-mediated cancer suppression.

Rare targets are rarely missed in correctable search.

Failing to find a tumor in an x-ray scan or a gun in an airport baggage screening can have dire consequences, making it fundamentally important to elucidate the mechanisms that hinder performance in such visual searches. Recent laboratory work has indicated that low target prevalence can lead to disturbingly high miss rates in visual search. Here, however, we demonstrate that misses in low-prevalence searches can be readily abated. When targets are rarely present, observers adapt by responding more quickly, and miss rates are high. Critically, though, these misses are often due to response-execution errors, not perceptual or identification errors: Observers know a target was present, but just respond too quickly. When provided an opportunity to correct their last response, observers can catch their mistakes. Thus, low target prevalence may not be a generalizable cause of high miss rates in visual search.

Transsynaptic Tracing from Peripheral Targets with Pseudorabies Virus Followed by Cholera Toxin and Biotinylated Dextran Amines Double Labeling.

Transsynaptic tracing has become a powerful tool used to analyze central efferents that regulate peripheral targets through multi-synaptic circuits. This approach has been most extensively used in the brain by utilizing the swine pathogen pseudorabies virus (PRV)(1). PRV does not infect great apes, including humans, so it is most commonly used in studies on small mammals, especially rodents. The pseudorabies strain PRV152 expresses the enhanced green fluorescent protein (eGFP) reporter gene and only crosses functional synapses retrogradely through the hierarchical sequence of synaptic connections away from the infection site(2,3). Other PRV strains have distinct microbiological properties and may be transported in both directions (PRV-Becker and PRV-Kaplan)(4,5). This protocol will deal exclusively with PRV152. By delivering the virus at a peripheral site, such as muscle, it is possible to limit the entry of the virus into the brain through a specific set of neurons. The resulting pattern of eGFP signal throughout the brain then resolves the neurons that are connected to the initially infected cells. As the distributed nature of transsynaptic tracing with pseudorabies virus makes interpreting specific connections within an identified network difficult, we present a sensitive and reliable method employing biotinylated dextran amines (BDA) and cholera toxin subunit b (CTb) for confirming the connections between cells identified using PRV152. Immunochemical detection of BDA and CTb with peroxidase and DAB (3, 3'-diaminobenzidine) was chosen because they are effective at revealing cellular processes including distal dendrites(6-11).

A computational analysis of antisense off-targets in prokaryotic organisms

© 2014 .The adoption of antisense gene silencing as a novel disinfectant for prokaryotic organisms is hindered by poor silencing efficiencies. Few studies have considered the effects of off-targets on silencing efficiencies, especially in prokaryotic organisms. In this computational study, a novel algorithm was developed that determined and sorted the number of off-targets as a function of alignment length in Escherichia coli K-12 MG1655 and Mycobacterium tuberculosis H37Rv. The mean number of off-targets per a single location was calculated to be 14.1. ±. 13.3 and 36.1. ±. 58.5 for the genomes of E. coli K-12 MG1655 and M. tuberculosis H37Rv, respectively. Furthermore, when the entire transcriptome was analyzed, it was found that there was no general gene location that could be targeted to minimize or maximize the number of off-targets. In an effort to determine the effects of off-targets on silencing efficiencies, previously published studies were used. Analyses with acpP, ino1, and marORAB revealed a statistically significant relationship between the number of short alignment length off-targets hybrids and the efficacy of the antisense gene silencing, suggesting that the minimization of off-targets may be beneficial for antisense gene silencing in prokaryotic organisms.

Unveiling Protein Kinase A Targets in Cryptococcus neoformans Capsule Formation.

The protein kinase A (PKA) signal transduction pathway has been associated with pathogenesis in many fungal species. Geddes and colleagues [mBio 7(1):e01862-15, 2016, doi:10.1128/mBio.01862-15] used quantitative proteomics approaches to define proteins with altered abundance during protein kinase A (PKA) activation and repression in the opportunistic human fungal pathogen Cryptococcus neoformans. They observed an association between microbial PKA signaling and ubiquitin-proteasome regulation of protein homeostasis. Additionally, they correlated these processes with expression of polysaccharide capsule on the fungal cell surface, the main virulence-associated phenotype in this organism. Not only are their findings important for microbial pathogenesis, but they also support similar associations between human PKA signaling and ubiquitinated protein accumulation in neurodegenerative diseases.

A non-Newtonian computational fluid dynamics study of the stencil printing process

This paper describes the application of computational fluid dynamics (CFD) to simulate the macroscopic bulk motion of solder paste ahead of a moving squeegee blade in the stencil printing process during the manufacture of electronic components. The successful outcome of the stencil printing process is dependent on the interaction of numerous process parameters. A better understanding of these parameters is required to determine their relation to print quality and improve guidelines for process optimization. Various modelling techniques have arisen to analyse the flow behaviour of solder paste, including macroscopic studies of the whole mass of paste as well as microstructural analyses of the motion of individual solder particles suspended in the carrier fluid. This work builds on the knowledge gained to date from earlier analytical models and CFD investigations by considering the important non-Newtonian rheological properties of solder pastes which have been neglected in previous macroscopic studies. Pressure and velocity distributions are obtained from both Newtonian and non-Newtonian CFD simulations and evaluated against each other as well as existing established analytical models. Significant differences between the results are observed, which demonstrate the importance of modelling non-Newtonian properties for realistic representation of the flow behaviour of solder paste.

Correlation of solder paste rheology with computational simulations of the stencil printing process

Soldering technologies continue to evolve to meet the demands of the continuous miniaturisation of electronic products, particularly in the area of solder paste formulations used in the reflow soldering of surface mount devices. Stencil printing continues to be a leading process used for the deposition of solder paste onto printed circuit boards (PCBs) in the volume production of electronic assemblies, despite problems in achieving a consistent print quality at an ultra-fine pitch. In order to eliminate these defects a good understanding of the processes involved in printing is important. Computational simulations may complement experimental print trials and paste characterisation studies, and provide an extra dimension to the understanding of the process. The characteristics and flow properties of solder pastes depend primarily on their chemical and physical composition and good material property data is essential for meaningful results to be obtained by computational simulation.This paper describes paste characterisation and computational simulation studies that have been undertaken through the collaboration of the School of Aeronautical, Mechanical and Manufacturing Engineering at Salford University and the Centre for Numerical Modelling and Process Analysis at the University of Greenwich. The rheological profile of two different paste formulations (lead and lead-free) for sub 100 micron flip-chip devices are tested and applied to computational simulations of their flow behaviour during the printing process.

Stencil printing at sub-100 microns pitch

This article presents the latest print results at less than 100 microns pitch obtained in stencil printing type 6 and 7 lead-free solder pastes and conductive adhesives. The advantages of the microengineered stencil arc presented and compared with other bonding technologies. Characterisation of the print deposits is presented and future applications of stencil printing are described.

Stencil printing at sub-100 microns pitch

This article presents the latest print results at less than 100 microns pitch obtained in stencil printing type 6 and 7 leadfree solder pastes and conductive adhesives. The advantages of the microengineered stencil are presented and compared with other bonding technologies. Characterisation of the print deposits is presented and future applications of stencil printing are described.

Ultra-fine pitch stencil printing for a low cost and low temperature flip-chip assembly process

This paper presents the results of a packaging process based on the stencil printing of isotropic conductive adhesives (ICAs) that form the interconnections of flip-chip bonded electronic packages. Ultra-fine pitch (sub-100-mum), low temperature (100degC), and low cost flip-chip assembly is demonstrated. The article details recent advances in electroformed stencil manufacturing that use microengineering techniques to enable stencil fabrication at apertures sizes down to 20mum and pitches as small as 30mum. The current state of the art for stencil printing of ICAs and solder paste is limited between 150-mum and 200-mum pitch. The ICAs-based interconnects considered in this article have been stencil printed successfully down to 50-mum pitch with consistent printing demonstrated at 90-mum pitch size. The structural integrity or the stencil after framing and printing is also investigated through experimentation and computational modeling. The assembly of a flip-chip package based on copper column bumped die and ICA deposits stencil printed at sub-100-mum pitch is described. Computational fluid dynamics modeling of the print performance provides an indicator on the optimum print parameters. Finally, an organic light emitting diode display chip is packaged using this assembly process