Research Interfaces Between Brain Science and Computer Science
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
Reproducibility and Pseudo-Determinism in Log-Space
Reproducibility and Pseudo-determinism in Log-Space by Ofer Grossman S.B., Massachusetts Institute of Technology (2017) Submitted to the Department of Electrical Engineering and Computer Science in partial fulfillment of the requirements for the degree of Master of Science in Electrical Engineering and Computer Science at the MASSACHUSETTS INSTITUTE OF TECHNOLOGY May 2020 c Massachusetts Institute of Technology 2020. All rights reserved. Author...................................................................... Department of Electrical Engineering and Computer Science May 15, 2020 Certified by.................................................................. Shafi Goldwasser RSA Professor of Electrical Engineering and Computer Science Thesis Supervisor Accepted by................................................................. Leslie A. Kolodziejski Professor of Electrical Engineering and Computer Science Chair, Department Committee on Graduate Students 2 Reproducibility and Pseudo-determinism in Log-Space by Ofer Grossman Submitted to the Department of Electrical Engineering and Computer Science on May 15, 2020, in partial fulfillment of the requirements for the degree of Master of Science in Electrical Engineering and Computer Science Abstract Acuriouspropertyofrandomizedlog-spacesearchalgorithmsisthattheiroutputsareoften longer than their workspace. This leads to the question: how can we reproduce the results of a randomized log space computation without storing the output or randomness verbatim? Running the algorithm again with new -
Distance Learning Program Anatomy of the Human Brain/Sheep Brain Dissection
Distance Learning Program Anatomy of the Human Brain/Sheep Brain Dissection This guide is for middle and high school students participating in AIMS Anatomy of the Human Brain and Sheep Brain Dissections. Programs will be presented by an AIMS Anatomy Specialist. In this activity students will become more familiar with the anatomical structures of the human brain by observing, studying, and examining human specimens. The primary focus is on the anatomy, function, and pathology. Those students participating in Sheep Brain Dissections will have the opportunity to dissect and compare anatomical structures. At the end of this document, you will find anatomical diagrams, vocabulary review, and pre/post tests for your students. The following topics will be covered: 1. The neurons and supporting cells of the nervous system 2. Organization of the nervous system (the central and peripheral nervous systems) 4. Protective coverings of the brain 5. Brain Anatomy, including cerebral hemispheres, cerebellum and brain stem 6. Spinal Cord Anatomy 7. Cranial and spinal nerves Objectives: The student will be able to: 1. Define the selected terms associated with the human brain and spinal cord; 2. Identify the protective structures of the brain; 3. Identify the four lobes of the brain; 4. Explain the correlation between brain surface area, structure and brain function. 5. Discuss common neurological disorders and treatments. 6. Describe the effects of drug and alcohol on the brain. 7. Correctly label a diagram of the human brain National Science Education -
Fault-Tolerant Distributed Computing in Full-Information Networks
Fault-Tolerant Distributed Computing in Full-Information Networks Shafi Goldwasser∗ Elan Pavlov Vinod Vaikuntanathan∗ CSAIL, MIT MIT CSAIL, MIT Cambridge MA, USA Cambridge MA, USA Cambridge MA, USA December 15, 2006 Abstract In this paper, we use random-selection protocols in the full-information model to solve classical problems in distributed computing. Our main results are the following: • An O(log n)-round randomized Byzantine Agreement (BA) protocol in a synchronous full-information n network tolerating t < 3+ faulty players (for any constant > 0). As such, our protocol is asymp- totically optimal in terms of fault-tolerance. • An O(1)-round randomized BA protocol in a synchronous full-information network tolerating t = n O( (log n)1.58 ) faulty players. • A compiler that converts any randomized protocol Πin designed to tolerate t fail-stop faults, where the n source of randomness of Πin is an SV-source, into a protocol Πout that tolerates min(t, 3 ) Byzantine ∗ faults. If the round-complexity of Πin is r, that of Πout is O(r log n). Central to our results is the development of a new tool, “audited protocols”. Informally “auditing” is a transformation that converts any protocol that assumes built-in broadcast channels into one that achieves a slightly weaker guarantee, without assuming broadcast channels. We regard this as a tool of independent interest, which could potentially find applications in the design of simple and modular randomized distributed algorithms. ∗Supported by NSF grants CNS-0430450 and CCF0514167. 1 1 Introduction The problem of how n players, some of who may be faulty, can make a common random selection in a set, has received much attention. -
GLOSSARY Glossary Adapted with Permission from R
GLOSSARY Glossary adapted with permission from R. Kalb (ed.) Multiple Sclerosis: The Questions You Have: The Answers You Need (5th ed.) New York: Demos Medical Publishing, 2012. This glossary is available in its entirety (as well as additional MS terms) online at nationalMSsociety.org/glossary. 106 | KNOWLEDGE IS POWER 106 | KNOWLEDGE IS POWER Americans with Disabilities Act Blood-brain barrier (ADA) A semi-permeable cell layer around The first comprehensive legislation blood vessels in the brain and spinal to prohibit discrimination on the cord that prevents large molecules, basis of disability. The ADA (passed immune cells, and potentially in 1990) guarantees full participation damaging substances and disease- in society to people with disabilities. causing organisms (e.g., viruses) from The four areas of social activity passing out of the blood stream into the covered by the ADA are employment; central nervous system (brain, spinal public services and accommodations; cord and optic nerves). A break in the transportation; and communications blood-brain barrier may underlie the Autoimmune(e.g., telephone disease services). Centraldisease process nervous in system MS. A process in which the body’s immune The part of the nervous system that system causes illness by mistakenly includes the brain, optic nerves, and attacking healthy cells, organs or tissues Cerebrospinalspinal cord. fluid (CSF) in the body that are essential for good health. In multiple sclerosis, the specific antigen — or target — that the immune A watery, colorless, clear fluid that cells are sensitized to attack remains bathes and protects the brain and unknown, which is why MS is considered spinal cord. -
Progress and Challenges in Probing the Human Brain
University of Pennsylvania ScholarlyCommons Neuroethics Publications Center for Neuroscience & Society 10-2015 Progress and Challenges in Probing the Human Brain Russell A. Poldrack Martha J. Farah University of Pennsylvania, [email protected] Follow this and additional works at: https://repository.upenn.edu/neuroethics_pubs Part of the Bioethics and Medical Ethics Commons, Neuroscience and Neurobiology Commons, and the Neurosciences Commons Recommended Citation Poldrack, R. A., & Farah, M. J. (2015). Progress and Challenges in Probing the Human Brain. Nature, 526 (7573), 371-379. http://dx.doi.org/10.1038/nature15692 This paper is posted at ScholarlyCommons. https://repository.upenn.edu/neuroethics_pubs/136 For more information, please contact [email protected]. Progress and Challenges in Probing the Human Brain Abstract Perhaps one of the greatest scientific challenges is to understand the human brain. Here we review current methods in human neuroscience, highlighting the ways that they have been used to study the neural bases of the human mind. We begin with a consideration of different levels of description relevant to human neuroscience, from molecules to large-scale networks, and then review the methods that probe these levels and the ability of these methods to test hypotheses about causal mechanisms. Functional MRI is considered in particular detail, as it has been responsible for much of the recent growth of human neuroscience research. We briefly er view its inferential strengths and weaknesses and present examples of new analytic approaches that allow inferences beyond simple localization of psychological processes. Finally, we review the prospects for real-world applications and new scientific challenges for human neuroscience. -
Basic Brain Anatomy
Chapter 2 Basic Brain Anatomy Where this icon appears, visit The Brain http://go.jblearning.com/ManascoCWS to view the corresponding video. The average weight of an adult human brain is about 3 pounds. That is about the weight of a single small To understand how a part of the brain is disordered by cantaloupe or six grapefruits. If a human brain was damage or disease, speech-language pathologists must placed on a tray, it would look like a pretty unim- first know a few facts about the anatomy of the brain pressive mass of gray lumpy tissue (Luria, 1973). In in general and how a normal and healthy brain func- fact, for most of history the brain was thought to be tions. Readers can use the anatomy presented here as an utterly useless piece of flesh housed in the skull. a reference, review, and jumping off point to under- The Egyptians believed that the heart was the seat standing the consequences of damage to the structures of human intelligence, and as such, the brain was discussed. This chapter begins with the big picture promptly removed during mummification. In his and works down into the specifics of brain anatomy. essay On Sleep and Sleeplessness, Aristotle argued that the brain is a complex cooling mechanism for our bodies that works primarily to help cool and The Central Nervous condense water vapors rising in our bodies (Aristo- tle, republished 2011). He also established a strong System argument in this same essay for why infants should not drink wine. The basis for this argument was that The nervous system is divided into two major sec- infants already have Central nervous tions: the central nervous system and the peripheral too much moisture system The brain and nervous system. -
The Human Brain Hemisphere Controls the Left Side of the Body and the Left What Makes the Human Brain Unique Is Its Size
About the brain Cerebrum (also known as the The brain is made up of around 100 billion nerve cells - each one cerebral cortex or forebrain) is connected to another 10,000. This means that, in total, we The cerebrum is the largest part of the brain. It is split in to two have around 1,000 trillion connections in our brains. (This would ‘halves’ of roughly equal size called hemispheres. The two be written as 1,000,000,000,000,000). These are ultimately hemispheres, the left and right, are joined together by a bundle responsible for who we are. Our brains control the decisions we of nerve fibres called the corpus callosum. The right make, the way we learn, move, and how we feel. The human brain hemisphere controls the left side of the body and the left What makes the human brain unique is its size. Our brains have a hemisphere controls the right side of the body. The cerebrum is larger cerebral cortex, or cerebrum, relative to the rest of the The human brain is the centre of our nervous further divided in to four lobes: frontal, parietal, occipital, and brain than any other animal. (See the Cerebrum section of this temporal, which have different functions. system. It is the most complex organ in our fact sheet for further information.) This enables us to have abilities The frontal lobe body and is responsible for everything we do - such as complex language, problem-solving and self-control. The frontal lobe is located at the front of the brain. -
Neuroscience
NEUROSCIENCE SCIENCE OF THE BRAIN AN INTRODUCTION FOR YOUNG STUDENTS British Neuroscience Association European Dana Alliance for the Brain Neuroscience: the Science of the Brain 1 The Nervous System P2 2 Neurons and the Action Potential P4 3 Chemical Messengers P7 4 Drugs and the Brain P9 5 Touch and Pain P11 6 Vision P14 Inside our heads, weighing about 1.5 kg, is an astonishing living organ consisting of 7 Movement P19 billions of tiny cells. It enables us to sense the world around us, to think and to talk. The human brain is the most complex organ of the body, and arguably the most 8 The Developing P22 complex thing on earth. This booklet is an introduction for young students. Nervous System In this booklet, we describe what we know about how the brain works and how much 9 Dyslexia P25 there still is to learn. Its study involves scientists and medical doctors from many disciplines, ranging from molecular biology through to experimental psychology, as well as the disciplines of anatomy, physiology and pharmacology. Their shared 10 Plasticity P27 interest has led to a new discipline called neuroscience - the science of the brain. 11 Learning and Memory P30 The brain described in our booklet can do a lot but not everything. It has nerve cells - its building blocks - and these are connected together in networks. These 12 Stress P35 networks are in a constant state of electrical and chemical activity. The brain we describe can see and feel. It can sense pain and its chemical tricks help control the uncomfortable effects of pain. -
A Decade of Lattice Cryptography
Full text available at: http://dx.doi.org/10.1561/0400000074 A Decade of Lattice Cryptography Chris Peikert Computer Science and Engineering University of Michigan, United States Boston — Delft Full text available at: http://dx.doi.org/10.1561/0400000074 Foundations and Trends R in Theoretical Computer Science Published, sold and distributed by: now Publishers Inc. PO Box 1024 Hanover, MA 02339 United States Tel. +1-781-985-4510 www.nowpublishers.com [email protected] Outside North America: now Publishers Inc. PO Box 179 2600 AD Delft The Netherlands Tel. +31-6-51115274 The preferred citation for this publication is C. Peikert. A Decade of Lattice Cryptography. Foundations and Trends R in Theoretical Computer Science, vol. 10, no. 4, pp. 283–424, 2014. R This Foundations and Trends issue was typeset in LATEX using a class file designed by Neal Parikh. Printed on acid-free paper. ISBN: 978-1-68083-113-9 c 2016 C. Peikert All rights reserved. No part of this publication may be reproduced, stored in a retrieval system, or transmitted in any form or by any means, mechanical, photocopying, recording or otherwise, without prior written permission of the publishers. Photocopying. In the USA: This journal is registered at the Copyright Clearance Center, Inc., 222 Rosewood Drive, Danvers, MA 01923. Authorization to photocopy items for in- ternal or personal use, or the internal or personal use of specific clients, is granted by now Publishers Inc for users registered with the Copyright Clearance Center (CCC). The ‘services’ for users can be found on the internet at: www.copyright.com For those organizations that have been granted a photocopy license, a separate system of payment has been arranged. -
Brain Comparisons Teacher's Guide
Teacher’s Guide Written by Leslie Miller, Ph.D., Barbara Tharp, M.S., Judith Dresden, M.S., Katherine Taber, Ph.D., Karen Kabnick, Ph.D., and Nancy Moreno, Ph.D. © 2015 Baylor College of Medicine TEACHER’S GUIDE Written by Leslie Miller, Ph.D., Barbara Tharp, M.S., Judith Dresden, M.S. Katherine Taber, Ph.D., Karen Kabnick, Ph.D., and Nancy Moreno, Ph.D. BioEd Teacher Resources from the Center for Educational Outreach Baylor College of Medicine ISBN: 978-1-888997-98-9 © 2015 Baylor College of Medicine © 2015 Baylor College of Medicine. All rights reserved. Fifth edition. First edition published 1992. Printed in the United States of America. ISBN: 978-1-888997-98-9 Teacher Resources from the Center for Educational Outreach at Baylor College of Medicine. The mark “BioEd” is a service mark of Baylor College of Medicine. The marks “BrainLink” and “NeuroExplorers” are registered trademarks of Baylor College of Medicine. No part of this book may be reproduced by any mechanical, photographic or electronic process, or in the form of an audio recording, nor may it be stored in a retrieval system, transmitted or otherwise copied for public or private use without prior written permission of the publisher, except for classroom use. The activities described in this book are intended for school-age children under direct supervision of adults. The authors, Baylor College of Medicine and the publisher cannot be responsible for any accidents or injuries that may result from conduct of the activities, from not specifically following directions, or from ignoring cautions contained in the text. -
Communication Complexity (For Algorithm Designers)
Full text available at: http://dx.doi.org/10.1561/0400000076 Communication Complexity (for Algorithm Designers) Tim Roughgarden Stanford University, USA [email protected] Boston — Delft Full text available at: http://dx.doi.org/10.1561/0400000076 Foundations and Trends R in Theoretical Computer Science Published, sold and distributed by: now Publishers Inc. PO Box 1024 Hanover, MA 02339 United States Tel. +1-781-985-4510 www.nowpublishers.com [email protected] Outside North America: now Publishers Inc. PO Box 179 2600 AD Delft The Netherlands Tel. +31-6-51115274 The preferred citation for this publication is T. Roughgarden. Communication Complexity (for Algorithm Designers). Foundations and Trends R in Theoretical Computer Science, vol. 11, nos. 3-4, pp. 217–404, 2015. R This Foundations and Trends issue was typeset in LATEX using a class file designed by Neal Parikh. Printed on acid-free paper. ISBN: 978-1-68083-115-3 c 2016 T. Roughgarden All rights reserved. No part of this publication may be reproduced, stored in a retrieval system, or transmitted in any form or by any means, mechanical, photocopying, recording or otherwise, without prior written permission of the publishers. Photocopying. In the USA: This journal is registered at the Copyright Clearance Cen- ter, Inc., 222 Rosewood Drive, Danvers, MA 01923. Authorization to photocopy items for internal or personal use, or the internal or personal use of specific clients, is granted by now Publishers Inc for users registered with the Copyright Clearance Center (CCC). The ‘services’ for users can be found on the internet at: www.copyright.com For those organizations that have been granted a photocopy license, a separate system of payment has been arranged. -
Cryptology and Computational Number Theory (Boulder, Colorado, August 1989) 41 R
http://dx.doi.org/10.1090/psapm/042 Other Titles in This Series 50 Robert Calderbank, editor, Different aspects of coding theory (San Francisco, California, January 1995) 49 Robert L. Devaney, editor, Complex dynamical systems: The mathematics behind the Mandlebrot and Julia sets (Cincinnati, Ohio, January 1994) 48 Walter Gautschi, editor, Mathematics of Computation 1943-1993: A half century of computational mathematics (Vancouver, British Columbia, August 1993) 47 Ingrid Daubechies, editor, Different perspectives on wavelets (San Antonio, Texas, January 1993) 46 Stefan A. Burr, editor, The unreasonable effectiveness of number theory (Orono, Maine, August 1991) 45 De Witt L. Sumners, editor, New scientific applications of geometry and topology (Baltimore, Maryland, January 1992) 44 Bela Bollobas, editor, Probabilistic combinatorics and its applications (San Francisco, California, January 1991) 43 Richard K. Guy, editor, Combinatorial games (Columbus, Ohio, August 1990) 42 C. Pomerance, editor, Cryptology and computational number theory (Boulder, Colorado, August 1989) 41 R. W. Brockett, editor, Robotics (Louisville, Kentucky, January 1990) 40 Charles R. Johnson, editor, Matrix theory and applications (Phoenix, Arizona, January 1989) 39 Robert L. Devaney and Linda Keen, editors, Chaos and fractals: The mathematics behind the computer graphics (Providence, Rhode Island, August 1988) 38 Juris Hartmanis, editor, Computational complexity theory (Atlanta, Georgia, January 1988) 37 Henry J. Landau, editor, Moments in mathematics (San Antonio, Texas, January 1987) 36 Carl de Boor, editor, Approximation theory (New Orleans, Louisiana, January 1986) 35 Harry H. Panjer, editor, Actuarial mathematics (Laramie, Wyoming, August 1985) 34 Michael Anshel and William Gewirtz, editors, Mathematics of information processing (Louisville, Kentucky, January 1984) 33 H. Peyton Young, editor, Fair allocation (Anaheim, California, January 1985) 32 R.