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 main cost of Gauss-Newton (GN) inversion of timedomain controlled-source electromagnetic (tCSEM) data is comprised of the multiple solutions of the forward problem and linear-algebraic operations using the Jacobian matrix. For large-scale 2.5D and 3D problems with multiple sources and receivers, this cost grows enormously for inversion algorithms using conventional finite-difference time-do...

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.

In this paper, we perform two-dimensional simulations of cross-flow forward osmosis (FO) membrane modules in the presence of draw and feed channel spacers. For this purpose, the equations corresponding to the conservation of mass, momentum, and convection-diffusion for the mass fraction of solute are solved using a commercial finite volume flow solver. We consider six configurations of channel ...

Blind deconvolution is a challenging problem, but in low-light it even more difficult. Existing algorithms, both classical and deep-learning based, are not designed for this condition. When the photon shot noise strong, conventional methods fail because (1) image does have enough signal-to-noise ratio to perform blur estimation; (2) While deep neural networks powerful, many of them do consider ...

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 ...

This work develops a new open source application programming interface (API) and software package called SymPhas for simulations of phase-field, phase-field crystal, reaction-diffusion models, supporting up to three dimensions an arbitrary number fields. delivers two novel program capabilities: 1) User specification models from the associated dynamical equations in unconstrained form 2) extensi...

Considering a temporal dimension allows for the delivery of rolling solutions to complex real-world problems. Moving forward in time brings uncertainty, and large margins potential error solutions. For multi-year crop planning problem, largest uncertainty is how climate will change over coming decades. The innovation this paper presents are novel methods that allow solver produce feasible under...