2,426 Works

iCon: A Diagrammatic Theorem Prover for Ontologies

Zohreh Shams, Mateja Jamnik, G Stapleton & Y Sato
Concept diagrams form a visual language that is aimed at non-experts for the specification of ontologies and reason- ing about them. Empirical evidence suggests that they are more accessible to ontology users than symbolic notations typically used for ontologies (e.g., DL, OWL). Here, we re- port on iCon, a theorem prover for concept diagrams that al- lows reasoning about ontologies diagrammatically. The input to iCon is a theorem that needs proving to establish how an...

Cyclododecane for mounting of surface sensors for monitoring of historic buildings

Susanne Raffler, Stefan Bichlmair & Kilian Ralf
This paper is published in the book ‘Subliming Surfaces: Volatile Binding Media in Heritage Conservation’, ed. Christina Rozeik (University of Cambridge Museums, 2018), pp. 127-136.

Towards high-resolution as stronomical imaging

Craig Douglas Mackay, R Massey, K O'Brien, Ian Parry, J Skottfelt, David Buscher, N Chowdhury, R Davies, S Hinkley, N Hubin & P Jorden
Craig Mackay reports from a recent meeting on “The future of high-resolution imaging in the visible and infrared”, reviewing the astronomical drivers for development and the technological advances that might boost performance.

The H_{∞,p} norm as the differential L_{2,p} gain of a p-dominant system

Alberto Padoan, Fulvio Forni & Rodolphe Sepulchre
The differential L2,p gain of a linear, time- invariant, p-dominant system is shown to coincide with the H∞,p norm of its transfer function G, defined as the essential supremum of the absolute value of G over a vertical strip in the complex plane such that p poles of G lie to right of the strip. The close analogy between the H∞,p norm and the classical H∞ norm suggests that robust dominance of linear systems can...

Direct charge measurement in Floating Gate transistors of Flash EEPROM using Scanning Electron Microscopy

Franck Courbon, Sergei Skorobogatov & C Woods
We present a characterization methodology for fast direct measurement of the charge accumulated on Floating Gate (FG) transistors of Flash EEPROM cells. Using a Scanning Electron Microscope (SEM) in Passive Voltage Contrast (PVC) mode we were able to distinguish between '0' and '1' bit values stored in each memory cell. Moreover, it was possible to characterize the remaining charge on the FG; thus making this technique valuable for Failure Analysis applications for data retent ion...

MSGD: Scalable Back-end for Indoor Magnetic Field-based GraphSLAM

C Gao & Robert Harle
Simultaneous Localisation and Mapping (SLAM) systems that recover the trajectory of a robot or mobile device are characterised by a front-end and back-end. The front-end uses sensor observations to identify loop closures; the back-end optimises the estimated trajectory to be consistent with these closures. The GraphSLAM framework formulates the back-end problem as a graph-based optimisation on a pose graph. This paper describes a back-end system optimised for very dense sequence-based loop closures. This arises when...

Columbanus’ identity and the writings of Pelagius.

Alison Bonner
This paper examines whether Columbanus’ understanding of the Christian message of salvation was influenced by the writings of Pelagius. It looks at what Columbanus knew about the controversy surrounding Pelagius, and how Columbanus’ dispute with bishops in Gaul related to the controversy over the relationship between prevenient grace and effective human free will. Evidence from his letters suggests that Columbanus modified his conception of Christian doctrine in response to criticism he experienced in Gaul. This...

Lost Relatives of the Gumbel Trick

Matej Balog, N Tripuraneni, Zoubin Ghahramani & Adrian Weller
The Gumbel trick is a method to sample from a discrete probability distribution, or to estimate its normalizing partition function. The method re- lies on repeatedly applying a random perturbation to the distribution in a particular way, each time solving for the most likely configuration. We derive an entire family of related methods, of which the Gumbel trick is one member, and show that the new methods have superior properties in several settings with minimal...

Cross-lingual Semantic Specialization via Lexical Relation Induction

Edoardo Ponti, Ivan Vulic, Goran Glavaš, Roi Reichart & Anna Korhonen
Semantic specialization integrates structured linguistic knowledge from external resources (such as lexical relations in WordNet) into pretrained distributional vectors in the form of constraints. However, this technique cannot be leveraged in many languages, because their structured external resources are typically incomplete or non-existent. To bridge this gap, we propose a novel method that transfers specialization from a resource-rich source language (English) to virtually any target language. Our specialization transfer comprises two crucial steps: 1) Inducing...

Towards Zero-shot Language Modeling

Edoardo Ponti, Ivan Vulic, Ryan Cotterell, Roi Reichart & Anna Korhonen
Can we construct a neural language model which is inductively biased towards learning human language? Motivated by this question, we aim at constructing an informative prior for held-out languages on the task of character-level, open-vocabulary language modeling. We obtain this prior as the posterior over network weights conditioned on the data from a sample of training languages, which is approximated through Laplace’s method. Based on a large and diverse sample of languages, the use of...

ParaMedic: Heterogeneous Parallel Error Correction

Sam Ainsworth & Timothy Jones
Processor error detection can be reduced in cost significantly by exploiting the parallelism that exists in a repeated copy of an execution, which may not exist in the original code, to split up the redundant work on a large number of small, highly efficient cores. However, such schemes don't provide a method for automatic error recovery. We develop ParaMedic, an architecture to allow efficient automatic correction of errors detected in a system by using parallel...

Promising-ARM/RISC-V: A Simpler and Faster Operational Concurrency Model

Christopher Pulte, Jean Pichon-Pharabod, Jeehoon Kang, Sung-Hwan Lee & Chung-Kil Hur
For ARMv8 and RISC-V, there are concurrency models in two styles, extensionally equivalent: axiomatic models, expressing the concurrency semantics in terms of global properties of complete executions; and operational models, that compute incrementally. The latter are in an abstract microarchitectural style: they execute each instruction in multiple steps, out-of-order and with explicit branch speculation. This similarity to hardware implementations has been important in developing the models and in establishing confidence, but involves complexity that, for...

Real-time noise-aware tone-mapping and its use in luminance retargeting

G Eilertsen, RK Mantiuk & J Unger
With the aid of tone-mapping operators, high dynamic range images can be mapped for reproduction on standard displays. However, for large restrictions in terms of display dynamic range and peak luminance, limitations of the human visual system have significant impact on the visual appearance. In this paper, we use components from the real-time noise-aware tone-mapping to complement an existing method for perceptual matching of image appearance under different luminance levels. The refined luminance retargeting method...

Estimating network throughput with an adaptive routing and wavelength assignment algorithm

Robert Vincent, David Ives & Sebastian Savory
We propose an adaptive sequential loading algorithm that approaches the ILP throughput. Of 2,000 network realizations tested, shortest path routing achieves >90% of the maximum throughput in 341 cases c.f. 1,904 with the proposed algorithm.

A Fleet of Miniature Cars for Experiments in Cooperative Driving

Nicholas Hyldmar, Yijun He & Amanda Prorok
We introduce a unique experimental testbed that consists of a fleet of 16 miniature Ackermann-steering vehicles. We are motivated by a lack of available low-cost platforms to support research and education in multi-car navigation and trajectory planning. This article elaborates the design of our miniature robotic car, the Cambridge Minicar, as well as the fleet's control architecture. Our experimental testbed allows us to implement state-of-the-art driver models as well as autonomous control strategies, and test...

AOLI: Near-diffraction limited imaging in the visible on large ground-based telescopes

Craig Douglas Mackay, Rafael Rebolo, David L King, Lucas Labadie, Marta Puga Antolin, Antonio Pérez Garrido, Carlos Colodro-Conde, Roberto L López, Balaji Muthusubramanian, Alejandro Oscoz, J Rodríguez-Ramos, Luis F Rodríguez-Ramos, JJ Fernandez-Valdivia & Sergio Velasco
The combination of Lucky Imaging with a low order adaptive optics system was demonstrated very successfully on the Palomar 5m telescope nearly 10 years ago. It is still the only system to give such high-resolution images in the visible or near infrared on ground-based telescope of faint astronomical targets. The development of AOLI for deployment initially on the WHT 4.2 m telescope in La Palma, Canary Islands, will be described in this paper. In particular,...

A data sharing platform for earables research

Jovan Powar & Alastair R Beresford
Ear-worn wearable devices, or earables, are a rapidly emerging sensor platform, with unique opportunities to collect a wide variety of sensor data, and build systems with novel human-computer interaction components. At this point in the development of the field, with projects such as eSense putting hardware in researchers' hands but being limited in reach, the sharing of datasets collected by researchers with the wider community would bring a number of benefits. A central data sharing...

GravityCam: Higher Resolution Visible Wide-Field Imaging

Craig Douglas Mackay, Martin Dominik & Iain Steele
The limits to the angular resolution achievable with conventional ground-based telescopes are unchanged over 70 years. Atmospheric turbulence limits image quality to typically ~1 arcsec in practice. We have developed a new concept of ground-based imaging instrument called GravityCam capable of delivering significantly sharper images from the ground than is normally possible without adaptive optics. The acquisition of visible images at high speed without significant noise penalty has been made possible by advances in optical...


(:Unkn) Unknown

Papers, policy documents and patterns of attention

Lauren Cadwallader
This poster was presented at 3:AM The Altmetrics Conference. Conference information can be found here: http://altmetricsconference.com/.

An Approach to Evaluate Alternative Process and Supply Chain Opportunities Enabled by Sustainable Chemical Feedstocks

Ettore Settanni, Naoum Tsolakis & Jagjit Srai
This paper outlines a mixed-methods approach to evaluate reconfiguration opportunities for pharmaceutical supply chains (PSCs) arising from a terpene-based renewable chemical feedstock platform technology delivering intermediate products. The proposed approach provides guidance on how to navigate alternative PSC configuration options based on insights into the economic, environmental and social repercussions of each option obtained from both qualitative and quantitative data analyses. A simplified case on manufacturing ‘green’ paracetamol underpinned by real experimental and industry data...

A deep learning approach to automatic characterisation of rhythm in non-native English speech

Konstantinos Kyriakopoulos, Mark Gales & Katherine Knill
A speaker's rhythm contributes to the intelligibility of their speech and can be characteristic of their language and accent. For non-native learners of a language, the extent to which they match its natural rhythm is an important predictor of their proficiency. As a learner improves, their rhythm is expected to become less similar to their L1 and more to the L2. Metrics based on the variability of the durations of vocalic and consonantal intervals have...

DICE: Dichoptic contrast enhancement for binocular displays

F Zhong, MS Banks, GA Koulieris, M Chambe, G Drettakis, F Durand & Rafal Mantiuk
© 2019 Copyright held by the owner/author(s). In stereoscopic displays, such as those used in VR/AR headsets, our two eyes are presented with diferent views. The disparity between the views is typically used to convey depth cues, but it could be used for other purposes. We devise a novel technique that takes advantage of binocular fusion to boost perceived local contrast and visual quality of images. Since the technique is based on ixed tone-curves, it...

Internal Universes in Models of Homotopy Type Theory

Andrew Pitts, Daniel Licata, Ian Orton & Bas Spitters
We begin by recalling the essentially global character of universes in various models of homotopy type theory, which prevents a straightforward axiomatization of their properties using the internal language of the presheaf toposes from which these model are constructed. We get around this problem by extending the internal language with a modal operator for expressing properties of global elements. In this setting we show how to construct a universe that classifies the Cohen-Coquand-Huber-Mörtberg (CCHM) notion...

Philosophy at Cambridge

Jenni Lecky-Thompson
Newsletter of the Philosophy Faculty. Articles: Tim Crane, 'From the Chair'; Nakul Krishna, 'Togas and Olives'; Clare Chambers, 'Against Marriage: an Egalitarian Defence of the Marriage-free State'; 'Remembering Casimir Lewy'; Tim Crane, 'The Meaning of Religion'; Alexander Greenberg, 'New Directions project'.

Registration Year

  • 2016
  • 2017
  • 2018
  • 2019

Resource Types

  • Collection

Data Centers

  • University of Cambridge