Results for "Mojmír Mutný"

total 3took 0.01s
Adaptive and Safe Bayesian Optimization in High Dimensions via One-Dimensional SubspacesFeb 08 2019Bayesian optimization is known to be difficult to scale to high dimensions, because the acquisition step requires solving a non-convex optimization problem in the same search space. In order to scale the method and keep its benefits, we propose an algorithm ... More
Effective Translation of LTL to Deterministic Rabin Automata: Beyond the (F,G)-FragmentJun 19 2013Nov 06 2013Some applications of linear temporal logic (LTL) require to translate formulae of the logic to deterministic omega-automata. There are currently two translators producing deterministic automata: ltl2dstar working for the whole LTL and Rabinizer applicable ... More
Stability and elasticity of metastable solid solutions and superlattices in the MoN-TaN system: a first-principles studyMar 22 2017Employing ab initio calculations, we discuss chemical, mechanical, and dynamical stability of MoN-TaN solid solutions together with cubic-like MoN/TaN superlattices, as another materials design concept. Hexagonal-type structures based on low-energy modifications ... More