DOCSLIB.ORG

Workshop Proceedings

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Workshop Proceedings JPL Publication 94-10 A Decade of Neural Networks: Practical AppEcations and Prospects May 11-13, 1994 WORKSHOP PROCEEDINGS : = \ / II f INPUTS ) INTER _ X. DENDRITE_ 7YNAPSE f_ PROCESSING F'-K("N I_,o,o_,c_l MATHEMATICAL I lk ..... _. " I NEURAL/ NETWORK I REALIZATION I X._.o.'_. I._-_o._ I MOOEL I ou_u_ _ IN SILICON ,=,,.1 - ? v Center for Space Mlcroelectronlcs Technology Jet Propulsion Laboratory, California Institute of Technology Pasadena, California C S M T m Z ,u l it it U =tin Illm This publication was prepared by the Jet Propulsion Laboratory, California Institute of Technology. It was sponsored by the Ballistic Missile Defense Organization, the Army/All Source Analysis System Project Office, the Communication and Electronic Command/Intelligence and Electronic Warfare Directorate, the Naval Surface Warfare Center, and the Office of Naval Research through | agreements with the National Aeronautics and Space Administration. m Reference herein to any specific commercial product, process, or service by trade name, trademark, It manufacturer, or otherwise does not constitute or imply its endorsement by the United States government or the Jet Propulsion Laboratory, California Institute of Technology. n II i tll | II m A Decade of Neural Networks: Practical Applications and Prospects Workshop Proceedings Terry Cole, Conference Chair, JPL Sabrina Kemeny, Organizing Committee Chair, JPL Pat McLane, Local Arrangements Chair, J'PL JPL Organizing Committee Jacob Barhen Tien-Hsin Chao Taher Daud Daniel Erickson Sandeep Gulati Raoul Tawel Anil Thakoor u Splinter Group Chairs Azad Madni, Intelligent Systems Technology Inc. Ken Marko, Ford Motor Company Demetrios Sapounas, Naval Surface Warfare Center James Villareal, Johnson Space Center SPONSORED BY Ballistic Missile Defense Organization Army/All Source Analysis System Project Office Communication and Electronic Command/Intelligence and Electronic Warfare Directorate Naval Surface Warfare Center Office of Naval Research -s National Aeronautics and Space Administration W i11 J gl ! i i P I n m_ m J v W g R W i II A Decade of Neural Networks: Practical Applications and Prospects L, Foreword Welcome to the JPL Neural Network Workshop. Sponsored by NASA and DoD, this workshop brings together sponsoring agencies, active researchers, and the user community to formulate a vision for the next decade of neural network research and application prospects. While the speed and computing power of microprocessors continue to grow at an ever-increasing pace ushering in the era of information supertraffic, the demand to intelligently and adaptively deal with the complex, fuzzy, and often iU-defined world around us remains to a large extent unaddressed. Powerful, highly parallel computing paradigms such as neural networks promise to have a major impact in addressing these needs. The theme of the workshop is on practical applications. To this end, the workshop begins with a series of invited talks focusing on a variety of applications both in control and signal processing. Following the presentations, we will split into working groups to formulate a road map for future R&D. The splinter groups will identify key application areas for the future and address issues such as technology insertion. In order to promote the cross-fertilization of ideas and seed discussion, two social events have been planned at the Pasadena Hilton. On Wednesday evening, there will be a welcome reception with hors d'oeuvres and a cash bar at the Hilton patio. On Thursday evening, a sit-down dinner will be served in the Monterey room. Abstracts and excerpts of presentation materials from the invited talks are included in this booklet. A final report summarizing the workshop and splinter group findings will be published later. Thank you for your participation in what promises to be an interesting and timely forum. V PRECEDING PAGE BLANK NOT FILMED PAuE_.._._._ INT.._JTIONALLYBLAN_" @ i a [] i A Decade of Neural Networks: Practical Applications and Prospects CONTENTS ix ..... Workshop Program Presentations o ° .... Missilebome Artificial Vision System (MAVIS) David K. Andes, James C. Witham, and Michael D. Miles, NAWC %ore 11 ..... Application of Adaptive Learning to Diagnostics: The Role of Neural Networks in Developing Practical Solutions to Two Major Problems Kenneth A. Marko, Ford Motor Company 3,,,., Document Analysis with Neural Net Circuits Hans Peter Graf, AT&T Bell Laboratories 29 ..... From Neural-Based Object Recognition toward Microelectmnic Eyes Bing J. Sheu and Sa Hyun Bang, University of Southern California 39 ..... VLSI Neuroprocessors Sabrina Kemeny, Jet Propulsion Laboratory 53 ..... PHOTONICS: From Target Recognition to Lesion Detection E. Michael Henry, Martin Marietta Corporation 65 ..... 3D Artificial Neural Network (3DANN) Technology: A Status Report and Blueprint for the Future, John Carson, Irvine Sensors Corporation 75 ..... Hidden Markov Models and Neural Networks for Fault Detection in Dynamic Systems Padhraic Smyth, Jet Propulsion Laboratory ==_ 91 ..... Innovation and Application of ANN in Europe Demonstrated by Kohonen Maps Karl Goser, University of Dortmund 95 ..... Neural Network Classification of Clinical Neurophysiological Data for Acute Care Monitoring Joseph Sgro, Alacron Inc. 107 .... Application of Neural Networks to Unsteady Aerodynamic Conlrol V William E. Failer, USAF Academy and University of Colorado, Boulder, Scott Schreck, USAF Academy, and Marvin Luttges, University of Colorado, Boulder 127 .... Smart Vision Chips: An Overview mw Christof Koch, California Institute of Technology 137 .... Predictability in Space Launch Vehicle Anomaly Detection Using Intelligent Neum-Fuzzy Systems Sandeep Gulati et al., Jet Propulsion Laboratory 163 .... le...,r Neural Networks: Application to Medical Imaging Laurence P. Clarke, University of South Florida 171 .... Learning Random Networks for Compression of Still and Moving Images, Erol Gelenbe, Mert Sungur, and Christopher Cramer, Duke University 191 .... Learning to Train Neural Networks for Real-World Control Problems Lee A. Feldkamp, G. V. Puskorius, LJ. Davis, Jr., and F. Yuan, Ford Motor Company 193 .... An Integrated Optoelectronic ATR Processor Tien-Hsin Chao, Jet Propulsion Laboratory 209 .... Neural Network Applications in Telecommunications Joshua Alspector, Bellcore v_ 219 .... A Neural Network Controller for Automated Composite Manufacturing Peter F. Lichtenwalner, McDonnell Douglas Aerospace 231 .... How Captain Amerika Uses Neural Networks to Hght Crime Steven Rogers, M. Kabrisky, D. Ruck, and M. Oxley, Air Force Institute of Technology == PRECEDING PAGE BLANK NOT FILMED vii PAt,_.,._L,_. h'_TL_iT!ONALLYBLANK w _m m m IJ IB Zm u IP i | m m W I _m iI Imm i A Decade of Neural Networks: Practical Applications and Prospects Workshop Program Wednesday, May 11, 1994 12:00 - 2:00 Registration JPL Visitor Center Welcome Location: JPL 180-101 1:00 - 1:35 1:(30- 1:10 Welcoming Remarks: Terry Cole, JPL 1:10- 1:30 :S Keynote Address: Dwight Duston, BMDO 1:30 - 1:35 Workshop Logistics: Sabrina Kemeny, JPL Session 1 Location: JPL 180-101 1:35 - 5:45 Chair: Terry Cole, JPL 1:35 - 3:05 Missilebome Artificial Vision System (MAVIS) David K. Andes, James C. Witham, and Michael D. Miles, NAWC Application of Adaptive Learning to Diagnostics: The Role of Neural Networks in Developing Practical Solutions to Two Major Problems Kenneth A. Marko, Ford Motor Company Document Analysis with Neural Net Circuits Hans Peter Graf, AT&T Bell Laboratories w From Neural-Based Object Recognition toward Microelectronic Eyes Bing J. Sheu and Sa Hyun Bang, University of Southern California 3:05 - 3:25 BREAK 3:25 - 5:20 VLSI Neuroprocessors Sabrina Kemeny, Jet Propulsion Laboratory PHOTONICS:. From Target Recognition to Lesion Detection Michael Henry, Martin Marietta Corporation 3D Artificial Neural Network (3DANN) Technology: A Status Report and Blueprint for the Future: John Carson, Irvine Sensors Corporation Hidden Markov Models and Neural Networks for Fault Detection in Dynamic Systems Padhraic Smyth, Jet Propulsion Laboratory Innovation and Application of ANN in Europe Demonstrated by Kohonen Maps Karl Goser, University of Dortmund Evening Location: Pasadena Hilton Hotel - Patio, 150 S. Los Robles, Pasadena 6:30 - 7:30 Welcome Reception - hors d'oeuvres and cash bar ix PRECEDING PAGE BLANK NOT FILMED PA_.I.._.-_\_--__..... iNTE._tT!ONALLYBt_ANK A Decade of Neural Networks: Practical Applications and Prospects Thursday, May 12, 1994 Session 2 Location: JPL 180-101 8:00 - 12:30 Chair: Kris Koliwad, JPL m l 8:00 - 8:20 Keynote Address: "Neural Nets and Intelligent Control: A Strategic Perspective" Paul Werbos, NSF 8:20- 10:15 Neural Network Classification of Clinical Neurophysiological Data for Acute u Care Monitoring, Joseph Sgro, Alacron Inc. ¢1 Application of Neural Networks to Unsteady Aerodynamic Control William E. Failer, USAF Academy and University of Colorado, M Scott Schreck, USAF Academy, and Marvin Lunges, University of Colorado tl Smart Vision Chips: An Overview Christof Koch, California Institute of Technology Predictability in Space Launch Vehicle Anomaly Detection Using Intelligent i Neuro-Fuzzy Systems, Sandeep Gulati et al., Jet Propulsion Laboratory Neural Networks: Application to Medical Imaging B W Laurence Clarke, University of South Florida I I 10:15 - 10:35 BREAK | 10:35 - 12:30 Learning Random Networks for Compression of Still and Moving Images, Erol Gelenbe, Mert Sungur, and Christopher Cramer, Duke University Learning to Train Neural Networks
Load more

Recommended publications
  • June 1976 Table of Contents
    CALENDAR This Calendar lists all of the meetings which have been approved by the Council up to the date this issue of the c}I/;Jiiai) was sent to press. The summer and annual meetings are joint meetings of the Mathematical Association of America and the American Mathematical Society. The meeting dates which fall rather far in the future are subject to change; this is particularly true of meetings to which no numbers have yet been assigned. Abstracts should be submitted on special forms which are available in most departments of mathematics; forms can also be obtained by writing to the headquarters of the Society. Abstracts to be presented at the meeting in person must be received at the headquarters of the Society in Providence, Rhode Island, on or before the deadline for the meeting. Meeting Deadline for Abstracts* Number Date Place and News Items 737 August 24-28, 1976 Toronto, Canada June 15, 1976 (80th Summer Meeting) 738 October 30, 1976 Storrs, Connecticut September 7, 1976 739 November 6, 1976 Ann Arbor, Michigan September 7, 1976 740 November 19-20, 1976 Columbia, South Carolina September 28, 1976 741 November 19-20, 1976 All:uquerque, New Mexico September 28, 1976 742 January 27-31, 1977 St. Louis, Missouri November 3, 1976 (83rd Annual Meeting) March 31-Aprll 1, 1977 Huntsville, Alabama April15-16, 1977 Evanston, Wlnois April 22-23, 1977 Hayward, California August 14-18, 1977 Seattle, Washington (Slat Summer Meeting) November 11-12, 1977 Memphis, Tennessee Ja1Bl8ry 18-22, 1978 Atlanta, Georgia (84th Annual Meeting) January 11-15,
    [Show full text]
  • Carrier/Self Insurer Contacts
    State of New Jersey Department of Labor & Workforce Development Division of Workers’ Compensation INSURANCE CARRIER/SELF-INSURER LIST OF DESIGNATED CONTACTS P.L. 2008 Chapter 96, effective October 1, 2008, applies to workers’ compensation insurance carriers and authorized self-insured employers. The law provides that: Every carrier and self-insured employer shall designate a contact person who is responsible for responding to issues concerning medical and temporary disability benefits where no claim petition has been filed or where a claim petition has not been answered. The full name, telephone number, address, e-mail address, and fax number of the contact person shall be submitted to the division. Any changes in information about the contact person shall be immediately submitted to the division as they occur. After an answer is filed with the division, the attorney of record for the respondent shall act as the contact person in the case. Failure to comply with the provisions of this section shall result in a fine of $2,500 for each day of noncompliance, payable to the Second Injury Fund. The Division has compiled the attached contact person listing from information submitted to us by workers’ compensation insurance carriers and authorized self-insurers. You can search for a particular company in this document by using the “Find” tool in Adobe Reader or by clicking on the embedded bookmarks. If you find an error with a particular entry in the attached list, please contact the following to verify our records: Melpomene Kotsines at ([email protected])
    [Show full text]
  • University of Notre Dame Commencement Program
    .., tnm- nu"'P"'P'"R .... ·- . -... ~ ~ -~- ... ·-, -- ~-- : .... _:::.. -· ~. : ... ·. .'--:--:~ ... ~--:~-:- ···~·. ··· · · ··• -G'J. · ·.·•···• cD 1 . : ;: k;~.;y,~·~ ' l l 1 , I 'I·, l •• . l .·· :'J l j .. · 1 ·-.=... ,.;; • ...-~!··. l .~~ ... •j1 . lI . l . ·l -.. J . l I .. i ·1 J I -I I 1 . A 'i EVENTS OF THE WEEKEND Friday, Saturday and Sunday, May 16, 17 and 18, 1997. Except wizen noted below all ceremonies and activities are open to tlze public and tickets are not required. Friday, May 16 Noon RESIDENCE HALLS available for check-in to parents 3:15 p.m.- INTERNATIONAL STUDENTS RECEPTION- and guests (Registration and payment required) 4:00 p.m. Hesburgh Center 2:00p.m.- COLLEGE OF ARTS AND LETTERS HONORS 4:10p.m. DEGREE CANDIDATES ASSEMBLE FOR 4:00p.m. CONVOCATION -DeBartolo Hall Auditorium, ACADEMIC PROCESSION FOR THE Room 101 (Reception to follow- Center for BACCALAUREATE MASS -Joyce Center Continuing Education) BA, LW, MA, MS, MBA/MSA, and SC­ Gymnasium above Gate 8; AL, AR, EG, and 6:30p.m. LAWN CONCERT- University Concert Band- Main Plz.D.- Gymnasium above Gate 10. (Degree Building Mall. (Inclement weather location: Band · candidates enter Gate 8 and guests enter Gate 10. Building) Doors open at 3:45p.m.) 6:30p.m.- BUFFET-STYLE DINNER- South Dining Hall 4:30p.m. ACADEMIC PROCESSION FOR 8:00p.m. (Tickets must be purchased in advance) BACCALAUREATE MASS (Cap and gown attire required) 8:00p.m.- GRADUATE SCHOOL RECEPTION- by the Vice 10:00 p.m. President for Graduate Studies and Research, for 5:00p.m.- BACCALAUREATE MASS -Joyce Center­ degree candidates in The Graduate School and their 6:30p.m.
    [Show full text]
  • La Salle College Magazine April 1961 La Salle University
    La Salle University La Salle University Digital Commons La Salle Magazine University Publications 4-1961 La Salle College Magazine April 1961 La Salle University Follow this and additional works at: http://digitalcommons.lasalle.edu/lasalle_magazine Recommended Citation La Salle University, "La Salle College Magazine April 1961" (1961). La Salle Magazine. 193. http://digitalcommons.lasalle.edu/lasalle_magazine/193 This Book is brought to you for free and open access by the University Publications at La Salle University Digital Commons. It has been accepted for inclusion in La Salle Magazine by an authorized administrator of La Salle University Digital Commons. For more information, please contact [email protected]. iAU^k :€ LLEGrteRAR^ fr.-S? y«-- •uj r r 'Tfl If I^ Kl A MAGAZINE FOR ALUMNI, STUDENTS AND FRIENDS OF LA SALLE COLLEGE FENTENNIAL YEAR/ Volume 5, Number 3, April, 1961 1963 Digitized by the Internet Archive in 2011 with funding from LYRASIS members and Sloan Foundation http://www.archive.org/details/lasalle171973unse La Salle VOLUME 5 APRIL, 1961 NUMBER ; 9^ TkU 9^Mue President's Page Joseph L. Hanley, '59 This Is Your Union Editor and La Salle Centenary Fund Director of Alumni Campus Events j Sportsrts . Alumni Spring Reception ! Personal Patter 1 Candidates for Alumni Offices 1 Ralph W. Howard, '60 Graduate Welcome Dance l! Assistant Editor and Director of News Bureau CaUh4iat Annual Glee Club Concert April 19,22, College Union Theatre, 8:30 p.m.—Admission $1.00 ANNUAL ALUMNI SPRING RECEPTION (see advertisement) April Lecture, Dr. Hans Heinrich, German Vice-Counsel April College Union 301, 7:30 p.m.—Admission free Robert S.
    [Show full text]
  • Abstract Model Theory As a Framework for Universal Logic
    J.-Y. Beziau (Ed.), Logica Universalis, 1–33 c 2005 Birkh¨auser Verlag Basel/Switzerland Abstract Model Theory as a Framework for Universal Logic Marta Garc´ıa-Matos and Jouko V¨a¨an¨anen Abstract. We suggest abstract model theory as a framework for universal logic. For this end we present basic concepts of abstract model theory in a general form which covers both classical and non-classical logics. This ap- proach aims at unifying model-theoretic results covering as large a variety of examples as possible, in harmony with the general aim of universal logic. Mathematics Subject Classification (2000). Primary 03C95; Secondary 03B99. Keywords. abstract logic, model theoretic logic. 1. Introduction Universal logic is a general theory of logical structures as they appear in classical logic, intuitionistic logic, modal logic, many-valued logic, relevant logic, paracon- sistent logic, non-monotonic logic, topological logic, etc. The aim is to give general formulations of possible theorems and to determine the domain of validity of im- portant theorems like the Completeness Theorem. Developing universal logic in a coherent uniform framework constitutes quite a challenge. The approach of this paper is to use a semantic approach as a unifying framework. Virtually all logics considered by logicians permit a semantic approach. This is of course most obvious in classical logic and modal logic. In some cases, such as intuitionistic logic, there are philosophical reasons to prefer one semantics over another but the fact remains that a mathematical theory of meaning leads to new insights and clarifications. Researchers may disagree about the merits of a semantic approach: whether it is merely illuminating or indeed primary and above everything else.
    [Show full text]
  • Bellwether 51, Fall/Winter 2001
    Bellwether Magazine Volume 1 Number 51 Fall/Winter 2001 Article 1 Fall 2001 Bellwether 51, Fall/Winter 2001 Follow this and additional works at: https://repository.upenn.edu/bellwether Part of the Veterinary Medicine Commons Recommended Citation (2001) "Bellwether 51, Fall/Winter 2001," Bellwether Magazine: Vol. 1 : No. 51 , Article 1. Available at: https://repository.upenn.edu/bellwether/vol1/iss51/1 This paper is posted at ScholarlyCommons. https://repository.upenn.edu/bellwether/vol1/iss51/1 For more information, please contact [email protected]. No.51 • Fall/Winter 2001 BellwetherTHE NEWSMAGAZINE OF THE UNIVERSITY OF PENNSYLVANIA SCHOOL OF VETERINARY MEDICINE Salmonella Reference Center Keeping Pennsylvania’s Food Supply Safe PagePage 44 InsideInside BellwetherBellwether 5151 22 FromFrom thethe DeanDean 33 TeachingTeaching && Research Research BuildingBuilding NewsNews 77 SpermatogonialSpermatogonial stemstem cellscells modifiedmodified 88 EquineEquine PregnancyPregnancy LossesLosses inin Pa.Pa. 1212MolecularMolecular PathwayPathway ReportedReported 1616“Renaissance”Vet“Renaissance”Vet 1717V.M.D.NotesV.M.D.Notes 2626SpecialSpecial GiftsGifts toto thethe SchoolSchool ® School of Veterinary Medicine UNIVERSITY OF PENNSYLVANIA Ground Zero, page 14 HeadlineA Message from the Dean n articles and letters discussing those com- disease in animal populations to identify and surveillance, prevention, and control measures ponents of our public health system monitor diseases potentially dangerous to man. aimed at highly contagious diseases that threat- Ideployed to contain the now all too real In the case of West Nile virus infection, the dis- en the nation’s livestock and poultry industries. threat of bioterrorism, veterinary medicine is covery of dead birds first alerted authorities to The agents of foot and mouth disease, avian rarely men- the possibility of ensuing human infections influenza, and swine fever, to name a few, if tioned.
    [Show full text]
  • From Consequence Operator to Universal Logic: a Surveyofgeneralabstractlogic
    Logica Universalis Towards a General Theory of Logic Jean-Yves Beziau Editor Birkhäuser Verlag Basel • Boston • Berlin Editor: Jean-Yves Beziau Institute of Logic University of Neuchâtel Espace Louis Agassiz 1 2000 Neuchâtel Switzerland e-mail: [email protected] 2000 Mathematics Subject Classification: Primary 03B22; Secondary 03B50, 03B47, 03C95, 03B53, 03G10, 03B20, 18A15, 03F03, 54H10 A CIP catalogue record for this book is available from the Library of Congress, Washington D.C., USA Bibliographic information published by Die Deutsche Bibliothek Die Deutsche Bibliothek lists this publication in the Deutsche Nationalbibliografie; detailed bibliographic data is available in the Internet at <http://dnb.ddb.de>. ISBN 3-7643-7259-1 Birkhäuser Verlag, Basel – Boston – Berlin This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, re-use of illustrations, recitation, bro- adcasting, reproduction on microfilms or in other ways, and storage in data banks. For any kind of use permission of the copyright owner must be obtained. © 2005 Birkhäuser Verlag, P.O. Box 133, CH-4010 Basel, Switzerland Part of Springer Science+Business Media Printed on acid-free paper produced from chlorine-free pulp. TCF°° Cover design: Micha Lotrovsky, CH-4106 Therwil, Switzerland Printed in Germany ISBN-10: 3-7643-7259-1 ISBN-13: 978-3-7643-7259-0 9 8 7 6 5 4 3 2 1 www.birkhauser.ch Contents Preface ...................................................................
    [Show full text]
  • Coalgebraic Predicate Logic: Equipollence Results and Proof Theory
    Coalgebraic Predicate Logic: Equipollence Results and Proof Theory Tadeusz Litak1?, Dirk Pattinson2, and Katsuhiko Sano3 1 FAU Erlangen-Nurnberg¨ 2 Imperial College London 3 Japan Advanced Institute of Science and Technology Abstract. The recently introduced Coalgebraic Predicate Logic (CPL) provides a general first-order syntax together with extra modal-like operators that are in- terpreted in a coalgebraic setting. The universality of the coalgebraic approach allows us to instantiate the framework to a wide variety of situations, including probabilistic logic, coalition logic or the logic of neighbourhood frames. The last case generalises a logical setup proposed by C.C. Chang in early 1970’s. We provide further evidence of the naturality of this framework. We identify syn- tactically the fragments of CPL corresponding to extended modal formalisms and show that the full CPL is equipollent with coalgebraic hybrid logic with the downarrow binder and the universal modality. Furthermore, we initiate the study of structural proof theory for CPL by providing a sequent calculus and a cut- elimination result. 1 Introduction Coalgebras over sets provide an universal framework for state-based systems, such as (labelled or unlabelled) transition systems, multigraphs, conditional frames, game frames or (monotone and general) neighbourhood frames. They provide a natural se- mantics for a wide range of modal logics, ranging from conditional and probabilistic to coalition logic. The development of a full-blown coalgebraic model and correspon- dence theory is hindered by the lack of a formalism that allows both direct reference to individual states and supports universal quantification and binding: a coalgebraic counterpart of first-order (and higher-order) predicate logic.
    [Show full text]
  • The Interior Operator Logic and Product Topologies by Joseph Sgro1'2
    TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 258, Number 1, March 1980 THE INTERIOR OPERATOR LOGIC AND PRODUCT TOPOLOGIES BY JOSEPH SGRO1'2 Abstract. In this paper we present a model theory of the interior operator on product topologies with continuous functions. The main results are a completeness theorem, an axiomatization of topological groups, and a proof of an interpolation and definability theorem. 0. Introduction and basic results. This paper develops a model theory for L(/")„eú), the interior operator logic, which is analogous to the author's develop- ment for L(Q")n(Eu>, the "open set" quantifier logic, in [16]. The significant difference is that L(I")n(Eu satisfies an interpolation and definability theorem in marked contrast to L(Q")nea. Another contrasting result is an omitting types theorem for L(I")nSa. These results were obtained by the author shortly after the results contained in [16] on L(Qn)nea were proved. More recently, J. A. Makowsky and M. Ziegler have obtained similar results for L(I) using proof theory. In §1 we prove a completeness theorem for L(I")n^<jl. This proof uses the ideas developed for L(Q")neu. We also show that if an L(I")nfEa theory has a Hausdorff topological model then it has a 0-dimensional normal topological model. Another result presented in this section is an axiomatization for the L(I) theory of topological groups. We conclude this paper by presenting a proof of a Robinson joint-consistency theorem for L(I")n(Eo!. This result implies both interpolation and definability.
    [Show full text]
  • Maximal Logics
    PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 63. Number 2, April 1977 MAXIMAL LOGICS JOSEPH SGRO1 Abstract. In this paper we present a general method for producing logics on various classes of models which are maximal with respect to a Los ultraproducts theorem. As a corollary we show that £Top is maximal. We also show that these maximal logics satisfy the Souslin-Kleene property. 0. Introduction. In this paper we will prove that there is a strongest logic for certain classes of models with a Los ultraproduct theorem. The motivation comes from two sources. The first is the area of abstract logic and model theory. P. Lindström first proved that E^ is the strongest logic which satisfies the compactness and Löwenheim-Skolem theorem. K. J. Barwise [B-l] expanded, simplified, and strengthened these results by formu- lating abstract model theory in a category-theoretic framework. The second area is topological model theory. In [S-l] we presented a topological logic using generalized quantifiers. This logic is formed by adding a quantifier symbol Qx to £uu, denoted by £(Q), where the interpretation of Qx<b(x) is that the set defined by c>(x) is "open". Another logic, denoted by £(ö")„Ew' ls f°rmed by adding Q"xx, ..., xn for each n so that the interpre- tation of Q"xx, ..., xn$(xx,... ,xn) is that the set defined by <p(xi,... ,xn) is "open in the /ith product topology". However, they are not the strongest logics even though they both satisfy the compactness and Löwenheim-Skolem theorems. More recently, S.
    [Show full text]
  • 2010 Spring/Summer
    Volume 8 — Spring/Summer 2010 blue banner Centre for the Arts “...those who dared to dream” Career Day off to a Flying Start with Porter Airlines President & CEO Robert Deluce ’68 Toronto to Torino and Back Sergio Marchionne ’71 “We ran that town” Brian Bannan ’96 St. Michael’s College School blue banner The St. Michael’s College School Alumni Magazine, Blue Banner, is published two times per year. It reflects the history, accomplishments and stories of graduates and its purpose is to promote collegiality, respect and Christian values under the direction of the Basilian Fathers. President: Fr. Joseph Redican, C.S.B. Editor: Joe Younder ’56 Co-editor: Michael De Pellegrin ’94 Tel: 416-653-3180 ext. 292 e-mail: [email protected] Fax: 416-653-8789 alumni e-mail: [email protected] Canada Publications Mail Agreement #40006997 Contributing Editors Martin Story, Patrick Della Rocca ’85, Brian Bannan ’96, Ardo Gidaro ’70, Tom Flavin ’84, Dan Prendergast, Chris Bingham ’83 Alumni Executive 2009–10 Joshua Colle ’92 Pesident Romeo Milano ’81 Past President Marc Montemurro ’93 1st Vice President Frank Di Nino ’80 2nd Vice President John Sinclair ’79 Treasurer John O’Neill ’86 Secretary Directors: John Gouett ’58 Art Rubino ’81 Rui De Sousa ’88 Paul Thomson ’65 Peter Thurton ’81 Michael Plonka ’98 Ron Clarkin ’75 Sal Tassone ’83 Andrew Gidaro ’02 Domenic De Luca ’76 Chris Bingham ’83 Grant Gonzales ’07 Dominic Montemurro ’78 Mark Myers ’85 Past Presidents Romeo Milano, Peter Thurton, Denis Caponi Jr., Rob Grossi, Paul Grossi, Daniel Brennan, John McCusker, William Metzler, John Bonvivere (Deceased), Michael Duffy, Ross Robertson, William Rosenitsch, Paul Thomson, John G.
    [Show full text]
  • Iasinstitute for Advanced Study
    S10-02124_IAS_AR_COV.qxp:Layout 2 1/25/10 9:27 AM Page 1 I n s t i t u Institute for Advanced Study t e f o r A d v a n c IAS e d S t u d y R e INSTITUTE FOR ADVANCED STUDY p o EINSTEIN DRIVE r PRINCETON, NEW JERSEY 08540 t f (609) 734-8000 o r www.ias.edu 2 0 0 8 – 2 0 0 9 Report for the Academic Year 2008–2009 S10-02124_IAS_AR_COV.qxp:Layout 2 1/20/10 7:25 AM Page 2 t is fundamental in our purpose, and our express I. desire, that in the appointments to the staff and faculty as well as in the admission of workers and students, no account shall be taken, directly or indirectly, of race, religion, or sex. We feel strongly that the spirit characteristic of America at its noblest, above all the pursuit of higher learning, cannot admit of any conditions as to personnel other than those designed to promote the objects for which this institution is established, and particularly with no regard whatever to accidents of race, creed, or sex. Extract from the letter addressed by the Institute’s Founders, Louis Bamberger and Caroline Bamberger Fuld, to the first Board of Trustees, dated June 4, 1930 Newark, New Jersey Cover: The Institute community gathers for After Hours Conversations, an evening of interdisciplinary discussion. Photo: Bentley Drezner S10-02124_IAS_AR_TXT.qxp:Layout 2 1/20/10 7:39 AM Page 1 The Institute for Advanced Study exists to encourage and support fundamental research in the sciences and humanities—the original, often speculative, thinking that produces advances in knowledge that change the way we understand the world.
    [Show full text]