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.

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.

Partial Encryption by Randomized Zig-Zag Scanning for Video Encoding

19.Wang, Y, O’Neill, M, Kurugollu, F, Partial Encryption by Randomized Zig-Zag Scanning for Video Encoding, IEEE International Symposium on Circuits and Systems (ISCAS), Beijing, May 2013

Simulating reinforced concrete members. Part 1: partial interaction properties

Reinforced concrete members are extremely complex under loading because of localised deformations in the concrete (cracks, sliding planes) and between the reinforcement and concrete (slip). An ideal model for simulating behaviour of reinforced concrete members should incorporate both global behaviour and the localised behaviours that are seen and measured in practice; these localised behaviours directly affect the global behaviour. Most commonly used models do not directly simulate these localised behaviours that can be seen or measured in real members; instead, they overcome these limitations by using empirically or semi-empirically derived strain-based pseudo properties such as the use of effective flexural rigidities for deflection; plastic hinge lengths for strength and ductility; and energy-based approaches for both concrete softening in compression and concrete softening after tensile cracking to allow for tension stiffening. Most reinforced concrete member experimental testing is associated with deriving these pseudo properties for use in design and analysis, and this component of development is thus costly. The aim of the present research is to reduce this cost substantially. In this paper, localised material behaviours and the mechanisms they induce are described. Their incorporation into reinforced concrete member behaviour without the need for empirically derived pseudo properties is described in a companion paper.

Improved Efficiency for Partial Oxidation of Methane by Controlled Copper Deposition on Surface-Modified ZSM-5

The mono(μ-oxo) dicopper cores present in the pores of Cu-ZSM-5 are active for the partial oxidation of methane to methanol. However, copper on the external surface reduces the ratio of active, selective sites to unselective sites. More efficient catalysts are obtained by controlling the copper deposition during synthesis. Herein, the external exchange sites of ZSM-5 samples were passivated by bis(trimethylsilyl) trifluoroacetamide (BSTFA) followed by calcination, promoting selective deposition of intraporous copper during aqueous copper ion exchange. At an optimum level of 1–2 wt % SiO2, IR studies showed a 64 % relative reduction in external copper species and temperature-programmed oxidation analysis showed an associated increase in the formation of methanol compared with unmodified Cu-ZSM-5 samples. It is, therefore, reported that the modified zeolites contained a significantly higher proportion of active, selective copper species than their unmodified counterparts with activity for partial methane oxidation to methanol.

Partial Palmprint Matching Using Invariant Local Minutiae Descriptors

In forensic investigations, it is common for forensic investigators to obtain a photograph of evidence left at the scene of crimes to aid them catch the culprit(s). Although, fingerprints are the most popular evidence that can be used, scene of crime officers claim that more than 30% of the evidence recovered from crime scenes originate from palms. Usually, palmprints evidence left at crime scenes are partial since very rarely full palmprints are obtained. In particular, partial palmprints do not exhibit a structured shape and often do not contain a reference point that can be used for their alignment to achieve efficient matching. This makes conventional matching methods based on alignment and minutiae pairing, as used in fingerprint recognition, to fail in partial palmprint recognition problems. In this paper a new partial-to-full palmprint recognition based on invariant minutiae descriptors is proposed where the partial palmprint’s minutiae are extracted and considered as the distinctive and discriminating features for each palmprint image. This is achieved by assigning to each minutiae a feature descriptor formed using the values of all the orientation histograms of the minutiae at hand. This allows for the descriptors to be rotation invariant and as such do not require any image alignment at the matching stage. The results obtained show that the proposed technique yields a recognition rate of 99.2%. The solution does give a high confidence to the judicial jury in their deliberations and decision.

Behavioural reactivity of ewes and lambs during partial and total social isolation

This work investigated the differences in the reactivity of Sarda (primiparous n= 18, multiparous n= 17) and Dorset (multiparous n= 8) breeds of sheep and their singleton lambs to two challenging test situations involving a mother-lamb partial separation test and an isolation test. Non-parametric analysis used single behavioural variables and fear scores to evaluate the effect of parity, sex of lambs, and the association between mother-lamb behaviour. Amongst ewes, Dorset were characterised by a more calm temperament while Sarda (especially primiparous ewes) were more active in their response to challenge (i.e. more attempts to escape). As with their dams, lambs reflected to a certain extent this divergence and overall during isolation lamb fear score was on average significantly higher than dams. Correlations between measures of behavioural reactivity across tests were carried out to search for predictive measures of fear. A very strong correlation emerged linking vocalisation to locomotor activity. Vocalisation could be a good candidate as predictor factor of an active reaction of sheep to a fearful situation.

Electron impact fragmentation of thymine:partial ionization cross sections for positive fragments

We have measured mass spectra for positive ions for low-energy electron impact on thymine using a reflectron time-of-flight mass spectrometer. Using computer controlled data acquisition, mass spectra have been acquired for electron impact energies up to 100 eV in steps of 0.5 eV. Ion yield curves for most of the fragment ions have been determined by fitting groups of adjacent peaks in the mass spectra with sequences of normalized Gaussians. The ion yield curves have been normalized by comparing the sum of the ion yields to the average of calculated total ionization cross sections. Appearance energies have been determined. The nearly equal appearance energies of 83 u and 55 u observed in the present work strongly indicate that near threshold the 55 u ion is formed directly by the breakage of two bonds in the ring, rather than from a successive loss of HNCO and CO from the parent ion. Likewise 54 u is not formed by CO loss from 82 u. The appearance energies are in a number of cases consistent with the loss of one or more hydrogen atoms from a heavier fragment, but 70 u is not formed by hydrogen loss from 71 u.