ACMS Proceedings Editor

Total Page:16

File Type:pdf, Size:1020Kb

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. Cordero-Soto ................................. 14 Marin Mersenne: Minim Monk and Messenger; Monotheism, Mathematics, and Music Karl-Dieter Crisman................................... 24 Developing Mathematicians: The Benefits of Weaving Spiritual and Disciplinary Discipleship Patrick Eggleton..................................... 40 Overcoming Stereotypes through a Liberal Arts Math Course Jessica Hamm....................................... 47 Analyzing the Impact of Active Learning in General Education Mathematics Courses Amanda Harsy, Marie Meyer, Michael Smith, and Brittany Stephenson.... 55 Lagrange’s Interpolation, Chinese Remainder, and Linear Equations Jesús Jiménez....................................... 70 Factors that Motivate Students to Learn Mathematics Dave Klanderman, Sarah Klanderman, Benjamin Gliesmann, Josh Wilkerson, and Patrick Eggleton........................ 76 Teaching Mathematics at an African University–My Experience Kathleen Lewis...................................... 90 Faith, Mathematics, and Science: The Priority of Scripture in the Pursuit and Acquisition of Truth Bob Mallison........................................ 93 Addressing Challenges in Creating Math Presentations David Schweitzer..................................... 116 A Unifying Project for a TEX/CAS Course Andrew Simoson..................................... 127 – ii – Is Mathematical Truth Time Dependent? Richard Stout....................................... 137 Charles Babbage and Mathematical Aspects of the Miraculous Courtney K. Taylor.................................... 143 Numerical Range of Toeplitz Matrices over Finite Fields Derek Thompson, Maddison Guillaume Baker, and Amish Mishra....... 151 Computer Science: Creating in a Fallen World Russ Tuck......................................... 159 Thinking Beautifully about Mathematics James M. Turner..................................... 172 Replacing Remedial Mathematics with Corequisites in General Education Mathematics Courses Alana Unfried....................................... 189 Models, Values, and Disasters Michael H. Veatch.................................... 203 Maximum Elements of Ordered Sets and Anselm’s Ontological Argument Doug Ward......................................... 214 Closing Banquet Eulogies for David Lay and John Roe ................ 218 Appendix 1: Conference Schedule ............................. 224 Appendix 2: Parallel Session Abstracts .......................... 228 Appendix 3: Participant Information ........................... 261 – iii – Introduction The twenty-second biennial conference of the Association of Christians in the Mathematical Sciences was held at Indiana Wesleyan University from May 29 until June 1, 2019. Thanks go to Melvin Royer and his colleagues at IWU for all their efforts that went into hosting it. Many thanks also to the three invited speakers: • Ken Ono (University of Virginia) – Why does Ramanujan, “The Man Who Knew Infinity,” Matter? – The Jensen-Pólya Program for the Riemann Hypothesis Ken Ono (B.A., University of Chicago; Ph.D., UCLA) is the Thomas Jefferson Professor of Arts and Sciences at the University of Virginia. He has been awarded an NSF CAREER grant, a David and Lucile Packard Fellowship, a Presidential Early Career Award, and a Guggenheim Fellowship. He is currently a Vice President of the American Mathematical Society. He is a renowned expositor with recognition as the MAA George Pólya Distinguished Lecturer, and recent winner of the Prose Award for Best Scholarly Book in Mathematics. His passion for developing and sharing the ideas of Ramanujan is illustrated by his recent role as associate producer of the film The Man Who Knew Infinity. • Joan Richards (Brown University) – From Theology to the Negative Numbers in the World of William Frend – The Foundations of Calculus in the World of Augustus De Morgan Joan Richards (B.A., Radcliffe College; Ph.D., Harvard University) is the Director of the Program of Science and Technology Studies and Professor of History at Brown University. She received a Guggenheim Fellowship, and served as fellow at the Max Planck Institute. Her book Mathematical Visions: Non-Euclidean Geometry in Victorian England focuses on the reception of a geometrical theory in the wider culture of nineteenth century England. Her book Angles of Reflection is at once a memoir and an exploration of the logical work and family life of Augustus De Morgan. Her projects are linked by an abiding interest in the ways that mathematics has served as a model of human thinking. • Michael Alford (FBI, Cyber Division) – Threats and Successes of Cybersecurity Michael Alford has been a Special Agent with the FBI in Indianapolis for over ten years. Special Agent Alford has a Master’s of Science in Digital Forensics from the University of Central Florida, and has over 15 years of experience in computer security and computer forensics. Special Agent Alford routinely investigates complex computer intrusions, including national security intrusions and intrusions into industrial control systems. – iv – Two workshops were offered on May 29. Ryan Botts, Judith Canner, and Alana Unfried organized a seminar on using R Studio, and in a parallel session Greg Crow, Lori Carter, Catherine Crockett, Matt DeLong, Derek Schurrman, and Amanda Harsy Ramsey discussed early career issues for new faculty and graduate students. Many thanks to them, not only for organizing the sessions, but also for the helpful information they provided. The conference schedule is presented in Appendix 1, Appendix 2 gives the abstracts for the parallel sessions, and Appendix 3 lists information for the individual participants. There were a total of 79 papers presented by the 138 conference attendees. Not every paper was submitted to these Proceedings, but the following pages contain the ones that made their way through the single-blind review process, each having been scrutinized by a minimum of two reviewers. Thanks go to the authors for their good work. Too numerous to mention are all the referees that were involved, but heartfelt thanks go to them for their diligence. The twenty-third biennial conference for ACMS, set to be hosted by Azusa Pacific University, is slated for June 23–26, 2021. Plans are to hold it in conjunction with the Christian Engineering Society. Details can be found at acmsonline.org, which is the official ACMS website. Russell W. Howell (Westmont College) ACMS Proceedings Editor – v – From Perfect Shuffles to Landau’s Function Brian D. Beasley (Presbyterian College) Brian Beasley (Ph.D., University of South Carolina) has taught at Presbyterian College since 1988. His professional interests range from number theory and history of mathematics to problems sections in various journals. Recently he has helped recruit mentors for ECM and Project NExT fellows on behalf of the MAA Southeastern Sec- tion. Brian and his wife Kathy are now in the empty nest stage, thankful that both sons are gainfully employed college graduates. Abstract If we view a given shuffle of a deck of cards as a permutation, then repeatedly applying this same shuffle will eventually return the deck to its original order. In general, how many steps will that take? What happens in the case of so-called perfect shuffles? What type of shuffle will require the greatest number of applications before restoring the original deck? This paper will address those questions and provide a brief history of the work of Edmund Landau on the maximal order of a permutation in the symmetric group on n objects. It will
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]
  • 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]
  • 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.
    [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]