|
|
 |
2024 year Authors: Gorbunov K., Lyubetsky V.Algorithms for the reconstruction of genomic structures with proofs of their low polynomial complexity and high exactness.
Mathematics, Mar 11 2024, Vol. 12, No. 6, Art. 817.
DOI: 10.3390/math12060817
(WoS Q1)
Go to publication |
|
2024 year Authors: Kanovei V., Lyubetsky V.Jensen Δ1n reals by means of ZFC and second-order Peano arithmetic.
Axioms, Jan 30 2024, Vol. 13, No. 2, Art. 96.
DOI: 10.3390/axioms13020096
(WoS Q1)
Go to publication |
|
2024 year Authors: Kanovei V., Lyubetsky V.A good lightface Δ1n well-ordering of the reals does not imply the existence of boldface Δ1n-1 well-orderings.
Annals of Pure and Applied Logic, Jun 2024, Vol. 175, Iss. 6, Art. 103426.
DOI: 10.1016/j.apal.2024.103426
(WoS Q2)
Go to publication |
|
2024 year Authors: Kanovei V., Lyubetsky V.Parameterfree comprehension does not imply full comprehension in second order Peano arithmetic.
Studia Logica, Apr 24 2024.
DOI: 10.1007/s11225-024-10108-2
(WoS Q2)
Go to publication |
|
2024 year Authors: Seliverstov A., Zverkóv O.Lower bounds for the rank of a matrix with zeros and ones outside the leading diagonal. Programming and Computer Software, 2024, vol. 50, pp. 202–207.
Go to publication |
|
2024 year Authors: Seliverstov A.On the length of an unsatisfiable conjunction. International Conference Polynomial Computer Algebra 2024, St. Petersburg, Russia, Apr 15–20 2024, pp. 140–143.
|
|
2024 year Authors: Seliverstov A.On polynomial-time computable structures. Proceedings of the international conference Algebra and mathematical logic: theory and applications. June 27-July 1, 2024, Kazan (Volga Region) Federal University, Kazan, pp. 190-192 (in Russian).
Go to publication |
|
2024 year Authors: Veretennikov A.Alexander Yu. Veretennikov, On Averaged Control and Iteration Improvement for a Class of Multidimensional Ergodic Diffusions, in: Kolmogorov Operators and Their Applications, Stéphane Menozzi (ed.), Andrea Pascucci (ed.), Sergio Polidoro (ed.), ser. CONFERENCE PROCEEDINGS, Springer Singapore (Singapore), 315-349. https://doi.org/10.1007/978-981-97-0225-1_10
|
|
2024 year Authors: Veretennikov A.A.Yu.Veretennikov, On Higher Order Moments and Rates of Convergence for SDEs with Switching, Moscow Mathematical Journal, 24, ¹ 1, 107-124 [Scopus Q1] http://www.mathjournals.org/mmj/2024-024-001/
|
|
2023 year Authors: Sevastianov Nikita, Neretina Tatiana, Vedenina V.Evolution of calling songs in the grasshopper subfamily Gomphocerinae (Orthoptera, Acrididae). Zoologica Scripta, 52: 154–175.
Go to publication |
|
2023 year Authors: Veretennikov A.A.A. Shchegolev, A.Yu. Veretennikov, On Convergence Rate Bounds for a Class of Nonlinear Markov Chains, Markov processes and related fields, 2023, v.29, Issue 5, 619-639. doi:10.61102/1024-2953-mprf.2023.29.5.001; the preprint at arXiv:2209.12834
Go to publication |
|
2023 year Authors: Puhalskii A. Large deviation limits of invariant measures, Stochastics and Dynamics, v.23, No. 7 (2023) 2350052 (28 pages) (available upon request)
Go to publication |
|
2023 year Authors: Shilovsky G., Seliverstov A., Zverkóv O.Demographic indicators, models, and testing. Discrete and Continuous Models and Applied Computational Science. 2023. V. 31. No. 4. P. 359–374.
Go to publication |
|
2023 year Authors: Kozyakin V. Bibliography converter from BibTEX format to AMSBIB format. Information Processes. 2023. Vol. 23, no. 4. P. 455–469.
Go to publication |
|
2023 year Authors: Bekmaganbetov K.A., Chechkin G.A., Chepyzhov V.Application of Fatou’s Lemma for Strong Homogenization of Attractors to Reaction–Diffusion Systems with Rapidly Oscillating Coefficients in Orthotropic Media with Periodic Obstacles. Mathematics 2023, 11, 1448.
Go to publication |
|
2023 year Authors: Positselski L.Resolutions as directed colimits. Electronic preprint arXiv:2312.07197 [math.AC], 37 pp.
Go to publication |
|
2023 year Authors: Dragovic V., Gontsov R., Goryuchkina I.From formal to actual Puiseux series solutions of algebraic differential equations of first order, Ann. Sc. Norm. Super. Pisa Cl. Sci. (5), 2023, V. 24(4), P. 2201-2213.
Download (252.2 KB) |
|
2023 year Authors: Seliverstov A.On the length of an unsatisfiable subformula. International Conference Mal"tsev meeting November 13-17, 2023. Novosibirsk, 2023, p. 132.
Go to publication Download (1.8 MB) |
|
2023 year Authors: Levin M.On capacitated clustering problem. Preprint (ResearchGate). 14 p. Nov. 21, 2023. DOI: 10.13140/RG.2.2.33224.70401
Download (161.6 KB) |
|
2023 year Authors: Maximova E.The Contribution of Adaptive Optics to Our Understanding of the Mechanisms of Color Vision in Humans. Neuroscience and Behavioral Physiology. 2023. V. 53. PP. 1025–1035. Translated from Sensornye Sistemy, Vol. 37, No. 1, pp. 17–34, January–March, 2023. DOI: 10.1007/s11055-023-01496-4
Go to publication |
|
2023 year Authors: Veretennikov A.Veretennikov, A. On Positive Recurrence of the Mn/GI/1/∞ Model. Mathematics 2023, 11, 4514. [Special Issue "Probability and Stochastic Processes with Applications to Communications, Systems and Networks, 2nd Edition", Eds Prof. Dr. Gurami Tsitsiashvili and Dr. Alexander Bochkov] https://doi.org/10.3390/math11214514 [Scopus Q2; WoS Q1, JCI 2022 = 2,10]
Go to publication |
|
|
|
|
|
