Synthetic, structural and mechanistic studies of interactions of carbon, nitrogen, and oxygen nucleophiles with bis-pentamethylcyclopentadienyl zirconium and hafnium derivatives

The reactivity of permethylzirconocene and permethylhafnocene complexes with various nucleophiles has been investigated. Permethylzirconocene reacts with sterically hindered ketenes and allenes to afford metallacycle products. Reaction of these cummulenes with permethylzirconocene hydride complexes affords enolate and σ-allyl species, respectively. Reactions which afford enolate products are nonstereospecific, whereas reactions which afford allyl products initially give a cis-σ-allyl complex which rearranges to its trans isomer. The mechanism of these reactions is proposed to occur either by a Lewis Acid-Lewis Base interaction (ketenes) or by formation of a π-olefin intermediate (allenes).

Permethylzirconocene haloacyl complexes react with strong bases such as lithium diisopropylamide or methylene trimethylphosphorane to afford ketene compounds. Depending on the size of the alkyl ketene substituent, the hydrogenation of these compounds affords enolate-hydride products with varying degrees of stereoselectivity. The larger the substituent, the greater is the selectivity for cis hydrogenation products.

The reaction of permethylzirconocene dihydride and permethylhafnocene dihydride with methylene trimethylphosphorane affords methyl-hydride and dimethyl derivatives. Under appropriate conditions, the metallated-ylide complex 1, (η^5-C_5(CH_3)_5)_2 Zr(H)CH_2PMe_2CH_2, is also obtained and has been structurally characterized by X-ray diffraction techniques. Reaction of 1 with CO affords (η^5-C_5(CH_3)_5)_2 Zr(C,O-η^2 -(PMe_3)HC=CO)H which exists in solution as an equilibrium mixture of isomers. In one isomer (2), the η^2-acyl oxygen atom occupies a lateral equatorial coordination position about zirconium, whereas in the other isomer (3), the η-acyl oxygen atom occupies the central equatorial position. The equilibrium kinetics of the 2→3 isomerization have been studied and the structures of both complexes confirmed by X-ray diffraction methods. These studies suggest a mechanism for CO insertion into metal-carbon bonds of the early transition metals.

Permethylhafnocene dihydride and permethylzirconocene hydride complexes react with diazoalkanes to afford η^2-N, N' -hydrazonido species in which the terminal nitrogen atom of the diazoalkane molecule has inserted into a metal-hydride or metal-carbon bond. The structure of one of these compounds, Cp*_2Zr(NMeNCTol_2)OH, has been determined by X-ray diffraction techniques. Under appropriate conditions, the hydrazonido-hydride complexes react with a second equivalent of diazoalkene to afford η' -N-hydrazonido-η^2-N, N' -hydrazonido species.

Two-body photodisintegration of the deuteron at intermediate energy

We have measured the differential cross section for two-body deuteron photodisintegration at center-of-mass angles of 90°, 53° and 37° with photon energies from 1.6 Ge V to 2.8 Ge V. Additional data were taken at θ* = 37° and E_γ = 4.2 GeV. Invariant cross sections at θ* =90° and 53° appear to follow a simple scaling law predicted by constituent counting rules of perturbative QCD, while the cross section at θ* = 37° shows a slower fall-off with photon energy. Angular distributions show increasing forward peaking at higher energies. Agreement with various theoretical predictions based on pQCD and meson-exchange models is discussed.

The electrocatalytic and stoichiometric oxidation chemistry of binuclear ruthenium complexes incorporating the anionic tripod ligand {(η5-C5H5)Co[P(OCH3)2(=O)]3}-

The anionic tripod ligand NaLoMe (L_(oMe) - = [(η^5-C_5H_5)Co{P(O)(OCH_3)_2}_3]^-) reacts with RuO_4 in a biphasic reaction mixture of 1% H_2SO_4 and CCI_4 to afford [(L_(oMe) (HO)Ru^(IV) (µ-O)_2Ru ^(IV)(OH)(L_(oMe)] (1), which is treated with aqueous CF_3S0_3H to generate [(L_(oMe)(H_2O)Ru^(IV) (µ-O)_2R^(IV) (OH_2)(L_(oMe)][CF_3SO_3]_2 ([H_21][CF_3SO_3]_2). Addition of iodosobenzene to an acetonitrile solution of this salt yields [(L_(oMe)(O)Ru^v(µ-0)2Ru^v-(O)(_(LoMe)] (2). The dimer 1 can be reduced chemically or electrochemically to the Ru^(III)- Ru^(III) dimers [(L_(oMe)(H_20)Ru^(III) (µ-OH)_2Ru^(III) (OH_2)(L_(oMe)) ]^2+ and [(L_(oMe)) ^(III) (µ-0Hh(µ-0H2)Ru^(III) (L_(oMe)]^2+ which interconvert in aqueous media. Two electron processes dominate both the bulk chemistry and the electrochemistry of 1. Among these processes are the quasi-reversible Ru^(IV) - Ru^(IV)/Ru^(III)- Ru^(III) and Ru^(III)- Ru^(III)/ Ru^(II)- Ru^(II) reductions and a largely irreversible Ru^(V) - Ru^(V)/ Ru^(IV) - Ru^(IV)/oxidation. The dioxo dimer 2 oxidizes alcohols and aldehydes in organic media to afford 1 and the corresponding aldehydes and acids. Analogously, the Ru^(V) - Ru^(V)/ Ru^(IV)- Ru^(IV) redox wave mediates the electrooxidation of alcohols and aldehydes in aqueous buffer. In this system, substrates can be oxidized completely to CO_2. The kinetic behavior of these oxidations was examined by UV-vis and chronoamperometry, respectively, and the chemistry is typical of metal-oxo complexes, indicating that electronic coupling between two metal centers does not dramatically affect the metal-oxo chemistry. Dimer [H_21]^(2+) also reacts with alcohols, aldehydes, and triphenylphosphine in CH_3CN to afford Ru^(III)- Ru^(III) products including [(L_(oMe))CH_3CN) Ru^(III) (µ-OH)_2 Ru^(III) (NCCH_3)( L_(oMe))][CF_3SO_3]2 (characterized by X-ray crystallography) and the corresponding organic products. Reaction of 1 with formaldehyde in aqueous buffer quantitatively affords the triply bridged dimer [(L_(oMe)Ru^(III) (µ-OH)2- (µ-HCOO) Ru^(III) (L_(oMe)][CF_3SO_3] (characterized by X-ray crystallography). This reaction evidently proceeds by two parallel inner-sphere pathways, one of which is autocatalytic. Neither pathway exhibits a primary isotope effect suggesting the rate determining process could be the formation of an intermediate, perhaps a Ru^(IV) - Ru^(IV) formate adduct. The Ru^(III)- Ru^(III)formate adduct is easily oxidized to the Ru^(IV) - Ru^(IV) analog [(L_(oMe)Ru^(IV)(µ-OH)_2-(µ-HCOO) Ru^(IV) (L_(oMe)][CF_3SO_3], which, after isolation, reacts slowly with aqueous formaldehyde to generate free formate and the Ru^(III)- Ru^(III) formate adduct. These dimers function as catalysts for the electrooxidation of formaldehyde at low anodic potentials (+0.0 V versus SCE in aqueous buffer, pH 8.5) and enhance the activity of Nafion treated palladium/carbon heterogeneous fuel cell catalysts.

Control of dynamical systems with temporal logic specifications

This thesis is motivated by safety-critical applications involving autonomous air, ground, and space vehicles carrying out complex tasks in uncertain and adversarial environments. We use temporal logic as a language to formally specify complex tasks and system properties. Temporal logic specifications generalize the classical notions of stability and reachability that are studied in the control and hybrid systems communities. Given a system model and a formal task specification, the goal is to automatically synthesize a control policy for the system that ensures that the system satisfies the specification. This thesis presents novel control policy synthesis algorithms for optimal and robust control of dynamical systems with temporal logic specifications. Furthermore, it introduces algorithms that are efficient and extend to high-dimensional dynamical systems.

The first contribution of this thesis is the generalization of a classical linear temporal logic (LTL) control synthesis approach to optimal and robust control. We show how we can extend automata-based synthesis techniques for discrete abstractions of dynamical systems to create optimal and robust controllers that are guaranteed to satisfy an LTL specification. Such optimal and robust controllers can be computed at little extra computational cost compared to computing a feasible controller.

The second contribution of this thesis addresses the scalability of control synthesis with LTL specifications. A major limitation of the standard automaton-based approach for control with LTL specifications is that the automaton might be doubly-exponential in the size of the LTL specification. We introduce a fragment of LTL for which one can compute feasible control policies in time polynomial in the size of the system and specification. Additionally, we show how to compute optimal control policies for a variety of cost functions, and identify interesting cases when this can be done in polynomial time. These techniques are particularly relevant for online control, as one can guarantee that a feasible solution can be found quickly, and then iteratively improve on the quality as time permits.

The final contribution of this thesis is a set of algorithms for computing feasible trajectories for high-dimensional, nonlinear systems with LTL specifications. These algorithms avoid a potentially computationally-expensive process of computing a discrete abstraction, and instead compute directly on the system's continuous state space. The first method uses an automaton representing the specification to directly encode a series of constrained-reachability subproblems, which can be solved in a modular fashion by using standard techniques. The second method encodes an LTL formula as mixed-integer linear programming constraints on the dynamical system. We demonstrate these approaches with numerical experiments on temporal logic motion planning problems with high-dimensional (10+ states) continuous systems.

How far from Jerusalem? Tropical customs and the question of race in the Book of John Mandeville

The Book of John Mandeville, while ostensibly a pilgrimage guide documenting an English knight’s journey into the East, is an ideal text in which to study the developing concept of race in the European Middle Ages. The Mandeville-author’s sense of place and morality are inextricably linked to each other: Jerusalem is the center of his world, which necessarily forces Africa and Asia to occupy the spiritual periphery. Most inhabitants of Mandeville’s landscapes are not monsters in the physical sense, but at once startlingly human and irreconcilably alien in their customs. Their religious heresies, disordered sexual appetites, and monstrous acts of cannibalism label them as fallen state of the European Christian self. Mandeville’s monstrosities lie not in the fantastical, but the disturbingly familiar, coupling recognizable humans with a miscarriage of natural law. In using real people to illustrate the moral degeneracy of the tropics, Mandeville’s ethnography helps shed light on the missing link between medieval monsters and modern race theory.

Magnetic moments in amorpous palladium-cobalt-silicon alloys

The magnetic moments of amorphous ternary alloys containing Pd, Co and Si in atomic concentrations corresponding to Pd_(80-x)Co_xSi_(20) in which x is 3, 5, 7, 9, 10 and 11, have been measured between 1.8 and 300°K and in magnetic fields up to 8.35 kOe. The alloys were obtained by rapid quenching of a liquid droplet and their structures were analyzed by X-ray diffraction. The measurements were made in a null-coil pendulum magnetometer in which the temperature could be varied continuously without immersing the sample in a cryogenic liquid. The alloys containing 9 at.% Co or less obeyed Curie's Law over certain temperature ranges, and had negligible permanent moments at room temperature. Those containing 10 and 11 at.% Co followed Curie's Law only above approximately 200°K and had significant permanent moments at room temperature. For all alloys, the moments calculated from Curie's Law were too high to be accounted for by the moments of individual Co atoms. To explain these findings, a model based on the existence of superparamagnetic clustering is proposed. The cluster sizes calculated from the model are consistent with the rapid onset of ferromagnetism in the alloys containing 10 and 11 at.% Co and with the magnetic moments in an alloy containing 7 at.% Co heat treated in such a manner as to contain a small amount of a crystalline phase. In alloys containing 7 at.% Co or less, a maximum in the magnetization vs temperature curve was observed around 10°K. This maximum was eliminated by cooling the alloy in a magnetic field, and an explanation for this observation is suggested.

A study of T=1, T=3/2, and T=2 states in some light nuclei using (He^3,n) reactions

The (He³, n) reactions on B¹¹, N¹⁵, O¹⁶, and O¹⁸ targets have been studied using a pulsed-beam time-of-flight spectrometer. Special emphasis was placed upon the determination of the excitation energies and properties of states with T = 1 (in Ne¹⁸), T = 3/2 (in N¹³ and F¹⁷) and T = 2 (in Ne²⁰). The identification of the T = 3/2 and T = 2 levels is based on the structure of these states as revealed by intensities and shapes of angular distributions. The reactions are interpreted in terms of double stripping theory. Angular distributions have been compared with plane and distorted wave stripping theories. Results for the four reactions are summarized below:

1) O¹⁶ (He³, n). The reaction has been studied at incident energies up to 13.5 MeV and two previously unreported levels in Ne¹⁸ were observed at E_x = 4.55 ± .015 MeV (Γ = 70 ± 30 keV) and E_x = 5.14 ± .018 MeV (Γ = 100 ± 40 keV).

2) B¹¹ (He³, n). The reaction has been studied at incident energies up to 13.5 MeV. Three T = 3/2 levels in N¹³ have been identified at E_x = 15.068 ± .008 MeV (Γ ˂ 15 keV), E_x = 18.44 ± .04, and E_x 18.98 ± .02 MeV (Γ = 40 ± 20 keV).

3) N¹⁵ (He³, n). The reaction has been studied at incident energies up to 11.88 MeV. T = 3/2 levels in F¹⁷ have been identified at E_x = 11.195 ± .007 MeV (Γ ˂ 20 keV), E_x = 12.540 ± .010 MeV (Γ ˂ 25 keV), and E_x = 13.095 ± .009 MeV (Γ ˂ 25 keV).

4) O¹⁸ (He³, n). The reaction has been studied at incident energies up to 9.0 MeV. The excitation energy of the lowest T = 2 level in Ne²⁰ has been found to be 16.730 ± .006 MeV (Γ ˂ 20 keV).

Angular distributions of the transitions leading to the above higher isospin states are well described by double stripping theory. Analog correspondences are established by comparing the present results with recent studies (t, p) and (He³, p) reactions on the same targets.

Towards in situ Single Cell Systems Biology

Systems-level studies of biological systems rely on observations taken at a resolution lower than the essential unit of biology, the cell. Recent technical advances in DNA sequencing have enabled measurements of the transcriptomes in single cells excised from their environment, but it remains a daunting technical problem to reconstruct in situ gene expression patterns from sequencing data. In this thesis I develop methods for the routine, quantitative in situ measurement of gene expression using fluorescence microscopy.

The number of molecular species that can be measured simultaneously by fluorescence microscopy is limited by the pallet of spectrally distinct fluorophores. Thus, fluorescence microscopy is traditionally limited to the simultaneous measurement of only five labeled biomolecules at a time. The two methods described in this thesis, super-resolution barcoding and temporal barcoding, represent strategies for overcoming this limitation to monitor expression of many genes in a single cell. Super-resolution barcoding employs optical super-resolution microscopy (SRM) and combinatorial labeling via-smFISH (single molecule fluorescence in situ hybridization) to uniquely label individual mRNA species with distinct barcodes resolvable at nanometer resolution. This method dramatically increases the optical space in a cell, allowing a large numbers of barcodes to be visualized simultaneously. As a proof of principle this technology was used to study the S. cerevisiae calcium stress response. The second method, sequential barcoding, reads out a temporal barcode through multiple rounds of oligonucleotide hybridization to the same mRNA. The multiplexing capacity of sequential barcoding increases exponentially with the number of rounds of hybridization, allowing over a hundred genes to be profiled in only a few rounds of hybridization.

The utility of sequential barcoding was further demonstrated by adapting this method to study gene expression in mammalian tissues. Mammalian tissues suffer both from a large amount of auto-fluorescence and light scattering, making detection of smFISH probes on mRNA difficult. An amplified single molecule detection technology, smHCR (single molecule hairpin chain reaction), was developed to allow for the quantification of mRNA in tissue. This technology is demonstrated in combination with light sheet microscopy and background reducing tissue clearing technology, enabling whole-organ sequential barcoding to monitor in situ gene expression directly in intact mammalian tissue.

The methods presented in this thesis, specifically sequential barcoding and smHCR, enable multiplexed transcriptional observations in any tissue of interest. These technologies will serve as a general platform for future transcriptomic studies of complex tissues.