Zobrazeno 1 - 10
of 561
pro vyhledávání: '"Kaashoek, M. A."'
Grove is a concurrent separation logic library for verifying distributed systems. Grove is the first to handle time-based leases, including their interaction with reconfiguration, crash recovery, thread-level concurrency, and unreliable networks. Thi
Externí odkaz:
http://arxiv.org/abs/2309.03046
Inspired by the paper of Groenewald, Kaashoek and Ran (Wiener-Hopf indices of unitary functions on the unit circle in terms of realizations and related results on Toeplitz operators. \emph{Indag. Math.} 28, (2017), 649-710), we present an operator-th
Externí odkaz:
http://arxiv.org/abs/2308.05488
As in the paper [G. Groenewald, M.A. Kaashoek, A.C.M. Ran, Wiener-Hopf indices of unitary functions on the unit circle in terms of realizations and related results on Toeplitz operators. \emph{Indag. Math.} 28 (2017) 694--710] our aim is to obtain ex
Externí odkaz:
http://arxiv.org/abs/2203.07821
Large, human-annotated datasets are central to the development of natural language processing models. Collecting these datasets can be the most challenging part of the development process. We address this problem by introducing a general purpose tech
Externí odkaz:
http://arxiv.org/abs/2004.13645
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
This paper explains a flaw in the published proof of the Scalable Commutativity Rule (SCR), presents a revised and formally verified proof of the SCR in the Coq proof assistant, and discusses the insights and open questions raised from our experience
Externí odkaz:
http://arxiv.org/abs/1809.09550
Publikováno v:
Journal of Mathematical Analysis and Applications 452 (2017), 846-870
In this paper a twofold inverse problem for orthogonal matrix functions in the Wiener class is considered. The scalar-valued version of this problem was solved by Ellis and Gohberg in 1992. Under reasonable conditions, the problem is reduced to an in
Externí odkaz:
http://arxiv.org/abs/1804.08604
Publikováno v:
Complex Analysis and Operator Theory 10 (2016), 115-139
The matrix-valued {Bezout-corona} problem $G(z)X(z)=I_m$, $|z|<1$, is studied in a Wiener space setting, that is, the given function $G$ is an analytic matrix function on the unit {disc} whose Taylor coefficients are absolutely summable and the same
Externí odkaz:
http://arxiv.org/abs/1804.08512
Publikováno v:
Operator Theory: Advances and Applications 262 (2018), 138-220
The main results presented in this paper provide a complete and explicit description of all solutions to the left tangential operator Nevanlinna- Pick interpolation problem assuming the associated Pick operator is strictly positive. The complexity of
Externí odkaz:
http://arxiv.org/abs/1804.08498
Publikováno v:
Operator Theory: Advances and Applications, 2019
In this paper we consider a twofold Ellis-Gohberg type inverse problem in an abstract *-algebraic setting. Under natural assumptions, necessary and sufficient conditions for the existence of a solution are obtained, and it is shown that in case a sol
Externí odkaz:
http://arxiv.org/abs/1804.08520