Numerical computation of transonic flows by finite-element and finite-difference methods

Studies on applications of the finite element approach to transonic flow calculations are reported. Different discretization techniques of the differential equations and boundary conditions are compared. Finite element analogs of Murman's mixed type finite difference operators for small disturbance formulations were constructed and the time dependent approach (using finite differences in time and finite elements in space) was examined

Unifying Parsimonious Tree Reconciliation

Evolution is a process that is influenced by various environmental factors, e.g. the interactions between different species, genes, and biogeographical properties. Hence, it is interesting to study the combined evolutionary history of multiple species, their genes, and the environment they live in. A common approach to address this research problem is to describe each individual evolution as a phylogenetic tree and construct a tree reconciliation which is parsimonious with respect to a given event model. Unfortunately, most of the previous approaches are designed only either for host-parasite systems, for gene tree/species tree reconciliation, or biogeography. Hence, a method is desirable, which addresses the general problem of mapping phylogenetic trees and covering all varieties of coevolving systems, including e.g., predator-prey and symbiotic relationships. To overcome this gap, we introduce a generalized cophylogenetic event model considering the combinatorial complete set of local coevolutionary events. We give a dynamic programming based heuristic for solving the maximum parsimony reconciliation problem in time O(n^2), for two phylogenies each with at most n leaves. Furthermore, we present an exact branch-and-bound algorithm which uses the results from the dynamic programming heuristic for discarding partial reconciliations. The approach has been implemented as a Java application which is freely available from http://pacosy.informatik.uni-leipzig.de/coresym.Comment: Peer-reviewed and presented as part of the 13th Workshop on Algorithms in Bioinformatics (WABI2013

Aluminium metallisation for interdigitated back contact silicon heterojunction solar cells

Back contact silicon heterojunction solar cells with an efficiency of 22 were manufactured, featuring a simple aluminium metallisation directly on the doped amorphous silicon films. Both the open circuit voltage and the fill factor heavily depend on the parameters of the annealing step after aluminium layer deposition. Using numerical device simulations and in accordance with the literature, we demonstrate that the changes in solar cell parameters with annealing can be explained by the formation of an aluminium silicide layer at temperatures as low as 150 C, improving the contact resistance and thus enhancing the fill factor. Further annealing at higher temperatures initialises the crystallisation of the amorphous silicon layers, yielding even lower contact resistances, but also introduces more defects, diminishing the open circuit voltag

Optimal strategies for a game on amenable semigroups

The semigroup game is a two-person zero-sum game defined on a semigroup S as follows: Players 1 and 2 choose elements x and y in S, respectively, and player 1 receives a payoff f(xy) defined by a function f from S to [-1,1]. If the semigroup is amenable in the sense of Day and von Neumann, one can extend the set of classical strategies, namely countably additive probability measures on S, to include some finitely additive measures in a natural way. This extended game has a value and the players have optimal strategies. This theorem extends previous results for the multiplication game on a compact group or on the positive integers with a specific payoff. We also prove that the procedure of extending the set of allowed strategies preserves classical solutions: if a semigroup game has a classical solution, this solution solves also the extended game.Comment: 17 pages. To appear in International Journal of Game Theor

Parsing the Effects of Demography, Climate and Management on Recurrent Brucellosis Outbreaks in Elk

Zoonotic pathogens can harm human health and well‐being directly or by impacting livestock. Pathogens that spillover from wildlife can also impair conservation efforts if humans perceive wildlife as pests. Brucellosis, caused by the bacterium Brucella abortus, circulates in elk and bison herds of the Greater Yellowstone Ecosystem and poses a risk to cattle and humans. Our goal was to understand the relative effects of climatic drivers, host demography and management control programmes on disease dynamics. Using \u3e20 years of serologic, demographic and environmental data on brucellosis in elk, we built stochastic compartmental models to assess the influences of climate forcing, herd immunity, population turnover and management interventions on pathogen transmission. Data were collected at feedgrounds visited in winter by free‐ranging elk in Wyoming, USA. Snowpack, hypothesized as a driver of elk aggregation and thus brucellosis transmission, was strongly correlated across feedgrounds. We expected this variable to drive synchronized disease dynamics across herds. Instead, we demonstrate asynchronous epizootics driven by variation in demographic rates. We evaluated the effectiveness of test‐and‐slaughter of seropositive female elk at two feedgrounds. Test‐and‐slaughter temporarily reduced herd‐level seroprevalence but likely reduced herd immunity while removing few infectious individuals, resulting in subsequent outbreaks once the intervention ceased. We simulated an alternative strategy of removing seronegative female elk and found it would increase herd immunity, yielding fewer infections. We evaluated a second experimental treatment wherein feeding density was reduced at one feedground, but we found no evidence for an effect despite a decade of implementation. Synthesis and applications. Positive serostatus is often weakly correlated with infectiousness but is nevertheless used to make management decisions including lethal removal in wildlife disease systems. We show how this can have adverse consequences whereas efforts that maintain herd immunity can have longer‐term protective effects. Climatic drivers may not result in synchronous disease dynamics across populations unless vital rates are also similar because demographic factors have a large influence on disease patterns

Chosen-ciphertext security from subset sum

We construct a public-key encryption (PKE) scheme whose security is polynomial-time equivalent to the hardness of the Subset Sum problem. Our scheme achieves the standard notion of indistinguishability against chosen-ciphertext attacks (IND-CCA) and can be used to encrypt messages of arbitrary polynomial length, improving upon a previous construction by Lyubashevsky, Palacio, and Segev (TCC 2010) which achieved only the weaker notion of semantic security (IND-CPA) and whose concrete security decreases with the length of the message being encrypted. At the core of our construction is a trapdoor technique which originates in the work of Micciancio and Peikert (Eurocrypt 2012

Number partitioning as random energy model

Number partitioning is a classical problem from combinatorial optimisation. In physical terms it corresponds to a long range anti-ferromagnetic Ising spin glass. It has been rigorously proven that the low lying energies of number partitioning behave like uncorrelated random variables. We claim that neighbouring energy levels are uncorrelated almost everywhere on the energy axis, and that energetically adjacent configurations are uncorrelated, too. Apparently there is no relation between geometry (configuration) and energy that could be exploited by an optimization algorithm. This ``local random energy'' picture of number partitioning is corroborated by numerical simulations and heuristic arguments.Comment: 8+2 pages, 9 figures, PDF onl