Zobrazeno 1 - 10
of 225
pro vyhledávání: '"Kovacs, Mihaly"'
Publikováno v:
EPTCS 402, 2024, pp. 105-117
Constrained Horn Clauses (CHCs) have conventionally been used as a low-level representation in formal verification. Most existing solvers use a diverse set of specialized techniques, including direct state space traversal or under-approximating abstr
Externí odkaz:
http://arxiv.org/abs/2404.15215
Autor:
Kovács, Mihály, Vághy, Mihály András
In this paper we develop a Neumann-Neumann type domain decomposition method for elliptic problems on metric graphs. We describe the iteration in the continuous and discrete setting and rewrite the latter as a preconditioner for the Schur complement s
Externí odkaz:
http://arxiv.org/abs/2402.05707
We consider a so-called quantum graph with standard continuity and Kirchhoff vertex conditions where the Kirchhoff vertex condition is perturbed by Gaussian noise. We show that the quantum graph setting is very different from the classical one dimens
Externí odkaz:
http://arxiv.org/abs/2401.11866
The fractional differential equation $L^\beta u = f$ posed on a compact metric graph is considered, where $\beta>0$ and $L = \kappa^2 - \nabla(a\nabla)$ is a second-order elliptic operator equipped with certain vertex conditions and sufficiently smoo
Externí odkaz:
http://arxiv.org/abs/2302.03995
Autor:
Kovács, Mihály, Sikolya, Eszter
Publikováno v:
Electron. J. Probab. 28: 1-20 (2023)
We investigate the parabolic Cauchy problem associated with quantum graphs including Lipschitz or polynomial type nonlinearities and additive Gaussian noise perturbed vertex conditions. The vertex conditions are the standard continuity and Kirchhoff
Externí odkaz:
http://arxiv.org/abs/2207.01944
Autor:
Kovács, Mihály, Vághy, Mihály A.
We investigate a class of nonlocal conservation laws in several space dimensions, where the continuum average of weighted nonlocal interactions are considered over a finite horizon. We establish well-posedness for a broad class of flux functions and
Externí odkaz:
http://arxiv.org/abs/2112.08847
We develop a finite difference approximation of order $\alpha$ for the $\alpha$-fractional derivative. The weights of the approximation scheme have the same rate-matrix type properties as the popular Gr\"unwald scheme. In particular, approximate solu
Externí odkaz:
http://arxiv.org/abs/2112.08529
Autor:
Harami, Gábor M., Pálinkás, János, Kovács, Zoltán J., Jezsó, Bálint, Tárnok, Krisztián, Harami-Papp, Hajnalka, Hegedüs, József, Mahmudova, Lamiya, Kucsma, Nóra, Tóth, Szilárd, Szakács, Gergely, Kovács, Mihály
Publikováno v:
In iScience 20 September 2024 27(9)
The problem of approximating the covariance operator of the mild solution to a linear stochastic partial differential equation is considered. An integral equation involving the semigroup of the mild solution is derived and a general error decompositi
Externí odkaz:
http://arxiv.org/abs/2107.10109
Regularity estimates for an integral operator with a symmetric continuous kernel on a convex bounded domain are derived. The covariance of a mean-square continuous random field on the domain is an example of such an operator. The estimates are of the
Externí odkaz:
http://arxiv.org/abs/2107.10104