Academic Publishing
BCS offers a range of academic print publications, from conference proceedings to distinguished dissertation theses.
For more information about our academic publishing, visit www.bcs.org/learnedpublishing
-
Justification Based Explanation in Ontologies
- £60.00
- €80.00
- $95.00
ISBN: 9781780171791
Format: Paperback
This thesis investigates justification based explanation techniques, which help to explain what is entailed by an OWL ontology. The core of the thesis is devoted to defining and analysing Laconic and Precise Justifications. - £60.00
-
EVA London 2012
- £60.00
- €80.00
- $95.00
ISBN: 9781780171593
Format: Paperback
EVA London 2012, a conference co-sponsored by the Computer Arts Society and BCS, The Chartered Institute for IT, has established itself as one of London’s most innovative and interdisciplinary conferences in the field of digital visualisation. - £60.00
-
Communication Locality in Computation
- £60.00
- €80.00
- $95.00
ISBN: 9781906124922
Format: Paperback
This thesis adapts and extends the existing theory and models of wire locality in VLSI circuits to the physical and temporal locality of software running on CMPs. It aims to provide a new foundation for characterising, modelling, predicting and exploiting the communication properties of software. - £60.00
-
EVA London 2011
- £60.00
- €80.00
- $95.00
ISBN: 9781906124885
Format: Paperback
EVA 2011 has established itself as one of London’s most innovative and interdisciplinary conferences in the field of digital visualisation. The papers in this volume cover the latest research in museum studies, semantic web, immersive environments, simulation, 3D scanning, haptics, digital archaeology and many others. - £60.00
-
NURBS-compatible subdivision surfaces
- £60.00
- €80.00
- $95.00
ISBN: 9781906124823
Format: Paperback
This thesis presents NURBS-compatible subdivision surfaces that combine topological freedom with the ability to represent any existing NURBS surface exactly. This is the first time that subdivision surfaces have been able to extend non-uniform and general-degree B-spline surfaces simultaneously. - £60.00
-
Logics and analyses for concurrent heap-manipulating programs
- £60.00
- €80.00
- $95.00
ISBN: 9781906124830
Format: Paperback
In this dissertation the author develops modular program logics and program analyses for the verification of concurrent heap-manipulating programs. The approach is to exploit reasoning principles provided by program logics to construct modular program analyses and to use this process to obtain further insights into the logics. - £60.00
-
Formal verification of machine-code programs
- £60.00
- €80.00
- $95.00
ISBN: 9781906124816
Format: Paperback
Formal program verification provides mathematical methods to increase the assurance of software correctness. The work presented in this dissertation aims to ease the effort required in proving properties of programs on top of detailed models of machine code. - £60.00
-
EVA London 2010
- £60.00
- €80.00
- $95.00
ISBN: 9781906124656
Format: Paperback
The latest research in digital arts and new media is explored, with contributors ranging from established scholars to the new generation of research students. Conference papers cover reconstructive archaeology, virtual museology, digital arts concepts and practice, immersive environments, and digital performance and music - £60.00
-
CAT 2010
- £60.00
- €80.00
- $95.00
ISBN: 9781906124649
Format: Paperback
The symposium 'Ideas Before Their Time: Connecting the Past and Present in Computer Art' examines the ideas and technologies of computer-based art. Some intriguing concepts have emerged been brought to light in the archives examined by the Computer Art and Technocultures Project at Birkbeck and the Victoria & Albert Museum. - £60.00
-
Algorithms for Coalition Formation in Multi-agent Systems
- £60.00
- €80.00
- $95.00
ISBN: 9781906124144
Format: Paperback
This thesis presents a novel algorithm for distributing the coalition-value calculations among the agents. By using a novel representation of the search space, and applying branch-and-bound techniques, the algorithm is shown to significantly outperform other existing ones in the literature. - £60.00
-
Using Machine-Learning to Efficiently Explore the Architecture/Compiler Co-Design Space
- £60.00
- €80.00
- $95.00
ISBN: 9781906124663
Format: Paperback
This thesis proposes the use of machine-learning to address architecture/compiler co-design. The techniques developed in represent a new methodology with the potential to speed up the design of new processors and automate the generation of the corresponding optimising compilers, resulting in higher system efficiency and shorter time-to-market. - £60.00
-
Proceedings of HCI 2009
- £60.00
- €80.00
- $95.00
ISBN: 9781906124878
Format: Paperback
HCI 2009 looks at new technology designs with potential for economic or social benefit, original and innovative interactive technologies, advances toward new ways of thinking through theories or models, tools offering understanding and evaluation of interaction design and novel engagements with technology users or beneficiaries. - £60.00
-
Proceedings of HCI 2008 (Vol. 1)
- £60.00
- €80.00
- $95.00
ISBN: 9781906124045
Format: Paperback
Proceedings of HCI 2008 (Vol.1) explores the full range of areas of interest to HCI researchers and practitioners. It looks at culture and the role of the digital in culture, the visual experience of users, the experience of those who need assistance with or by technology, the issues of methods and how HCI research and practice is carried out. - £60.00
-
Proceedings of HCI 2008 (Vol. 2)
- £60.00
- €80.00
- $95.00
ISBN: 9781906124069
Format: Paperback
Proceedings of HCI 2008 (Vol. 2) explore the full range of areas of interest to HCI researchers and practitioners. The volume looks at culture and the role of the digital in culture, the visual experience of users, the experience of those who need assistance with or by technology, issues of methods and how HCI research and practice is carried out. - £60.00
-
Proceedings of HCI 2007 (Vol. 1)
- £60.00
- €80.00
- $95.00
ISBN: 9781902505947
Format: Paperback
Proceedings of HCI 2007 (Vol. 1) fully reflects the changing terrain of contemporary HCI, with researchers examining contexts as diverse as the social world of Blogs, the creative world of Digital Live Art, and the virtual world of Second Life. - £60.00
-
Proceedings of HCI 2007 (Vol. 2)
- £60.00
- €80.00
- $95.00
ISBN: 9781902505954
Format: Paperback
Proceedings of HCI 2007 (Vol. 2) fully reflects the changing terrain of contemporary HCI, with researchers examining contexts as diverse as the social world of Blogs, the creative world of Digital Live Art, and the virtual world of Second Life. - £60.00