Ulta-slow relaxation in discontinuous-film based electron glasses

We present field effect measurements on discontinuous 2D thin films which are composed of a sub monolayer of nano-grains of Au, Ni, Ag or Al. Like other electron glasses these systems exhibit slow conductance relaxation and memory effects. However, unlike other systems, the discontinuous films exhibit a dramatic slowing down of the dynamics below a characteristic temperature $T^*$. $T^*$ is typically between 10-50K and is sample dependent. For $T<T^*$ the sample exhibits a few other peculiar features such as repeatable conductance fluctuations in millimeter size samples. We suggest that the enhanced system sluggishness is related to the current carrying network becoming very dilute in discontinuous films so that the system contains many parts which are electrically very weakly connected and the transport is dominated by very few weak links. This enables studying the glassy properties of the sample as it transitions from a macroscopic sample to a mesocopic sample, hence, the results provide new insight on the underlying physics of electron glasses.Comment: 4 pages, 4 figure

A Featherweight Model for Chorded Languages

Chords are a concurrency mechanism of object-oriented languages inspired by the join of the Join-Calculus. We present SCHOOL, the Small Chorded Object-Oriented Language, a featherweight model which aims to capture the essence of the concurrent behaviours of chords. Our model serves as a generalisation of chorded behaviours found in existing experimental languages such as Polyphonic C-sharp. Furthermore, we study the interaction of chords with fields by extending SCHOOL to include fields, resulting in fSCHOOL. Fields are orthogonal to chords in terms of concurrent behaviours. We show that adding fields to SCHOOL does not change its expressiveness by means of an encoding between the two languages.Working Pape

Verification of Policy-based Self-Managed Cell Interactions Using Alloy

Abstract—Self-Managed Cells (SMCs) define an infrastruc-ture for building ubiquitous computing applications. An SMC consists of an autonomous administrative domain based on a policy-driven feedback control-loop. SMCs are able to interact with each other and compose with other SMCs to form larger autonomous components. In this paper we present a formal specification of an SMC’s behaviour for the analysis and verification of its operation in collaborations of SMCs. These collaborations typically involve SMCs originated from different administrative authorities, and the definition of a formal model has helped us to verify the correctness of their operation when SMCs are composed or federated. Keywords-policy-based management; self-managed cells; in-teractions; model-checking; I

Flint for safer smart contracts

The Ethereum blockchain platform supports the execution of decentralised applications or smart contracts. These typically hold and transfer digital currency to other parties on the platform; however, they have been subject to numerous attacks due to the unintentional introduction of bugs. Over a billion dollars worth of currency has been stolen since its release in July 2015. As smart contracts cannot be updated after deployment, it is imperative that the programming language supports the development of robust contracts. We propose Flint, a new statically-typed programming language specifically designed for writing robust smart contracts. Flint's features enforce the writing of safe and predictable code. To encourage good practices, we introduce protection blocks. Protection blocks restrict who can run code and when (using typestate) it can be executed. To prevent vulnerabilities relating to the unintentional loss of currency, Flint Asset traits provide safe atomic operations, ensuring the state of contracts is always consistent. Writes to state are restricted, simplifying reasoning about smart contracts

Extending SHAPES for SIMD architectures

SIMD (Single Instruction, Multiple Data) instruction sets are ubiquitous on modern hardware, but rarely used in software projects. A major reason for this is that efficient SIMD code requires data to be laid out in memory in an unconventional manner, forcing developers to explicitly refactor their code and data structures in order to make use of SIMD. In previous work, we proposed SHAPES, an abstract layout specification for enabling memory optimisations for managed, object-oriented languages. In this paper, we explain how, by extending SHAPES with well-known constructs from the literature, which are not specific to SIMD, we can extend SHAPES to compile programs to use SIMD instructions. The resulting language (sketch) seems able to exploit SIMD capabilities without sacrificing ease of development

Photoluminescence properties of GaN grown on compliant silicon-on-insulator substrates

A compliant substrate approach has been employed to release lattice-mismatch caused strain in GaN epilayers through stress absorption in the substrate. GaN layers have been grown on silicon-on-insulator (SOI) substrates by low-pressure metalorganic chemical vapor deposition. Photoluminescence measurements at 4 K show the spectrum of grown GaN being dominated by UV emission around 3.47 eV related to neutral-donor bound excitons. The much weaker yellow luminescence shows a broad spectrum around 2.16 eV. Peak position of the UV emission changes both with measurement temperature and strain. At room temperature, the UV peak is red shifted by 64 meV corresponding well to the band-gap temperature dependence. Strain-induced blue shift of the peak, compared to unstrained GaN, is much less than for growth on sapphire, indicating strain relief in the GaN by growth on SOI. Further reduction of the blue shift is consistent with increased electron mobility. © 1997 American Institute of Physics.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/70808/2/APPLAB-71-26-3880-1.pd

Mathematics for the exploration of requirements

The exploration of requirements is as complex as it is important in ensuring a successful software production and software life cycle. Increasingly, tool-support is available for aiding such explorations. We use a toy example and a case study of modelling and analysing some requirements of the global assembly cache of .NET to illustrate the opportunities and challenges that mathematically founded exploration of requirements brings to the computer science and software engineering curricula

Addiction in Europe, 1860s-1960s: Concepts and Responses in Italy, Poland, Austria, and the United Kingdom

Concepts play a central part in the formulation of problems and proposed solutions to the use of substances. This article reports the initial results from a cross European historical study, carried out to a common methodology, of the language of addiction and policy responses in two key periods, 1860–1930 and the 1950s and 1960s. It concludes that the language of addiction was varied and nonstandard in the first period. The Anglo-American model of inebriety did not apply across Europe but there was a common focus on theories of heredity and national degeneration. After World War II, there was a more homogenous language but still distinct national differences in emphasis and national interests and policy responses to different substances. More research will be needed to deepen understanding of the conditions under which these changes took place and the social and policy appeal of disease theories