Zobrazeno 1 - 10
of 703
pro vyhledávání: '"P. Klin"'
Publikováno v:
Solid Earth, Vol 10, Pp 931-949 (2019)
During the 2012 seismic sequence of the Emilia region (northern Italy), the earthquake ground motion in the epicentral area featured longer duration and higher velocity than those estimated by empirical-based prediction equations typically adopted in
Externí odkaz:
https://doaj.org/article/41f544949be048ea89cdcefae18881d8
Autor:
Bojańczyk, Mikołaj, Klin, Bartek
We consider injective first-order interpretations that input and output trees of bounded height. The corresponding functions have polynomial output size, since a first-order interpretation can use a k-tuple of input nodes to represent a single output
Externí odkaz:
http://arxiv.org/abs/2311.04180
Autor:
Kołodziejski, Jędrzej, Klin, Bartek
We introduce the countdown $\mu$-calculus, an extension of the modal $\mu$-calculus with ordinal approximations of fixpoint operators. In addition to properties definable in the classical calculus, it can express (un)boundedness properties such as th
Externí odkaz:
http://arxiv.org/abs/2208.00536
One of the main reasons for the correspondence of regular languages and monadic second-order logic is that the class of regular languages is closed under images of surjective letter-to-letter homomorphisms. This closure property holds for structures
Externí odkaz:
http://arxiv.org/abs/2201.09969
Autor:
E. Priolo, L. Lovisa, A. Zollo, G. Böhm, L. D'Auria, S. Gautier, F. Gentile, P. Klin, D. Latorre, A. Michelini, T. Vanorio, J. Virieux
Publikováno v:
International Journal of Geophysics, Vol 2012 (2012)
During the 1982–1984 bradyseismic crises in the Campi Flegrei area (Italy), the University of Wisconsin deployed a network of seismological stations to record local earthquakes. In order to analyse the potential of the recorded data in terms of tom
Externí odkaz:
https://doaj.org/article/7410323b14d04642ada027fcd6e118a7
Publikováno v:
TheoretiCS, Volume 3 (May 6, 2024) theoretics:11208
We develop a theory of vector spaces spanned by orbit-finite sets. Using this theory, we give a decision procedure for equivalence of weighted register automata, which are the common generalization of weighted automata and register automata for infin
Externí odkaz:
http://arxiv.org/abs/2104.02438
In 2003 Peter Cameron introduced the concept of a Jordan scheme and asked whether there exist Jordan schemes which are not symmetrisations of coherent configurations (proper Jordan schemes). The question was answered affirmatively by the authors last
Externí odkaz:
http://arxiv.org/abs/1912.04551
A special class of Jordan algebras over a field $F$ of characteristic zero is considered. Such an algebra consists of an $r$-dimensional subspace of the vector space of all square matrices of a fixed order $n$ over $F$. It contains the identity matri
Externí odkaz:
http://arxiv.org/abs/1911.06160
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.
Bisimilarity as an equivalence notion of systems has been central to process theory. Due to the recent rise of interest in quantitative systems (probabilistic, weighted, hybrid, etc.), bisimilarity has been extended in various ways: notably, bisimula
Externí odkaz:
http://arxiv.org/abs/1907.09634