An Architectural Approach to Ensuring Consistency in Hierarchical Execution

Hierarchical task decomposition is a method used in many agent systems to organize agent knowledge. This work shows how the combination of a hierarchy and persistent assertions of knowledge can lead to difficulty in maintaining logical consistency in asserted knowledge. We explore the problematic consequences of persistent assumptions in the reasoning process and introduce novel potential solutions. Having implemented one of the possible solutions, Dynamic Hierarchical Justification, its effectiveness is demonstrated with an empirical analysis

The equilibrium intrinsic crystal-liquid interface of colloids

We use confocal microscopy to study an equilibrated crystal-liquid interface in a colloidal suspension. Capillary waves roughen the surface, but locally the intrinsic interface is sharply defined. We use local measurements of the structure and dynamics to characterize the intrinsic interface, and different measurements find slightly different widths of this interface. In terms of the particle diameter $d$, this width is either $1.5d$ (based on structural information) or $2.4d$ (based on dynamics), both not much larger than the particle size. This work is the first direct experimental visualization of an equilibrated crystal-liquid interface.Comment: 6 pages; revised version, submitted to PNA

Providing Self-Aware Systems with Reflexivity

We propose a new type of self-aware systems inspired by ideas from higher-order theories of consciousness. First, we discussed the crucial distinction between introspection and reflexion. Then, we focus on computational reflexion as a mechanism by which a computer program can inspect its own code at every stage of the computation. Finally, we provide a formal definition and a proof-of-concept implementation of computational reflexion, viewed as an enriched form of program interpretation and a way to dynamically "augment" a computational process.Comment: 12 pages plus bibliography, appendices with code description, code of the proof-of-concept implementation, and examples of executio

Weighted-density approximation for general nonuniform fluid mixtures

In order to construct a general density-functional theory for nonuniform fluid mixtures, we propose an extension to multicomponent systems of the weighted-density approximation (WDA) of Curtin and Ashcroft [Phys. Rev. A 32, 2909 (1985)]. This extension corrects a deficiency in a similar extension proposed earlier by Denton and Ashcroft [Phys. Rev. A 42, 7312 (1990)], in that that functional cannot be applied to the multi-component nonuniform fluid systems with spatially varying composition, such as solid-fluid interfaces. As a test of the accuracy of our new functional, we apply it to the calculation of the freezing phase diagram of a binary hard-sphere fluid, and compare the results to simulation and the Denton-Ashcroft extension.Comment: 4 pages, 4 figures, to appear in Phys. Rev. E as Brief Repor

5-hydroxymethylcytosine profiling as an indicator of cellular state

A Laird is supported by the Medical Research Council Scottish Clinical Pharmacology and Pathology Programme, The Royal College of Surgeons of Edinburgh Robertson’s Trust and The Melville Trust for the Care and Cure of Cancer. J Thomson is supported by the MARCAR project. Work in RR Meehan’s laboratory is supported by the Medical Research Council, the BBSRC and by the Innovative Medicine Initiative Joint Undertaking (IMI JU) under grant agreement number 115001 (MARCAR project).DNA methylation is widely studied in the context of cancer. However, the rediscovery of 5-hydroxymethylation of DNA adds a new layer of complexity to understanding the epigenetic basis of development and disease, including carcinogenesis. There have been significant advances in techniques for the detection of 5-hydroxymethylcytosine and, with this, greater insight into the distribution, regulation and function of this mark, which are reviewed here. Better understanding of the associated pathways involved in regulation of, and by, 5-hydroxymethylcytosine may give promise to new therapeutic targets. We discuss evidence to support the view of 5-hydroxymethylcytosine as a unique and dynamic mark of cellular state. These 5-hydroxymethylcytosine profiles may offer optimism for the development of diagnostic, prognostic and predictive biomarkers.Peer reviewe

Fresh-Register Automata

What is a basic automata-theoretic model of computation with names and fresh-name generation? We introduce Fresh-Register Automata (FRA), a new class of automata which operate on an infinite alphabet of names and use a finite number of registers to store fresh names, and to compare incoming names with previously stored ones. These finite machines extend Kaminski and Francez’s Finite-Memory Automata by being able to recognise globally fresh inputs, that is, names fresh in the whole current run. We exam-ine the expressivity of FRA’s both from the aspect of accepted languages and of bisimulation equivalence. We establish primary properties and connections between automata of this kind, and an-swer key decidability questions. As a demonstrating example, we express the theory of the pi-calculus in FRA’s and characterise bisimulation equivalence by an appropriate, and decidable in the finitary case, notion in these automata

Changes in Body Measurements of Heifers at First Parturition

Author Institution: Department of Dairy Science, Ohio Agricultural Experiment Station, Wooste

Particle Dark Energy

We explore the physics of a gas of particles interacting with a condensate that spontaneously breaks Lorentz invariance. The equation of state of this gas varies from 1/3 to less than -1 and can lead to the observed cosmic acceleration. The particles are always stable. In our particular class of models these particles are fermions with a chiral coupling to the condensate. They may behave as relativistic matter at early times, produce a brief period where they dominate the expansion with w<0 today, and behave as matter at late time. There are no small parameters in our models, which generically lead to dark energy clustering and, depending on the choice of parameters, smoothing of small scale power.Comment: 8 pages, 5 figures; minor update with added refs; version appearing in Phys. Rev.

Interplay between distribution of live cells and growth dynamics of solid tumours

Experiments show that simple diffusion of nutrients and waste molecules is not sufficient to explain the typical multilayered structure of solid tumours, where an outer rim of proliferating cells surrounds a layer of quiescent but viable cells and a central necrotic region. These experiments challenge models of tumour growth based exclusively on diffusion. Here we propose a model of tumour growth that incorporates the volume dynamics and the distribution of cells within the viable cell rim. The model is suggested by in silico experiments and is validated using in vitro data. The results correlate with in vivo data as well, and the model can be used to support experimental and clinical oncology