Art and Information
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
August 2018 FACS a C T S
Issue 2018-1 August 2018 FACS A C T S The Newsletter of the Formal Aspects of Computing Science (FACS) Specialist Group ISSN 0950-1231 FACS FACTS Issue 2018-1 August 2018 About FACS FACTS FACS FACTS (ISSN: 0950-1231) is the newsletter of the BCS Specialist Group on Formal Aspects of Computing Science (FACS). FACS FACTS is distributed in electronic form to all FACS members. Submissions to FACS FACTS are always welcome. Please visit the newsletter area of the BCS FACS website for further details at: http://www.bcs.org/category/12461 Back issues of FACS FACTS are available for download from: http://www.bcs.org/content/conWebDoc/33135 The FACS FACTS Team Newsletter Editors Tim Denvir [email protected] Brian Monahan [email protected] Editorial Team Jonathan Bowen, John Cooke, Tim Denvir, Brian Monahan, Margaret West. Contributors to this issue Jonathan Bowen, John Cooke, Tim Denvir, Sofia Meacham. Brian Monahan, Bill Stoddart, Botond Virginas, Margaret West BCS-FACS websites BCS: http://www.bcs-facs.org LinkedIn: http://www.linkedin.com/groups?gid=2427579 Facebook: http://www.facebook.com/pages/BCS-FACS/120243984688255 Wikipedia: http://en.wikipedia.org/wiki/BCS-FACS If you have any questions about BCS-FACS, please send these to Paul Boca [email protected] 2 FACS FACTS Issue 2018-1 August 2018 Editorial Dear readers, welcome to our first issue of FACS FACTS for 2018. This year, 2018, marks the 40th anniversary of FACS. At least one editor recalls an article by Dan Simpson, member of the editorial team at the time, FACS at 10 in 1988. -
Online Communities: Visualization and Formalization
Online Communities: Visualization and Formalization Jonathan P. Bowen Museophile Limited, Oxford, UK [email protected] www.jpbowen.com Abstract. Online communities have increased in size and importance dramat- ically over the last decade. The fact that many communities are online means that it is possible to extract information about these communities and the con- nections between their members much more easily using software tools, despite their potentially very large size. The links between members of the community can be presented visually and often this can make patterns in the structure of sub-communities immediately obvious. The links and structures of layered com- munities can also be formalized to gain a better understanding of their modelling. This paper explores these links with some specific examples, including visualiza- tion of these relationships and a formalized model of communities using the Z notation. It also considers the development of such communities within the Com- munity of Practice social science framework. Such approaches may be applicable for communities associated with cybersecurity and could be combined for a better understanding of their development. 1 Introduction The development of collective human knowledge has always depended on communities. As communities have become more computer-based, it has become easier to monitor the activity of such interactions [7]. Recently the increasing use of online communities by the wider population (e.g., for social networking) has augmented the ways that com- munities can form and interact since geographical co-location is now much less critical than before the development of the Internet and the web [1,2]. -
Facing the Challenge of Automated Negotiation with Humans
Facing the Challenge of Automated Negotiation with Humans A dissertation submitted by Angela Fabregues Vinent at Universitat Aut`onomade Barcelona to fulfill the degree of PhD in Computer Science. Bellaterra, September 18th, 2012 Director: Prof. Carles Sierra Tutor: Dr. Josep Puyol Elaborated at: Institut d’ Investigaci´o en Intel·lig`encia Artificial Consejo Superior de Investigaciones Cient´ıficas (IIIA-CSIC) Acknowledgements Voldria agrair a molta gent el temps que ha compartit amb mi aquests darrers anys corresponents a la realitzaciod'aquesta tesi doctoral. Especialment, voldria donar les graciesa en Juan Carlos. Sempre m'has acompanyat. Sempre m'has ajudat. Sempre has estat allaquan t'he necessitat, ja fossis al meu costat o a milles enfora. Ara que nos veim cada dia, esper no te cansis de jo. T'estim! Molts coneixements previs he hagut de menester. Molts altres els he adquirit pel cam.L'escola, l'institut, la carrera i el mastera l'IIIA m'han aportat molts d'ells. Tambeel meu pas per l'empresa privada, per tot arreu s'apren. Els valors, en canvi, s'aprenen a casa. Els vaig aprendre a Menorca graciesals meus pares i tambeals meus germans. Papa! Mama! Me vau donar una infanciaimpressionant, envoltada d'un entorn ple de coses per experimentar sentint-me segura i protegida. Me vau deixar creixer,que formessa meva propia personalitat, que anesagafant responsabilitats, i que fos lliure de decidir per jo mateixa lo que ningumespodia decidir. Vau conar en jo i me vau nancar els estudis a Barcelona. Casi res! Moltes graciesper tot. Bep, amb tu vaig aprendre a enraonar, a donar mil voltes a ses coses i a poder veure-les des de diferents punts de vista. -
Engineering Trustcom/Bigdatase 2018
2018 17th IEEE International Conference on Trust, Security and Privacy in Computing and Communications/ 12th IEEE International Conference on Big Data Science and Engineering (TrustCom/BigDataSE 2018) New York, New York, USA 31 July - 3 August 2018 Pages 1-650 IEEE Catalog Number: CFP18TRU-POD ISBN: 978-1-5386-4389-1 1/3 Copyright © 2018 by the Institute of Electrical and Electronics Engineers, Inc. All Rights Reserved Copyright and Reprint Permissions: Abstracting is permitted with credit to the source. Libraries are permitted to photocopy beyond the limit of U.S. copyright law for private use of patrons those articles in this volume that carry a code at the bottom of the first page, provided the per-copy fee indicated in the code is paid through Copyright Clearance Center, 222 Rosewood Drive, Danvers, MA 01923. For other copying, reprint or republication permission, write to IEEE Copyrights Manager, IEEE Service Center, 445 Hoes Lane, Piscataway, NJ 08854. All rights reserved. *** This is a print representation of what appears in the IEEE Digital Library. Some format issues inherent in the e-media version may also appear in this print version. IEEE Catalog Number: CFP18TRU-POD ISBN (Print-On-Demand): 978-1-5386-4389-1 ISBN (Online): 978-1-5386-4388-4 ISSN: 2324-898X Additional Copies of This Publication Are Available From: Curran Associates, Inc 57 Morehouse Lane Red Hook, NY 12571 USA Phone: (845) 758-0400 Fax: (845) 758-2633 E-mail: [email protected] Web: www.proceedings.com 2018 17th IEEE International Conference On Trust, Security -
Towards Verified Systems
TOWARDS VERIFIED SYSTEMS edited by Jonathan Bowen TOWARDS VERIFIED SYSTEMS edited by Jonathan Bow en safemos i This page delib erately left blank for publisher's use ii This page delib erately left blank for publisher's use iii This page delib erately left blank for publisher's use iv This page delib erately left blank for publisher's use Contents Foreword xvii Preface xix Contact Addresses xxiii I Intro duction 1 1 Safety-Critical Systems and Formal Metho ds 3 1.1 A Brief Historical Persp ective ::::::::::::::::::::::::: 3 1.2 Safety-critical Computer Systems ::::::::::::::::::::::: 5 1.2.1 Dep endable computer systems :: :: :: :: :: ::: :: :: :: :: 6 1.2.2 Formal metho ds ::::::::::::::::::::::::::::: 7 1.2.3 The cost of software safety ::::::::::::::::::::::: 9 1.3 Industrial-scale Examples of Use :: ::: :: :: :: :: ::: :: :: :: :: 11 1.3.1 Aviation ::::::::::::::::::::::::::::::::: 12 1.3.2 Railway systems :: :: :: ::: :: :: :: :: ::: :: :: :: :: 13 1.3.3 Nuclear p ower plants :: :: ::: :: :: :: :: ::: :: :: :: :: 13 1.3.4 Medical systems ::::::::::::::::::::::::::::: 14 1.3.5 Ammunition control :: :: ::: :: :: :: :: ::: :: :: :: :: 16 1.3.6 Emb edded micropro cessors ::::::::::::::::::::::: 17 1.4 Areas of Application of Formal Metho ds :: :: :: :: ::: :: :: :: :: 18 1.4.1 Requirements capture ::::::::::::::::::::::::: 19 1.4.2 Design : ::: :: :: :: :: ::: :: :: :: :: ::: :: :: :: :: 19 1.4.3 Compilation ::::::::::::::::::::::::::::::: 20 1.4.4 Programmable hardware :: ::: :: :: :: :: ::: :: :: :: :: 21 1.4.5 Do cumentation ::::::::::::::::::::::::::::: -
PROGRAM SESSIONS Madison Suite, 2Nd Floor, Hilton New York Chairs: Karen K
Wednesday the Afterlife of Cubism PROGrAM SeSSIONS Madison Suite, 2nd Floor, Hilton New York Chairs: Karen K. Butler, Mildred Lane Kemper Art Museum, Wednesday, February 9 Washington University in St. Louis; Paul Galvez, University of Texas, Dallas 7:30–9:00 AM European Cubism and Parisian Exceptionalism: The Cubist Art Historians Interested in Pedagogy and Technology Epoch Revisited business Meeting David Cottington, Kingston University, London Gibson Room, 2nd Floor Reading Juan Gris Harry Cooper, National Gallery of Art Wednesday, February 9 At War with Abstraction: Léger’s Cubism in the 1920s Megan Heuer, Princeton University 9:30 AM–12:00 PM Sonia Delaunay-Terk and the Culture of Cubism exhibiting the renaissance, 1850–1950 Alexandra Schwartz, Montclair Art Museum Clinton Suite, 2nd Floor, Hilton New York The Beholder before the Picture: Miró after Cubism Chairs: Cristelle Baskins, Tufts University; Alan Chong, Asian Charles Palermo, College of William and Mary Civilizations Museum World’s Fairs and the Renaissance Revival in Furniture, 1851–1878 Series and Sequence: the fine Art print folio and David Raizman, Drexel University Artist’s book as Sites of inquiry Exhibiting Spain at the Chicago Columbian Exposition of 1893 Petit Trianon, 3rd Floor, Hilton New York M. Elizabeth Boone, University of Alberta Chair: Paul Coldwell, University of the Arts London The Rétrospective and the Renaissance: Changing Views of the Past Reading and Repetition in Henri Matisse’s Livres d’artiste at the Paris Expositions Universelles Kathryn Brown, Tilburg University Virginia Brilliant, John and Mable Ringling Museum of Art Hey There, Kitty-Cat: Thinking through Seriality in Warhol’s Early The Italian Exhibition at Burlington House Artist’s Books Andrée Hayum, Fordham University Emerita Lucy Mulroney, University of Rochester Falling Apart: Fred Sandback at the Kunstraum Munich Edward A. -
Current Issue of FACS FACTS
Issue 2021-2 July 2021 FACS A C T S The Newsletter of the Formal Aspects of Computing Science (FACS) Specialist Group ISSN 0950-1231 FACS FACTS Issue 2021-2 July 2021 About FACS FACTS FACS FACTS (ISSN: 0950-1231) is the newsletter of the BCS Specialist Group on Formal Aspects of Computing Science (FACS). FACS FACTS is distributed in electronic form to all FACS members. Submissions to FACS FACTS are always welcome. Please visit the newsletter area of the BCS FACS website for further details at: https://www.bcs.org/membership/member-communities/facs-formal-aspects- of-computing-science-group/newsletters/ Back issues of FACS FACTS are available for download from: https://www.bcs.org/membership/member-communities/facs-formal-aspects- of-computing-science-group/newsletters/back-issues-of-facs-facts/ The FACS FACTS Team Newsletter Editors Tim Denvir [email protected] Brian Monahan [email protected] Editorial Team: Jonathan Bowen, John Cooke, Tim Denvir, Brian Monahan, Margaret West. Contributors to this issue: Jonathan Bowen, Andrew Johnstone, Keith Lines, Brian Monahan, John Tucker, Glynn Winskel BCS-FACS websites BCS: http://www.bcs-facs.org LinkedIn: https://www.linkedin.com/groups/2427579/ Facebook: http://www.facebook.com/pages/BCS-FACS/120243984688255 Wikipedia: http://en.wikipedia.org/wiki/BCS-FACS If you have any questions about BCS-FACS, please send these to Jonathan Bowen at [email protected]. 2 FACS FACTS Issue 2021-2 July 2021 Editorial Dear readers, Welcome to the 2021-2 issue of the FACS FACTS Newsletter. A theme for this issue is suggested by the thought that it is just over 50 years since the birth of Domain Theory1. -
1 Publications
1 Publications Chronological list [1] Martin Fränzle. Verification of compilers for recursive occam-like languages. ProCoS Technical Report Kiel MF 8/1, Christian-Albrechts-Universität Kiel, Germany, 1990. [2] Martin Fränzle. Operational failure approximation. In Dines Bjørner, Hans Langmaack, and C. A. R. Hoare, editors, Monograph of the ESPRIT BRA 3104 ProCoS (Provably Correct Systems), pages 165–206. Technical Report, Dept. of Computer Science, Technical University of Denmark, 1992. [3] B. Buth, K.-H. Buth, M. Fränzle, B. von Karger, Y. Lakhneche, H. Langmaack, and M. Müller- Olm. Provably correct compiler development and implementation. In U. Kastens and P. Pfahler, editors, Compiler Construction, volume 641 of Lecture Notes in Computer Science, pages 141–155. Springer-Verlag, 1992. [4] Jonathan P. Bowen, Martin Fränzle, Ernst-Rüdiger Olderog, and Anders P. Ravn. Developing correct systems. In Proc. 5th Euromicro Workshop on Real-Time Systems, Oulu, Finland, pages 176–189. IEEE Computer Society Press, June 1993. [5] Martin Fränzle and Markus Müller-Olm. Drift and granularity of time in real-time system implementation. ProCoS Technical Report Kiel MF 10/2, Christian-Albrechts-Universität Kiel, Germany, August 1993. [6] Martin Fränzle and Burghard von Karger. Proposal for a programming language core for ProCoS II. ProCoS Technical Report Kiel MF 11/3, Christian-Albrechts-Universität Kiel, Ger- many, August 1993. [7] M. R. Hansen, E.-R. Olderog, M. Schenke, M. Fränzle, B. von Karger, M. Müller-Olm, and H. Rischel. A Duration Calculus semantics for real-time reactive systems. ProCoS II document [OLD MRH 1/1], Oldenburg Universität, Germany, September 1993. [8] Martin Fränzle and Markus Müller-Olm. -
Bulletin 103.Pub
www.aah.org.uk For information on advertising,BULLETIN membership and distribution contact: AAH Administrator, 70 Cowcross Street, London EC1M 6EJ Tel: 020 7490 3211; Fax: 020 7490 3277; <[email protected]> 103 Editor: Jannet King, 48 Stafford Road, Brighton BN1 5PF <[email protected]> FEB 2010 A NEW DESIGN FOR ART HISTORY ssue 1 of volume 33, scheduled for publication this THE SEARCH FOR A DESIGNER I February, will see the first comprehensive redesign of With these thoughts in mind, we were fortunate enough Art History since its launch in 1978. This radical act is not to have the immediate and enthusiastic support of both intended to signal revolution, but it is an the AAH Executive and the publishers, Wiley-Blackwell, acknowledgement that times have moved on in the in tackling the rather forbidding task of redesigning more than 30 years since the first design. Publishing such an established and successful format. Christine technology now allows a far richer range of possibilities Riding’s role as a curator at Tate has given her than was the case in the late 1970s. Colour reproduction, considerable experience in working with professional the size and detail of images, the variety of layouts, all designers and in assembling and designing exhibition are vastly greater in comparison. Looking at the catalogues. Christine led the initiative to find appearance of recent volumes we began to see that the professional designers we could work with productively distance that had opened up between this potent array and, ably assisted by Sam Bibby, she has run the of choices and the existing format of the journal, and campaign to produce the new design that is being which seemed to be widening almost by the month, was launched with issue 33.1. -
August 2014 FACS a C T S
Issue 2014-1 August 2014 FACS A C T S The Newsletter of the Formal Aspects of Computing Science (FACS) Specialist Group ISSN 0950-1231 FACS FACTS Issue 2014-1 August 2014 About FACS FACTS FACS FACTS (ISSN: 0950-1231) is the newsletter of the BCS Specialist Group on Formal Aspects of Computing Science (FACS). FACS FACTS is distributed in electronic form to all FACS members. Submissions to FACS FACTS are always welcome. Please visit the newsletter area of the BCS FACS website for further details (see http://www.bcs.org/category/12461). Back issues of FACS FACTS are available for download from: http://www.bcs.org/content/conWebDoc/33135 The FACS FACTS Team Newsletter Editors Tim Denvir [email protected] Brian Monahan [email protected] Editorial Team Jonathan Bowen, Tim Denvir. Brian Monahan, Margaret West. Contributors to this Issue Jonathan Bowen, Tim Denvir, Eerke Boiten, Rob Heirons, Azalea Raad, Andrew Robinson. BCS-FACS websites BCS: http://www.bcs-facs.org LinkedIn: http://www.linkedin.com/groups?gid=2427579 Facebook: http://www.facebook.com/pages/BCS- FACS/120243984688255 Wikipedia: http://en.wikipedia.org/wiki/BCS-FACS If you have any questions about BCS-FACS, please send these to Paul Boca <[email protected]> 2 FACS FACTS Issue 2014-1 August 2014 Editorial Welcome to issue 2014-1 of FACS FACTS. This is the first issue produced by your new joint editors, Tim Denvir and Brian Monahan. One effect of the maturity of formal methods is that researchers in the topic regularly grow old and expire. Rather than fill the issue with Obituaries, we have taken the course of reporting on most of these sad events in brief, with references to fuller obituaries that can be found elsewhere, in particular in the FAC Journal. -
Digital Senses and Aesthetics, Merging Art and Life
DOI: http://dx.doi.org/10.14236/ewic/EVA2017.1 Coded Communication: Digital Senses and Aesthetics, Merging Art and Life Jonathan P. Bowen Tula Giannini Gareth Polmeer London South Bank University Pratt Institute Royal College of Art School of Engineering School of Information School of Humanities London, UK New York, USA London, UK http://www.jpbowen.com http://mysite.pratt.edu/~giannini/ http://www.garethpolmeer.com [email protected] [email protected] [email protected] This one-day symposium framed several central questions in digital practice and digital theory, examining historical and contemporary themes across art, science and the humanities. Art has been transformed by the digital age, changing the tools and processes of practice, moving to digital expressions and digital seeing. These changes are balanced by the recurrent questions of the human condition, and of the ways that art both defines and transcends its time. In what ways does digital art address the social, cultural and historical debates of this time, without being simply determined by its technologies? And how can emergent disciplines around digital aesthetics and the digital humanities converse with the work of artists, innovators and technologists? In what ways does the new digital palette afforded by contemporary media open new ways of seeing, sensing and understanding the world? The symposium organisers invited a range of artists and theorists to discuss these themes, framed in the broader contexts of electronic visualisation and digital art of the EVA London conference. Digital aesthetics. Digital art. Digital culture. Digital humanities. Digitalism. 1. INTRODUCTION 2. PROGRAMME This day-long Pre-conference Symposium of Douglas Dodds, Victoria & Albert Museum (V&A), keynote talks and invited talks follows on from the London, UK first EVA London Pre-conference held in 2016 (Bowen & Giannini 2016). -
Art and Information Come High Resolution Photography to Digitise Museum Together to Convey Content, Meaning and Narrative
http://dx.doi.org/10.14236/ewic/EVA2018.34 Of Museums and Digital Culture: A landscape view Tula Giannini Jonathan P. Bowen Professor of Information Professor of Computing School of Information School of Engineering Pratt Institute London South Bank University New York, USA London, UK http://mysite.pratt.edu/~giannini/ http://www.jpbowen.com [email protected] [email protected] A book on Museums and Digital Culture, edited by the two authors of this paper, is planned for publication in 2019. The book is structured in ten parts, typically with around three contributed chapters in each part. This paper will survey each of these areas to provide a landscape view of the overall topic, together with some personal conclusions and views on future directions by the authors. What distinguishes this museum book from others, is its focus on digital culture and art, digital behaviour, and the interaction of real and virtual life, and how this increasingly impacts museums as they move into the future. We trace the development of digital culture from its foundations in the 1940s with the work of Shannon, inventor of information theory and Turing, father of computer science, to present. A key concept is to bring diverse perspectives and voices on the 21st century museum, from inside and beyond the museum walls, of artists, academics, and professionals, as museums transform into the digital future. Archives. Digital art. Digital culture. Digital heritage. Exhibitions. GLAM. Libraries. Museums. Philosophy. Strategy. mind, a new book (Giannini & Bowen 2019) is 1. BACKGROUND planned to cover the interleaving of museums and digital culture with respect to a number of different I’m going online aspects and viewpoints.