Winning Cores in Parity Games

We introduce the novel notion of winning cores in parity games and develop a deterministic polynomial-time under-approximation algorithm for solving parity games based on winning core approximation. Underlying this algorithm are a number properties about winning cores which are interesting in their own right. In particular, we show that the winning core and the winning region for a player in a parity game are equivalently empty. Moreover, the winning core contains all fatal attractors but is not necessarily a dominion itself. Experimental results are very positive both with respect to quality of approximation and running time. It outperforms existing state-of-the-art algorithms significantly on most benchmarks

Abrupt grain boundary melting in ice

The effect of impurities on the grain boundary melting of ice is investigated through an extension of Derjaguin-Landau-Verwey-Overbeek theory, in which we include retarded potential effects in a calculation of the full frequency dependent van der Waals and Coulombic interactions within a grain boundary. At high dopant concentrations the classical solutal effect dominates the melting behavior. However, depending on the amount of impurity and the surface charge density, as temperature decreases, the attractive tail of the dispersion force interaction begins to compete effectively with the repulsive screened Coulomb interaction. This leads to a film-thickness/temperature curve that changes depending on the relative strengths of these interactions and exhibits a decrease in the film thickness with increasing impurity level. More striking is the fact that at very large film thicknesses, the repulsive Coulomb interaction can be effectively screened leading to an abrupt reduction to zero film thickness.Comment: 8 pages, 1 figur

LOGISTIC REGRESSION ANALYSIS TO DETERMINE FACTORS CONTRIBUTING TO SUMMER FEEDLOT DEATHS

Summer heat has already been identified as a major factor for cattle deaths in the feedlot. This study attempts to assess what other factors contribute to and/or influence cattle deaths. Identifying multiple factors that contribute to summer feedlot deaths could aid feedlot managers in implementation of mitigation strategies and minimize the loss of nearly finished cattle. Daily pen, cattle, and nutritional characteristics were recorded and included in this generalized linear mixed model analysis. Cattle data were obtained from cattle pens at a single location from July 1, 2010 to July 31, 2010. Hourly weather data were acquired from this feed yard while solar radiation was received from a neighboring town. Rather than using multiple weather variables, a single comprehensive climate index that summarizes several weather variables is used to capture the apparent feel of the weather. After reviewing the data, a statistical model is developed and odds ratios are computed for statistical inference. According to these odds ratios, cattle fed on severe west slopes had significantly higher odds of death than other types of slopes. Analysis of feed intake indicates pens consuming 16 pounds of feed per head or less during July 16 – 18 have higher odds of death than other consumption levels

A direct optical method for the study of grain boundary melting

The structure and evolution of grain boundaries underlies the nature of polycrystalline materials. Here we describe an experimental apparatus and light reflection technique for measuring disorder at grain boundaries in optically clear material, in thermodynamic equilibrium. The approach is demonstrated on ice bicrystals. Crystallographic orientation is measured for each ice sample. The type and concentration of impurity in the liquid can be controlled and the temperature can be continuously recorded and controlled over a range near the melting point. The general methodology is appropriate for a wide variety of materials.Comment: 8 pages, 8 figures, updated with minor changes made to published versio

Generalized Interpolation Material Point Approach to High Melting Explosive with Cavities Under Shock

Criterion for contacting is critically important for the Generalized Interpolation Material Point(GIMP) method. We present an improved criterion by adding a switching function. With the method dynamical response of high melting explosive(HMX) with cavities under shock is investigated. The physical model used in the present work is an elastic-to-plastic and thermal-dynamical model with Mie-Gr\"uneissen equation of state. We mainly concern the influence of various parameters, including the impacting velocity $v$, cavity size $R$, etc, to the dynamical and thermodynamical behaviors of the material. For the colliding of two bodies with a cavity in each, a secondary impacting is observed. Correspondingly, the separation distance $D$ of the two bodies has a maximum value $D_{\max}$ in between the initial and second impacts. When the initial impacting velocity $v$ is not large enough, the cavity collapses in a nearly symmetric fashion, the maximum separation distance $D_{\max}$ increases with $v$. When the initial shock wave is strong enough to collapse the cavity asymmetrically along the shock direction, the variation of $D_{\max}$ with $v$ does not show monotonic behavior. Our numerical results show clear indication that the existence of cavities in explosive helps the creation of ``hot spots''.Comment: Figs.2,4,7,11 in JPG format; Accepted for publication in J. Phys. D: Applied Physic

The sound of waves in the Mutriku wave energy plant

Peer Reviewe

COMPARING FUNCTIONAL DATA ANALYSIS AND HYSTERESIS LOOPS WHEN TESTING TREATMENTS FOR REDUCING HEAT STRESS IN DAIRY COWS

Various techniques are commonly used to reduce heat stress, including sprayers and misters, shading, and changes in feed. Oftentimes studies are performed where researchers do not control the times when animals use shading or other means available to reduce heat stress, making it hard to test differences between treatments. Two methods are used on data from a study where Holstein cows were given free access to weight activated “cow showers.” Functional data analysis can be used to model body temperature as a function of time and environmental variables such as the Heat Load Index. Differences between treatment groups can be tested using a Functional Bayesian MCMC model. Alternatively hysteresis loops, such as the ellipse, formed by a plot of air temperature or the Heat Load Index against body temperature over the course of a day can be estimated and their parameters used to test differences between cows with access to showers and cows without. Results from an R package hysteresis, which can estimate these loops and their parameters are illustrated. Functional data analysis allows for looser assumptions regarding the body temperature curve and the ability to look for differences between groups at specific time points, while hysteresis loops give the ability to look at heat stress over the course of a day holistically in terms of parameters such as amplitude, lag, internal heat load and central values

Connectivity and tree structure in finite graphs

Considering systems of separations in a graph that separate every pair of a given set of vertex sets that are themselves not separated by these separations, we determine conditions under which such a separation system contains a nested subsystem that still separates those sets and is invariant under the automorphisms of the graph. As an application, we show that the $k$-blocks -- the maximal vertex sets that cannot be separated by at most $k$ vertices -- of a graph $G$ live in distinct parts of a suitable tree-decomposition of $G$ of adhesion at most $k$, whose decomposition tree is invariant under the automorphisms of $G$. This extends recent work of Dunwoody and Kr\"on and, like theirs, generalizes a similar theorem of Tutte for $k=2$. Under mild additional assumptions, which are necessary, our decompositions can be combined into one overall tree-decomposition that distinguishes, for all $k$ simultaneously, all the $k$-blocks of a finite graph.Comment: 31 page