Results for "Mojmír Mutný"

total 7took 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
Adaptive and Safe Bayesian Optimization in High Dimensions via One-Dimensional SubspacesFeb 08 2019May 28 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
LTL to Büchi Automata Translation: Fast and More DeterministicJan 03 2012Mar 29 2012We introduce improvements in the algorithm by Gastin and Oddoux translating LTL formulae into B\"uchi automata via very weak alternating co-B\"uchi automata and generalized B\"uchi automata. Several improvements are based on specific properties of any ... 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
A Short Story of a Subtle Error in LTL Formulas Reduction and Divine IncorrectnessNov 18 2010Dec 16 2010We identify a subtle error in LTL formulas reduction method used as one optimization step in an LTL to B\"uchi automata translation. The error led to some incorrect answers of the established model checker DiVinE. This paper should help authors of other ... 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
Point-defect engineering of MoN/TaN superlattice films: A first-principles and experimental studyMay 10 2019Superlattice architecture represents an effective strategy to improve performance of hard protective coatings. Our model system, MoN/TaN, combines materials well-known for their high ductility as well as a strong driving force for vacancies. In this work, ... More