6 citations · 6 across the 2 of their papers we have counts for
5 papers
Premise selection with neural networks and distributed representation of features
Andrzej Stanisław Kucik, Konstantin Korovin
We present the problem of selecting relevant premises for a proof of a given statement. When stated as a binary classification task for pairs (conjecture, axiom), it can be efficie…
Weighted composition operators on spaces of analytic functions on the complex half-plane
Andrzej S. Kucik
In this paper we will show how the boundedness condition for the weighted composition operators on a class of spaces of analytic functions on the open right complex half-plane call…
Laplace-Carleson embeddings and weighted infinite-time admissibility
Andrzej Kucik
In this paper we will establish necessary and sufficient conditions for a Laplace-Carleson embedding to be bounded for certain spaces of functions on the positive half-line. We wil…
Multipliers of Hilbert Spaces of Analytic Functions on the Complex Half-Plane
Andrzej S. Kucik
It follows, from a generalised version of Paley-Wiener theorem, that the Laplace transform is an isometry between certain spaces of weighted functions defined on $(0, \infty)…
Carleson measures for Hilbert spaces of analytic functions on the complex half-plane
Andrzej S. Kucik
The notion of a Carleson measure was introduced by Lennart Carleson in his proof of the Corona Theorem for . In this paper we will define it for certain type…