LSST Science Book, Version 2.0

A survey that can cover the sky in optical bands over wide fields to faint magnitudes with a fast cadence will enable many of the exciting science opportunities of the next decade. The Large Synoptic Survey Telescope (LSST) will have an effective aperture of 6.7 meters and an imaging camera with field of view of 9.6 deg^2, and will be devoted to a ten-year imaging survey over 20,000 deg^2 south of +15 deg. Each pointing will be imaged 2000 times with fifteen second exposures in six broad bands from 0.35 to 1.1 microns, to a total point-source depth of r~27.5. The LSST Science Book describes the basic parameters of the LSST hardware, software, and observing plans. The book discusses educational and outreach opportunities, then goes on to describe a broad range of science that LSST will revolutionize: mapping the inner and outer Solar System, stellar populations in the Milky Way and nearby galaxies, the structure of the Milky Way disk and halo and other objects in the Local Volume, transient and variable objects both at low and high redshift, and the properties of normal and active galaxies at low and high redshift. It then turns to far-field cosmological topics, exploring properties of supernovae to z~1, strong and weak lensing, the large-scale distribution of galaxies and baryon oscillations, and how these different probes may be combined to constrain cosmological models and the physics of dark energy.Comment: 596 pages. Also available at full resolution at http://www.lsst.org/lsst/sciboo

Valence-dependent influence of serotonin depletion on model-based choice strategy.

Human decision-making arises from both reflective and reflexive mechanisms, which underpin goal-directed and habitual behavioural control. Computationally, these two systems of behavioural control have been described by different learning algorithms, model-based and model-free learning, respectively. Here, we investigated the effect of diminished serotonin (5-hydroxytryptamine) neurotransmission using dietary tryptophan depletion (TD) in healthy volunteers on the performance of a two-stage decision-making task, which allows discrimination between model-free and model-based behavioural strategies. A novel version of the task was used, which not only examined choice balance for monetary reward but also for punishment (monetary loss). TD impaired goal-directed (model-based) behaviour in the reward condition, but promoted it under punishment. This effect on appetitive and aversive goal-directed behaviour is likely mediated by alteration of the average reward representation produced by TD, which is consistent with previous studies. Overall, the major implication of this study is that serotonin differentially affects goal-directed learning as a function of affective valence. These findings are relevant for a further understanding of psychiatric disorders associated with breakdown of goal-directed behavioural control such as obsessive-compulsive disorders or addictions.This research was funded by Wellcome Trust Grants awarded to VV (Intermediate WT Fellowship) and Programme Grant (089589/Z/09/Z) awarded to TWR, BJE, ACR, JWD and BJS. It was conducted at the Behavioural and Clinical Neuroscience Institute, which is supported by a joint award from the Medical Research Council and Wellcome Trust (G00001354). YW was supported by the Fyssen Foundation. SP is supported by Marie Curie Intra-European Fellowship (FP7-People-2012-IEF).This is the final version of the article. It first appeared from NPG via http://dx.doi.org/10.1038/mp.2015.4

The effects of acute tryptophan depletion on costly information sampling: impulsivity or aversive processing?

RATIONALE: The neurotransmitter serotonin (5-HT) has been implicated in both aversive processing and impulsivity. Reconciling these accounts, recent studies have demonstrated that 5-HT is important for punishment-induced behavioural inhibition. These studies focused on situations where actions lead directly to punishments. However, decision-making often involves making tradeoffs between small 'local' costs and larger 'global' losses. OBJECTIVE: We aimed to distinguish whether 5-HT promotes avoidance of local losses, global losses, or both, in contrast to an overall effect on reflection impulsivity. We further examined the influence of individual differences in sub-clinical depression, anxiety and impulsivity on global and local loss avoidance. METHODS: Healthy volunteers (N = 21) underwent an acute tryptophan depletion procedure in a double-blind, placebo-controlled crossover design. We measured global and local loss avoidance in a decision-making task where subjects could sample information at a small cost to avoid making incorrect decisions, which resulted in large losses. RESULTS: Tryptophan depletion removed the suppressive effects of small local costs on information sampling behaviour. Sub-clinical depressive symptoms produced effects on information sampling similar to (but independent from) those of tryptophan depletion. Dispositional anxiety was related to global loss avoidance. However, trait impulsivity was unrelated to information sampling. CONCLUSIONS: The current findings are consistent with recent theoretical work that characterises 5-HT as pruning a tree of potential decisions, eliminating options expected to lead to aversive outcomes. Our results extend this account by proposing that 5-HT promotes reflexive avoidance of relatively immediate aversive outcomes, potentially at the expense of more globally construed future losses

Formal Verification of Programs

e, Carnegie Mellon University, Pittsburgh, Pennsylvania 15213. Comments on this curriculum module may also be directed to the module authors. Alfs T. Berztiss Mark A. Ardis Department of Computer Science Software Engineering Institute University of Pittsburgh Carnegie Mellon University Pittsburgh, PA 15260 Pittsburgh, PA 15213 Copyright Ó 1988 by Carnegie Mellon University Draft For Public Review Formal Verification of Programs Acknowledgements Contents We would like to thank Susan Gerhart, David Gries, Jan Capsule Description 1 Storbank Pedersen, Mary Shaw, and Jeanette Wing for Philosophy 1 their many helpful comments and suggestions. Objectives 1 Prerequisite Knowledge 2 Module Content 3 Outline 3 Annotated Outline 3 Teaching Considerations 11 Suggested Schedules 11 Worked Examples and Exercises 11 Bibliography 12 SEI-CM-20-1.0 Draft For Public Review<F65

Purification and Scale-Up of a Recombinant Heavy Chain Fragment C of Botulinum Neurotoxin Serotype E in \u3ci\u3ePichia Pastoris\u3c/i\u3e GS115

A recombinant C-terminus heavy chain fragment from botulinum neurotoxin serotype E (BoNT/E) is proposed as a vaccine against the serotype E neurotoxin. This fragment, rBoNTE(Hc), was produced intracellular in Pichia pastoris GS115 by a three-step fermentation process, i.e., glycerol batch phase and a glycerol fed-batch phase to achieve high cell densities, followed by a methanol fed-batch induction phase. The rBoNTE(Hc) protein was purified from the soluble fraction of cell lysates using three ion-exchange chromatography steps (SP Sepharose Fast Flow, Q Sepharose Fast Flow, Sp Sepharose High Performance) and polished with a hydrophobic charge induction chromatography step (MEP HyperCel). Method development at the bench scale was achieved using 7– 380 mL columns and the process was performed at the pilot scale using 0.5–3.1 L columns in preparation for technology transfer to cGMP manufacturing. The purification process resulted in greater than 98% pure rBoNTE(Hc) based on HPLC and yielded up to 1.01 g of rBoNTE(Hc)/kg cells at the bench scale and 580mg vaccine/kg cells at the pilot scale. N-terminal sequencing showed that the purified rBoNTE(Hc) N-terminus is intact and was found to protect mice against a challenge of 1000 mouse intraperitoneal LD50’s of BoNT/E

Purification and scale-up of a recombinant heavy chain fragment C of botulinum neurotoxin serotype E in Pichia pastoris GS115

A recombinant C-terminus heavy chain fragment from botulinum neurotoxin serotype E (BoNT/E) is proposed as a vaccine against the serotype E neurotoxin. This fragment, rBoNTE(Hc), was produced intracellular in Pichia pastoris GS115 by a three-step fermentation process, i.e., glycerol batch phase and a glycerol fed-batch phase to achieve high cell densities, followed by a methanol fed-batch induction phase. The rBoNTE(Hc) protein was purified from the soluble fraction of cell lysates using three ion-exchange chromatography steps (SP Sepharose Fast Flow, Q Sepharose Fast Flow, Sp Sepharose High Performance) and polished with a hydrophobic charge induction chromatography step (MEP HyperCel). Method development at the bench scale was achieved using 7– 380 mL columns and the process was performed at the pilot scale using 0.5–3.1 L columns in preparation for technology transfer to cGMP manufacturing. The purification process resulted in greater than 98% pure rBoNTE(Hc) based on HPLC and yielded up to 1.01 g of rBoNTE(Hc)/kg cells at the bench scale and 580 mg vaccine/kg cells at the pilot scale. N-terminal sequencing showed that the purified rBoNTE(Hc) N-terminus is intact and was found to protect mice against a challenge of 1000 mouse intraperitoneal LD50’s of BoNT/E