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

APDs as Single-Photon Detectors for Visible and Near-Infrared Wavelenghts down to Hz Rates

For the SPECTRAP experiment at GSI, Germany, detectors with Single-Photon counting capability in the visible and near-infrared regime are required. For the wavelength region up to 1100 nm we investigate the performance of 2x2 mm^2 avalanche photo diodes (APDs) of type S0223 manufactured by Radiation Monitoring Devices. To minimize thermal noise, the APDs are cooled to approximately -170 deg. C using liquid nitrogen. By operating the diodes close to the breakdown voltage it is possible to achieve relative gains in excess of 2x10^4. Custom-made low noise preamplifiers are used to read out the devices. The measurements presented in this paper have been obtained at a relative gain of 2.2x10^4. At a discriminator threshold of 6 mV the resulting dark count rate is in the region of 230/s. With these settings the studied APDs are able to detect single photons at 628 nm wavelength with a photo detection efficiency of (67+-7)%. Measurements at 1020 nm wavelength have been performed using the attenuated output of a grating spectrograph with a light bulb as photon source. With this setup the photo detection efficiency at 1020 nm has been determined to be (13+-3)%, again at a threshold of 6 mV.Comment: 14 pages, 9 figures, submitted to Journal of Instrumentatio

APDs as Single-Photon Detectors for Visible and Near-Infrared Wavelenghts down to Hz Rates

For the SPECTRAP experiment at GSI, Germany, detectors with Single-Photon counting capability in the visible and near-infrared regime are required. For the wavelength region up to 1100 nm we investigate the performance of 2x2 mm^2 avalanche photo diodes (APDs) of type S0223 manufactured by Radiation Monitoring Devices. To minimize thermal noise, the APDs are cooled to approximately -170 deg. C using liquid nitrogen. By operating the diodes close to the breakdown voltage it is possible to achieve relative gains in excess of 2x10^4. Custom-made low noise preamplifiers are used to read out the devices. The measurements presented in this paper have been obtained at a relative gain of 2.2x10^4. At a discriminator threshold of 6 mV the resulting dark count rate is in the region of 230/s. With these settings the studied APDs are able to detect single photons at 628 nm wavelength with a photo detection efficiency of (67+-7)%. Measurements at 1020 nm wavelength have been performed using the attenuated output of a grating spectrograph with a light bulb as photon source. With this setup the photo detection efficiency at 1020 nm has been determined to be (13+-3)%, again at a threshold of 6 mV.Comment: 14 pages, 9 figures, submitted to Journal of Instrumentatio

APDs as Single-Photon Detectors for Visible and Near-Infrared Wavelenghts down to Hz Rates

For the SPECTRAP experiment at GSI, Germany, detectors with Single-Photon counting capability in the visible and near-infrared regime are required. For the wavelength region up to 1100 nm we investigate the performance of 2x2 mm^2 avalanche photo diodes (APDs) of type S0223 manufactured by Radiation Monitoring Devices. To minimize thermal noise, the APDs are cooled to approximately -170 deg. C using liquid nitrogen. By operating the diodes close to the breakdown voltage it is possible to achieve relative gains in excess of 2x10^4. Custom-made low noise preamplifiers are used to read out the devices. The measurements presented in this paper have been obtained at a relative gain of 2.2x10^4. At a discriminator threshold of 6 mV the resulting dark count rate is in the region of 230/s. With these settings the studied APDs are able to detect single photons at 628 nm wavelength with a photo detection efficiency of (67+-7)%. Measurements at 1020 nm wavelength have been performed using the attenuated output of a grating spectrograph with a light bulb as photon source. With this setup the photo detection efficiency at 1020 nm has been determined to be (13+-3)%, again at a threshold of 6 mV.Comment: 14 pages, 9 figures, submitted to Journal of Instrumentatio

The use of a shear thinning polymer as a bubbly magma analogue for scaled laboratory experiments

Analogue materials are commonly used in volcanology to perform scaled laboratory experiments. Analogue experiments inform on fundamental fluid dynamic, structural and mechanical processes that are typically very difficult to observe and quantify directly in the natural volcanic system. Here we investigate the suitability of an aqueous solution of hydroxyethyl cellulose polymer (HEC) for use as a lava/magma analogue, with a particular focus on its rheological behaviour. We characterize a range of physical properties as functions of the concentration and temperature of the solution: density; specific heat capacity; thermal diffusivity; thermal conductivity; surface tension; as well as rheology. HEC has a non-Newtonian, shear-thinning rheology that depends on the concentration and temperature of the solution. We show that the rheology is well described by the Cross model, which was originally developed for polymer solutions, but has also been applied to bubbly magmas. Using this similarity, an approach for scaling analogue experiments that use shear-thinning polymers, like HEC, to bubbly magma is presented. A detailed workflow and a spreadsheet are provided to allow experimentalists to investigate the effects of non-Newtonian behaviour in their existing laboratory set-ups. This contribution will allow for the more complex, but often more realistic case of bubble-bearing magmas to be rigorously studied in experimental volcanology

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

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

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

National Institutes of Health–Funded Cardiac Arrest Research: A 10‐Year Trend Analysis

Peer Reviewedhttps://deepblue.lib.umich.edu/bitstream/2027.42/142427/1/jah32314.pdfhttps://deepblue.lib.umich.edu/bitstream/2027.42/142427/2/jah32314_am.pd

The Dipole Anisotropy of the 2mass Redshift Survey

We estimate the flux weighted acceleration on the Local Group (LG) from the near-infrared Two Micron All Sky Redshift Survey (2MRS). The near-infrared flux weighted dipoles are very robust because they closely approximate a mass weighted dipole, bypassing the effects of redshift distortions and require no preferred reference frame. We use this method with the redshift information to determine the change in dipole with distance. The LG dipole seemingly converges by 60 Mpc/h. Assuming convergence, the comparison of the 2MRS flux dipole and the CMB dipole provides a value for the combination of the mass density and luminosity bias parameters Omega_m^0.6/b_L= 0.40+/-0.09.Comment: 4 pages, 2 figures, Contribution to Rencontres de Moriond: Contents and Structures of the Universe, March 18-25, 2006, La Thuil