
Transferring model structure in Bayesian transfer learning for Gaussian process regression
Bayesian transfer learning (BTL) is defined in this paper as the task of...
read it

Stable Lowrank Tensor Decomposition for Compression of Convolutional Neural Network
Most state of the art deep neural networks are overparameterized and exh...
read it

Adaptive GenerationBased Evolution Control for Gaussian Process Surrogate Models
The interest in accelerating blackbox optimizers has resulted in severa...
read it

Composition of Credal Sets via Polyhedral Geometry
Recently introduced composition operator for credal sets is an analogy o...
read it

Solving the Brachistochrone Problem by an Influence Diagram
Influence diagrams are a decisiontheoretic extension of probabilistic g...
read it

A Generalized MarkovChain Modelling Approach to (1,λ)ES Linear Optimization: Technical Report
Several recent publications investigated Markovchain modelling of linea...
read it

Evolving Nonlinear Stacking Ensembles for Prediction of Go Player Attributes
The paper presents an application of nonlinear stacking ensembles for p...
read it

Evaluating Go Game Records for Prediction of Player Attributes
We propose a way of extracting and aggregating permove evaluations from...
read it

On tensor rank of conditional probability tables in Bayesian networks
A difficult task in modeling with Bayesian networks is the elicitation o...
read it

Nonparametric Bayesian Models of Response Function in Dynamic Image Sequences
Estimation of response functions is an important task in dynamic medical...
read it

Coupling parallel adaptive mesh refinement with a nonoverlapping domain decomposition solver
We study the effect of adaptive mesh refinement on a parallel domain dec...
read it

Computational Flows in Arithmetic
A computational flow is a pair consisting of a sequence of computational...
read it

Recursive functions and existentially closed structures
The purpose of this paper is to clarify the relationship between various...
read it

Deciding Detectability for Labeled Petri Nets
Detectability of discrete event systems (DESs) is a property to determin...
read it

Implicit definability of truth constants in Łukasiewicz logic
In the framework of propositional Łukasiewicz logic, a suitable notion o...
read it

Rigid models of Presburger arithmetic
We present a description of rigid models of Presburger arithmetic (i.e.,...
read it

Gradient Algorithms for Complex NonGaussian Independent Component/Vector Extraction
We address the problem of extracting one independent component from an i...
read it

Regularity radius: Properties, approximation and a not a priori exponential algorithm
The radius of regularity sometimes spelled as the radius of nonsingulari...
read it

Are generative deep models for novelty detection truly better?
Many deep models have been recently proposed for anomaly detection. This...
read it

Universal Proof Theory: Semianalytic Rules and Uniform Interpolation
In [7] and [8], Iemhoff introduced a connection between the existence of...
read it

Universal Proof Theory: Semianalytic Rules and Craig Interpolation
In [6], Iemhoff introduced the notion of a focused axiom and a focused r...
read it

Induction rules in bounded arithmetic
We study variants of Buss's theories of bounded arithmetic axiomatized b...
read it

On finitetime and fixedtime consensus algorithms for dynamic networks switching among disconnected digraphs
The aim of this paper is to analyze a class of consensus algorithms with...
read it

Backdoor Decomposable Monotone Circuits and their Propagation Complete Encodings
We describe a compilation language of backdoor decomposable monotone cir...
read it

Blind proxy voting
A secret ballot mechanism that enables voting in absence is proposed. It...
read it

Approximate counting and NP search problems
We study a new class of NP search problems, those which can be proved to...
read it

On Transitive modal manyvalued logics
This paper is focused on the study of modal logics defined from valued K...
read it

Rules with parameters in modal logic II
We analyze the computational complexity of admissibility and unifiabilit...
read it

Big Ramsey degrees of 3uniform hypergraphs
Given a countably infinite hypergraph R and a finite hypergraph A, the...
read it

Admissible and attainable convergence behavior of block Arnoldi and GMRES
It is wellestablished that any nonincreasing convergence curve is poss...
read it

A duality theoretic view on limits of finite structures
The study of limits of sequences of finite structures plays a crucial ro...
read it

Partially Ordered Automata and Piecewise Testability
Universality is the question whether a system recognizes all words over ...
read it

Inverse problems for symmetric doubly stochastic matrices whose Suleĭmanova spectra are to be bounded below by 1/2
A new sufficient condition for a list of real numbers to be the spectrum...
read it

Propagation complete encodings of smooth DNNF theories
We investigate conjunctive normal form (CNF) encodings of a function rep...
read it

Axiomatizing logics of fuzzy preferences using graded modalities
The aim of this paper is to propose a manyvalued modal framework to for...
read it

Iterative division in the productfree Distributive Full Nonassociative Lambek Calculus
We study an extension of the productfree Distributive Full Nonassociat...
read it

On the complexity of the clone membership problem
We investigate the complexity of the Boolean clone membership problem (C...
read it

Computing oscillatory solutions of the Euler system via Kconvergence
We develop a method to compute effectively the Young measures associated...
read it

Diffeological statistical models, the Fisher metric and probabilistic mappings
In this note I introduce a class of almost 2integrable C^kdiffeologica...
read it

Conditions for Hierarchical Supervisory Control under Partial Observation
The fundamental problem in hierarchical supervisory control under partia...
read it

Gradient polyconvex material models and their numerical treatment
Gradient polyconvex materials are nonsimple materials where we do not as...
read it

Bounds on the size of PC and URC formulas
In this paper we investigate CNF formulas, for which the unit propagatio...
read it

Active set expansion strategies in MPRGP algorithm
The paper investigates strategies for expansion of active set that can b...
read it

Nearly optimal scaling in the SR decomposition
In this paper we analyze the nearly optimal block diagonal scalings of t...
read it

Similaritybased transfer learning of decision policies
A problem of learning decision policy from past experience is considered...
read it

The Generalized Independent and Dominating Set Problems on Unit Disk Graphs
In this article, we study a generalized version of the maximum independe...
read it

Big Ramsey degrees of 3uniform hypergraphs are finite
We prove that the universal homogeneous 3uniform hypergraph has finite ...
read it

Optimization and variational principles for the shear strength reduction method
This paper is focused on the definition, analysis and numerical solution...
read it

Minimization of pLaplacian via the Finite Element Method in MATLAB
Minimization of energy functionals is based on a discretization by the f...
read it

On the solution of contact problems with Tresca friction by the semismooth* Newton method
An equilibrium of a linear elastic body subject to loading and satisfyin...
read it
Akademie věd ČR
Academy of Sciences of the Czech Republic, a public nonuniversity research institution consisting of a system of scientific institutes. The Czech Academy of Sciences, public nonuniversity research institution, which encompasses a system of scientific institutes.