Cognitive Psychology for Deep Neural Networks: a Shape Bias Case Study

Total Page:16

File Type:pdf, Size:1020Kb

Cognitive Psychology for Deep Neural Networks: a Shape Bias Case Study Cognitive Psychology for Deep Neural Networks: A Shape Bias Case Study Samuel Ritter * 1 David G.T. Barrett * 1 Adam Santoro 1 Matt M. Botvinick 1 Abstract 1. Introduction During the last half-decade deep learning has significantly improved performance on a variety of tasks (for a review, Deep neural networks (DNNs) have achieved see LeCun et al.(2015)). However, deep neural network unprecedented performance on a wide range of (DNN) solutions remain poorly understood, leaving many complex tasks, rapidly outpacing our understand- to think of these models as black boxes, and to question ing of the nature of their solutions. This has whether they can be understood at all (Bornstein, 2016; caused a recent surge of interest in methods Lipton, 2016). This opacity obstructs both basic research for rendering modern neural systems more inter- seeking to improve these models, and applications of these pretable. In this work, we propose to address the models to real world problems (Caruana et al., 2015). interpretability problem in modern DNNs using Recent pushes have aimed to better understand DNNs: the rich history of problem descriptions, theo- tailor-made loss functions and architectures produce more ries and experimental methods developed by cog- interpretable features (Higgins et al., 2016; Raposo et al., nitive psychologists to study the human mind. 2017) while output-behavior analyses unveil previously To explore the potential value of these tools, opaque operations of these networks (Karpathy et al., we chose a well-established analysis from de- 2015). Parallel to this work, neuroscience-inspired meth- velopmental psychology that explains how chil- ods such as activation visualization (Li et al., 2015), abla- dren learn word labels for objects, and applied tion analysis (Zeiler & Fergus, 2014) and activation maxi- that analysis to DNNs. Using datasets of stim- mization (Yosinski et al., 2015) have also been applied. uli inspired by the original cognitive psychol- ogy experiments, we find that state-of-the-art Altogether, this line of research developed a set of promis- one shot learning models trained on ImageNet ing tools for understanding DNNs, each paper producing exhibit a similar bias to that observed in hu- a glimmer of insight. Here, we propose another tool for mans: they prefer to categorize objects accord- the kit, leveraging methods inspired not by neuroscience, ing to shape rather than color. The magnitude but instead by psychology. Cognitive psychologists have of this shape bias varies greatly among archi- long wrestled with the problem of understanding another tecturally identical, but differently seeded mod- opaque intelligent system: the human mind. We contend els, and even fluctuates within seeds through- that the search for a better understanding of DNNs may out training, despite nearly equivalent classifi- profit from the rich heritage of problem descriptions, the- cation performance. These results demonstrate ories, and experimental tools developed in cognitive psy- chology. To test this belief, we performed a proof-of- arXiv:1706.08606v2 [stat.ML] 29 Jun 2017 the capability of tools from cognitive psychology for exposing hidden computational properties of concept study on state-of-the-art DNNs that solve a par- DNNs, while concurrently providing us with a ticularly challenging task: one-shot word learning. Specif- computational model for human word learning. ically, we investigate Matching Networks (MNs) (Vinyals et al., 2016), which have state-of-the-art one-shot learning performance on ImageNet and we investigate an Inception Baseline model (Szegedy et al., 2015a). *Equal contribution 1DeepMind, London, UK. Correspon- Following the approach used in cognitive psychology, we dence to: Samuel Ritter <[email protected]>, David G.T. Bar- began by hypothesizing an inductive bias our model may rett <[email protected]>. use to solve a word learning task. Research in develop- Proceedings of the 34 th International Conference on Machine mental psychology shows that when learning new words, Learning, Sydney, Australia, PMLR 70, 2017. Copyright 2017 humans tend to assign the same name to similarly shaped by the author(s). Cognitive Psychology for Deep Neural Networks: A Shape Bias Case Study items rather than to items with similar color, texture, or as benign or malignant (Kourou et al., 2015), or medical size. To test the hypothesis that our DNNs discover this history and vital measurements to be classified according same “shape bias”, we probed our models using datasets to likely pneumonia outcomes (Caruana et al., 2015). and an experimental setup based on the original shape bias A statistical learner such as a DNN will minimize L by studies (Landau et al., 1988). discovering properties of the input x that are predictive of Our results are as follows: 1) Inception networks trained on the labels y. These discovered predictive properties are, in ImageNet do indeed display a strong shape bias. 2) There effect, the properties of x for which the trained model has is high variance in the bias between Inception networks an inductive bias. Examples of such properties include the initialized with different random seeds, demonstrating that shape of ImageNet objects, the number of nodes of a tumor, otherwise identical networks converge to qualitatively dif- or a particular constellation of blood test values that often ferent solutions. 3) MNs also have a strong shape bias, and precedes an exacerbation of pneumonia symptoms. this bias closely mimics the bias of the Inception model Critically, in real-world datasets such as these, the discov- that provides input to the MN. 4) By emulating the shape ered properties are unlikely to correspond to a single fea- bias observed in children, these models provide a candidate ture of the input x; instead they correspond to complex computational account for human one-shot word learning. conjunctions of those features. We could describe one of Altogether, these results show that the technique of testing these properties using a function h(x), which, for example, hypothesized biases using probe datasets can yield both ex- returns the shape of the focal object given an ImageNet im- pected and surprising insights about solutions discovered age, or the number of nodes given a scan of tumor. Indeed, by trained DNNs. one way to articulate the difficulty in understanding DNNs is to say that we often can’t intuitively describe these con- 1.1. Related Work: Cognitive Modeling with Neural junctions of features h(x); although we often have numeri- Networks cal representations in intermediate DNN layers, they’re of- The use of behavioral probes to understand neural network ten too arcane for us to interpret. function has been extensively applied within psychology We advocate for addressing this problem using the follow- itself, where neural networks have been employed effec- ing hypothesis-driven approach: First, propose a property tively as models of human cognitive function (Rumelhart hp(x) that the model may be using. Critically, it’s not nec- et al., 1988; Plaut et al., 1996; Rogers & McClelland, 2004; essary that hp(x) be a function that can be evaluated using Mareschal et al., 2000). In contrast, in the present work an automated method. Instead, the intention is that hp(x) we are advocating for the application of behavioral probes is a function that humans (e.g. ML researchers and practi- along with associated theories and hypotheses from cogni- tioners) can intuitively evaluate. hp(x) should be a prop- tive psychology to address the interpretability problem in erty that is believed to be relevant to the problem, such as modern deep networks. object shape or number of tumor nodes. In spite of the widespread adoption of deep learning meth- After proposing a property, the next step is to generate pre- ods in recent years, to our knowledge, work applying be- dictions about how the model should behave when given havioral probes to DNNs in machine learning for this pur- various inputs, if in fact it uses a bias with respect to the pose has been quite limited; we only are aware of Zo- property hp(x). Then, construct and carry out an experi- ran et al.(2015) and Goodfellow et al.(2009), who used ment wherein those predictions are tested. In order to ex- psychophysics-like experiments to better understand image ecute such an experiment, it typically will be necessary to processing models. craft a set of probe examples x that cover a relevant por- tion of the range of hp(x), for example a variety of object 2. Inductive Biases, Statistical Learners and shapes. The results of this experiment will either support Probe Datasets or fail to support the hypothesis that the model uses hp(x) to solve the task. This process can be especially valuable in Before we delve into the specifics of the shape bias and situations where there is little or no training data available one-shot word learning, we will describe our approach in in important regions of the input space, and a practitioner the general context of inductive biases, probe datasets, and needs to know how the trained model will behave in that N statistical learning. Suppose we have some data fyi; xigi=1 region. where yi = f(xi). Our goal is to build a model of the data g(:) to optimize some loss function L measuring the Psychologists have developed a repertoire of such hypothe- P 2 ses and experiments in their effort to understand the hu- disparity between y and g(x), e.g., L = i jjyi − g(xi)jj . Perhaps this data x is images of ImageNet objects to be man mind. Here we explore the application of one of these classified, images and histology of tumors to be classified theory-experiment pairs to state of the art one-shot learning Cognitive Psychology for Deep Neural Networks: A Shape Bias Case Study models.
Recommended publications
  • Theorizing in Unfamiliar Contexts: New Directions in Translation Studies
    Theorizing in Unfamiliar Contexts: New Directions in Translation Studies James Luke Hadley Submitted for the Degree of Doctor of Philosophy University of East Anglia School of Language and Communication Studies April 2014 This copy of the thesis has been supplied on condition that anyone who consults it is understood to recognise that its copyright rests with the author and that use of any information derived there from must be in accordance with current UK Copyright Law. In addition, any quotation or extract must include full attribution.” 1 ABSTRACT This thesis attempts to offer a reconceptualization of translation analysis. It argues that there is a growing interest in examining translations produced outside the discipline‟s historical field of focus. However, the tools of analysis employed may not have sufficient flexibility to examine translation if it is conceived more broadly. Advocating the use of abductive logic, the thesis infers translators‟ probable understandings of their own actions, and compares these with the reasoning provided by contemporary theories. It finds that it may not be possible to rely on common theories to analyse the work of translators who conceptualize their actions in radically different ways from that traditionally found in translation literature. The thesis exemplifies this issue through the dual examination of Geoffrey Chaucer‟s use of translation in the Canterbury Tales and that of Japanese storytellers in classical Kamigata rakugo. It compares the findings of the discipline‟s most pervasive theories with those gained through an abductive analysis of the same texts, finding that the results produced by the theories are invariably problematic.
    [Show full text]
  • Aaker, Bradley H
    Aaker, Bradley H Aaker, Delette R Aaker, Nathaniel B Aaker, Nicola Jean Aalbers, Carol J Aalbers, David L Aarek, Jennifer , Aarons, Cheyenne R Abalahin, Arlene J Abbett, Jacob D Abbett, Kate V Abbie, Richard L Abbie, Ruth K Abbie, Ruth P Abbott, Allison E Abbott, Anthony R Abbott, Charles G Abbott, Cheryle A Abbott, Dyllan T Abbott, Janet Mae Abbott, Jaremiah W Abbott, Jeremy A Abbott, Kathryn Florene Abbott, Lawrence George Abbott, Sidnee Jean Abby, Michael D Abdelahdy, Mohammad Abdelhade, Chajima T Abdelhade, Suleiman N Abdelhady, Amjad Abdelhady, Jalellah A Abdelhady, Khaled Suleiman Abdelhady, Nidal Zaid Abdelhady, Shahema Khaled Abdelhady, Zaid Abe, Kara Abejar, Hermoliva B Abele, Minden A Abella, Elizabeth A Abella, Frank K Abend, Frank J Abend, Rhonda M Abercrombie, Charles H Abercrombie, Deborah A Abercrombie, Eric C Abercrombie, Jeanne A Abercrombie, Megan A Abercrombie, Pamela J Abeyta, Paul K Abeyta, Sherri L Abeyta, Stephanie P Abowd, Charles P Abowd, Karen L Abowd, Nicole Lynn Abraham, Ravikumar I Abram, Alison K Abreu, Sammi J Abreu, Timothy Charles, Jr Abril, Paulette P Abts, Donna P Abts, Terry P Abuan, Anthony A Abundis, Anthony Abundis, Jesus A Abundis, Jesus P Abundis, Kayla M Abundis, Maria I Abundis, Marlayna M Abundis, Robert Acaiturri, Louis B Acaiturri, Sharon A Accardo, Vincent F Acebedo Vega, Omar A Acebedo, Gabriel Aced, Mary E Aced, Paul T Acero, Ashlyn A Acero, Edgar Acero, Leonel Acevedo Cruz, Rolando Acevedo Delgado, Victor Hugo Acevedo, Cristal E Acevedo, Destiny L Acevedo, Elizabeth A Acevedo, Jorge L Acevedo,
    [Show full text]
  • Ten Thousand Security Pitfalls: the ZIP File Format
    Ten thousand security pitfalls: The ZIP file format. Gynvael Coldwind @ Technische Hochschule Ingolstadt, 2018 About your presenter (among other things) All opinions expressed during this presentation are mine and mine alone, and not those of my barber, my accountant or my employer. What's on the menu Also featuring: Steganograph 1. What's ZIP used for again? 2. What can be stored in a ZIP? y a. Also, file names 3. ZIP format 101 and format repair 4. Legacy ZIP encryption 5. ZIP format and multiple personalities 6. ZIP encryption and CRC32 7. Miscellaneous, i.e. all the things not mentioned so far. Or actually, hacking a "secure cloud disk" website. EDITORIAL NOTE Everything in this color is a quote from the official ZIP specification by PKWARE Inc. The specification is commonly known as APPNOTE.TXT https://pkware.cachefly.net/webdocs/casestudies/APPNOTE.TXT Cyber Secure CloudDisk Where is ZIP used? .zip files, obviously Default ZIP file icon from Microsoft Windows 10's Explorer And also... Open Packaging Conventions: .3mf, .dwfx, .cddx, .familyx, .fdix, .appv, .semblio, .vsix, .vsdx, .appx, .appxbundle, .cspkg, .xps, .nupkg, .oxps, .jtx, .slx, .smpk, .odt, .odp, .ods, ... .scdoc, (OpenDocument) and Offixe Open XML formats: .docx, .pptx, .xlsx https://en.wikipedia.org/wiki/Open_Packaging_Conventions And also... .war (Web application archive) .rar (not THAT .rar) .jar (resource adapter archive) (Java Archive) .ear (enterprise archive) .sar (service archive) .par (Plan Archive) .kar (Karaf ARchive) https://en.wikipedia.org/wiki/JAR_(file_format)
    [Show full text]
  • ACMS Proceedings Editor
    Association of Christians in the Mathematical Sciences PROCEEDINGS ACMS May 2020, Volume 22 Introduction (Howell) From Perfect Shuffles to Landau’s Function (Beasley) The Applicability of Mathematics and The Naturalist Die (Cordero-Soto) Marin Mersenne: Minim Monk and Messenger; Monotheism, Mathematics, and Music (Crisman) Developing Mathematicians: The Benefits of Weaving Spiritual and Disciplinary Discipleship (Eggleton) Overcoming Stereotypes through a Liberal Arts Math Course (Hamm) Analyzing the Impact of Active Learning in General Education Mathematics Courses (Harsey et. al.) Lagrange’s Interpolation, Chinese Remainder, and Linear Equations (Jiménez) Factors that Motivate Students to Learn Mathematics (Klanderman et. at.) Teaching Mathematics at an African University–My Experience (Lewis) Faith, Mathematics, and Science: The Priority of Scripture in the Pursuit and Acquisition of Truth (Mallison) Addressing Challenges in Creating Math Presentations (Schweitzer) A Unifying Project for a TEX/CAS Course (Simoson) Is Mathematical Truth Time Dependent? (Stout) Charles Babbage and Mathematical Aspects of the Miraculous (Taylor) Numerical Range of Toeplitz Matrices over Finite Fields (Thompson et. al.) Computer Science: Creating in a Fallen World (Tuck) Thinking Beautifully about Mathematics (Turner) Replacing Remedial Mathematics with Corequisites in General Education Mathematics Courses (Unfried) Models, Values, and Disasters (Veatch) Maximum Elements of Ordered Sets and Anselm’s Ontological Argument (Ward) Closing Banquet Eulogies for David Lay and John Roe (Howell, Rosentrater, Sellers) Appendices: 1-Conference Schedule, 2-Parallel Session Abstracts, 3-Participant Information Indiana Wesleyan University Conference Attendees, May 29 - June 1, 2019 Table of Contents Introduction Russell W. Howell.................................... iv From Perfect Shuffles to Landau’s Function Brian Beasley.......................................1 The Applicability of Mathematics and The Naturalist Die Ricardo J.
    [Show full text]
  • Quine, W. V. Willard Van Orman). W. V. Quine Papers, Circa
    MSAm2587 Quine,W.V.WillardVanOrman).W. V.Quinepapers,circa1908-2000:Guide. HoughtonLibrary,HarvardCollegeLibrary HarvardUniversity,Cambridge,Massachusetts02138USA ©2008ThePresidentandFellowsofHarvardCollege CatalogingpartiallyfundedbytheFrancisP.ScullyandRobertG.ScullyClassof1951Fund. Lastupdateon2015May11 DescriptiveSummary Repository:HoughtonLibrary,HarvardCollegeLibrary,HarvardUniversity Note:ThemajorityofthiscollectionisshelvedoffsiteattheHarvardDepository.Seeaccess restrictionsbelowforadditionalinformation. Location:HarvardDepository,pf,Vault CallNo.:MSAm2587 Creator:Quine,W.V.WillardVanOrman). Title:W.V.Quinepapers, Dates):circa1908-2000. Quantity:56linearfeet124boxes[117boxesHD),6boxesVault),1boxpf)]) Languageofmaterials:Collectionmaterialsarein English,German,French,Portuguese,Spanish,Japanese,andItalian. Abstract:PapersofWillardVanOrmanQuine1908-2000),mathematicianand philosopher,whowastheEdgarPierceProfessorofPhilosophyatHarvardUniversityfrom 1956untilhisretirementin1978. ProcessingInformation: Processedby:BonnieB.SaltandPeterK.Steinberg Quine'spapersarrivedattherepositoryinexcellentorderand,forthemostpart,hisoriginalseries andfoldertitleshavebeenretained. AcquisitionInformation: 91M-68,91M-69,91M-70,94M-35.GiftofW.V.WillardVanOrman)Quine;received:1991 November25andDecember;1992January;and1994November2. ... Page2 93M-157.TransferredfromtheHarvardUniversityArchives;originallygifttoHUAfromW.V. WillardVanOrman)Quine;receivedinHoughton:1993December14. 2001M-7,2002M-5.GiftoftheQuinefamilyviaDouglasB.Quine,59TaylorRoad,Bethel, Connecticut06801);received:2001July23;and2002August6andDecember24.
    [Show full text]
  • Esoteric Programming Languages
    Esoteric Programming Languages An introduction to Brainfuck, INTERCAL, Befunge, Malbolge, and Shakespeare Sebastian Morr Braunschweig University of Technology [email protected] ABSTRACT requires its programs to look like Shakespearean plays, mak- There is a class of programming languages that are not actu- ing it a themed language. It is not obvious at all that the ally designed to be used for programming. These so-called resulting texts are, in fact, meaningful programs. For each “esoteric” programming languages have other purposes: To language, we are going describe its origins, history, and to- entertain, to be beautiful, or to make a point. This paper day’s significance. We will explain how the language works, describes and contrasts five influential, stereotypical, and give a meaningful example and mention some popular imple- widely different esoteric programming languages: The mini- mentations and variants. All five languages are imperative languages. While there mal Brainfuck, the weird Intercal, the multi-dimensional Befunge, the hard Malbolge, and the poetic Shakespeare. are esoteric languages which follow declarative programming paradigms, most of them are quite new and much less popu- lar. It is also interesting to note that esoteric programming 1. INTRODUCTION languages hardly ever seem to get out of fashion, because While programming languages are usually designed to be of their often unique, weird features. Whereas “real” multi- used productively and to be helpful in real-world applications, purpose languages are sometimes replaced by more modern esoteric programming languages have other goals: They can ones that add new features or make programming easier represent proof-of-concepts, demonstrating how minimal a in some way, esoteric languages are not under this kind of language syntax can get, while still maintaining universality.
    [Show full text]
  • W. V. Quine, J. S. Ullian – the Web of Belief
    The Web of Belief By W. V. Quine, J. S. Ullian The Web of Belief By W. V. Quine, J. S. Ullian About McGraw-Hill Humanities/Social Sciences/Languages; 2nd edition (February 1, 1978) Source: Found on the internet. Contents About...............................................................................................................................................2 Chapter I - INTRODUCTION........................................................................................................3 Chapter II - BELIEF AND CHANGE OF BELIEF .......................................................................6 Chapter III - OBSERVATION ......................................................................................................12 Chapter IV - SELF-EVIDENCE....................................................................................................21 Chapter V - TESTIMONY ............................................................................................................30 Chapter VI - HYPOTHESIS..........................................................................................................39 Сhapter VII - INDUCTION, ANALOGY, AND INTUITION .....................................................50 Chapter VIII - CONFIRMATION AND REFUTATION ..............................................................58 Chapter IX - EXPLANATION .....................................................................................................65 Chapter X - PERSUASION AND EVALUATION ......................................................................75
    [Show full text]
  • Xcoax 2017 Lisbon: Unusable for Programming
    UNUSABLE FOR PROGRAMMING DANIEL TEMKIN Independent, New York, USA [email protected] 2017.xCoAx.org Lisbon Abstract Computation Esolangs are programming languages designed for Keywords Communication Aesthetics non-practical purposes, often as experiments, par- Esolangs & X odies, or experiential art pieces. A common goal of Programming languages esolangs is to achieve Turing Completeness: the capa- Code art bility of implemen ing algorithms of any complexity. Oulipo They just go about getting to Turing Completeness Tangible Computing with an unusual and impractical set of commands, or unexpected ways of representing code. However, there is a much smaller class of esolangs that are en- tirely “Unusable for Programming.” These languages explore the very boundary of what a programming language is; producing unstable programs, or for which no programs can be written at all. This is a look at such languages and how they function (or fail to). 92 1. INTRODUCTION Esolangs (for “esoteric programming languages”) include languages built as thought experiments, jokes, parodies critical of language practices, and arte- facts from imagined alternate computer histories. The esolang Unlambda, for example, is both an esolang masterpiece and typical of the genre. Written by David Madore in 1999, Unlambda gives us a version of functional programming taken to its most extreme: functions can only be applied to other functions, returning more functions, all of them unnamed. It’s a cyberlinguistic puzzle intended as a challenge and an experiment at the extremes of a certain type of language design. The following is a program that calculates the Fibonacci sequence. The code is nearly opaque, with little indication of what it’s doing or how it works.
    [Show full text]
  • 1969 Yearbook
    CO ST JUNIOR COLLEGE INSTITUTIONAL RELATIONSHIPS The Miu iu ippi Gulf Coa,~r Junior College re/oru to a m,unber of commluiont, cornm /tleu and ogoencles at the Store, Regional and Notional levels, Then orgoni rot lon .~ provide foci/iries, finonctol ouiJitonce and lrdorrnotto" so thor th e programs ol the co/Je'Je co" he cotttinuov,/y au used omJ improved. Some profe1siono/ ouociotions ond orgonilot.ons hove o/Jo developed or various levels ro promote progroms ond urvfces or the compuus. The College maintains affiliation with: 1111111 American Auociotion of Junior Coller~u American Council ol Education Miuiulppi Association of Junior Co//eg.s Miuiu/ppi Economic Ccwncil Mississippi Education A1socioti0t! Miu lu ippi Employment Sec11rlty Commiu,on Notional Education Auociolion Southern Auociotlon of Colleges ond Schools The A']ricultvrol and ln~str l o/ BoorJ The Rueorch ond Development Center lit IIIII THE FIRST ISSUE THE STATE'S FIRST TRI-CAMPUS COLLEGE PRESIDENT OF THE COL Dr. ]. ]. Hayden, Jr., holds the Bache lor's De­ gree in Education and the Master's Degree in His­ tory from Mississippi State University and the Doctorate in Education from the University of Southern Mississippi. He came to the college in 1950 as an Instructor in History, served as Dean of the College, and has been President s ince 1953. Under his guidance, the Mississippi Gulf Coast Junior College with its three campuses has been recognized throughout the nation as a Pacemaker in Education. MRS. ETHEL H. BOND Secretary to the President THE BOARD OF TRUSTEES The public junior colleges of the State of Missis.s1ppi are under the authorny of the Junior College Commi::;sion, which adm inister::; state law::; pertaining to these institutions.
    [Show full text]
  • Fundamentals of System Programming
    Fundamentals of System Programming Keio University’s Shonan Fujisawa Campus Spring 2015 3 Fundamentals of System Programming original by Hiroyuki Kusumoto adapted by Rodney Van Meter October 2, 2015 Contents Course Introduction iii 0.1 TotheIndependentReader . v 0.2 GoalsandStructureoftheClass . v 0.3 LearningOutcomes........................... vi 0.4 TotheInstructor ............................viii 0.5 This Class in the Keio Shonan Fujisawa Campus Curriculum . viii 0.6 WhyC?................................. x 0.7 WhyaNewBook? ........................... xi 0.8 HowtoReadthisBook ........................ xi 0.9 AdditionalRecommendedBooks . xii I Core Concepts and the C Programming Language in a UNIX Environment 1 1 The Traditional “Hello, World!” 3 1.1 Concepts ................................ 3 1.2 JavaandC ............................... 3 1.2.1 Object-oriented languages and procedural languages .... 3 1.2.2 InterpreterandCompiler . 4 1.2.3 Similarities ........................... 7 1.2.4 AFewDifferences ....................... 7 1.3 Clanguagebriefsummary. 8 1.3.1 OverallStructureofaProgram . 8 1.3.2 CompileandExecution . 8 1.3.3 Comments............................ 9 1.3.4 VariableandType . 10 1.3.5 Function............................. 12 1.3.6 FunctionandTypes . 14 1.3.7 AutomaticTypeConversion. 18 i ii CONTENTS 1.3.8 Statement............................ 19 1.3.9 Expression ........................... 22 1.3.10 Library ............................. 23 1.3.11 StandardInput/OutputLibrary . 24 1.4 Tools................................... 25 1.4.1 Gcc ............................... 25 1.4.2 Make .............................. 25 1.4.3 man(theUnixmanual) . 26 1.4.4 OtherUNIXutilitiesandcommands . 26 1.5 Exercises ................................ 26 2 Fundamental Data Types 29 2.1 Concepts ................................ 29 2.2 IntegerDataTypes........................... 29 2.3 FloatingPointNumberDataTypes . 33 2.4 Mixed arithmetic operation for an integer and a floating point number 34 2.5 Manipulating bitfields and bits within numbers .
    [Show full text]
  • RFID Malware: Design Principles and Examples$
    Pervasive and Mobile Computing 2 (2006) 405–426 www.elsevier.com/locate/pmc RFID malware: Design principles and examples$ Melanie R. Riebacka,∗, Patrick N.D. Simpsona, Bruno Crispoa,b, Andrew S. Tanenbauma a Department of Computer Science, Vrije Universiteit, De Boelelaan 1081a, 1081 HV, Amsterdam, Netherlands b Department of Information and Communication Technology, University of Trento, Via Sommarive, 14, 38050, Trento, Italy Received 1 February 2006; received in revised form 5 June 2006; accepted 26 July 2006 Available online 6 October 2006 Abstract This paper explores the concept of malware for Radio Frequency Identification (RFID) systems — including RFID exploits, RFID worms, and RFID viruses. We present RFID malware design principles together with concrete examples; the highlight is a fully illustrated example of a self-replicating RFID virus. The various RFID malware approaches are then analyzed for their effectiveness across a range of target platforms. This paper concludes by warning RFID middleware developers to build appropriate checks into their RFID middleware before it achieves wide-scale deployment in the real world. c 2006 Elsevier B.V. All rights reserved. Keywords: Radio Frequency Identification; RFID; Security; Malware; Exploit; Worm; Virus 1. Introduction Radio Frequency Identification (RFID) is a contactless identification technology that promises to revolutionize our supply chains and customize our homes and office. By $ This is an extended version of the paper Is Your Cat Infected with a Computer Virus? Presented at IEEE PerCom in March 2006. ∗ Corresponding author. Tel.: +31 205987874; fax: +31 205987653. E-mail address: [email protected] (M.R. Rieback). 1574-1192/$ - see front matter c 2006 Elsevier B.V.
    [Show full text]
  • THE AESTHETICS of MULTICODING ESOLANGS Daniel Temkin [email protected]
    THE AESTHETICS OF MULTICODING ESOLANGS Daniel Temkin [email protected] To bake a Hello World Souffle requires exactly 114 g sugar, 111 ml beaten eggs, 54 ml double cream, and 32 g cocoa powder. (Worth) We might expect a recipe to measure by the number of eggs, rather than their volume in milliliters. Having the level of specificity appropriate more for a chemistry lab than a kitchen is a clue that this recipe is not only for cooking, but also a computer program in the Chef language. Chef is what we might call a multicoding esolang: a programming language with lexical and grammatical rules such that their programs hold a second meaning when read in another context. An esolang (for “esoteric language”) is any language not designed for practical programming: thought experiments, art pieces, jokes for programmers, or any language that challenges conventional ideas of computing. The term multicoding was coined by Michael Matteas and Nick Montfort (as “multiple coding”). A multicoded text holds different meanings within different interpretive systems. An example they use is a sentence that is grammatical in both English and French: "Jean put dire comment on tape" which in French means "Jean is able to say how one types." (Montfort and Matteas) An example in code is the polyglot, a program that runs successfully in two different languages, like Python and Java, often by employing lesser-used features of those languages. There are polyglots that run in over 200 different languages. (Temkin, “There’s Still a Chance to Participate in This Insanely Large Polyglot”) Multicoding esolangs bring these two things together: they are specifically designed to hold double meanings.
    [Show full text]