|
|
2024 year Authors: Levin M.Capacitated Clustering Problem. Journal of Communications Technology and Electronics, 2024, pp. 1–10. DOI: 10.1134/S1064226924700086 [WoS, Scopus] Go to publication |
|
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 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.
DOI: 10.1134/S0361768824020142 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/
|
|
|
|
|