Zobrazeno 1 - 10
of 1 964
pro vyhledávání: '"Kovalyov, A. A."'
Autor:
Kovalyov, Konstantin
In this paper we introduce an axiomatization of B\"uchi arithmetic, i.e., of the elementary theory of natural numbers in the language with addition and function $V_p(a) = p^k$ such that $p^k | a$ and $p^{k + 1} \nmid a$.
Externí odkaz:
http://arxiv.org/abs/2411.03043
Autor:
Kovalyov, Ivan, Kunis, Stefan
We study a truncated two-dimensional moment problem in terms of the Stieltjes transform. The set of the solutions is described by the Schur step-by-step algorithm, which is based on the continued fraction expansion of the solution. In particular, the
Externí odkaz:
http://arxiv.org/abs/2404.03342
This paper introduces a practical approach for leveraging a real-time deep learning model to alternate between speech enhancement and joint speech enhancement and separation depending on whether the input mixture contains one or two active speakers.
Externí odkaz:
http://arxiv.org/abs/2310.10026
Autor:
Ekaterina Vasilievna Vyzhigina, Alexander Mikhailovich Kovalyov, Daniil Andreevich Kokorev, Elena Alexandrovna Borodulina, Danir Damirovich Ismatullin, Artem Viktorovich Lyamin
Publikováno v:
International Journal of Mycobacteriology, Vol 13, Iss 3, Pp 252-257 (2024)
Background: Mycobacterium abscessus complex (MABSc) causes chronic infection in patients with concomitant structural changes in the respiratory tract, which is especially important for patients with cystic fibrosis. To isolate an MABSc culture from c
Externí odkaz:
https://doaj.org/article/95336ca3f404476ca64641628f3137dd
Autor:
Kovalyov, Konstantin
In 1964 Shepherdson proved the following fact: a discretely ordered semiring $\mathcal{M}^+$ satisfies $\sf{IOpen}$ (open, or quantifier free, induction) iff the corresponding ring $\mathcal{M}$ is an integer part of the real closure of the quotient
Externí odkaz:
http://arxiv.org/abs/2306.02012
This paper presents a method for real-time estimation of 2-dimensional direction of arrival (2D-DOA) of one or more sound sources using a nonlinear array of three microphones. 2D-DOA is estimated employing frame-level time difference of arrival (TDOA
Externí odkaz:
http://arxiv.org/abs/2305.05630
Autor:
Kovalyov, Konstantin
In this paper we consider some fragments of $\mathsf{IOpen}$ (Robinson arithmetic $\mathsf Q$ with induction for quantifier-free formulas) proposed by Harvey Friedman and answer some questions he asked about these theories. We prove that $\mathsf{I(l
Externí odkaz:
http://arxiv.org/abs/2304.00282
Publikováno v:
Patologìâ, Vol 21, Iss 2, Pp 177-182 (2024)
The connection between military trauma and cancer is not sufficiently studied. We present a clinical observation of metastasis of cancer of unknown primary localization into a keloid scar of the neck, which occurred after surgical treatment of a woun
Externí odkaz:
https://doaj.org/article/0ec935e027b74c158428ce126e5c3247
Publikováno v:
Вестник медицинского института «Реавиз»: Реабилитация, врач и здоровье, Vol 14, Iss 2, Pp 21-25 (2024)
The cardiovascular system is one of the key systems of the body, which determines the boundaries of a person's physical and mental performance and ensures the adaptation of students' bodies to the educational process. At the same time, various factor
Externí odkaz:
https://doaj.org/article/013b18bf2e9a41129cdac323c4f86891
Invariance to microphone array configuration is a rare attribute in neural beamformers. Filter-and-sum (FS) methods in this class define the target signal with respect to a reference channel. However, this not only complicates formulation in reverber
Externí odkaz:
http://arxiv.org/abs/2302.13407