Showing 1–16 of 16 results for author: Bowen, P

Analog, In-memory Compute Architectures for Artificial Intelligence

Authors: Patrick Bowen, Guy Regev, Nir Regev, Bruno Pedroni, Edward Hanson, Yiran Chen

Abstract: This paper presents an analysis of the fundamental limits on energy efficiency in both digital and analog in-memory computing architectures, and compares their performance to single instruction, single data (scalar) machines specifically in the context of machine inference. The focus of the analysis is on how efficiency scales with the size, arithmetic intensity, and bit precision of the computati… ▽ More This paper presents an analysis of the fundamental limits on energy efficiency in both digital and analog in-memory computing architectures, and compares their performance to single instruction, single data (scalar) machines specifically in the context of machine inference. The focus of the analysis is on how efficiency scales with the size, arithmetic intensity, and bit precision of the computation to be performed. It is shown that analog, in-memory computing architectures can approach arbitrarily high energy efficiency as both the problem size and processor size scales. △ Less

Submitted 13 January, 2023; originally announced February 2023.

Comments: 17 pages, 10 figures

(Un)Encrypted Computing and Indistinguishability Obfuscation

Authors: Peter T. Breuer, Jonathan P. Bowen

Abstract: This paper first describes an `obfuscating' compiler technology developed for encrypted computing, then examines if the trivial case without encryption produces much-sought indistinguishability obfuscation. This paper first describes an `obfuscating' compiler technology developed for encrypted computing, then examines if the trivial case without encryption produces much-sought indistinguishability obfuscation. △ Less

Submitted 29 November, 2018; originally announced November 2018.

Comments: 2 pages, extended abstract for Principles of Secure Compilation (PriSC'19) at Principles of Programming Languages (POPL'19), Lisbon 2019

Provably Correct Systems: Community, connections, and citations

Authors: Jonathan P. Bowen

Abstract: The original European ESPRIT ProCoS I and II projects on Provably Correct Systems} took place around a quarter of a century ago. Since then the legacy of the initiative has spawned many researchers with careers in formal methods. One of the leaders on the ProCoS projects was Ernst-Rüdiger Olderog. This paper charts the influence of the ProCoS projects and the subsequent ProCoS-WG Working Group, us… ▽ More The original European ESPRIT ProCoS I and II projects on Provably Correct Systems} took place around a quarter of a century ago. Since then the legacy of the initiative has spawned many researchers with careers in formal methods. One of the leaders on the ProCoS projects was Ernst-Rüdiger Olderog. This paper charts the influence of the ProCoS projects and the subsequent ProCoS-WG Working Group, using Prof. Dr Olderog as an example. The community of researchers surrounding an initiative such as ProCoS is considered in the context of the social science concept of a Community of Practice (CoP) and the collaborations undertaken through coauthorship of and citations to publications. Consideration of citation metrics is also included. △ Less

Submitted 24 September, 2015; v1 submitted 5 September, 2015; originally announced September 2015.

Comments: 15 pages, 4 figures. Presented at Festschrift for Prof. Dr Ernst-Rüdiger Olderog, University of Oldenburg, Germany, 8-9 September 2015

ACM Class: D.2.4; D.2.8; F.4.1; I.2.4; J.4; K.2

On the Security of Fully Homomorphic Encryption and Encrypted Computing: Is Division safe?

Authors: Peter T. Breuer, Jonathan P. Bowen

Abstract: Since fully homomorphic encryption and homomorphically encrypted computing preserve algebraic identities such as 2*2=2+2, a natural question is whether this extremely utilitarian feature also sets up cryptographic attacks that use the encrypted arithmetic operators to generate or identify the encryptions of known constants. In particular, software or hardware might use encrypted addition and multi… ▽ More Since fully homomorphic encryption and homomorphically encrypted computing preserve algebraic identities such as 2*2=2+2, a natural question is whether this extremely utilitarian feature also sets up cryptographic attacks that use the encrypted arithmetic operators to generate or identify the encryptions of known constants. In particular, software or hardware might use encrypted addition and multiplication to do encrypted division and deliver the encryption of x/x=1. That can then be used to generate 1+1=2, etc, until a complete codebook is obtained. This paper shows that there is no formula or computation using 32-bit multiplication x*y and three-input addition x+y+z that yields a known constant from unknown inputs. We characterise what operations are similarly `safe' alone or in company, and show that 32-bit division is not safe in this sense, but there are trivial modifications that make it so. △ Less

Submitted 18 November, 2014; originally announced November 2014.

Comments: 10 pages, as first submitted to short paper section of ESSoS 2015

ACM Class: B.2.0; E.3; G.0; G.2.m; G.2.3

Empirical Patterns in Google Scholar Citation Counts

Authors: Peter T. Breuer, Jonathan P. Bowen

Abstract: Scholarly impact may be metricized using an author's total number of citations as a stand-in for real worth, but this measure varies in applicability between disciplines. The detail of the number of citations per publication is nowadays mapped in much more detail on the Web, exposing certain empirical patterns. This paper explores those patterns, using the citation data from Google Scholar for a n… ▽ More Scholarly impact may be metricized using an author's total number of citations as a stand-in for real worth, but this measure varies in applicability between disciplines. The detail of the number of citations per publication is nowadays mapped in much more detail on the Web, exposing certain empirical patterns. This paper explores those patterns, using the citation data from Google Scholar for a number of authors. △ Less

Submitted 8 January, 2014; originally announced January 2014.

Comments: 6 pages, 8 figures, submitted to Cyberpatterns 2014

MSC Class: 62P99; 01A90 ACM Class: I.5.1; I.7.5

Journal ref: Proc. CyberPatterns 2014, co-located with SOSE 2014, pp. 398-403, Apr. 2014, IEEE Comp. Soc

Electronic Visualisation in Chemistry: From Alchemy to Art

Authors: Karl Harrison, Jonathan P. Bowen, Alice M. Bowen

Abstract: Chemists now routinely use software as part of their work. For example, virtual chemistry allows chemical reactions to be simulated. In particular, a selection of software is available for the visualisation of complex 3-dimensional molecular structures. Many of these are very beautiful in their own right. As well as being included as illustrations in academic papers, such visualisations are often… ▽ More Chemists now routinely use software as part of their work. For example, virtual chemistry allows chemical reactions to be simulated. In particular, a selection of software is available for the visualisation of complex 3-dimensional molecular structures. Many of these are very beautiful in their own right. As well as being included as illustrations in academic papers, such visualisations are often used on the covers of chemistry journals as artistically decorative and attractive motifs. Chemical images have also been used as the basis of artworks in exhibitions. This paper explores the development of the relationship of chemistry, art, and IT. It covers some of the increasingly sophisticated software used to generate these projections (e.g., UCSF Chimera) and their progressive use as a visual art form. △ Less

Submitted 24 July, 2013; originally announced July 2013.

Comments: 8 pages, 27 figures, EVA London 2013

ACM Class: I.3.m; J.3; J.5

Journal ref: EVA London 2013 Conference Proceedings, Electronic Workshops in Computing (eWiC), British Computer Society, 29-31 July 2013

Online Communities: Visualization and Formalization

Authors: Jonathan P. Bowen

Abstract: Online communities have increased in size and importance dramatically over the last decade. The fact that many communities are online means that it is possible to extract information about these communities and the connections 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… ▽ More Online communities have increased in size and importance dramatically over the last decade. The fact that many communities are online means that it is possible to extract information about these communities and the connections 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 communities can also be formalized to gain a better understanding of their modelling. This paper explores these links with some specific examples, including visualization of these relationships and a formalized model of communities using the Z notation. It also considers the development of such communities within the Community 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. △ Less

Submitted 23 July, 2013; originally announced July 2013.

Comments: 9 pages, 2 figures, Cyberpatterns 2013: Second International Workshop on Cyberpatterns; Proceedings of the Second International Workshop on Cyberpatterns: Unifying Design Patterns with Security, Attack and Forensic Patterns. Abingdon, UK, 8-9 July 2013. http://tech.brookes.ac.uk/CyberPatterns2013/

ACM Class: D.2.4; H.5.2; K.6.m

An Open Question on the Uniqueness of (Encrypted) Arithmetic

Authors: Peter T. Breuer, Jonathan P. Bowen

Abstract: We ask whether two or more images of arithmetic may inhabit the same space via different encodings. The answers have significance for a class of processor design that does all its computation in an encrypted form, without ever performing any decryption or encryption itself. Against the possibility of algebraic attacks against the arithmetic in a `crypto-processor' (KPU) we propose a defence called… ▽ More We ask whether two or more images of arithmetic may inhabit the same space via different encodings. The answers have significance for a class of processor design that does all its computation in an encrypted form, without ever performing any decryption or encryption itself. Against the possibility of algebraic attacks against the arithmetic in a `crypto-processor' (KPU) we propose a defence called `ABC encryption' and show how this kind of encryption makes it impossible for observations of the arithmetic to be used by an attacker to discover the actual values. We also show how to construct such encrypted arithmetics. △ Less

Submitted 31 May, 2013; originally announced June 2013.

Comments: Withdrawn by authors after acceptance for ICCS 2013 (one of the conjectures that appears in the text was disproved by the authors after submission); 9 pages

ACM Class: E.4; H.1.1; I.4.2; K.6.5

Certifying Machine Code Safe from Hardware Aliasing: RISC is not necessarily risky

Authors: Peter T. Breuer, Jonathan P. Bowen

Abstract: Sometimes machine code turns out to be a better target for verification than source code. RISC machine code is especially advantaged with respect to source code in this regard because it has only two instructions that access memory. That architecture forms the basis here for an inference system that can prove machine code safe against `hardware aliasing', an effect that occurs in embedded systems.… ▽ More Sometimes machine code turns out to be a better target for verification than source code. RISC machine code is especially advantaged with respect to source code in this regard because it has only two instructions that access memory. That architecture forms the basis here for an inference system that can prove machine code safe against `hardware aliasing', an effect that occurs in embedded systems. There are programming memes that ensure code is safe from hardware aliasing, but we want to certify that a given machine code is provably safe. △ Less

Submitted 3 December, 2013; v1 submitted 28 May, 2013; originally announced May 2013.

Comments: First submitted to SEFM 2013 as "Towards Proving RISC Machine Code not Risky with respect to Memory Aliasing" (15p+4p Appendix), Resubmitted to and accepted for OpenCert 2013, co-located with SEFM 2013 (16p+6p Appendix)

ACM Class: D.2.4

Journal ref: Proc. SEFM 2013 Collocated Workshops, OpenCert 2013. pp. 371-388, ch. 27. LNCS 8368, Springer

Usability, Design and Content Issues of Mobile Apps for Cultural Heritage Promotion: The Malta Culture Guide Experience

Authors: Stefania Boiano, Jonathan P. Bowen, Giuliano Gaia

Abstract: The paper discusses the experience of producing and distributing an iPhone app for promotion of the Maltese Cultural Heritage on behalf of the Malta Tourism Authority. Thanks to its position at the heart of the Mediterranean Sea, Malta has been a crossroads of civilisations whose traces are still visible today, leaving a particularly rich and varied cultural heritage, from megalithic temples to ba… ▽ More The paper discusses the experience of producing and distributing an iPhone app for promotion of the Maltese Cultural Heritage on behalf of the Malta Tourism Authority. Thanks to its position at the heart of the Mediterranean Sea, Malta has been a crossroads of civilisations whose traces are still visible today, leaving a particularly rich and varied cultural heritage, from megalithic temples to baroque palaces and Caravaggio masterpieces. Conveying all these different aspects within a single application, using textual, visual, and audio means, has raised many different issues about the planning and production of cultural content for mobile usage, together with usability aspects regarding design and distribution of a mobile app. In this paper, we outline all of these aspects, focusing on the design and planning strategies for a long-term user commitment and how to evaluate results for cultural mobile applications. We include experience of all the steps of developing a mobile app, information that is of possible benefit to other app developers in the cultural sector. △ Less

Submitted 14 July, 2012; originally announced July 2012.

Comments: 8 pages, 7 figures, EVA London 2012: Electronic Visualisation and the Arts, London, UK, 10-12 July 2012

MSC Class: 00A66 (Primary) 68N01 (Secondary) ACM Class: H.5.1; H.5.2; J.5; K.4.0

Journal ref: In Stuart Dunn, Jonathan P. Bowen, and Kia Ng (eds.), EVA London 2012 Conference Proceedings, Electronic Workshops in Computing (eWiC), British Computer Society, 2012, pages 66-73

Visualising Virtual Communities: From Erdős to the Arts

Authors: Jonathan P. Bowen, Robin J. Wilson

Abstract: Monitoring communities has become increasingly easy on the web as the number of visualisation tools and amount of data available about communities increase. It is possible to visualise connections on social and professional networks such as Facebook in the form of mathematical graphs. It is also possible to visualise connections between authors of papers. In particular, Microsoft Academic Search n… ▽ More Monitoring communities has become increasingly easy on the web as the number of visualisation tools and amount of data available about communities increase. It is possible to visualise connections on social and professional networks such as Facebook in the form of mathematical graphs. It is also possible to visualise connections between authors of papers. In particular, Microsoft Academic Search now has a large corpus of information on publications, together with author and citation information, that can be visualised in a number of ways. In mathematical circles, the concept of the "Erdős number" has been introduced, in honour of the Hungarian mathematician Paul Erdős, measuring the "collaborative distance" of a person away from Erdős through links by co-author. Similar metrics have been proposed in other fields, including acting. The possibility of exploring and visualising such links in arts fields is proposed in this paper. △ Less

Submitted 14 July, 2012; originally announced July 2012.

Comments: 7 pages, 7 figures

MSC Class: 00A66 (Primary) 68P20 (Secondary) ACM Class: E.1; H.3.3; J.5; K.4.0

Journal ref: In Stuart Dunn, Jonathan P. Bowen, and Kia Ng (eds.), EVA London 2012 Conference Proceedings, Electronic Workshops in Computing (eWiC), British Computer Society, 2012, pages 238-244

Copyright and Promotion: Oxymoron or Opportunity?

Authors: Teresa Numerico, Jonathan P. Bowen

Abstract: Copyright in the cultural sphere can act as a barrier to the dissemination of high-quality information. On the other hand it protects works of art that might not be made available otherwise. This dichotomy makes the area of copyright difficult, especially when it applies to the digital arena of the web where copying is so easy and natural. Here we present a snapshot of the issues for online copy… ▽ More Copyright in the cultural sphere can act as a barrier to the dissemination of high-quality information. On the other hand it protects works of art that might not be made available otherwise. This dichotomy makes the area of copyright difficult, especially when it applies to the digital arena of the web where copying is so easy and natural. Here we present a snapshot of the issues for online copyright, with particular emphasis on the relevance to cultural institutions. We concentrate on Europe and the US; as an example we include a special section dedicated to the situation in Italy. △ Less

Submitted 13 August, 2005; originally announced August 2005.

Comments: 10 pages, 0 figures

ACM Class: H.3.5; H.3.7; K.3.1; K.4.1; K.4.2; K.5.1; K.5.2

Journal ref: In James Hemsley, Vito Cappellini and Gerd Stanke (eds.), EVA 2005 London Conference Proceedings, University College London, UK, 25-29 July 2005, pages 25.1-25.10. ISBN: 0-9543146-6-2

Can Small Museums Develop Compelling, Educational and Accessible Web Resources? The Case of Accademia Carrara

Authors: Silvia Filippini-Fantoni, Jonathan P. Bowen

Abstract: Due to the lack of budget, competence, personnel and time, small museums are often unable to develop compelling, educational and accessible web resources for their permanent collections or temporary exhibitions. In an attempt to prove that investing in these types of resources can be very fruitful even for small institutions, we will illustrate the case of Accademia Carrara, a museum in Bergamo,… ▽ More Due to the lack of budget, competence, personnel and time, small museums are often unable to develop compelling, educational and accessible web resources for their permanent collections or temporary exhibitions. In an attempt to prove that investing in these types of resources can be very fruitful even for small institutions, we will illustrate the case of Accademia Carrara, a museum in Bergamo, northern Italy, which, for a current temporary exhibition on Cezanne and Renoir's masterpieces from the Paul Guillaume collection, developed a series of multimedia applications, including an accessible website, rich in content and educational material [www.cezannerenoir.it]. △ Less

Submitted 13 August, 2005; originally announced August 2005.

Comments: 14 pages, 6 figures

ACM Class: H.3.5; H.3.7; H.4.3; H.5.1; H.5.2; H.5.3; H.5.4; K.3.1; K.4.0

Journal ref: In James Hemsley, Vito Cappellini and Gerd Stanke (eds.), EVA 2005 London Conference Proceedings, University College London, UK, 25-29 July 2005, pages 18.1-18.14. ISBN: 0-9543146-6-2

The Building of Online Communities: An approach for learning organizations, with a particular focus on the museum sector

Authors: Alpay Beler, Ann Borda, Jonathan P. Bowen, Silvia Filippini-Fantoni

Abstract: This paper considers the move toward and potential of building online communities, with a particular focus on the museum sector. For instance, the increase in the use of `personalized' toolkits that are becoming an integral part of the online presence for learning organizations, like museums, can provide a basis for creating and sustaining communities. A set of case studies further illustrates w… ▽ More This paper considers the move toward and potential of building online communities, with a particular focus on the museum sector. For instance, the increase in the use of `personalized' toolkits that are becoming an integral part of the online presence for learning organizations, like museums, can provide a basis for creating and sustaining communities. A set of case studies further illustrates working examples of the ways in which personalization and specific tools are developing collaborative spaces, community channels and group interactions. △ Less

Submitted 28 September, 2004; originally announced September 2004.

Comments: (15 pages, 1 figure)

ACM Class: H3.5; H3.7; H4.3; H5.2; H5.3; K3.1; K.4.0

Journal ref: In James Hemsley, Vito Cappellini and Gerd Stanke (eds.), EVA 2004 London Conference Proceedings, University College London, The Institute of Archaeology, UK, 26-30 July 2004, pages 2.1-2.15

Disabled Access for Museum Websites

Authors: Jonathan P. Bowen

Abstract: Physical disabled access is something that most museums consider very seriously. Indeed, there are normally legal requirements to do so. However, online disabled access is still a relatively novel field. Most museums have not yet considered the issues in depth. The Human-Computer Interface for their websites is normally tested with major browsers, but not with specialist browsers or against the… ▽ More Physical disabled access is something that most museums consider very seriously. Indeed, there are normally legal requirements to do so. However, online disabled access is still a relatively novel field. Most museums have not yet considered the issues in depth. The Human-Computer Interface for their websites is normally tested with major browsers, but not with specialist browsers or against the relevant accessibility and validation standards. We consider the current state of the art in this area and mention an accessibility survey of some museum websites. △ Less

Submitted 6 October, 2004; v1 submitted 3 August, 2003; originally announced August 2003.

Comments: 2 pages, see http://www2003.org/cdrom/papers/poster/p335/p335-bowen.html

ACM Class: H.1.2; H.3.5; H.3.7; H.5.1; H.5.2; H.5.3; H.5.4; I.7.2; K.5.0

Journal ref: Jonathan P. Bowen. Disabled Access for Museum Websites. WWW2003: The Twelfth International World Wide Web Conference, Budapest, Hungary, 20-24 May 2003. Conference poster

Web Access to Cultural Heritage for the Disabled

Authors: Jonathan P. Bowen

Abstract: Physical disabled access is something that most cultural institutions such as museums consider very seriously. Indeed, there are normally legal requirements to do so. However, online disabled access is still a relatively novel and developing field. Many cultural organizations have not yet considered the issues in depth and web developers are not necessarily experts either. The interface for webs… ▽ More Physical disabled access is something that most cultural institutions such as museums consider very seriously. Indeed, there are normally legal requirements to do so. However, online disabled access is still a relatively novel and developing field. Many cultural organizations have not yet considered the issues in depth and web developers are not necessarily experts either. The interface for websites is normally tested with major browsers, but not with specialist software like text to audio converters for the blind or against the relevant accessibility and validation standards. We consider the current state of the art in this area, especially with respect to aspects of particular importance to the access of cultural heritage. △ Less

Submitted 30 July, 2003; originally announced July 2003.

Comments: 10 pages, see http://www.museophile.sbu.ac.uk/pub/jpb/eva2003.pdf

ACM Class: H.1.2; H.3.5; H.3.7; H.5.2; H.5.3; H.5.4; I.7.2; K.5.0

Journal ref: Jonathan P. Bowen, Web Access to Cultural Heritage for the Disabled. In James Hemsley, Vito Cappellini and Gerd Stanke (eds.), EVA 2003 London Conference Proceedings, University College London, UK, 22-26 July 2003, pages s1:1-11. Keynote address. ISBN 0-9543146-3-8