AfterImage:for baroque flute and fixed media

Commissioned by Sonic Arts Network and Huddersfield Contemporary Music Festival with funds from ACGB for Eleanor Dawson (flute)

A belief revision framework for revising epistemic states with partial epistemic states

Belief revision performs belief change on an agent’s beliefs when new evidence (either of the form of a propositional formula or of the form of a total pre-order on a set of interpretations) is received. Jeffrey’s rule is commonly used for revising probabilistic epistemic states when new information is probabilistically uncertain. In this paper, we propose a general epistemic revision framework where new evidence is of the form of a partial epistemic state. Our framework extends Jeffrey’s rule with uncertain inputs and covers well-known existing frameworks such as ordinal conditional function (OCF) or possibility theory. We then define a set of postulates that such revision operators shall satisfy and establish representation theorems to characterize those postulates. We show that these postulates reveal common characteristics of various existing revision strategies and are satisfied by OCF conditionalization, Jeffrey’s rule of conditioning and possibility conditionalization. Furthermore, when reducing to the belief revision situation, our postulates can induce Darwiche and Pearl’s postulates C1 and C2.

Revising Partial Pre-Orders with Partial Pre-Orders: A Unit-Based Revision Framework

Belief revision studies strategies about how agents revise their belief states when receiving new evidence. Both in classical belief revision and in epistemic revision, a new input is either in the form of a (weighted) propositional formula or a total
pre-order (where the total pre-order is considered as a whole).
However, in some real-world applications, a new input can be a partial pre-order where each unit that constitutes the partial pre-order is important and should be considered individually. To address this issue, in this paper, we study how a partial preorder representing the prior epistemic state can be revised by another partial pre-order (the new input) from a different perspective, where the revision is conducted recursively on the individual units of partial pre-orders. We propose different revision operators (rules), dubbed the extension, match, inner and outer revision operators, from different revision points of view. We also analyze several properties for these operators.

Revision over Partial Pre-orders: A Postulational Study

Belief revision is the process that incorporates, in a consistent way,
a new piece of information, called input, into a belief base. When both belief
bases and inputs are propositional formulas, a set of natural and rational properties, known as AGM postulates, have been proposed to define genuine revision operations. This paper addresses the following important issue : How to revise a partially pre-ordered information (representing initial beliefs) with a new partially pre-ordered information (representing inputs) while preserving AGM postulates? We first provide a particular representation of partial pre-orders (called units) using the concept of closed sets of units. Then we restate AGM postulates in this framework by defining counterparts of the notions of logical entailment and logical consistency. In the second part of the paper, we provide some examples of revision operations that respect our set of postulates. We also prove that our revision methods extend well-known lexicographic revision and natural revision for both cases where the input is either a single propositional formula or a total pre-order.

GPU Acceleration of Partial Differential Equation Solvers

Differential equations are often directly solvable by analytical means only in their one dimensional version. Partial differential equations are generally not solvable by analytical means in two and three dimensions, with the exception of few special cases. In all other cases, numerical approximation methods need to be utilized. One of the most popular methods is the finite element method. The main areas of focus, here, are the Poisson heat equation and the plate bending equation. The purpose of this paper is to provide a quick walkthrough of the various approaches that the authors followed in pursuit of creating optimal solvers, accelerated with the use of graphical processing units, and comparing them in terms of accuracy and time efficiency with existing or self-made non-accelerated solvers.

Novel Panel Cointegration Tests Emending for Cross-Section Dependence with N Fixed

In this paper, we propose new cointegration tests for single equations and panels. Inboth cases, the asymptotic distributions of the tests, which are derived with N fixed andT → ∞, are shown to be standard normals. The effects of serial correlation and crosssectionaldependence are mopped out via long-run variances. An effective bias correctionis derived which is shown to work well in finite samples; particularly when N is smallerthan T. Our panel tests are robust to possible cointegration across units.

Design of a Dissolving Microneedle Platform for Transdermal Delivery of a Fixed-Dose Combination of Cardiovascular Drugs

Microneedles (MNs) are a minimally invasive drug delivery platform, designed to enhance transdermal drug delivery by breaching the stratum corneum. For the first time, this study describes the simultaneous delivery of a combination of three drugs using a dissolving polymeric MN system. In the present study, aspirin, lisinopril dihydrate, and atorvastatin calcium trihydrate were used as exemplar cardiovascular drugs and formulated into MN arrays using two biocompatible polymers, poly(vinylpyrrollidone) and poly(methylvinylether/maleic acid). Following fabrication, dissolution, mechanical testing, and determination of drug recovery from the MN arrays, in vitro drug delivery studies were undertaken, followed by HPLC analysis. All three drugs were successfully delivered in vitro across neonatal porcine skin, with similar permeation profiles achieved from both polymer formulations. An average of 126.3 ± 18.1 μg of atorvastatin calcium trihydrate was delivered, notably lower than the 687.9 ± 101.3 μg of lisinopril and 3924 ± 1011 μg of aspirin, because of the hydrophobic nature of the atorvastatin molecule and hence poor dissolution from the array. Polymer deposition into the skin may be an issue with repeat application of such a MN array, hence future work will consider more appropriate MN systems for continuous use, alongside tailoring delivery to less hydrophilic compounds.

Rational Partial Choice Functions and Their Application to Belief Revision.

Necessary and sufficient conditions for choice functions to be rational have been intensively studied in the past. However, in these attempts, a choice function is completely specified. That is, given any subset of options, called an issue, the best option over that issue is always known, whilst in real-world scenarios, it is very often that only a few choices are known instead of all. In this paper, we study partial choice functions and investigate necessary and sufficient rationality conditions for situations where only a few choices are known. We prove that our necessary and sufficient condition for partial choice functions boils down to the necessary and sufficient conditions for complete choice functions proposed in the literature. Choice functions have been instrumental in belief revision theory. That is, in most approaches to belief revision, the problem studied can simply be described as the choice of possible worlds compatible with the input information, given an agent’s prior belief state. The main effort has been to devise strategies in order to infer the agents revised belief state. Our study considers the converse problem: given a collection of input information items and their corresponding revision results (as provided by an agent), does there exist a rational revision operation used by the agent and a consistent belief state that may explain the observed results?

The Ultraviolet-Bright, Slowly Declining Transient PS1-11af as a Partial Tidal Disruption Event

We present the Pan-STARRS1 discovery of the long-lived and blue transient PS1-11af, which was also detected by Galaxy Evolution Explorer with coordinated observations in the near-ultraviolet (NUV) band. PS1-11af is associated with the nucleus of an early type galaxy at redshift z = 0.4046 that exhibits no evidence for star formation or active galactic nucleus activity. Four epochs of spectroscopy reveal a pair of transient broad absorption features in the UV on otherwise featureless spectra. Despite the superficial similarity of these features to P-Cygni absorptions of supernovae (SNe), we conclude that PS1-11af is not consistent with the properties of known types of SNe. Blackbody fits to the spectral energy distribution are inconsistent with the cooling, expanding ejecta of a SN, and the velocities of the absorption features are too high to represent material in homologous expansion near a SN photosphere. However, the constant blue colors and slow evolution of the luminosity are similar to previous optically selected tidal disruption events (TDEs). The shape of the optical light curve is consistent with models for TDEs, but the minimum accreted mass necessary to power the observed luminosity is only 0.002 M, which points to a partial disruption model. A full disruption model predicts higher bolometric luminosities, which would require most of the radiation to be emitted in a separate component at high energies where we lack observations. In addition, the observed temperature is lower than that predicted by pure accretion disk models for TDEs and requires reprocessing to a constant, lower temperature. Three deep non-detections in the radio with the Very Large Array over the first two years after the event set strict limits on the production of any relativistic outflow comparable to Swift J1644+57, even if off-axis.

Partial Cooperation in Strategic Decision Situations

We consider a normal form game in which there is a single exogenously given coalition of cooperating players that can write a binding agreement on pre-selected actions. These collective actions typically represent a certain number of dimensions in the players’ strategy space. The actions represented by the other dimensions of the strategy space remain under the complete, individual control of the players.
We consider a standard extension of the Nash equilibrium concept denoted as a partial cooperative equilibrium as well as an equilibrium concept in which the coalition of cooperators has a leadership position. Existence results are developed for these new equilibrium concepts. We identify conditions on these partial cooperative games under which the various equilibrium concepts are equivalent.
We apply this game theoretic framework to existing models of multi-market oligopolies and international pollution abatement. In a multi-market oligopoly typically a merger paradox emerges in the partial cooperative equilibrium, which vanishes if the cartel of collaborators exploits its leadership position. Our application to international pollution abatement treaties shows that cooperation by a sufficiently large group of countries results in a Pareto improvement over the standard tragedy of the commons outcome described by the Nash equilibrium.