Zobrazeno 1 - 10
of 9 185
pro vyhledávání: '"Karimov IF"'
Autor:
Shen, Lixian, Esamdin, Ali, Lv, Chenglong, Wang, Haozhi, Yang, Taozhi, Karimov, Rivkat, Ehgamberdiev, Shuhrat A., Niu, Hubiao, Liu, Jinzhong
We investigated the pulsating behavior of KIC 10855535 using Kepler 4-year long cadence data. Two independent frequencies were detected: a pulsation frequency F0 = 17.733260(5)d-1 and a low frequency f8=0.412643(8)d-1 We identify F0 as the fundamenta
Externí odkaz:
http://arxiv.org/abs/2410.20834
We study decidability of the following problems for both discrete-time and continuous-time linear dynamical systems. Suppose we are given a matrix $M$, a set $S$ of starting points, and a set $T$ of unsafe points. (a) Does there exist $\varepsilon >
Externí odkaz:
http://arxiv.org/abs/2410.13053
Publikováno v:
Eur. Phys. J. C 84, 665 (2024)
In this study, we investigate signature flips within the framework of cosmological models featuring a time-varying vacuum energy term $\Lambda(t)$. Specifically, we consider the power-law form of $\Lambda=\alpha H^n$, where $\alpha$ and $n$ are const
Externí odkaz:
http://arxiv.org/abs/2407.07535
We prove that for any integers $\alpha, \beta > 1$, the existential fragment of the first-order theory of the structure $\langle \mathbb{Z}; 0,1,<, +, \alpha^{\mathbb{N}}, \beta^{\mathbb{N}}\rangle$ is decidable (where $\alpha^{\mathbb{N}}$ is the se
Externí odkaz:
http://arxiv.org/abs/2407.05191
Autor:
Aghamov, Rajab, Baier, Christel, Karimov, Toghrul, Nieuwveld, Joris, Ouaknine, Joël, Piribauer, Jakob, Vahanwala, Mihir
The conventional perspective on Markov chains considers decision problems concerning the probabilities of temporal properties being satisfied by traces of visited states. However, consider the following query made of a stochastic system modelling the
Externí odkaz:
http://arxiv.org/abs/2406.15087
Autor:
Berthé, Valérie, Karimov, Toghrul, Nieuwveld, Joris, Ouaknine, Joël, Vahanwala, Mihir, Worrell, James
We investigate the decidability of the monadic second-order (MSO) theory of the structure $\langle \mathbb{N};<,P_1, \ldots,P_k \rangle$, for various unary predicates $P_1,\ldots,P_k \subseteq \mathbb{N}$. We focus in particular on "arithmetic" predi
Externí odkaz:
http://arxiv.org/abs/2405.07953
In discrete-time linear dynamical systems (LDSs), a linear map is repeatedly applied to an initial vector yielding a sequence of vectors called the orbit of the system. A weight function assigning weights to the points in the orbit can be used to mod
Externí odkaz:
http://arxiv.org/abs/2405.06512
Speaker recognition technology is applied in various tasks ranging from personal virtual assistants to secure access systems. However, the robustness of these systems against adversarial attacks, particularly to additive perturbations, remains a sign
Externí odkaz:
http://arxiv.org/abs/2404.18791
We consider reachability decision problems for linear dynamical systems: Given a linear map on $\mathbb{R}^d$ , together with source and target sets, determine whether there is a point in the source set whose orbit, obtained by repeatedly applying th
Externí odkaz:
http://arxiv.org/abs/2403.06515
Autor:
Jeunen, Olivier, Sagtani, Hitesh, Doi, Himanshu, Karimov, Rasul, Pokharna, Neeti, Kalim, Danish, Ustimenko, Aleksei, Green, Christopher, Shi, Wenzhe, Mehrotra, Rishabh
Practitioners who wish to build real-world applications that rely on ranking models, need to decide which modelling paradigm to follow. This is not an easy choice to make, as the research literature on this topic has been shifting in recent years. In
Externí odkaz:
http://arxiv.org/abs/2312.01760