How to Knit Your Own Markov Blanket

Hohwy (Hohwy 2016, Hohwy 2017) argues there is a tension between the free energy principle and leading depictions of mind as embodied, enactive, and extended (so-called ‘EEE1 cognition’). The tension is traced to the importance, in free energy formulations, of a conception of mind and agency that depends upon the presence of a ‘Markov blanket’ demarcating the agent from the surrounding world. In what follows I show that the Markov blanket considerations do not, in fact, lead to the kinds of tension that Hohwy depicts. On the contrary, they actively favour the EEE story. This is because the Markov property, as exemplified in biological agents, picks out neither a unique nor a stationary boundary. It is this multiplicity and mutability– rather than the absence of agent-environment boundaries as such - that EEE cognition celebrates

Carbonation of borehole seals: comparing evidence from short-term laboratory experiments and long-term natural analogues

It is crucial that the engineered seals of boreholes in the vicinity of a deep storage facility remain effective for considerable timescales if the long-term geological containment of stored CO2 is to be effective. These timescales extend beyond those achievable by laboratory experiments or industrial experience. Study of the carbonation of natural Ca silicate hydrate (CSH) phases provides a useful insight into the alteration processes and evolution of cement phases over long-timescales more comparable with those considered in performance assessments. Samples from two such natural analogues in Northern Ireland have been compared with samples from laboratory experiments on the carbonation of Portland cement. Samples showed similar carbonation reaction processes even though the natural and experimental samples underwent carbonation under very different conditions and timescales. These included conversion of the CSH phases to CaCO3 and SiO2, and the formation of a well-defined reaction front. In laboratory experiments the reaction front is associated with localised Ca migration, localised matrix porosity increase, and localised shrinkage of the cement matrix with concomitant cracking. Behind the reaction front is a zone of CaCO3 precipitation that partly seals porosity. A broader and more porous/permeable reaction zone was created in the laboratory experiments compared to the natural samples, and it is possible that short-term experiments might not fully replicate slower, longer-term processes. That the natural samples had only undergone limited carbonation, even though they had been exposed to atmospheric CO2 or dissolved in groundwater for several thousands of years, may indicate that the limited amounts of carbonate mineral formation may have protected the CSH phases from further reaction

Robust Watermarking using Hidden Markov Models

Software piracy is the unauthorized copying or distribution of software. It is a growing problem that results in annual losses in the billions of dollars. Prevention is a difficult problem since digital documents are easy to copy and distribute. Watermarking is a possible defense against software piracy. A software watermark consists of information embedded in the software, which allows it to be identified. A watermark can act as a deterrent to unauthorized copying, since it can be used to provide evidence for legal action against those responsible for piracy.In this project, we present a novel software watermarking scheme that is inspired by the success of previous research focused on detecting metamorphic viruses. We use a trained hidden Markov model (HMM) to detect a specific copy of software. We give experimental results that show our scheme is robust. That is, we can identify the original software even after it has been extensively modified, as might occur as part of an attack on the watermarking scheme

Crustal structure beneath the Trondelag Platform and adjacent areas of the Mid-Norwegian margin, as derived from wide-angle seismic and potential field data

The outer mid-Norwegian margin is characterized by strong breakup magmatism and has been extensively surveyed. The crustal structure of the inner continental shelf, however, is less studied, and its relation to the onshore geology, Caledonian structuring, and breakup magmatism remains unclear. Two Ocean Bottom Seismometer profiles were acquired across the Trøndelag Platform in 2003, as part of the Euromargins program. Additional-land stations recorded the marine shots. The P-wave data were modeled by ray-tracing, supported by gravity modeling. Older multi-channel seismic data allowed for interpretation of stratigraphy down to the top of the Triassic. Crystalline basement velocity is ~6 km s-1 onshore. Top basement is difficult to identify offshore, as velocities (5.3-5.7 km s-1) intermediate between typical crystalline crust and Mesozoic sedimentary strata appear 50-80 km from the coast. This layer thickens towards the Klakk-Ytreholmen Fault Complex and predates Permian and later structur-ing. The velocities indicate sedimentary rocks, most likely Devonian. Onshore late- to post-Caledonian detachments have been proposed to extend offshore, based on the magnetic anomaly pattern. We do not find the expected correlation between upper basement velocity structure and detachments. However, there is a distinct, dome-shaped lower-crustal body with a velocity of 6.6-7.0 km s-1. This is thickest under the Froan Basin, and the broad magnetic anomaly used to delineate the detachments correlates with this. The proposed offshore continuation of the detachments thus appears- unreliable. While we find indications of high density and velocity (~7.2 km s-1) lower crust under the Rås Basin, similar to the proposed igneous underplating of the outer margin, this is poorly constrained near the end of our profiles. The gravity field indicates that this body may be continuous from the pre-breakup basement structures of the Utgard High to the Frøya High, suggesting that it could be an island arc or oceanic terrane-accreted during the Caledonian orogeny. Thus, we find no clear evidence of early Cenozoic igneous underplating of the inner part of the shelf

Garnet–monazite rare earth element relationships in sub-solidus metapelites: a case study from Bhutan

A key aim of modern metamorphic geochronology is to constrain precise and accurate rates and timescales of tectonic processes. One promising approach in amphibolite and granulite-facies rocks links the geochronological information recorded in zoned accessory phases such as monazite to the pressure–temperature information recorded in zoned major rock-forming minerals such as garnet. Both phases incorporate rare earth elements (REE) as they crystallize and their equilibrium partitioning behaviour potentially provides a useful way of linking time to temperature. We report REE data from sub-solidus amphibolite-facies metapelites from Bhutan, where overlapping ages, inclusion relationships and Gd/Lu ratios suggest that garnet and monazite co-crystallized. The garnet–monazite REE relationships in these samples show a steeper pattern across the heavy (H)REE than previously reported. The difference between our dataset and the previously reported data may be due to a temperature-dependence on the partition coefficients, disequilibrium in either dataset, differences in monazite chemistry or the presence or absence of a third phase that competed for the available REE during growth. We urge caution against using empirically-derived partition coefficients from natural samples as evidence for, or against, equilibrium of REE-bearing phases until monazite–garnet partitioning behaviour is better constrained

Testing scientific software: techniques for automatic detection of metamorphic relations

2015 Spring.Includes bibliographical references.Scientific software plays an important role in critical decision making in fields such as the nuclear industry, medicine, and the military. Systematic testing of such software can help to ensure that it works as expected. Comprehensive, automated software testing requires an oracle to check whether the output produced by a test case matches the expected behavior of the program. But the challenges in creating suitable oracles limit the ability to perform automated testing of scientific software. For some programs, creating an oracle may be not possible since the correct output is not known a priori. Further, it may be impractical to implement an oracle for an arbitrary input due to the complexity of a program. The software testing community refers to such programs as non-testable. Many scientific programs fall into this category of non-testable programs, since they are either written to find answers that are previously unknown or they perform complex calculations. In this work, we developed techniques to automatically predict metamorphic relations by analyzing the program structure. These metamorphic relations can serve as automated partial test oracles in scientific software. Metamorphic testing is a method for automating the testing process for programs without test oracles. This technique operates by checking whether a program behaves according to a certain set of properties called metamorphic relations. A metamorphic relation is a relationship between multiple input and output pairs of the program. It specifies how the output should change following a specific change made to the input. A change in the output that differs from what is specified by the metamorphic relation indicates a fault in the program. Metamorphic testing can be effective in testing machine learning applications, bioinformatics programs, health-care simulations, partial differential equations and other programs. Unfortunately, finding appropriate metamorphic relations for use in metamorphic testing remains a labor intensive task that is generally performed by a domain expert or a programmer. In this work we applied novel machine learning based approaches to automatically derive metamorphic relations. We first evaluated the effectiveness of modeling the metamorphic relation prediction problem as a binary classification problem. We found that support vector machines are the most effective binary classifiers for predicting metamorphic relations. We also found that using walk-based graph kernels for feature extraction from graph-based program representations further improves the prediction accuracy. In addition, incorporating mathematical properties of operations in the graph kernel computation improves the prediction accuracy. Further, we found that control flow information of a function are more effective than data dependency information for predicting metamorphic relations. Finally we investigated the possibility of creating multi-label classifiers that can predict multiple metamorphic relations using a single classifier. Our empirical studies show that multi-label classifiers are not effective as binary classifiers for predicting metamorphic relations. Automated testing will make the testing process faster, reduce the testing cost and make it more reliable. Automated testing requires automated test oracles. Automatically discovering metamorphic relations is an important step towards automating oracle creation. Work presented here is the first attempt towards developing automated techniques for deriving metamorphic relations. Our work contributes toward automating the testing process of programs that face oracle problems