Zobrazeno 1 - 10
of 2 209
pro vyhledávání: '"Konečný, P."'
Building on our prior work on axiomatization of exact real computation by formalizing nondeterministic first-order partial computations over real and complex numbers in a constructive dependent type theory, we present a framework for certified comput
Externí odkaz:
http://arxiv.org/abs/2410.13508
We present the theoretical derivation and numerical implementation of the linear response equations for relativistic quantum electrodynamical density functional theory (QEDFT). In contrast to previous works based on the Pauli-Fierz Hamiltonian, our a
Externí odkaz:
http://arxiv.org/abs/2407.02441
We present a proof of the extension property for partial automorphisms (EPPA) for classes of finite $n$-partite tournaments for $n \in \{2,3,\ldots,\omega\}$, and for the class of finite semigeneric tournaments. We also prove that the generic $\omega
Externí odkaz:
http://arxiv.org/abs/2401.12153
If $G$ is a graph, $A$ and $B$ its induced subgraphs, and $f\colon A\to B$ an isomorphism, we say that $f$ is a \emph{partial automorphism} of $G$. In 1992, Hrushovski proved that graphs have the \emph{extension property for partial automorphisms} (\
Externí odkaz:
http://arxiv.org/abs/2311.07995
Autor:
Balko, Martin, Chodounský, David, Dobrinen, Natasha, Hubička, Jan, Konečný, Matěj, Nešetřil, Jaroslav, Zucker, Andy
We prove a general Ramsey theorem for trees with a successor operation. This theorem is a common generalization of the Carlson-Simpson Theorem and the Milliken Tree Theorem for regularly branching trees. Our theorem has a number of applications both
Externí odkaz:
http://arxiv.org/abs/2311.06872
Publikováno v:
International Journal of Digital Earth, Vol 17, Iss 1, Pp 1-23 (2024)
This study investigates the utilization of YouTube as a data source in crisis management, focusing on human behavior during a tornado event in the Southern Moravia Region, Czech Republic, in 2021. Utilizing YouTube's Data API, we harvested video meta
Externí odkaz:
https://doaj.org/article/27c9fc86c79c43ce8ba161df563615b2
Autor:
Stanislav Konečný
Publikováno v:
Studia Regionalne i Lokalne, Vol 2, Iss 96, Pp 38-48 (2024)
Decision-making in a conflict situation in public policy practice is most often associated with conflicts of interest. One of the frequent forms of this conflict is the so-called NIMBY phenomenon, which has become a subject of interest mainly because
Externí odkaz:
https://doaj.org/article/3e289bec0a4941e59060a4d8f5244661
Recent advances in laser technology enable to follow electronic motion at its natural time-scale with ultrafast pulses, leading the way towards atto- and femtosecond spectroscopic experiments of unprecedented resolution. Understanding of these laser-
Externí odkaz:
http://arxiv.org/abs/2307.05242
Autor:
Hauge, Eirill, Kristiansen, Håkon Emil, Konecny, Lukas, Kadek, Marius, Repisky, Michal, Pedersen, Thomas Bondo
We present a novel function fitting method for approximating the propagation of the time-dependent electric dipole moment from real-time electronic structure calculations. Real-time calculations of the electronic absorption spectrum require discrete
Externí odkaz:
http://arxiv.org/abs/2307.01511
Oscillation stability is an important concept in Banach space theory which happens to be closely connected to discrete Ramsey theory. For example, Gowers proved oscillation stability for the Banach space $c_0$ using his now famous Ramsey theorem for
Externí odkaz:
http://arxiv.org/abs/2303.14577