Gist is a tool that (a) solves the qualitative analysis problem of turn-based probabilistic games with ω-regular objectives; and (b) synthesizes reasonable environment assumptions for synthesis of unrealizable specifications. Our tool provides the first and efficient implementations of several reduction-based techniques to solve turn-based probabilistic games, and uses the analysis of turn-base...

The new paradigm in monetary policymaking gives accent to central banks‘ Independence. It is widely accepted that in modern monetary policymaking, central banks have three key goals: price stability, output stability and financial stability. Recent studies on central bank independence mainly investigate the effects of central bank independence on economic stability. But the effectiveness of cen...

We introduce a C++ header-only library that is used to solve the axion equation of motion, MiMeS. MiMeS makes no assumptions regarding cosmology and mass axion, which allows user consider various cosmological scenarios axion-like models. also includes convenient python interface be called without writing any code in C++, with minimal overhead.

We give sufficient cohomological criteria for the classes of given varieties over a field k to be algebraically independent in the Grothendieck ring of varieties over k and construct some examples.

The graph copy function when restricted to the set of trees or of rooted trees is called the tree copy function or the rooted tree copy function, respectively. We show that both the set of tree copy functions and the set of rooted tree copy functions are strongly linearly independent. We also show that the set of all tree copy functions are algebraically independent but the set of all rooted tr...

In this paper we present the out-of-core multi-frontal direct solver algorithm for multi-physics problems. The solver is based on the binary elimination tree, with number of leaves equal to the number of finite elements. The solver browses the elimination tree in the post-order, eliminates fully assembled degrees of freedom and merges resulting Schur complement matrices. The solver is intended ...

In the high-choice media landscape, satire has potential to help news and politics break through information apathy barriers reinvigorate democratic debate. While scholarly attention genre of increased, interest in satirists themselves been sparse. Using a theory non-deliberative forms public discourse idea role conceptions, this study presents an analysis interviews with Swedish working broadc...

In this note we investigate arithmetic properties of values of the Tschakaloff function Tq(z) = P∞ ν=0 q −ν(ν+1)/2zν , |q| > 1. One of the open problems is proving linear independence of the values of Tq(z) with different q. The only result obtained in this direction in [1] is very restrictive. We refer an interested reader to the survey [2] for an account of known linear and algebraic independ...