Iron Air collision with high density QCD

The color glass condensate approach describes successfully heavy ion collisions at RHIC. We investigate Iron-air collisions within this approach and compare results to event generators commonly used in air shower simulations. We estimate uncertainties in the extrapolation to GZK energies and discuss implications for air shower simulations.Comment: Proceedings of XIV International Symposium on Very High Energy Cosmic Ray Interactions (ISVHECRI 2006), Weihai, China, 15-22 Aug 200

Symmetry Breaking for Answer Set Programming

In the context of answer set programming, this work investigates symmetry detection and symmetry breaking to eliminate symmetric parts of the search space and, thereby, simplify the solution process. We contribute a reduction of symmetry detection to a graph automorphism problem which allows to extract symmetries of a logic program from the symmetries of the constructed coloured graph. We also propose an encoding of symmetry-breaking constraints in terms of permutation cycles and use only generators in this process which implicitly represent symmetries and always with exponential compression. These ideas are formulated as preprocessing and implemented in a completely automated flow that first detects symmetries from a given answer set program, adds symmetry-breaking constraints, and can be applied to any existing answer set solver. We demonstrate computational impact on benchmarks versus direct application of the solver. Furthermore, we explore symmetry breaking for answer set programming in two domains: first, constraint answer set programming as a novel approach to represent and solve constraint satisfaction problems, and second, distributed nonmonotonic multi-context systems. In particular, we formulate a translation-based approach to constraint answer set solving which allows for the application of our symmetry detection and symmetry breaking methods. To compare their performance with a-priori symmetry breaking techniques, we also contribute a decomposition of the global value precedence constraint that enforces domain consistency on the original constraint via the unit-propagation of an answer set solver. We evaluate both options in an empirical analysis. In the context of distributed nonmonotonic multi-context system, we develop an algorithm for distributed symmetry detection and also carry over symmetry-breaking constraints for distributed answer set programming.Comment: Diploma thesis. Vienna University of Technology, August 201

Promoting innovative stormwater solutions for coastal plain communities

In 2008, the Center for Watershed Protection (CWP) surveyed seventy-three coastal plain communities to determine their current practices and need for watershed planning and low impact development (LID). The survey found that communities had varying watershed planning effectiveness and need better stormwater management, land use planning, and watershed management communication. While technical capacity is improving, stormwater programs are under staffed and innovative site designs may be prohibited under current regulations. In addition, the unique site constraints (e.g., sandy soils, low relief, tidal influence, vulnerability to coastal hazards, etc.) and lack of local examples are common LID obstacles along the coast (Vandiver and Hernandez, 2009). LID stormwater practices are an innovative approach to stormwater management that provide an alternative to structural stormwater practices, reduce runoff, and maintain or restores hydrology. The term LID is typically used to refer to the systematic application of small, distributed practices that replicate pre-development hydrologic functions. Examples of LID practices include: downspout disconnection, rain gardens, bioretention areas, dry wells, and vegetated filter strips. In coastal communities, LID practices have not yet become widely accepted or applied. The geographic focus for the project is the Atlantic and Gulf coastal plain province which includes nearly 250,000 square miles in portions of fifteen states from New Jersey to Texas (Figure 1). This project builds on CWP’s “Coastal Plain Watershed Network: Adapting, Testing, and Transferring Effective Tools to Protect Coastal Plain Watersheds” that developed a coastal land cover model, conducted a coastal plain community needs survey (results are online here: http://www.cwp.org/#survey), created a coastal watershed Network, and adapted the 8 Tools for Watershed Protection Framework for coastal areas. (PDF contains 4 pages

Hybrid Simulation of Cosmic Ray Air Showers

Air shower simulations are essential for interpreting data from cosmic ray experiments. At highest energies though, a microscopic treatment of a whole shower is not possible any more, since it would require a huge amount of CPU-time. We review hybrid approaches of air shower simulation which try to overcome this problem without giving rise to artificial fluctuations as generated by the thinning algorithm.Comment: 8 pages, 9 figures, invited talk at the XIII International Symposium on Very High Energy Cosmic Ray Interactions (Sept.6-12), Pylos, Greec

Reviewing Excess Liquidity Measures - A Comparison for Asset Markets

The conduct of US monetary policy is often accompanied by controversial debates on the adequacy of monetary conditions. These can result from different concepts of excess liquidity measures. The paper analyzes the theoretical and empirical information content of these concepts for asset markets. The analysis classifies, reviews and assesses measures of monetary conditions. For those that qualify as excess liquidity measures, the analysis continues with a comparison of the sources of imbalances and a discussion of the adequacy for asset markets. The theoretical results are cross-checked with empirical evidence. All excess liquidity measures are estimated and compared in the light of recent US asset bubbles. The analysis draws the following main conclusions. Firstly, not all measures of monetary conditions qualify as excess liquidity measure. Secondly, the increasing relevance of asset markets leads to growing distortions of excess liquidity measures. Thirdly, the choice of excess liquidity measure has influence on the assessment of monetary conditions in asset markets.monetary overhang, real money gap, nominal money gap, credit ratios, leverage ratios, price gap, natural interest rate gap, Taylor gap

Alternative distributions for observation driven count series models

Observation-driven models provide a flexible framework for modelling time series of counts. They are able to capture a wide range of dependence structures. Many applications in this field of research are concerned with count series whose conditional distribution given past observations and explanatory variables is assumed to follow a Poisson distribution. This assumption is very convenient since the Poisson distribution is simple and leads to models which are easy to implement. On the other hand this assumption is often too restrictive since it implies equidispersion, the fact that the conditional mean equals the conditional variance. This assumption is often violated in empirical applications. Therefore more flexible distributions which allow for overdispersion or underdispersion should be used. This paper is concerned with the use of alternative distributions in the framework of observationdriven count series models. In this paper different count distributions and their properties are reviewed and used for modelling. The models under consideration are applied to a time series of daily counts of asthma presentations at a Sydney hospital. This data set has already been analyzed by Davis et al. (1999, 2000). The Poisson-GLARMA model proposed by these authors is used as a benchmark. This paper extends the work of Davis et al. (1999) to distributions which are nested in either the generalized negative binomial or the generalized Poisson distribution. Additionally the maximum likelihood estimation for observation-driven models with generalized distributions is presented in this paper. --Count series,observation-driven models,GLARMA,dicrete distributions

Computation of two-dimensional turbulent flow at subsonic Mach numbers over thick trailing edges

An implicit time marching finite difference method is used to predict two dimensional turbulent flow at a Reynolds number of 440,000 and a Mach number of 0.574 over a shortened NACA 0012 airfoil with a trailing edge of 4.5% thickness and semicircular shape. The flow is found to be unsteady but periodic in the trailing edge region. Thus, lift and drag fluctuate at small amplitudes around mean values and at distinct frequencies

Hard-core bosons in flat band systems above the critical density

We investigate the behaviour of hard-core bosons in one- and two-dimensional flat band systems, the chequerboard and the kagom\'e lattice and one-dimensional analogues thereof. The one dimensional systems have an exact local reflection symmetry which allows for exact results. We show that above the critical density an additional particle forms a pair with one of the other bosons and that the pair is localised. In the two-dimensional systems exact results are not available but variational results indicate a similar physical behaviour