157 citations
- Czech Academy of SciencesCZ39 papers
- Masaryk UniversityCZ24 papers
- Charles UniversityCZ20 papers
- Czech Academy of Sciences, Institute of SociologyCZ10 papers
- University of AmsterdamNL9 papers
- Centre National de la Recherche ScientifiqueFR8 papers
- Czech Technical University in PragueCZ8 papers
- Institute of Physics of the Slovak Academy of SciencesSK8 papers
- Slovak Academy of SciencesSK8 papers
- University College LondonGB8 papers
- FZU ‒ Institute of Physics of the Academy of Sciences of the Czech RepublicCZ7 papers
- Polish Academy of SciencesPL7 papers
147 papers
Artificial Neural Networks as Surrogate Models in Black Box Optimization
Md Khadimul Islam Zim, Martin Holeňa
Black-Box Optimization (BBO) is often applied in several engineering fields and can utilize an advancement of numerical measure- ments and simulation technologies. It deals with th…
Explainability Assistant: A Conversational XAI Interface for Interpreting Energy Consumption Models
Rodion Krjutškov, Eduard Barbu, Nikos Sakkas +1
Energy consumption forecasting relies on increasingly complex machine learning (ML) models, such as Genetic Programming-based symbolic regressors, whose predictions can be difficul…
Non-classical Topological Evidence Logic
Igor Sedlár
Topological Evidence Logic (TEL) is a recent approach to epistemic logic that uses topological tools to model coherent epistemic justification. Specifically, a hypothesis is cohere…
Pointed Modal Abelian Logic, Algebraically
Filip Jankovec, Wolfgang Poiger
In this article, we investigate the pointed modal logic of reals. We first establish its relational (Kripke) semantics with bounded valuations in the Abelian l-group of real number…
Taming Complexity in Intuitionistic Modal Logic: The Case of FIK and Its Shallow Calculus
Han Gao, Nicola Olivetti
Intuitionistic modal logics (IMLs) comprise many systems: from constructive modal logics such as CK and Wijesekera's CCDL to Fischer Servi/Simpson's IK, as well as some recently in…
Sequential generalized kernel equating: Providing comparable scores across multiple test forms with nonequivalent groups and differently measured covariates
Michaela Vařejková, Patrícia Martinková, Eva Potužníková
Test equating using covariates may be applied to provide comparable scores from multiple test forms when no anchor items are available. However, its performance may be compromised…