DOCSLIB.ORG

Proquest Dissertations

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Proquest Dissertations u Ottawa L'Universite canadierme Canada's university ITTTT FACULTE DES ETUDES SUPERIEURES 1^=1 FACULTY OF GRADUATE AND ET POSTOCTORALES U Ottawa POSDOCTORAL STUDIES L'UmversitC canadierino Canada's university Karen Rowlandson "A0tIu"RDElATHESE7AUtWRO?"THl¥S~ Ph.D. (Microbiology and Immunology) GRADE/DEGREE Department of Biochemistry, Microbiology and Immunology PAC.QJE^ Production and Evaluation of Plant-Derived Vaccines for Cytomegalovirus Using Guinea Pig as an Animal Model TITRE DE LA THESE / TITLE OF THESIS Eilleen Tackaberry DIRECTEUR (DIRECTRICE) DE LA THESE / THESIS SUPERVISOR CO-DIRECTEUR (CO-DIRECTRICE) DE LA THESE/THESIS CO-SUPERVISOR EXAMINATEURS (EXAMINATRICES) DE LA THESE/THESIS EXAMINERS Wangxue Chen (National Research Council) Lionel Filion Sean Li Martin Pelchat Gary W. Slater Le Doyen de la Faculte des etudes superieures et postdoctorales / Dean of the Faculty of Graduate and Postdoctoral Studies Production and evaluation of plant-derived vaccines for cytomegalovirus using guinea pig as an animal model Karen Rowlandson Thesis submitted to the Faculty of Graduate and Postdoctoral Studies in partial fulfillment of the requirements for the PhD degree in Microbiology & Immunology Department of Biochemistry, Microbiology & Immunology Faculty of Medicine University of Ottawa © Karen Rowlandson, Ottawa, Canada, 2009 Library and Archives Bibliotheque et 1*1 Canada Archives Canada Published Heritage Direction du Branch Patrimoine de I'edition 395 Wellington Street 395, rue Wellington OttawaONK1A0N4 Ottawa ON K1A 0N4 Canada Canada Your file Votre r6f6rence ISBN: 978-0-494-61256-9 Our file Notre reference ISBN: 978-0-494-61256-9 NOTICE: AVIS: The author has granted a non­ L'auteur a accorde une licence non exclusive exclusive license allowing Library and permettant a la Bibliotheque et Archives Archives Canada to reproduce, Canada de reproduire, publier, archiver, publish, archive, preserve, conserve, sauvegarder, conserver, transmettre au public communicate to the public by par telecommunication ou par I'lntemet, preter, telecommunication or on the Internet, distribuer et vendre des theses partout dans le loan, distribute and sell theses monde, a des fins commerciales ou autres, sur worldwide, for commercial or non­ support microforme, papier, electronique et/ou commercial purposes, in microform, autres formats. paper, electronic and/or any other formats. The author retains copyright L'auteur conserve la propriete du droit d'auteur ownership and moral rights in this et des droits moraux qui protege cette these. Ni thesis. Neither the thesis nor la these ni des extraits substantiels de celle-ci substantial extracts from it may be ne doivent etre imprimes ou autrement printed or otherwise reproduced reproduits sans son autorisation. without the author's permission. In compliance with the Canadian Conformement a la loi canadienne sur la Privacy Act some supporting forms protection de la vie privee, quelques may have been removed from this formulaires secondaires ont ete enleves de thesis. cette these. While these forms may be included Bien que ces formulaires aient inclus dans in the document page count, their la pagination, il n'y aura aucun contenu removal does not represent any loss manquant. of content from the thesis. 1*1 Canada Abstract Human cytomegalovirus (HCMV) infection is usually asymptomatic in healthy individuals. However, severe disease and/or death can occur in immunocompromised patients. The overall objective of this project was to develop a plant-derived CMV subunit vaccine and determine its effectiveness. Since CMV is species-specific, guinea pig CMV (GPCMV) was used as a model for HCMV. Four gene constructs were engineered to contain either the rice glutelin-1 promoter (Gtl) or the maize ubiquitin promoter, and the gene for either glycoprotein B (gB) or phosphoprotein 65 (pp65) of GPCMV. Agrobacterium tumefaciens were transformed with the Gtl-gB construct and subsequently used to transform Oryza sativa (rice) or Arabidopsis thaliana. Due to technical difficulties associated with rice transformations, experimental work was continued with only A. thaliana. PCR analysis of plant tissue confirmed maintenance of the gB transgene for seven generations, and Western blots of selected seed extracts revealed a gB-specific band not found in non-transformed A. thaliana extracts. Guinea pigs (4 per group) were subcutaneously immunized with 20 mg of seed protein extract from GPCMV gB A. thaliana plants (estimated to contain approximately 50 ug of gB), an equal amount of total protein from non-transformed A. thaliana seeds (negative control), or baculovirus-derived GPCMV gB (positive control). Two animals immunized with seed-derived gB demonstrated GPCMV-specific antibody responses when analysed by ELIS A. Western blot analysis confirmed that this response was specific for GPCMV gB. Neutralization assays were performed using serum obtained 14 days after the last immunization. Three of the 4 animals immunized with the gB seed extract showed viral neutralizing responses, with titres ranging from 40 to 3240. These results indicate that GPCMV gB expressed in the seeds of A. i thaliana can generate a GPCMV-specific immune response. Based on data from GPCMV- specific ELISAs, Western blots, and viral neutralization assays using serum from immunized animals, I concluded that gB was authentically expressed in A. thaliana seeds with at least some epitopes similar to those found on native GPCMV gB that were able to neutralize viral infectivity. ii Acknowledgments I first wish to thank Dr. Eilleen Tackaberry for providing me with support but at the same time allowing me the independence to grow as a graduate student, for encouraging me when the results did not, and for giving me a project that kept me on my toes over the years. Many thanks to my thesis advisory committee, Dr. Bill Casley, Dr. Ken Dimock, Dr. Anil Dudani, Dr. Hans Schernthaner, and Dr. Kathie Wright for their help and encouragement throughout the many years. I am also indebted to my lab mates for their help over the years, even after they left lab! Special thanks to Diana George, whose help was unwavering, even on days when it only involved watering plant after plant. Many thanks to everyone within the Centre of Biologies Research at Health Canada, who graciously helped me throughout my years as a student. I would also like to thank Health Canada for financial support. Thanks to the laboratory of Dr. Mark Schleiss, who made me feel welcome in Minneapolis and for supplying me with a tremendous amount of help. I want to thank my family for all of their encouragement and support over the years. In particular to my sister Tracy, who kept me "company" during my travels. Thank-you Kelly and Matt for your friendship and support throughout this project. I wish to also thank Mr. Savage, my high school math teacher, who engrained in me the notion of "intestinal fortitude". Finally, but not least, I wish to thank Errol, the second half of team Karen/Errol. This thesis would not exist without his help, insight, patience, and support. iii Table of Contents Abstract i Acknowledgements iii Table of Contents iv List of Abbreviations x List of Figures xii List of Tables xiv 1.0 Introduction 1 1.1 General overview of project 1 1.2 Human cytomegalovirus 1 1.2.1 A major health concern 1 1.2.2 Molecular biology 2 1.2.3 HCMV strains 3 1.2.4 Viral replication, life cycle, and expression of proteins 4 1.2.5 CMV latency and immune evasion 7 1.2.6 Transmission of HCMV 9 1.2.7 HCMV in vulnerable populations 10 1.3 Treatments for HCMV 13 1.3.1 Antiviral drugs 13 1.3.2 Immunoprophylaxis 15 1.3.3 Live viral vaccines 16 1.3.4 Dense bodies as vaccines 20 1.3.5 Subunit vaccines 21 1.3.5.1 Purified recombinant gB 22 1.3.5.2 Viral vectors 24 1.3.5.1 DNAplasmids 26 1.4 Animal models of CMV 28 1.4.1 Primate models 29 1.4.2 Guinea pig model 30 iv 1.5 Plants as expression systems 32 1.5.1 Why use plants? 33 1.5.2 Expression of therapeutic proteins in plants 34 1.5.3 Expression of subunit vaccines in plants 35 1.5.4 Plant-derived vaccines for mucosal immunization 36 1.5.5 Challenges with plant-derived vaccines 38 2.0 Rationale, Hypotheses, and Objectives 42 2.1 Rationale 42 2.2 Hypotheses 42 2.3 Objectives 42 3.0 Materials and Methods 44 3.1 Engineering of gene constructs 44 3.1.1 Plasmids 44 3.1.2 Polymerase chain reaction 44 3.1.3 Quantification and purification of DNA by agarose gel electrophoresis 47 3.1.4 Ligation reactions 47 3.1.5 Bacterial transformations 47 3.1.6 Extraction of plasmid DNA from bacterial cultures 48 3.1.7 Restriction enzyme digests 49 3.1.8 Enzymatic generation of blunt ends 49 3.2 Transformation of Agrobacterium tumefaciens 49 3.3 Transformation, selection, and regeneration of rice 51 3.4 Transformation, selection, and regeneration of Arabidopsis thaliana 51 3.4.1 General cultivation of A thaliana 51 3.4.2 Nomenclature for generations of transformed A. thaliana 52 3.4.3 Floral dip method of transformation 52 3.4.4 Selection of transformed seeds by antibiotic resistance 54 3.4.5 Regeneration of antibiotic-resistant plantlets 54 3.5 Testing for expression of P-glucuronidase (GUS) in transformed tissues 55 3.6 Screening for presence of transgene in transformed plants 55 v 3.6.1 Extraction and quantitation of plant genomic DNA 55 3.6.2 Screening for the presence of the transgene by PCR 56 3.7 Protein extraction from seeds 56 3.8 Quantitation of proteins 57 3.9 Enzyme-linked immunosorbant assay (ELISA) 57 3.10 Western blots 57 3.11 Immunization of guinea pigs 58 3.11.1 Experimental animals 58 3.11.2 Immunizations 59 3.11.3 Collection of serum 59 3.12 Neutralization of GPCMV infectivity 59 3.12.1 Culturing of guinea pig lung fibroblasts 59 3.12.2 Generation of viral stock 60 3.12.3 Determination of viral titre 60 3.12.4 Viral neutralization assay 61 4.0 Results 63 4.1 Engineering of plants expression vectors 63 4.1.1 Construction of pCAMBIA1301/Gtl/ss/gB/NOS 63 4.1.2 Construction of pCAMBIA1301/Gtl/pp65/NOS 68 4.1.3 Construction of pCAMBIA1301/Ubi/gB/NOS 72 4.1.4 Construction of pCAMBIA1301/Ubi/pp65/NOS 76 4.2 Screening of transformed A.
Load more

Recommended publications
  • Q# Introduction
    Introduction to Q# Q# (Q-sharp) is a domain-specific and open-sourced programming language, part of Microsoft's Quantum Development Kit (QDK), used for expressing quantum algorithms. It is to be used for writing subroutines that execute on an adjunct quantum processing unit (QPU), under the control of a classical host program and computer. Q# can be installed on Windows 10, OSX and Linux. The instructions to install Q# can be found in the online documentation here. If you prefer not to install Q# on your local computer, you can use one of the machines in CSE’s Virtual Lab found here. The Windows 10 machines already have .Net Core SDK, Visual Studio and VS Code installed to get your started, you should still install the Q# extension to get syntax- highlighting, code complete, etc. To get help with Q# and the QDK, feel free to ask questions on our messages board, come to office hours as posted on the calendar, or ask in stackoverflow. The Q# team is constantly monitoring any questions posted there with the "q#" tag. Writing Q# programs. Operations and functions are the basic unit of execution in Q#. They are roughly equivalent to a function in C or C++ or Python, or a static method in C# or Java. A Q# operation is a quantum subroutine. That is, it is a callable routine that contains quantum operations. A Q# function is a classical subroutine used within a quantum algorithm. It may contain classical code but no quantum operations. Specifically, functions may not allocate or borrow qubits, nor may they call operations.
    [Show full text]
  • Pyrevit Documentation Release 4.7.0-Beta
    pyRevit Documentation Release 4.7.0-beta eirannejad May 15, 2019 Getting Started 1 How To Use This Documents3 2 Create Your First Command5 3 Anatomy of a pyRevit Script 7 3.1 Script Metadata Variables........................................7 3.2 pyrevit.script Module...........................................9 3.3 Appendix A: Builtin Parameters Provided by pyRevit Engine..................... 12 3.4 Appendix B: System Category Names.................................. 13 4 Effective Output/Input 19 4.1 Clickable Element Links......................................... 19 4.2 Tables................................................... 20 4.3 Code Output............................................... 21 4.4 Progress bars............................................... 21 4.5 Standard Prompts............................................. 22 4.6 Standard Dialogs............................................. 26 4.7 Base Forms................................................ 35 4.8 Graphs.................................................. 37 5 Keyboard Shortcuts 45 5.1 Shift-Click: Alternate/Config Script................................... 45 5.2 Ctrl-Click: Debug Mode......................................... 45 5.3 Alt-Click: Show Script file in Explorer................................. 46 5.4 Ctrl-Shift-Alt-Click: Reload Engine................................... 46 5.5 Shift-Win-Click: pyRevit Button Context Menu............................. 46 6 Extensions and Commmands 47 6.1 Why do I need an Extension....................................... 47 6.2 Extensions...............................................
    [Show full text]
  • 2009 Door County Folk Festival Syllabus.Pdf
    30th Annual Door County Folk Festival Get Your Foot in the Door! Wednesday – Sunday, July 8 – 12, 2009 Sister Bay, Ephraim and Baileys Harbor, Wisconsin http://www.dcff.net/[email protected]/(773-463-2288) DCFF Home Dance Syllabus Advance Regular Discount Price On Paper $19.00 $22.00 OnCD $8.00 $11.00 2009 Door County Folk Festival (DCFF), Wisconsin 2009 Door County Folk Festival Schedule v11 (Subject to Change - Changes Marked with +) Get Your Foot in the Door! Wednesday - Sunday, July 8-12, 2009 - Sister Bay, Ephraim and Baileys Harbor, Wisconsin DCFF Home Phone: (773)-463-2288 or (773)-634-9381 [email protected] Wednesday Start End Where Event Who Afternoon 12:00pm SBVH Staff Arrives Staff & Volunteers 1:00pm SBVH Setup Begins Staff & Volunteers Evening 6:00pm SBVH Registration Begins Staff & Volunteers 6:30pm 9:00pm BHTH TCE Program - Session 1 - Grades K-5 Sanna Longden 8:00pm 1:00am SBVH 8th of July Party with Recorded Music Forrest Johnson & Other Regional Leaders 1:00am 2:30am SBVH Late Night Party Paul Collins & Company Thursday Start End Where Event Who Morning 9:00am SBVH Setup & Registration Continues Staff & Volunteers 9:00am 12:00pm BHTH TCE Program - Session 2 - Grades K-5 Sanna Longden 10:00am 11:45am SBVH Vintage American Round Dances Paul Collins Afternoon 11:45am 1:15pm Lunch Break 12:00pm 1:00pm SBVH Zumba Latin Dance Workout Session Diane Garvey 1:15pm 3:00pm SBVH Swing Dance - Lindy Hop Workshop Maureen Majeski: Lindy Hop 1:15pm 3:00pm BHTH Regional Greek Folk Dance Workshop Rick King, Dit Olshan, Paul Collins Rick: Vlaha
    [Show full text]
  • Mixed-Signal and Dsp Design Techniques
    MIXED-SIGNAL AND DSP DESIGN TECHNIQUES INTRODUCTION SECTION 1 SAMPLED DATA SYSTEMS SECTION 2 ADCs FOR DSP APPLICATIONS SECTION 3 DACs FOR DSP APPLICATIONS SECTION 4 FAST FOURIER TRANSFORMS SECTION 5 DIGITAL FILTERS SECTION 6 DSP HARDWARE SECTION 7 INTERFACING TO DSPs SECTION 8 DSP APPLICATIONS SECTION 9 HARDWARE DESIGN SECTION 10 TECHNIQUES INDEX ANALOG DEVICES TECHNICAL REFERENCE BOOKS PUBLISHED BY PRENTICE HALL Analog-Digital Conversion Handbook Digital Signal Processing Applications Using the ADSP-2100 Family (Volume 1:1992, Volume 2:1994) Digital Signal Processing in VLSI DSP Laboratory Experiments Using the ADSP-2101 ADSP-2100 Family User's Manual PUBLISHED BY ANALOG DEVICES Practical Design Techniques for Sensor Signal Conditioning Practical Design Techniques for Power and Thermal Management High Speed Design Techniques Practical Analog Design Techniques Linear Design Seminar ADSP-21000 Family Applications Handbook System Applications Guide Amplifier Applications Guide Nonlinear Circuits Handbook Transducer Interfacing Handbook Synchro & Resolver Conversion THE BEST OF Analog Dialogue, 1967-1991 HOW TO GET INFORMATION FROM ANALOG DEVICES Analog Devices publishes data sheets and a host of other technical literature supporting our products and technologies. Follow the instructions below for worldwide access to this information. FOR DATA SHEETS U.S.A. and Canada I Fax Retrieval. Telephone number 800-446-6212. Call this number and use a faxcode corresponding to the data sheet of your choice for a fax-on-demand through our automated AnalogFax™ system. Data sheets are available 7 days a week, 24 hours a day. Product/faxcode cross reference listings are available by calling the above number and following the prompts.
    [Show full text]
  • Programming with Windows Forms
    A P P E N D I X A ■ ■ ■ Programming with Windows Forms Since the release of the .NET platform (circa 2001), the base class libraries have included a particular API named Windows Forms, represented primarily by the System.Windows.Forms.dll assembly. The Windows Forms toolkit provides the types necessary to build desktop graphical user interfaces (GUIs), create custom controls, manage resources (e.g., string tables and icons), and perform other desktop- centric programming tasks. In addition, a separate API named GDI+ (represented by the System.Drawing.dll assembly) provides additional types that allow programmers to generate 2D graphics, interact with networked printers, and manipulate image data. The Windows Forms (and GDI+) APIs remain alive and well within the .NET 4.0 platform, and they will exist within the base class library for quite some time (arguably forever). However, Microsoft has shipped a brand new GUI toolkit called Windows Presentation Foundation (WPF) since the release of .NET 3.0. As you saw in Chapters 27-31, WPF provides a massive amount of horsepower that you can use to build bleeding-edge user interfaces, and it has become the preferred desktop API for today’s .NET graphical user interfaces. The point of this appendix, however, is to provide a tour of the traditional Windows Forms API. One reason it is helpful to understand the original programming model: you can find many existing Windows Forms applications out there that will need to be maintained for some time to come. Also, many desktop GUIs simply might not require the horsepower offered by WPF.
    [Show full text]
  • JETIR Research Journal
    © 2021 JETIR May 2021, Volume 8, Issue 5 www.jetir.org (ISSN-2349-5162) Quantum Computing - An Introduction and Cloud Quantum Computing 1Samskruthi S Patil, 2Dr. Vijayalakshmi M N 1Student, 2Associate Professor, 1Department of Master of Computer Applications, 1RV College of Engineering®, Bengaluru, India. Abstract: Quantum computing uses the phenomena of quantum mechanics to perform operations on data and it’s a huge leap in the field of computation. A quantum computer is a computational device which uses quantum mechanical phenomena like superposition and entanglement of atoms, photons, electrons. The difference between Quantum computers and digital computers is that digital computers are based on transistors and require data to be encoded into binary digits (bits). Quantum computers use quantum bits (qubits) and use quantum properties to represent data. Quantum computers can solve certain computational problems like integer factorization faster than classical computers. Quantum computers can solve certain problems that no classical computer could solve in any feasible amount of time. The Quantum Computing Market was valued at USD 89M in the year 2016 and is expected to reach USD 949M by 2025. Industry leaders are trying to develop and launch an actual quantum computer and make it available for everyone. Many companies are working in this area and are providing platforms to build quantum algorithms. There could be around 2,000 to 5,000 quantum computers in the world by 2030. This paper provides an introduction to quantum computing, quantum mechanical phenomena used in quantum computing and quantum computing service providers IndexTerms - - Qubits, Superposition, Entanglement, Quantum Algorithms, Quantum Mechanics, Quantum Gates, Quantum Circuit, Q Sharp, Qiskit I.
    [Show full text]
  • Number 12 December 2010
    VolumeVolume 14 1 - -Number Number 12 1 MayDecember - September 2010 1997 Atlas of Genetics and Cytogenetics in Oncology and Haematology OPEN ACCESS JOURNAL AT INIST-CNRS Scope The Atlas of Genetics and Cytogenetics in Oncology and Haematology is a peer reviewed on-line journal in open access, devoted to genes, cytogenetics, and clinical entities in cancer, and cancer-prone diseases. It presents structured review articles ("cards") on genes, leukaemias, solid tumours, cancer-prone diseases, more traditional review articles on these and also on surrounding topics ("deep insights"), case reports in hematology, and educational items in the various related topics for students in Medicine and in Sciences. Editorial correspondance Jean-Loup Huret Genetics, Department of Medical Information, University Hospital F-86021 Poitiers, France tel +33 5 49 44 45 46 or +33 5 49 45 47 67 [email protected] or [email protected] Staff Mohammad Ahmad, Mélanie Arsaban, Houa Delabrousse, Marie-Christine Jacquemot-Perbal, Maureen Labarussias, Vanessa Le Berre, Anne Malo, Catherine Morel-Pair, Laurent Rassinoux, Sylvie Yau Chun Wan - Senon, Alain Zasadzinski. Philippe Dessen is the Database Director, and Alain Bernheim the Chairman of the on-line version (Gustave Roussy Institute – Villejuif – France). The Atlas of Genetics and Cytogenetics in Oncology and Haematology (ISSN 1768-3262) is published 12 times a year by ARMGHM, a non profit organisation, and by the INstitute for Scientific and Technical Information of the French
    [Show full text]
  • SECTION 1 SINGLE-SUPPLY AMPLIFIERS Adolfo Garcia
    SECTION 1 SINGLE-SUPPLY AMPLIFIERS Rail-to-Rail Input Stages Rail-to-Rail Output Stages Single-Supply Instrumentation Amplifiers 1 SECTION 1 SINGLE-SUPPLY AMPLIFIERS Adolfo Garcia Over the last several years, single-supply operation has become an increasingly important requirement as systems get smaller, cheaper, and more portable. Portable systems rely on batteries, and total circuit power consumption is an important and often dominant design issue, and in some instances, more important than cost. This makes low-voltage/low supply current operation critical; at the same time, however, accuracy and precision requirements have forced IC manufacturers to meet the challenge of “doing more with less” in their amplifier designs. SINGLE-SUPPLY AMPLIFIERS Single Supply Offers: Lower Power Battery Operated Portable Equipment Simplifies Power Supply Requirements But Watch Out for: Signal-swings limited, therefore more sensitive to errors caused by offset voltage, bias current, finite open-loop gain, noise, etc. More likely to have noisy power supply because of sharing with digital circuits DC coupled, multi-stage single-supply circuits can get very tricky! Rail-to-rail op amps needed to maximize signal swings In a single-supply application, the most immediate effect on the performance of an amplifier is the reduced input and output signal range. As a result of these lower input and output signal excursions, amplifier circuits become more sensitive to internal and external error sources. Precision amplifier offset voltages on the order of 0.1mV are less than a 0.04 LSB error source in a 12-bit, 10V full-scale system. In a single-supply system, however, a "rail-to-rail" precision amplifier with an offset voltage of 1mV represents a 0.8LSB error in a 5V FS system, and 1.6LSB error in a 2.5V FS system.
    [Show full text]
  • Thecsharpplayersguide-4Thedition
    The C# Player’s Guide Fourth Edition RB Whitaker Starbound Software Many of the designations used by manufacturers and sellers to distinguish their products are claimed as trademarks. Where those designations appear in this book, and the author and publisher were aware of those claims, those designations have been printed with initial capital letters or in all capitals. The author and publisher of this book have made every effort to ensure that this book’s information was correct at press time. However, the author and publisher do not assume and hereby disclaim any liability to any party for any loss, damage, or disruption caused by errors or omissions, whether such errors or omissions result from negligence, accident, or any other cause. Copyright © 2012-2021 by RB Whitaker All rights reserved. No part of this book may be reproduced or transmitted in any form or by any means, electronic or mechanical, including photocopying, recording, or by any information storage and retrieval system, without written permission from the author, except for the inclusion of brief quotations in a review. For information regarding permissions, write to: RB Whitaker [email protected] ISBN-13: 978-0-9855801-4-8 Part 1: The Basics Part 2: Object-Oriented Programming Page Name XP / Page Name XP / ✓ ☐ ✓ ☐ 10 Knowledge Check - Level 1 25 / 1 123 Knowledge Check - Level 15 25 / 1 14 Install Visual Studio 75 / 3 126 Simula’s Test 100 / 4 19 Hello World! 50 / 2 135 Simula’s Soups 100 / 4 21 What Comes Next 50 / 2 145 Vin Fletcher’s Arrows 100 / 4 22 The Makings
    [Show full text]
  • The Early History of F
    The Early History of F# DON SYME, Microsoft, United Kingdom Shepherd: Philip Wadler, University of Edinburgh, UK This paper describes the genesis and early history of the F# programming language. I start with the origins of strongly-typed functional programming (FP) in the 1970s, 80s and 90s. During the same period, Microsoft was founded and grew to dominate the software industry. In 1997, as a response to Java, Microsoft initiated internal projects which eventually became the .NET programming framework and the C# language. From 1997 the worlds of academic functional programming and industry combined at Microsoft Research, Cambridge. The researchers engaged with the company through Project 7, the initial effort to bring multiple languages to .NET, leading to the initiation of .NET Generics in 1998 and F# in 2002. F# was one of several responses by advocates of strongly-typed functional programming to the “object-oriented tidal wave” of the mid-1990s. The 75 development of the core features of F# 1.0 happened from 2004-2007, and I describe the decision-making process that led to the “productization” of F# by Microsoft in 2007-10 and the release of F# 2.0. The origins of F#’s characteristic features are covered: object programming, quotations, statically resolved type parameters, active patterns, computation expressions, async, units-of-measure and type providers. I describe key developments in F# since 2010, including F# 3.0-4.5, and its evolution as an open source, cross-platform language with multiple delivery channels. I conclude by examining some uses of F# and the influence F# has had on other languages so far.
    [Show full text]
  • 999023 System Index Aug86.Pdf
    10 System Index symboliCSTU Cambridge, Massachusetts 1/1 August 1986 System Index How to Use This Index This System Index contains entries from the indexes of all the individual books in the documentation set. It includes entries for all Lisp objects, chapter and section titles, and many useful concepts and topics. Like the book indexes, this is a permuted, keyword-in-context index. Each original index entry may appear many times in the Index, one for each keyword. For example, consider the following entry: Mail collections in universes I t appears in the Index under "collections", "mail", and "universes". The current keyword appears just to the right of the blank center column of the page. You read entries across the entire line, from left to right. For example: Mail collections in universes 6-64 Mail collections in universes 6-64 Mail collections in universes 6-64 The page indication for each index entry begins with a book number (6 in the example above, 7A or 7B in the case of a two-volume book such as Programming the User Interface) or a mnemonic for unnumbered books (for example, RN for Genera 7.0 Release Notes or CD for Converting to Genera 7.0). This is followed by a hyphen and then the page number on which the relevant chapter or section begins. Important Note: The page number only designates the beginning of the chapter or section in which an indexed item is described. This may not always be the page on which the relevant text actually appears. When an entry contains references to more than one book, all references are listed.
    [Show full text]
  • Simulating Quantum Many-Body Dynamics on a Current Digital Quantum Computer
    www.nature.com/npjqi ARTICLE OPEN Simulating quantum many-body dynamics on a current digital quantum computer Adam Smith 1,2*,M.S.Kim1, Frank Pollmann2 and Johannes Knolle1 Universal quantum computers are potentially an ideal setting for simulating many-body quantum dynamics that is out of reach for classical digital computers. We use state-of-the-art IBM quantum computers to study paradigmatic examples of condensed matter physics—we simulate the effects of disorder and interactions on quantum particle transport, as well as correlation and entanglement spreading. Our benchmark results show that the quality of the current machines is below what is necessary for quantitatively accurate continuous-time dynamics of observables and reachable system sizes are small comparable to exact diagonalization. Despite this, we are successfully able to demonstrate clear qualitative behaviour associated with localization physics and many-body interaction effects. npj Quantum Information (2019) 5:106 ; https://doi.org/10.1038/s41534-019-0217-0 INTRODUCTION example, allowed us to study Hubbard model physics31,35 and 32–34 Quantum computers are general purpose devices that leverage many-body localized systems in two dimensions. More 1234567890():,; quantum mechanical behaviour to outperform their classical recently, there have also been advances in trapped ion quantum counterparts by reducing the computational time and/or the simulators, which have the benefit of being able to implement 6,7,37 required physical resources.1 Excitement about quantum compu- long range interactions, and have been used to study the tation was initially fuelled by the prime-factorization algorithm Schwinger-mechanism of pair production/annihilation in 1D developed by Shor,2 which is most popularly associated with the lattice QED7 and Floquet time crystals.38 ability to attack currently used cyber security protocols.
    [Show full text]