An Algorithm for Inferring Quasi-Static Types

This report presents an algorithm, and its implementation, for doing type inference in the context of Quasi-Static Typing (QST) ["Quasy-static Typing." Satish Thatte Proc. ACM Symp. on Principles of Programming Languages, 1988]. The package infers types a la "QST" for the simply typed λ-calculus.

A Pragmatic Approach to DHT Adoption

Despite the peer-to-peer community's obvious wish to have its systems adopted, specific mechanisms to facilitate incremental adoption have not yet received the same level of attention as the many other practical concerns associated with these systems. This paper argues that ease of adoption should be elevated to a first-class concern and accordingly presents HOLD, a front-end to existing DHTs that is optimized for incremental adoption. Specifically, HOLD is backwards-compatible: it leverages DNS to provide a key-based routing service to existing Internet hosts without requiring them to install any software. This paper also presents applications that could benefit from HOLD as well as the trade-offs that accompany HOLD. Early implementation experience suggests that HOLD is practical.

'Deor and nytenu mid us': animals in the works of Ǽelfric

This dissertation examines the use of animals in Ælfric’s Lives of Saints and Catholic Homilies, outlining the transmission process of various sources of animal knowledge available to and used by Ælfric. The contexts in which Ælfric uses animals, which sources he uses in these passages and how he deviates from his source material (if at all) combine to illustrate how Anglo-Saxon authors could weave classical, biblical, early Christian and local knowledge together and incorporate the different traditions in their own work.

Continuity and change in monetary policy and banking in Ireland 1922-43

The primary objective of this thesis is to examine the development of monetary policy and banking in southern Ireland from the attainment of independence in 1922 (gained through the Anglo-Irish Treaty of 1921) to the establishment of the Central Bank of Ireland in 1943. This research serves to challenge the overwhelming concentration on the findings of a small number of major works, most notably by Ronan Fanning, Maurice Moynihan and Cormac Ó’Gráda, in the existing historiography. This thesis is based on the research hypothesis that there were two key factors impacting on the development of monetary and banking institutions in Ireland in the 1922-1943 period. First, an exogenous institutional context, primarily Anglo-Irish in focus, in which the wider macroeconomic landscape directly influenced monetary policy and banking in Ireland. Second, an individualist context in which the development of relationships between key individuals dictated development patterns and institutional structures. This research highlights that key Irish policymakers, such as Joseph Brennan, evidenced a more flexible and realistic approach to banking and monetary affairs than is currently recognised. It also develops three further issues which have been overlooked in the existing historiography. First, a germ of monetary reform existed in Ireland from as early as the mid-1920s and was consistent in promoting alternative policies in the period to 1943. Second, this research challenges the view that the creation of the Currency Commission in 1927 and the establishment of the Central Bank of Ireland in 1943 were insignificant events given the continued stagnation in Irish monetary policy in the decades after 1943. Third, this thesis identifies that wider international trends did influence Irish monetary and banking affairs in the 1922-43 period. At both an institutional and more individual level the process of monetary institution building in Ireland was directly impacted by wider international experiences.

Harmonic source wavefront aberration correction for ultrasound imaging.

A method is proposed which uses a lower-frequency transmit to create a known harmonic acoustical source in tissue suitable for wavefront correction without a priori assumptions of the target or requiring a transponder. The measurement and imaging steps of this method were implemented on the Duke phased array system with a two-dimensional (2-D) array. The method was tested with multiple electronic aberrators [0.39π to 1.16π radians root-mean-square (rms) at 4.17 MHz] and with a physical aberrator 0.17π radians rms at 4.17 MHz) in a variety of imaging situations. Corrections were quantified in terms of peak beam amplitude compared to the unaberrated case, with restoration between 0.6 and 36.6 dB of peak amplitude with a single correction. Standard phantom images before and after correction were obtained and showed both visible improvement and 14 dB contrast improvement after correction. This method, when combined with previous phase correction methods, may be an important step that leads to improved clinical images.

Stream segregation on a single electrode as a function of pulse rate in cochlear implant listeners.

While cochlear implants (CIs) usually provide high levels of speech recognition in quiet, speech recognition in noise remains challenging. To overcome these difficulties, it is important to understand how implanted listeners separate a target signal from interferers. Stream segregation has been studied extensively in both normal and electric hearing, as a function of place of stimulation. However, the effects of pulse rate, independent of place, on the perceptual grouping of sequential sounds in electric hearing have not yet been investigated. A rhythm detection task was used to measure stream segregation. The results of this study suggest that while CI listeners can segregate streams based on differences in pulse rate alone, the amount of stream segregation observed decreases as the base pulse rate increases. Further investigation of the perceptual dimensions encoded by the pulse rate and the effect of sequential presentation of different stimulation rates on perception could be beneficial for the future development of speech processing strategies for CIs.

Deposition of silver nanoparticles in geochemically heterogeneous porous media: predicting affinity from surface composition analysis.

The transport of uncoated silver nanoparticles (AgNPs) in a porous medium composed of silica glass beads modified with a partial coverage of iron oxide (hematite) was studied and compared to that in a porous medium composed of unmodified glass beads (GB). At a pH lower than the point of zero charge (PZC) of hematite, the affinity of AgNPs for a hematite-coated glass bead (FeO-GB) surface was significantly higher than that for an uncoated surface. There was a linear correlation between the average nanoparticle affinity for media composed of mixtures of FeO-GB and GB collectors and the relative composition of those media as quantified by the attachment efficiency over a range of mixing mass ratios of the two types of collectors, so that the average AgNPs affinity for these media is readily predicted from the mass (or surface) weighted average of affinities for each of the surface types. X-ray photoelectron spectroscopy (XPS) was used to quantify the composition of the collector surface as a basis for predicting the affinity between the nanoparticles for a heterogeneous collector surface. A correlation was also observed between the local abundances of AgNPs and FeO on the collector surface.

Mass spectrometry-based thermal shift assay for protein-ligand binding analysis.

Described here is a mass spectrometry-based screening assay for the detection of protein-ligand binding interactions in multicomponent protein mixtures. The assay utilizes an oxidation labeling protocol that involves using hydrogen peroxide to selectively oxidize methionine residues in proteins in order to probe the solvent accessibility of these residues as a function of temperature. The extent to which methionine residues in a protein are oxidized after specified reaction times at a range of temperatures is determined in a MALDI analysis of the intact proteins and/or an LC-MS analysis of tryptic peptide fragments generated after the oxidation reaction is quenched. Ultimately, the mass spectral data is used to construct thermal denaturation curves for the detected proteins. In this proof-of-principle work, the protocol is applied to a four-protein model mixture comprised of ubiquitin, ribonuclease A (RNaseA), cyclophilin A (CypA), and bovine carbonic anhydrase II (BCAII). The new protocol's ability to detect protein-ligand binding interactions by comparing thermal denaturation data obtained in the absence and in the presence of ligand is demonstrated using cyclosporin A (CsA) as a test ligand. The known binding interaction between CsA and CypA was detected using both the MALDI- and LC-MS-based readouts described here.

Hand-held spectroscopic device for in vivo and intraoperative tumor detection: contrast enhancement, detection sensitivity, and tissue penetration.

Surgery is one of the most effective and widely used procedures in treating human cancers, but a major problem is that the surgeon often fails to remove the entire tumor, leaving behind tumor-positive margins, metastatic lymph nodes, and/or satellite tumor nodules. Here we report the use of a hand-held spectroscopic pen device (termed SpectroPen) and near-infrared contrast agents for intraoperative detection of malignant tumors, based on wavelength-resolved measurements of fluorescence and surface-enhanced Raman scattering (SERS) signals. The SpectroPen utilizes a near-infrared diode laser (emitting at 785 nm) coupled to a compact head unit for light excitation and collection. This pen-shaped device effectively removes silica Raman peaks from the fiber optics and attenuates the reflected excitation light, allowing sensitive analysis of both fluorescence and Raman signals. Its overall performance has been evaluated by using a fluorescent contrast agent (indocyanine green, or ICG) as well as a surface-enhanced Raman scattering (SERS) contrast agent (pegylated colloidal gold). Under in vitro conditions, the detection limits are approximately 2-5 × 10(-11) M for the indocyanine dye and 0.5-1 × 10(-13) M for the SERS contrast agent. Ex vivo tissue penetration data show attenuated but resolvable fluorescence and Raman signals when the contrast agents are buried 5-10 mm deep in fresh animal tissues. In vivo studies using mice bearing bioluminescent 4T1 breast tumors further demonstrate that the tumor borders can be precisely detected preoperatively and intraoperatively, and that the contrast signals are strongly correlated with tumor bioluminescence. After surgery, the SpectroPen device permits further evaluation of both positive and negative tumor margins around the surgical cavity, raising new possibilities for real-time tumor detection and image-guided surgery.

Sensitive detection of H2S using gold nanoparticle decorated single-walled carbon nanotubes.

Herein, we demonstrate that highly sensitive conductometric gas nanosensors for H(2)S can be synthesized by electrodepositing gold nanoparticles on single-walled carbon nanotube (SWNT) networks. Adjusting the electrodeposition conditions allowed for tuning of the size and number of gold nanoparticles deposited. The best H(2)S sensing performance was obtained with discrete gold nanodeposits rather than continuous nanowires. The gas nanosensors could sense H(2)S in air at room temperature with a 3 ppb limit of detection. The sensors were reversible, and increasing the bias voltage reduced the sensor recovery time, probably by local Joule heating. The sensing mechanism is believed to be based on the modulation of the conduction path across the nanotubes emanating from the modulation of electron exchange between the gold and carbon nanotube defect sites when exposed to H(2)S.

Identification and inhibitory properties of a novel Ca(2+)/calmodulin antagonist.

We developed a high-throughput yeast-based assay to screen for chemical inhibitors of Ca(2+)/calmodulin-dependent kinase pathways. After screening two small libraries, we identified the novel antagonist 125-C9, a substituted ethyleneamine. In vitro kinase assays confirmed that 125-C9 inhibited several calmodulin-dependent kinases (CaMKs) competitively with Ca(2+)/calmodulin (Ca(2+)/CaM). This suggested that 125-C9 acted as an antagonist for Ca(2+)/CaM rather than for CaMKs. We confirmed this hypothesis by showing that 125-C9 binds directly to Ca(2+)/CaM using isothermal titration calorimetry. We further characterized binding of 125-C9 to Ca(2+)/CaM and compared its properties with those of two well-studied CaM antagonists: trifluoperazine (TFP) and W-13. Isothermal titration calorimetry revealed that binding of 125-C9 to CaM is absolutely Ca(2+)-dependent, likely occurs with a stoichiometry of five 125-C9 molecules to one CaM molecule, and involves an exchange of two protons at pH 7.0. Binding of 125-C9 is driven overall by entropy and appears to be competitive with TFP and W-13, which is consistent with occupation of similar binding sites. To test the effects of 125-C9 in living cells, we evaluated mitogen-stimulated re-entry of quiescent cells into proliferation and found similar, although slightly better, levels of inhibition by 125-C9 than by TFP and W-13. Our results not only define a novel Ca(2+)/CaM inhibitor but also reveal that chemically unique CaM antagonists can bind CaM by distinct mechanisms but similarly inhibit cellular actions of CaM.

Osmolyte-induced folding of an intrinsically disordered protein: folding mechanism in the absence of ligand.

Understanding the interconversion between thermodynamically distinguishable states present in a protein folding pathway provides not only the kinetics and energetics of protein folding but also insights into the functional roles of these states in biological systems. The protein component of the bacterial RNase P holoenzyme from Bacillus subtilis (P protein) was previously shown to be unfolded in the absence of its cognate RNA or other anionic ligands. P protein was used in this study as a model system to explore general features of intrinsically disordered protein (IDP) folding mechanisms. The use of trimethylamine N-oxide (TMAO), an osmolyte that stabilizes the unliganded folded form of the protein, enabled us to study the folding process of P protein in the absence of ligand. Transient stopped-flow kinetic traces at various final TMAO concentrations exhibited multiphasic kinetics. Equilibrium "cotitration" experiments were performed using both TMAO and urea during the titration to produce a urea-TMAO titration surface of P protein. Both kinetic and equilibrium studies show evidence of a previously undetected intermediate state in the P protein folding process. The intermediate state is significantly populated, and the folding rate constants are relatively slow compared to those of intrinsically folded proteins similar in size and topology. The experiments and analysis described serve as a useful example for mechanistic folding studies of other IDPs.

Short-lived alpha-helical intermediates in the folding of beta-sheet proteins.

Several lines of evidence point strongly toward the importance of highly alpha-helical intermediates in the folding of all globular proteins, regardless of their native structure. However, experimental refolding studies demonstrate no observable alpha-helical intermediate during refolding of some beta-sheet proteins and have dampened enthusiasm for this model of protein folding. In this study, beta-sheet proteins were hypothesized to have potential to form amphiphilic helices at a period of <3.6 residues/turn that matches or exceeds the potential at 3.6 residues/turn. Hypothetically, such potential is the basis for an effective and unidirectional mechanism by which highly alpha-helical intermediates might be rapidly disassembled during folding and potentially accounts for the difficulty in detecting highly alpha-helical intermediates during the folding of some proteins. The presence of this potential was confirmed, indicating that a model entailing ubiquitous formation of alpha-helical intermediates during the folding of globular proteins predicts previously unrecognized features of primary structure. Further, the folding of fatty acid binding protein, a predominantly beta-sheet protein that exhibits no apparent highly alpha-helical intermediate during folding, was dramatically accelerated by 2,2,2-trifluoroethanol, a solvent that stabilizes alpha-helical structure. This observation suggests that formation of an alpha-helix can be a rate-limiting step during folding of a predominantly beta-sheet protein and further supports the role of highly alpha-helical intermediates in the folding of all globular proteins.