Bowen, Jonathan P; Giannini, Tula; Ara, Rachel; Lomas, Andy and Siefring, Judith
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]. -
On Hybrid Creativity
arts Article On Hybrid Creativity Andy Lomas ID Department of Computing, Goldsmiths College, University of London, London SE14 6NW, UK; [email protected] Received: 2 May 2018; Accepted: 5 July 2018; Published: 9 July 2018 Abstract: This article reviews the development of the author’s computational art practice, where the computer is used both as a device that provides the medium for generation of art (‘computer as art’) as well as acting actively as an assistant in the process of creating art (‘computer as artist’s assistant’), helping explore the space of possibilities afforded by generative systems. Drawing analogies with Kasparov’s Advanced Chess and the deliberate development of unstable aircraft using fly-by-wire technology, the article argues for a collaborative relationship with the computer that can free the artist to more fearlessly engage with the challenges of working with emergent systems that exhibit complex unpredictable behavior. The article also describes ‘Species Explorer’, the system the author has created in response to these challenges to assist exploration of the possibilities afforded by parametrically driven generative systems. This system provides a framework to allow the user to use a number of different techniques to explore new parameter combinations, including genetic algorithms, and machine learning methods. As the system learns the artist’s preferences the relationship with the computer can be considered to change from one of assistance to collaboration. Keywords: art; computer; evolutionary design; machine learning; computationally assisted design 1. Introduction How are we to work creatively with generative systems that computationally create results? In particular, how should we work with systems deliberately designed to encourage emergence: complex systems where results are intrinsically difficult to predict? There is a strong analogy with plant breeding, where we are working with a medium that is naturally rich. -
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 ::::::::::::::::::::::::::::: -
London Design Festival 14–22 September 2019 Londondesignfestival.Com #Ldf19 the Guide
THE GUIDE LONDON DESIGN FESTIVAL 14–22 SEPTEMBER 2019 LONDONDESIGNFESTIVAL.COM #LDF19 MASTER OF MATERIALS RADO.COM RADO TRUE THINLINE STUDS DESIGNED IN COLLABORATION WITH BRITISH DESIGNER BETHAN GRAY. Welcome to the official London Design Festival We hope you enjoy the 17th edition, and do share Guide. The Festival celebrates and promotes your images with us, tagging in @l_d_f_official London as the design capital of the world, and as the gateway to the international design community. Download My Festival at londondesignfestival.com/myfestival MAIN PARTNER The Guide, along with the official My Festival app, is here to help you find your way around all Festival projects and events across the city. #LDF19 VOTE FOR YOUR FAVOURITE SHORTLISTED ENTRY AT THE RADO EXHIBITION DURING DESIGNJUNCTION, 2 LONDONDESIGNFESTIVAL.COM19TH - 22ND SEPTEMBER#LDF19 2019. SEE THE PROJECTS AT radostarprize.rado.com/uk/finalists 3 BECCA 2 LONDONDESIGNFESTIVAL.COM #LDF19 TERRY CREWS 3 BeccaRed_LDFGuide_DPS_062019.indd All Pages 6/20/19 11:20 AM WELCOME CHAIRMAN DIRECTOR SIR JOHN SORRELL CBE BEN EVANS CBE Welcome to the 17th edition of London Design London is a big place. It is why, for a number Festival, which celebrates innovative and exciting of years, we have been encouraging different thinking by an international design community districts to set up their own design programmes. driven by a positive and creative attitude. Thanks This year there are 11 different Design Districts – to its scale, the Festival explores a huge diversity Bankside, Brompton, Chelsea, Clerkenwell, of design disciplines and talent and reaches into King’s Cross, Marylebone, Mayfair, Pimlico, the far corners of the world’s creative capital. -
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. -
New Media Art Between Communities and Professional Practice
TRANSFORMATIONS: New media art between communities and professional practice Oliver Mag. Gingrich Aphra Shemza Maria Almena ART IN FLUX ART IN FLUX ART IN FLUX London, UK London, UK London, UK [email protected] [email protected] [email protected] Media Arts has long been regarded as a niche within the contemporary art discourse, secluded from the art market and from the public alike. As technology becomes more accessible, these former boundaries erode. While the art market slowly starts to embrace new media artists, local communities show a renewed interest in the power of technologically-facilitated art, due to its participatory nature. How do professional media artists make a living outside of the constraints of the contemporary art market? How can local communities and the public profit from media art? Media Art. Networks. ART IN FLUX. Community Art. Community Engagement. 1. INTRODUCTION of contemporary art, as well as the educational potential of media arts for local communities. Over the last 4 years ART IN FLUX has provided a major platform for media artists in the UK. What started as a platform by artists for artists, turned into public-facing activities that involve the general public as much as local communities. In recent years, ART IN FLUX developed workshops that invited local residents in North Kensington to work together on a collaborative digital art piece in the project AYAH - Sign. ART IN FLUX orchestrated workshops with Stuart Batchelor that were shown at ACAVA’s Maxilla Space, before they were offered to the general public at the V&A Museum. This year, ART IN FLUX is on the cusp of developing a workshop series that draws from the experience of media arts practitioners, while applying the model of participatory practices to workshops. -
Proposal for Science, Imagination, and the Illustration of Knowledge
University of Dundee A Sketch of the Universe - the Visual Influences of D'Arcy Thompson's On Growth and Form Jarron, Matthew Published in: Journal of Illustration Publication date: 2015 Document Version Peer reviewed version Link to publication in Discovery Research Portal Citation for published version (APA): Jarron, M. (2015). A Sketch of the Universe - the Visual Influences of D'Arcy Thompson's On Growth and Form. Journal of Illustration, 2(1), 31-50. General rights Copyright and moral rights for the publications made accessible in Discovery Research Portal are retained by the authors and/or other copyright owners and it is a condition of accessing publications that users recognise and abide by the legal requirements associated with these rights. • Users may download and print one copy of any publication from Discovery Research Portal for the purpose of private study or research. • You may not further distribute the material or use it for any profit-making activity or commercial gain. • You may freely distribute the URL identifying the publication in the public portal. Take down policy If you believe that this document breaches copyright please contact us providing details, and we will remove access to the work immediately and investigate your claim. Download date: 29. Sep. 2021 A Sketch of the Universe – the Visual Influences of D’Arcy Thompson’s On Growth and Form Matthew Jarron, University of Dundee Abstract D’Arcy Thompson’s ground-breaking book On Growth and Form (1917) pioneered the science of mathematical biology. Its literary qualities have been frequently commented upon but arguably more influential have been its illustrations, particularly the famous transformation diagrams. -
Transformations: New Media Art Between Communities and Professional Practice
http://dx.doi.org/10.14236/ewic/EVA2020.34 Transformations: New media art between communities and professional practice Oliver Mag Gingrich Aphra Shemza Maria Almena Art in Flux Art in Flux Art in Flux London, UK London, UK London, UK [email protected] [email protected] [email protected] Media Arts has long been regarded as a niche within the contemporary art discourse, secluded from the art market and from the public alike. As technology becomes more accessible, these former boundaries erode. While the art market slowly starts to embrace new media artists, local communities show a renewed interest in the power of technologically-facilitated art, due to its participatory nature. How do professional media artists make a living outside of the constraints of the contemporary art market? How can local communities and the public profit from media art? Media art. Networks. Art in Flux. Community art. Community engagement. 1. INTRODUCTION Over the last 4 years ART IN FLUX has provided a major platform for media artists in the UK. What started as a platform by artists for artists, turned into public-facing activities that involve the general public as much as local communities. In recent years, ART IN FLUX developed workshops that invited local residents in North Kensington to work together on a collaborative digital art piece in the project AYAH – Sign. ART IN FLUX orchestrated workshops with Stuart Batchelor that were shown at ACAVA’s Maxilla Space, before they were offered to the general public at the V&A Museum. This year, ART IN FLUX is on the cusp of developing a workshop series that draws from the experience of media arts practitioners, while applying the model of participatory practices to workshops. -
Katana 1.6V3 Technical Guide
TECHNICAL GUIDE VERSION 1.6v3 Katana™ Technical Guide. Copyright © 2014 The Foundry Visionmongers Ltd. All Rights Reserved. Use of this Technical Guide and the Katana software is subject to an End User License Agreement (the "EULA"), the terms of which are incorporated herein by reference. This Technical Guide and the Katana software may be used or copied only in accordance with the terms of the EULA. This Technical Guide, the Katana software and all intellectual property rights relating thereto are and shall remain the sole property of The Foundry Visionmongers Ltd. ("The Foundry") and/or The Foundry's licensors. The EULA can be read in the Katana User Guide. The Foundry assumes no responsibility or liability for any errors or inaccuracies that may appear in this Technical Guide and this Technical Guide is subject to change without notice. The content of this Technical Guide is furnished for informational use only. Except as permitted by the EULA, no part of this Technical Guide may be reproduced, stored in a retrieval system or transmitted, in any form or by any means, electronic, mechanical, recording or otherwise, without the prior written permission of The Foundry. To the extent that the EULA authorizes the making of copies of this Technical Guide, such copies shall be reproduced with all copyright, trademark and other proprietary rights notices included herein. The EULA expressly prohibits any action that could adversely affect the property rights of The Foundry and/or The Foundry's licensors, including, but not limited to, the removal of the following (or any other copyright, trademark or other proprietary rights notice included herein): Katana™ software © 2014 The Foundry Visionmongers Ltd.