The tropical shadow-vertex algorithm solves mean payoff games in polynomial time on average

We introduce an algorithm which solves mean payoff games in polynomial time on average, assuming the distribution of the games satisfies a flip invariance property on the set of actions associated with every state. The algorithm is a tropical analogue of the shadow-vertex simplex algorithm, which solves mean payoff games via linear feasibility problems over the tropical semiring $(\mathbb{R} \cup \{-\infty\}, \max, +)$. The key ingredient in our approach is that the shadow-vertex pivoting rule can be transferred to tropical polyhedra, and that its computation reduces to optimal assignment problems through Pl\"ucker relations.Comment: 17 pages, 7 figures, appears in 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part

Generation of small-scale structures in the developed turbulence

The Navier-Stokes equation for incompressible liquid is considered in the limit of infinitely large Reynolds number. It is assumed that the flow instability leads to generation of steady-state large-scale pulsations. The excitation and evolution of the small-scale turbulence is investigated. It is shown that the developed small-scale pulsations are intermittent. The maximal amplitude of the vorticity fluctuations is reached along the vortex filaments. Basing on the obtained solution, the pair correlation function in the limit $r\to 0$ is calculated. It is shown that the function obeys the Kolmogorov law $r^{2/3}$.Comment: 18 page

Thermodynamic aspects of materials' hardness: prediction of novel superhard high-pressure phases

In the present work we have proposed the method that allows one to easily estimate hardness and bulk modulus of known or hypothetical solid phases from the data on Gibbs energy of atomization of the elements and corresponding covalent radii. It has been shown that hardness and bulk moduli of compounds strongly correlate with their thermodynamic and structural properties. The proposed method may be used for a large number of compounds with various types of chemical bonding and structures; moreover, the temperature dependence of hardness may be calculated, that has been performed for diamond and cubic boron nitride. The correctness of this approach has been shown for the recently synthesized superhard diamond-like BC5. It has been predicted that the hypothetical forms of B2O3, diamond-like boron, BCx and COx, which could be synthesized at high pressures and temperatures, should have extreme hardness

Oil and gas development and employment in Arctic communities: the case of Alberta and Finnmark

Master in Social Science - Nord universitet 201

The heats of formation of the haloacetylenes XCCY [X, Y = H, F, Cl]: basis set limit ab initio results and thermochemical analysis

The heats of formation of haloacetylenes are evaluated using the recent W1 and W2 ab initio computational thermochemistry methods. These calculations involve CCSD and CCSD(T) coupled cluster methods, basis sets of up to spdfgh quality, extrapolations to the one-particle basis set limit, and contributions of inner-shell correlation, scalar relativistic effects, and (where relevant) first-order spin-orbit coupling. The heats of formation determined using W2 theory are: \hof(HCCH) = 54.48 kcal/mol, \hof(HCCF) = 25.15 kcal/mol, \hof(FCCF) = 1.38 kcal/mol, \hof(HCCCl) = 54.83 kcal/mol, \hof(ClCCCl) = 56.21 kcal/mol, and \hof(FCCCl) = 28.47 kcal/mol. Enthalpies of hydrogenation and destabilization energies relative to acetylene were obtained at the W1 level of theory. So doing we find the following destabilization order for acetylenes: FCCF $>$ ClCCF $>$ HCCF $>$ ClCCCl $>$ HCCCl $>$ HCCH. By a combination of W1 theory and isodesmic reactions, we show that the generally accepted heat of formation of 1,2-dichloroethane should be revised to -31.8$\pm$0.6 kcal/mol, in excellent agreement with a very recent critically evaluated review. The performance of compound thermochemistry schemes such as G2, G3, G3X and CBS-QB3 theories has been analyzed.Comment: Mol. Phys., in press (E. R. Davidson issue

Using Strategy Improvement to Stay Alive

We design a novel algorithm for solving Mean-Payoff Games (MPGs). Besides solving an MPG in the usual sense, our algorithm computes more information about the game, information that is important with respect to applications. The weights of the edges of an MPG can be thought of as a gained/consumed energy -- depending on the sign. For each vertex, our algorithm computes the minimum amount of initial energy that is sufficient for player Max to ensure that in a play starting from the vertex, the energy level never goes below zero. Our algorithm is not the first algorithm that computes the minimum sufficient initial energies, but according to our experimental study it is the fastest algorithm that computes them. The reason is that it utilizes the strategy improvement technique which is very efficient in practice

Expression levels influence ribosomal frameshifting at the tandem rare arginine codons AGG_AGG and AGA_AGA in Escherichia coli

Journal ArticleABSTRACT: The rare codons AGG and AGA comprise 2% and 4%, respectively, of the arginine codons of Escherichia coli K-12, and their cognate tRNAs are sparse. At tandem occurrences of either rare codon, the paucity of cognate aminoacyl tRNAs for the second codon of the pair facilitates peptidyl-tRNA shifting to the _x0001_1 frame. However, AGG_AGG and AGA_AGA are not underrepresented and occur 4 and 42 times, respectively, in E. coli genes. Searches for corresponding occurrences in other bacteria provide no strong support for the functional utilization of frameshifting at these sequences. All sequences tested in their native context showed 1.5 to 11% frameshifting when expressed from multicopy plasmids. A cassette with one of these sequences singly integrated into the chromosome in stringent cells gave 0.9% frameshifting in contrast to two- to four-times-higher values obtained from multicopy plasmids in stringent cells and eight-times-higher values in relaxed cells. Thus, _x0001_1 frameshifting efficiency at AGG_AGG and AGA_AGA is influenced by the mRNA expression level. These tandem rare codons do not occur in highly expressed mRNAs

Nighttime ozone profiles in the stratosphere and mesosphere by the Global Ozone Monitoring by Occultation of Stars on Envisat

The Global Ozone Monitoring by Occultation of Stars (GOMOS) instrument on board the European Space Agency's Envisat satellite measures ozone and a few other trace gases using the stellar occultation method. Global coverage, good vertical resolution and the self-calibrating measurement method make GOMOS observations a promising data set for building various climatologies. In this paper we present the nighttime stratospheric ozone distribution measured by GOMOS in 2003. We show monthly latitudinal distributions of the ozone number density and mixing ratio profiles, as well as the seasonal variations of profiles at several latitudes. The stratospheric profiles are compared with the Fortuin-Kelder daytime ozone climatology. Large differences are found in polar areas and they can be shown to be correlated with large increases of NO2. In the upper stratosphere, ozone values from GOMOS are systematically larger than in the Fortuin-Kelder climatology, which can be explained by the diurnal variation. In the middle and lower stratosphere, GOMOS finds a few percent less ozone than Fortuin-Kelder. In the equatorial area, at heights of around 15–22 km, GOMOS finds much less ozone than Fortuin-Kelder. For the mesosphere and lower thermosphere, there has previously been no comprehensive nighttime ozone climatology. GOMOS is one of the first new instruments able to contribute to such a climatology. We concentrate on the characterization of the ozone distribution in this region. The monthly latitudinal and seasonal distributions of ozone profiles in this altitude region are shown. The altitude of the mesospheric ozone peak and the semiannual oscillation of the number density are determined. GOMOS is also able to determine the magnitude of the ozone minimum around 80 km. The lowest seasonal mean mixing ratio values are around 0.13 ppm. The faint tertiary ozone peak at 72 km in polar regions during wintertime is observed