A Formal Context Representation Framework for Network-Enabled Cognition

Network-accessible resources are inherently contextual with respect to the specific situations (e.g., location and default assumptions) in which they are used. Therefore, the explicit conceptualization and representation of contexts is required to address a number of problems in Network- Enabled Cognition (NEC). We propose a context representation framework to address the computational specification of contexts. Our focus is on developing a formal model of context for the unambiguous and effective delivery of data and knowledge, in particular, for enabling forms of automated inference that address contextual differences between agents in a distributed network environment. We identify several components for the conceptualization of contexts within the context representation framework. These include jurisdictions (which can be used to interpret contextual data), semantic assumptions (which highlight the meaning of data), provenance information and inter-context relationships. Finally, we demonstrate the application of the context representation framework in a collaborative military coalition planning scenario. We show how the framework can be used to support the representation of plan-relevant contextual information

The Stellar Initial Mass Function at the Epoch of Reionization

I provide estimates of the ultraviolet and visible light luminosity density at z~6 after accounting for the contribution from faint galaxies below the detection limit of deep Hubble and Spitzer surveys. I find the rest-frame V-band luminosity density is a factor of ~2-3 below the ultraviolet luminosity density at z~6. This implies that the maximal age of the stellar population at z~6, for a Salpeter initial mass function, and a single, passively evolving burst, must be <100 Myr. If the stars in z~6 galaxies are remnants of the star-formation that was responsible for ionizing the intergalactic medium, reionization must have been a brief process that was completed at z<7. This assumes the most current estimates of the clumping factor and escape fraction and a Salpeter slope extending up to 200 M_{\sun} for the stellar initial mass function (IMF; dN/dM \propto M^{\alpha}, \alpha=-2.3). Unless the ratio of the clumping factor to escape fraction is less than 60, a Salpeter slope for the stellar IMF and reionization redshift higher than 7 is ruled out. In order to maintain an ionized intergalactic medium from redshift 9 onwards, the stellar IMF must have a slope of \alpha=-1.65 even if stars as massive as ~200 M_{\sun} are formed. Correspondingly, if the intergalactic medium was ionized from redshift 11 onwards, the IMF must have \alpha~-1.5. The range of stellar mass densities at z~6 straddled by IMFs which result in reionization at z>7 is 1.3+/-0.4\times10^{7} Msun/Mpc^3.Comment: 25 pages, 2 tables, 6 figures, ApJ, in press, v680 n

Stochastic rounding and reduced-precision fixed-point arithmetic for solving neural ordinary differential equations

Although double-precision floating-point arithmetic currently dominates high-performance computing, there is increasing interest in smaller and simpler arithmetic types. The main reasons are potential improvements in energy efficiency and memory footprint and bandwidth. However, simply switching to lower-precision types typically results in increased numerical errors. We investigate approaches to improving the accuracy of reduced-precision fixed-point arithmetic types, using examples in an important domain for numerical computation in neuroscience: the solution of Ordinary Differential Equations (ODEs). The Izhikevich neuron model is used to demonstrate that rounding has an important role in producing accurate spike timings from explicit ODE solution algorithms. In particular, fixed-point arithmetic with stochastic rounding consistently results in smaller errors compared to single precision floating-point and fixed-point arithmetic with round-to-nearest across a range of neuron behaviours and ODE solvers. A computationally much cheaper alternative is also investigated, inspired by the concept of dither that is a widely understood mechanism for providing resolution below the least significant bit (LSB) in digital signal processing. These results will have implications for the solution of ODEs in other subject areas, and should also be directly relevant to the huge range of practical problems that are represented by Partial Differential Equations (PDEs).Comment: Submitted to Philosophical Transactions of the Royal Society

Dark Molecular Gas in Simulations of z~0 Disc Galaxies

The $\rm H_2$ mass of molecular clouds has traditionally been traced by the CO(J=1-0) rotational transition line. This said, CO is relatively easily photodissociated, and can also be destroyed by cosmic rays, thus rendering some fraction of molecular gas to be "CO-dark". We investigate the amount and physical properties of CO-dark gas in two $z \sim 0$ disc galaxies, and develop predictions for the expected intensities of promising alternative tracers ([CI 609 $\mu$m and [CII] 158 $\mu$m emission). We do this by combining cosmological zoom simulations of disc galaxies with thermal-radiative-chemical equilibrium interstellar medium (ISM) calculations to model the predicted H~\textsc{i} and $\rm H_2$ abundances and CO(J=1-0), [CI] 609 $\mu$m and [CII] 158 $\mu$m emission properties. Our model treats the ISM as a collection of radially stratified clouds whose properties are dictated by their volume and column densities, the gas-phase metallicity, and the interstellar radiation field and cosmic ray ionization rates. Our main results follow. Adopting an observationally motivated definition of CO-dark gas, i.e. $\rm H_2$ gas with $W_{\rm CO} 50\%$) of the total $\rm H_2$ mass lies in CO-dark gas, most of which is diffuse gas, poorly shielded due to low dust column density. The CO-dark molecular gas tends to be dominated by [CII], though [CI] also serves as a bright tracer of the dark gas in many instances. At the same time, [CII] also tends to trace neutral atomic gas. As a result, when we quantify the conversion factors for the three carbon-based tracers of molecular gas, we find that [CI] suffers the least contamination from diffuse atomic gas, and is relatively insensitive to secondary parameters.Comment: Accepted for publication in ApJ. 13 pages plus appendice

A Controlled Natural Language Interface for Semantic Media Wiki

Despite their potential value as collaborative knowledge editing systems, semantic wikis present a number of usability challenges for human end users. In particular, there are several mismatches between the simple user interaction mechanisms of wikis (which are the key to the success of wikis) and the need for users to create, edit and understand structured knowledge content (e.g., in the form of RDF or OWL ontologies). In this paper, we present a Controlled Natural Language (CNL) approach to collaborative ontology development using Semantic MediaWiki (SMW). In order to support the expressivity required for OWL ontology development, we extended the representational substructure of the SMW system with an OWL meta model using a template-based mechanism. To improve usability, we provided a form-based guided input interface and implemented several CNL verbalizers (CNL text generation components). In particular, we developed verbalizers for the English and Chinese variants of the Rabbit CNL, as well as the Attempto Controlled English (ACE) CNL. The combination of semantic wiki systems and CNL editing interfaces may provide an effective mechanism for promoting the large-scale collaborative creation of semantically-enriched online content

FirmUSB: Vetting USB Device Firmware using Domain Informed Symbolic Execution

The USB protocol has become ubiquitous, supporting devices from high-powered computing devices to small embedded devices and control systems. USB's greatest feature, its openness and expandability, is also its weakness, and attacks such as BadUSB exploit the unconstrained functionality afforded to these devices as a vector for compromise. Fundamentally, it is virtually impossible to know whether a USB device is benign or malicious. This work introduces FirmUSB, a USB-specific firmware analysis framework that uses domain knowledge of the USB protocol to examine firmware images and determine the activity that they can produce. Embedded USB devices use microcontrollers that have not been well studied by the binary analysis community, and our work demonstrates how lifters into popular intermediate representations for analysis can be built, as well as the challenges of doing so. We develop targeting algorithms and use domain knowledge to speed up these processes by a factor of 7 compared to unconstrained fully symbolic execution. We also successfully find malicious activity in embedded 8051 firmwares without the use of source code. Finally, we provide insights into the challenges of symbolic analysis on embedded architectures and provide guidance on improving tools to better handle this important class of devices.Comment: 18 pages, CCS 201