BACKGROUND Lignocellulosic biorefineries have tonnage and throughput requirements that must be met year round and there is no single feedstock available in any given region that is capable of meeting the price and availability demands of the biorefineries scheduled for deployment. Significant attention has been historically given to agriculturally derived feedstocks; however, a diverse range of...

We study fermion localization in gauge theory space. We consider four dimensional product gauge groups in which light chiral fermions transform under different gauge factors of the product group. This construction provides a suppression of higher dimensional operators. For example, it can be used to suppress dangerous proton decay operators. The anomalies associated with the light chiral fermio...

Douglas J. Mason,1 Mario F. Borunda,1,2 and Eric J. Heller1,3 1Department of Physics, Harvard University, Cambridge, Massachusetts 02138, USA 2Department of Physics, Oklahoma State University, Stillwater, Oklahoma 74078, USA 3Department of Chemistry and Chemical Biology, Harvard University, Cambridge, Massachusetts 02138, USA (Received 6 June 2012; revised manuscript received 21 August 2013; pu...

Bacterial inclusion bodies (IBs) are refractile aggregates of protease-resistant misfolded protein that often occur in recombinant bacteria upon gratuitous overexpression of cloned genes. In biotechnology, the formation of IBs represents a main obstacle for protein production since even favouring high protein yields, the in vitro recovery of functional protein from insoluble deposits depends on...

Deep brain stimulation (DBS) is a therapeutic option for intractable neurological and psychiatric disorders, including Parkinson's disease and major depression. Because of the heterogeneity of brain tissues where electrodes are placed, it has been challenging to elucidate the relevant target cell types or underlying mechanisms of DBS. We used optogenetics and solid-state optics to systematicall...

Doctoral Thesis A Semantic Deconstruction of Session Types by Alceste Scalas This work investigates the semantic foundations of binary session types, by revisiting them in the abstract setting of labelled transition systems. The main insights and contributions are: • a semantically unified approach to the study of session types and CCS processes with synchronous and asynchronous semantics — the...

Landin’s SECD machine was the first abstract machine for the λ-calculus viewed as a programming language. Both theoretically as a model of computation and practically as an idealized implementation, it has set the tone for the subsequent development of abstract machines for functional programming languages. However, and even though variants of the SECD machine have been presented, derived, and ...

We describe a mechanism for using discrete symmetries to solve the doublet-triplet splitting problem of four dimensional supersymmetric GUT's. We present two versions of the mechanism, one via " deconstruction, " and one in terms of M-theory compactification to four dimensions on a manifold of G 2 holonomy.

health and media literacy outcomes. After the program, participants were more likely to have the intention to use condoms during sex and talk to partners, parents, or medical professionals prior to sex. Media literacy outcomes included decreased perceived realism of and increased skepticism of media messages and improved media deconstruction skills. Overall, the results suggest that media literacy