Complex Systems and Computational Biology Approaches to Acute In Ammation Complex Systems and Computational Biology Approaches to Acute Infl Ammation

Total Page:16

File Type:pdf, Size:1020Kb

Complex Systems and Computational Biology Approaches to Acute In Ammation Complex Systems and Computational Biology Approaches to Acute Infl Ammation Yoram Vodovotz · Gary An Editors Complex Systems and Computational Biology Approaches to Acute In ammation Complex Systems and Computational Biology Approaches to Acute Infl ammation Yoram Vodovotz • Gary An Editors Complex Systems and Computational Biology Approaches to Acute Infl ammation Editors Yoram Vodovotz Gary An Department of Surgery Department of Surgery University of Pittsburgh University of Chicago Pittsburgh , PA , USA Chicago , IL , USA ISBN 978-1-4614-8007-5 ISBN 978-1-4614-8008-2 (eBook) DOI 10.1007/978-1-4614-8008-2 Springer New York Heidelberg Dordrecht London Library of Congress Control Number: 2013945078 © Springer Science+Business Media New York 2013 This work is subject to copyright. All rights are reserved by the Publisher, whether the whole or part of the material is concerned, specifi cally the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfi lms or in any other physical way, and transmission or information storage and retrieval, electronic adaptation, computer software, or by similar or dissimilar methodology now known or hereafter developed. Exempted from this legal reservation are brief excerpts in connection with reviews or scholarly analysis or material supplied specifi cally for the purpose of being entered and executed on a computer system, for exclusive use by the purchaser of the work. Duplication of this publication or parts thereof is permitted only under the provisions of the Copyright Law of the Publisher’s location, in its current version, and permission for use must always be obtained from Springer. Permissions for use may be obtained through RightsLink at the Copyright Clearance Center. Violations are liable to prosecution under the respective Copyright Law. The use of general descriptive names, registered names, trademarks, service marks, etc. in this publication does not imply, even in the absence of a specifi c statement, that such names are exempt from the relevant protective laws and regulations and therefore free for general use. While the advice and information in this book are believed to be true and accurate at the date of publication, neither the authors nor the editors nor the publisher can accept any legal responsibility for any errors or omissions that may be made. The publisher makes no warranty, express or implied, with respect to the material contained herein. Printed on acid-free paper Springer is part of Springer Science+Business Media (www.springer.com) Preface We are now standing at the cusp of systems-based understanding of the processes that underlie, drive, and control the acute infl ammatory response. Based on decades of painstaking progress, mostly driven by the reductionist methods that have served science well for hundreds of years, this new systems approach is poised to redefi ne how we approach diagnosis and therapy for sepsis/infection, trauma, and wound healing. The development of systems and computational biology over the past decade has brought a new understanding, new methods, and new terminology to the forefront of the biomedical enterprise. These new tools and new understanding have begun to yield insights into basic biological mechanisms. What has lagged has been a clear understanding of how sys- tems and computational biology could be applied systematically to change clinical practice. Indeed, we have not yet fully leveraged the power of computational and systems biology. There is currently no fully rational, computationally driven, pipe- line for drug discovery, clinical trials, “smart” diagnostics, and patient-specifi c ther- apy driven by computational modeling (i.e., Translational Systems Biology). However, we are at, or near, an infl ection point in this transition from reductionism to systems approaches applied clinically. Translational Systems Biology as a concept was formulated in an attempt to give initial defi nitions and directions to the biomedi- cal community. A decade of Translational Systems Biology has resulted in increas- ingly realistic computational models that can recapitulate infl ammation at the cellular, small animal, large animal, and human levels. As such, Translational Systems Biology is at an infl ection point between early studies subjected to intense scrutiny and, to a degree, resistance from the research community vs. widespread adoption. This book presents a snapshot of this infl ection point. Pittsburgh , PA , USA Yoram Vodovotz Chicago , IL , USA Gary An v Contents 1 An Overview of the Translational Dilemma and the Need for Translational Systems Biology of Infl ammation ............................ 1 Yoram Vodovotz and Gary An Part I Complex Systems Methods and Applications 2 Translational Equation-Based Modeling .............................................. 11 Gilles Clermont 3 Agent-Based Modeling in Translational Systems Biology ................... 29 Scott Christley and Gary An 4 Analysis of Heart Rate Variability ........................................................ 51 Patrick R. Norris 5 Analysis of Ventilatory Pattern Variability........................................... 79 Thomas E. Dick, Rishi R. Dhingra, Yee-Hsee Hsieh, Mikkel Fishman, Farhad Kaffashi, Kenneth A. Loparo, Christopher G. Wilson, and Frank J. Jacono Part II Translational Modeling of Sepsis and Trauma 6 Disorder of Systemic Infl ammation in Sepsis and Trauma: A Systems Perspective ........................................................................... 103 Kent R. Zettel II and Timothy R. Billiar 7 Multiscale Equation-Based Models: Insights for Infl ammation and Physiological Variability ................................................................. 125 Jeremy D. Scheff, Steve E. Calvano, and Ioannis P. Androulakis vii viii Contents 8 Integrating Data-Driven and Mechanistic Models of the Infl ammatory Response in Sepsis and Trauma ........................ 143 Nabil Azhar, Qi Mi, Cordelia Ziraldo, Marius Buliga, Gregory M. Constantine, and Yoram Vodovotz 9 In Silico Trials and Personalized Therapy for Sepsis and Trauma .... 159 Yoram Vodovotz, John Bartels, and Gary An Part III Translational Modeling of Wound Healing 10 Disorder of Localized Infl ammation in Wound Healing: A Systems Perspective ........................................................................... 173 Sashwati Roy, Amitava Das, and Chandan K. Sen 11 Equation-Based Models of Wound Healing and Collective Cell Migration ........................................................................................ 185 Julia Arciero and David Swigon 12 Agent-Based Models of Wound Healing .............................................. 209 Jordan R. Stern, Cordelia Ziraldo, Yoram Vodovotz, and Gary An Part IV Translational Modeling of Host-Pathogen Interactions 13 Modeling Host–Pathogen Interactions in Necrotizing Enterocolitis ................................................................... 231 Julia Arciero, Jared Barber, and Moses Kim 14 Modeling Host–Vector–Pathogen Immuno- infl ammatory Interactions in Malaria .......................................................................... 265 Yoram Vodovotz, Nabil Azhar, Natasa Miskov-Zivanov, Marius Buliga, Ruben Zamora, Bard Ermentrout, Gregory M. Constantine, James R. Faeder, Nazzy Pakpour, and Shirley Luckhart Part V Future Perspectives: Translation to Implementation 15 The Rationale and Implementation of Translational Systems Biology as a New Paradigm for the Study of Infl ammation ....................................................................................... 283 Gary An and Yoram Vodovotz Index ................................................................................................................. 289 Contributors Gary An, M.D. Department of Surgery , University of Chicago , Chicago , IL , USA Ioannis P. Androulakis, Ph.D. Biomedical Engineering , Rutgers University , Piscataway , NJ , USA Julia Arciero, Ph.D. Department of Mathematical Sciences , Indiana University- Purdue University Indianapolis , Indianapolis , IN , USA Nabil Azhar, B.S. Department of Computational and Systems Biology , University of Pittsburgh , Pittsburgh , PA , USA Jared Barber, Ph.D. Department of Mathematical Sciences , University of Pittsburgh , Pittsburgh , PA , USA John Bartels, M.S. Immunetrics, Inc. , Pittsburgh , PA , USA Timothy R. Billiar, M.D. Department of Surgery , Presbyterian Hospital , Pittsburgh , PA , USA Marius Buliga, Ph.D. University of Pittsburgh at Bradford , Bradford , PA , USA Steve E. Calvano, Ph.D. Department of Surgery , UMDNJ-Robert Wood Johnson Medical School , New Brunswick , NJ , USA Scott Christley, Ph.D. Department of Surgery , University of Chicago , Chicago , IL , USA Gilles Clermont, M.D., M.Sc. Department of Critical Care Medicine , UPMC Presbyterian Hospital , Pittsburgh , PA , USA Gregory M. Constantine, Ph.D. Department of Mathematics , University of Pittsburgh , Pittsburgh , PA , USA Amitava Das, M. Pharm Comprehensive Wound Center, Department of Surgery, Davis Heart & Lung Research Institute , The Ohio State University Wexner Medical Center , Columbus , OH , USA ix x Contributors Rishi R. Dhingra, B.S. Department of Neurosciences , Case Western Reserve University , Cleveland , OH , USA Thomas E. Dick, Ph.D. Division of Pulmonary, Critical Care and Sleep Medicine, Department of Medicine , Case Western Reserve University , Cleveland , OH , USA Bard Ermentrout, Ph.D. Department of Mathematics , University of Pittsburgh , Pittsburgh , PA , USA James R. Faeder, Ph.D. Department of Computational and Systems Biology , University of Pittsburgh ,
Recommended publications
  • Mccarthy.Pdf
    HISTORY OF LISP John McCarthy A rtificial Intelligence Laboratory Stanford University 1. Introduction. 2. LISP prehistory - Summer 1956 through Summer 1958. This paper concentrates on the development of the basic My desire for an algebraic list processing language for ideas and distinguishes two periods - Summer 1956 through artificial intelligence work on the IBM 704 computer arose in the Summer 1958 when most of the key ideas were developed (some of summer of 1956 during the Dartmouth Summer Research Project which were implemented in the FORTRAN based FLPL), and Fall on Artificial Intelligence which was the first organized study of AL 1958 through 1962 when the programming language was During this n~eeting, Newell, Shaa, and Fimon described IPL 2, a implemented and applied to problems of artificial intelligence. list processing language for Rand Corporation's JOHNNIAC After 1962, the development of LISP became multi-stranded, and different ideas were pursued in different places. computer in which they implemented their Logic Theorist program. There was little temptation to copy IPL, because its form was based Except where I give credit to someone else for an idea or on a JOHNNIAC loader that happened to be available to them, decision, I should be regarded as tentatively claiming credit for It and because the FORTRAN idea of writing programs algebraically or else regarding it as a consequence of previous decisions. was attractive. It was immediately apparent that arbitrary However, I have made mistakes about such matters in the past, and subexpressions of symbolic expressions could be obtained by I have received very little response to requests for comments on composing the functions that extract immediate subexpresstons, and drafts of this paper.
    [Show full text]
  • ©2007 Melissa Tracey Brown ALL RIGHTS RESERVED
    ©2007 Melissa Tracey Brown ALL RIGHTS RESERVED ENLISTING MASCULINITY: GENDER AND THE RECRUITMENT OF THE ALL-VOLUNTEER FORCE by MELISSA TRACEY BROWN A Dissertation submitted to the Graduate School-New Brunswick Rutgers, The State University of New Jersey in partial fulfillment of the requirements for the degree of Doctor of Philosophy Graduate Program in Political Science written under the direction of Leela Fernandes and approved by ________________________ ________________________ ________________________ ________________________ New Brunswick, New Jersey October, 2007 ABSTRACT OF THE DISSERTATION Enlisting Masculinity: Gender and the Recruitment of the All-Volunteer Force By MELISSA TRACEY BROWN Dissertation Director: Leela Fernandes This dissertation explores how the US military branches have coped with the problem of recruiting a volunteer force in a period when masculinity, a key ideological underpinning of military service, was widely perceived to be in crisis. The central questions of this dissertation are: when the military appeals to potential recruits, does it present service in masculine terms, and if so, in what forms? How do recruiting materials construct gender as they create ideas about soldiering? Do the four service branches, each with its own history, institutional culture, and specific personnel needs, deploy gender in their recruiting materials in significantly different ways? In order to answer these questions, I collected recruiting advertisements published by the four armed forces in several magazines between 1970 and 2003 and analyzed them using an interpretive textual approach. The print ad sample was supplemented with television commercials, recruiting websites, and media coverage of recruiting. The dissertation finds that the military branches have presented several versions of masculinity, including both transformed models that are gaining dominance in the civilian sector and traditional warrior forms.
    [Show full text]
  • LISP Session
    LISP Session Chairman: Barbara Liskov Speaker: John McCarthy Discussant: Paul Abrahams PAPER: HISTORY OF LISP John McCarthy 1. Introduction This paper concentrates on the development of the basic ideas and distinguishes two periods--Summer 1956 through Summer 1958, when most of the key ideas were devel- oped (some of which were implemented in the FORTRAN-based FLPL), and Fall 1958 through 1962, when the programming language was implemented and applied to problems of artificial intelligence. After 1962, the development of LISP became multistranded, and different ideas were pursued in different places. Except where I give credit to someone else for an idea or decision, I should be regarded as tentatively claiming credit for it or else regarding it as a consequence of previous deci- sions. However, I have made mistakes about such matters in the past, and I have received very little response to requests for comments on drafts of this paper. It is particularly easy to take as obvious a feature that cost someone else considerable thought long ago. As the writing of this paper approaches its conclusion, I have become aware of additional sources of information and additional areas of uncertainty. As a programming language, LISP is characterized by the following ideas: computing with symbolic expressions rather than numbers, representation of symbolic expressions and other information by list structure in the memory of a computer, representation of in- formation in external media mostly by multilevel lists and sometimes by S-expressions, a small
    [Show full text]
  • Building the Second Mind, 1961-1980: from the Ascendancy of ARPA to the Advent of Commercial Expert Systems Copyright 2013 Rebecca E
    Building the Second Mind, 1961-1980: From the Ascendancy of ARPA to the Advent of Commercial Expert Systems copyright 2013 Rebecca E. Skinner ISBN 978 09894543-4-6 Forward Part I. Introduction Preface Chapter 1. Introduction: The Status Quo of AI in 1961 Part II. Twin Bolts of Lightning Chapter 2. The Integrated Circuit Chapter 3. The Advanced Research Projects Agency and the Foundation of the IPTO Chapter 4. Hardware, Systems and Applications in the 1960s Part II. The Belle Epoque of the 1960s Chapter 5. MIT: Work in AI in the Early and Mid-1960s Chapter 6. CMU: From the General Problem Solver to the Physical Symbol System and Production Systems Chapter 7. Stanford University and SRI Part III. The Challenges of 1970 Chapter 8. The Mansfield Amendment, “The Heilmeier Era”, and the Crisis in Research Funding Chapter 9. The AI Culture Wars: the War Inside AI and Academia Chapter 10. The AI Culture Wars: Popular Culture Part IV. Big Ideas and Hardware Improvements in the 1970s invert these and put the hardware chapter first Chapter 11. AI at MIT in the 1970s: The Semantic Fallout of NLR and Vision Chapter 12. Hardware, Software, and Applications in the 1970s Chapter 13. Big Ideas in the 1970s Chapter 14. Conclusion: the Status Quo in 1980 Chapter 15. Acknowledgements Bibliography Endnotes Forward to the Beta Edition This book continues the story initiated in Building the Second Mind: 1956 and the Origins of Artificial Intelligence Computing. Building the Second Mind, 1961-1980: From the Establishment of ARPA to the Advent of Commercial Expert Systems continues this story, through to the fortunate phase of the second decade of AI computing.
    [Show full text]
  • LISP 1.5 Programmer's Manual
    LISP 1.5 Programmer's Manual The Computation Center and Research Laboratory of Eleotronics Massachusetts Institute of Technology John McCarthy Paul W. Abrahams Daniel J. Edwards Timothy P. Hart The M. I.T. Press Massrchusetts Institute of Toohnology Cambridge, Massrchusetts The Research Laboratory af Electronics is an interdepartmental laboratory in which faculty members and graduate students from numerous academic departments conduct research. The research reported in this document was made possible in part by support extended the Massachusetts Institute of Technology, Re- search Laboratory of Electronics, jointly by the U.S. Army, the U.S. Navy (Office of Naval Research), and the U.S. Air Force (Office of Scientific Research) under Contract DA36-039-sc-78108, Department of the Army Task 3-99-25-001-08; and in part by Con- tract DA-SIG-36-039-61-G14; additional support was received from the National Science Foundation (Grant G-16526) and the National Institutes of Health (Grant MH-04737-02). Reproduction in whole or in part is permitted for any purpose of the United States Government. SECOND EDITION Elfteenth printing, 1985 ISBN 0 262 130 11 4 (paperback) PREFACE The over-all design of the LISP Programming System is the work of John McCarthy and is based on his paper NRecursiveFunctions of Symbolic Expressions and Their Com- putation by Machinett which was published in Communications of the ACM, April 1960. This manual was written by Michael I. Levin. The interpreter was programmed by Stephen B. Russell and Daniel J. Edwards. The print and read programs were written by John McCarthy, Klim Maling, Daniel J.
    [Show full text]
  • Commencement1985.Pdf (6.060Mb)
    lose of the 109th Academic Year The Johns Hopkins University May 31 , 1985 Digitized by the Internet Archive in 2012 with funding from LYRASIS Members and Sloan Foundation http://archive.org/details/commencement1985 ORDER OF PROCESSION MARSHALS Karl Alexander Jean Eichelberger Ivey Edward J. Bouwer Allyn Kimball Paul R. Daniels Shin Lin Marc Donohue H. Warren Moos Frederick Holborn Selina Sue Prosen Roger A. Horn Fred S. Schock Henry M. Seidel THE GRADUATES MARSHALS Brown Murr Frederic Davidson THE FACULTIES MARSHALS Robert E. Green John Russell-Wood THE DEANS MEMBERS OF THE SOCIETY OF SCHOLARS OFFICERS OF THE UNIVERSITY THE TRUSTEES CHIEF MARSHAL Owen M. Phillips THE CHAPLAINS THE HONORARY DEGREE CANDIDATES THE PROVOST OF THE UNIVERSITY THE CHAIRMAN OF THE BOARD OF TRUSTEES THE PRESIDENT OF THE UNIVERSITY ORDER OF EVENTS STEVEN MULLER President of the University, presiding * * * PRELUDE Gaillard Johann Hermann Schein (1586-1630) A Toye New Sa-Hoo Giles Farnaby (1565-1640) A Classical March Ludwig van Beethoven (1770-1827) PROCESSIONAL The audience is requested to stand as the Academic Procession moves into the area and to remain standing after the Invocation La Mourisque Pavane TlELMAN SUSATO ( ? -1561) Festive marches from Belshazarr, Ezio, Rinaldo and Scipione George Frideric Handel (1685-1759) THE PRESIDENT'S PROCESSION Fanfare Walter Piston (1894-1976) Marches from Judas Maccabaeus and Floridante George Frideric Handel (1685-1759) INVOCATION CLYDE R. SHALLENBERGER Director The Chaplaincy Service The Johns Hopkins Hospital * THE NATIONAL ANTHEM * GREETINGS GEORGE G. RADCLIFFE Chairman of the Board of Trustees * PRESENTATION OF NEW MEMBERS OF THE SOCIETY OF SCHOLARS Jo Eirik Asvall ThomasP.
    [Show full text]
  • A Distributed Execution Engine Supporting Data-Dependent Control flow
    A distributed execution engine supporting data-dependent control flow Derek Gordon Murray University of Cambridge Computer Laboratory King’s College July 2011 This dissertation is submitted for the degree of Doctor of Philosophy Declaration This dissertation is the result of my own work and includes nothing which is the outcome of work done in collaboration except where specifically indicated in the text. This dissertation does not exceed the regulation length of 60,000 words, including tables and footnotes. A distributed execution engine supporting data-dependent control flow Derek G. Murray Summary In computer science, data-dependent control flow is the fundamental concept that enables a machine to change its behaviour on the basis of intermediate results. This ability increases the computational power of a machine, because it enables the machine to execute iterative or recursive algorithms. In such algorithms, the amount of work is unbounded a priori, and must be determined by evaluating a fixpoint condition on successive intermediate results. For example, in the von Neumann architecture—upon which almost all modern computers are based—these algorithms can be programmed using a conditional branch instruction. A distributed execution engine is a system that runs on a network of computers, and provides the illusion of a single, reliable machine that provides a large aggregate amount of compu- tational and I/O performance. Although each individual computer in these systems is a von Neumann machine capable of data-dependent control flow, the effective computational power of a distributed execution engine is determined by the expressiveness of the execution model that describes distributed computations.
    [Show full text]
  • Annual Report
    SERVICE The Mount Sinai XX • . 1 nospitai 1949 fete?/ I 97TH ANNUAL REPORT The Mount Sinai Hospital of the City of New York 1949 CONTENTS Page Administrators and Heads of Departments 179 Bequests and Donations Contributors to the Jacobi Library 144 Dedicated Buildings 92 Donations to Social Service 90 Donations in Kind 88 Establishment of Rooms 96 Establishment of Wards 04 Endowments for General Purposes 132 Endowments for Special Purposes 128 Special —For Purposes 75 (lifts to Social Service i^g Legacies and Bequests Life Beds I22 Life Members j^g Medical Research Funds 133 Memorial Beds I2o Miscellaneous Donations 89 Perpetual Beds I0g Special Funds of The School of Nursing ^6 Tablets ^g Committees Board of Trustees Medical Board j_j Endowments, Extracts from Constitution on 203 Financial — Statement Brief Summary Insert Graduate Medical Instruction, Department of Historical Note ^ House Staff (as of January 1, 1950) 20I House Staff, Graduates of jgg Medical Board *3o Medical and Surgical Staff ^ CONTENTS ( Continued) Page Neustadter Foundation, Officers and Directors 63 Officers and Trustees Since Foundation 183 Reports Laboratories 38 Professional Services 22 Neustadter Home for Convalescents 64 Out-Patient Department 35 President 14 School of Nursing ! 52 Social Service Department 58 School of Nursing—Officers and Directors 51 Social Service Department Social Service Auxiliary—Officers and Members 57 Social Service Auxiliary—Committees and Volunteers 180 Statistical Summary 9 Statistics, Comparative 1948-1949 10 Superintendents and Directors Since 1855 187 Treasurers' Reports 67 Hospital 68 Ladies' Auxiliary 74 School of Nursing 72 Social Service Auxiliary 73 Trustees, Board of 145 The Mount Sinai Hospital is a member of the Federation of Jewish Philanthropies of New Yorj^, and a beneficiary of its fund-raising campaigns.
    [Show full text]
  • MASSACHUSETTS INSTITUTE'or TECHNOLOGY A
    MASSACHUSETTS INSTITUTE'Or TECHNOLOGY A. I. LABOAA. TORY Artificial Intelligence April 1970 Memo No. 191 Updated August 1970 BIBLIOGWHY Updated October 1970 Updated December 1970 Updated March 1971 Updated September 1971 Updated November 1971 *1-7 These are concerned with early LISP development. *8 Recursive Functions of Symbolic E22ressions and their Computation by Machine, John McCarthy, published in: Computer Programming and Formal Systems, North-Rolland Publishing Co., Amsterdam, 1963. *9-14 These are concerned with early LISP development. 15 SML - Examples of Prodfs by Recur$iortlnductioIi, John McCarthy. *16 A Question-Msweting Routine, A. V. Phillips. *17 Programs with Co_on Sense, John McCarthy. Published in Proc. Math. of Thought Processes, HMSO, 1958. Reprinted in Sema~tic Information Processing, Minsky (Ed.), M.I.T.Press~ 1968. *18 Some Re.sultsfrom a Pattern R!~ognition progra;m using LISP, Louis Hodes. *19 This is concerned with early IISP development. More information is in: The LISP 1.5 programming Manual M.I.T. Press, Cambridge, Mass. The Programming Language LISP Berkeley Enterprises,Newton, Mass. LISP 1.5 ~ri~er, Clark Weissman, Prentice Hall, Englewood Cliffs, N.J. *20 Puzzle Solving Program in. LISP, john McCarthy. *21 The Proofchecker, Paul Abrahams; see complete version in Mathematical Algorithms, April 1966, Vol.l, No.2; July 1966, Vol.l, No.3. *22-26 Cortcerned with early. LISP development. *27 Simpli~y, Tim Hart *28 .Concertied with early LISP development. 29 Introductiort to the Calculus cf Knowledge, Bertram Raphael , Nov. 1961. *Not available 2 *30 The Tree Prune (TP) Algorithm, Dec. 1961, Timllatt & Daniel Edwards, Revised Oct.
    [Show full text]
  • Second International Jointconference On
    i * SECOND INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE 1-3 September 1971 Imperial College London PROGRAM Technical Papers Accepted for the Conference E . im Ikf Ml IRE Corp .A. :27 Session Titles: A le Inf ioni slty Theoretical Foundations Via S. 44 A Theorem Proving Heuristic Problem Solving Proqramme Pattern Recognition I. General Papers artment Pattern Recognition 11. Statistical Approaches t Swansea Scene Analysis I. General Papers Scene Analysis 11. Robot Papers 0 KINGDOM* Project Robots and Integrated Systems Local Arrangements Computer Understanding Support menial Psychology Software Psychological Modeling TED KINntXIM Associative and Adaptive Models Applications Secretary/Treasurer rogramma lard ERAI Alistair D. Ho I den lectrical Engineering Department niversity of Washington Washington 98105 .A. 45-2054 Members uhei Aida Industrial Science University of Tokyo RopDong i 7, Minatoku Tokyo JAPAN Saul Amare tpartment Computer vi ngston I lege ty New New Jersey 08903 U.S.A. Is J . Nil s£>on >rd Research Ins+ftute Menlo 94025 U.S.A. Dr. Bertram Raphae Stanford Research Institute Menlo Pjrk, 94025 U.S.A. CONFERENCE Department' The British Computer Society 29 Portland Place Wl tngland UNITED KINGDOM 01-637-04 'I (TELEX 28 119 BCS LDN) Sponsored by the INTERNATIONAL JOINT COUNCIL ON ARTIFICIAL INTELLIGENCE CONFERENCECOMMITTEE General Chairman Vice-Chairman orma;: Maria, Chairman Chairman Past-General Chairman Professor C. Committee 22-1, 106, of Science Co Brunswick, Park, California California ADMINISTRATION Cunferonce London, " i * Theoretical Foundations A. Sloman, University of Sussex, U.K. Interactions Between Philosophy and Artificial Intelligence: the rule of intuition and non-logical reasoning in intelligence P. H.
    [Show full text]
  • Mars: an Imperative/Declarative Higher-Order Programming Language with Automatic Destructive Update
    Mars An Imperative/Declarative Higher-Order Programming Language With Automatic Destructive Update Matthew Giuca Submitted in total fulfilment of the requirements of the degree of Doctor of Philosophy July 2014 Department of Computing and Information Systems The University of Melbourne i Abstract For years, we have enjoyed the robustness of programming without side-effects in lan- guages such as Haskell and Mercury. Yet in order to use languages with true referential transparency, we seem to have to give up basic imperative constructs that we have be- come accustomed to: looping constructs, variable update, destructive update of arrays, and so on. In this thesis, we explore the design of programming languages which com- bine the benefits of referential transparency with imperative-style programming. First, we present a framework for classifying programming languages according to the benefits of pure programming. Our definition applies to a wider range of languages than common terms such as “declarative” and “pure,” capturing the specific benefit of prohibiting global side-effects, without ruling out imperative programming languages. Second, we present the design and implementation for a new programming language, Mars, which allows the programmer to write imperative-style code using Python syntax, yet has the benefits of a language with referential transparency. The design philosophy behind the language, and its future directions, are discussed. Third, we note the tendency for imperative programs to use array update operations, which are very slow in a naïve implementation of any language such as Mars. We explore static analyses for automatically converting slow array copying code into fast destructive update instructions, and present the design and implementation of an optimiser for Mars, which improves on previous work by precisely handling higher-order functions, includ- ing those that both accept and return functions.
    [Show full text]
  • Division of Informatics, University of Edinburgh
    I V N E R U S E I T H Y T O H F G E R D I N B U Division of Informatics, University of Edinburgh Centre for Intelligent Systems and their Applications Strict General Setting for Building Decision Procedures into Theorem Provers by Predrag Janicic, Alan Bundy Informatics Research Report EDI-INF-RR-0097 Division of Informatics January 2001 http://www.informatics.ed.ac.uk/ Strict General Setting for Building Decision Procedures into Theorem Provers Predrag Janicic, Alan Bundy Informatics Research Report EDI-INF-RR-0097 DIVISION of INFORMATICS Centre for Intelligent Systems and their Applications January 2001 appears in Procs of ISCAR 2001 Abstract : The efficient and flexible incorporating of decision procedures into theorem provers is very important for their successful use. There are several approaches for combining and augmenting of decision procedures; some of them support handling uninterpreted functions, congruence closure, lemma invoking etc. In this paper we present a variant of one general setting for building decision procedures into theorem provers (gs framework [18]). That setting is based on macro inference rules motivated by techniques used in different approaches. The general setting enables a simple describing of different combination/augmentation schemes. In this paper, we further develop and extend this setting by an imposed ordering on the macro inference rules. That ordering leads to a ”strict setting”. It makes implementing and using variants of well-known or new schemes within this framework a very easy task even for a non-expert user. Also, this setting enables easy comparison of different combination/augmentation schemes and combination of their ideas.
    [Show full text]