ÂÅÐÑÈß ÄËß ÑËÀÁÎÂÈÄßÙÈÕ
Enter
Login:
Password:
Forgot your password?
scientific activity
structureeducational projectsperiodicalsstaffpress centercontacts
ðóññêèé | english
Ïóáëèêàöèé íà ñòðàíèöå:    Page: 12 345 ... 1314151617
2023 year
Authors: Seliverstov A.

On binary solutions to a system of several linear equations modulo three. Algebra, Number Theory, Discrete Geometry and Multiscale Modeling: modern problems and applications, applications and problems of history. XXII International Conference dedicated to the 120th anniversary of the birth of Academician A. N. Kolmogorov and 60th anniversary of the opening of boarding school ¹18 at Moscow University. Tula, TSPU of Leo Tolstoy, 2023, pp. 242–244.
Go to publication

2023 year
Authors: Zverkóv O., Seliverstov A.

Effective lover bounds on the matrix rank and their applications. Programming and Computer Software, 2023, vol. 49, no. 5, pp. 441–447. DOI: 10.1134/S0361768823020160
Go to publication

2023 year
Authors: Lyubetsky V., Rubanov L., Tereshina M., Ivanova A., Araslanova K., Uroshlev L., Goremykina G., Yang J., Kanovei V., Zverkóv O., Shitikov A., Korotkova D., Zaraisky A.

Wide-scale identification of novel/eliminated genes responsible for evolutionary transformations. Biology Direct, 2023, Vol. 18, Art. 45. DOI: 10.1186/s13062-023-00405-6 (WoS Q1, ÁÑ2)
Go to publication

2023 year
Authors: Kanovei V., Lyubetsky V.

A model in which well-orderings of the reals first appear at a given projective level, part III, the case of second-order PA. Mathematics, 2023, 11(15), Article no. 3294. DOI: 10.3390/math11153294 (WoS Q1, ÁÑ1)
Go to publication

2023 year
Authors: Seliverstov A.

Generalization of the subset sum problem and cubic forms. Computational Mathematics and Mathematical Physics, 2023, vol. 63, no. 1, pp. 48-56. DOI: 10.1134/S0965542523010116
Go to publication

2023 year
Authors: Seliverstov A.

On a simple lower bound for the matrix rank. In: S.A. Abramov, A.B. Batkhin, L.A. Sevastyanov (eds.) Computer algebra: 5th International Conference Materials, Moscow, Russia, June 26-28 2023, Moscow: KIAM, 2023, P. 126-128. ISBN: 978-5-98354-067-5

2023 year
Authors: Seliverstov A.

Dimensionality reduction to solve problems on the arrangement of a subspace and cube vertices. All-Russian Scientific and Practical Conference SCIENTIST, TEACHER, MENTOR dedicated to the 85th anniversary of the birth of Professor A. R. Esayan, Tula, 2023, pp. 66-69.
Go to publication

2023 year
Authors: Seliverstov A.

Notes on obstacles to dimensionality reduction. International Conference Polynomial Computer Algebra "2023, Apr 17, St. Petersburg, Russia, 2023, pp. 104-107.
Go to publication

2023 year
Authors: Kanovei V., Lyubetsky V.

A model in which well-orderings of the reals first appear at a given projective level, part II. Mathematics, 2023, 11(11), Article no. 2517. DOI: 10.3390/math11112517 (WoS Q1, ÁÑ1)
Go to publication

2023 year
Authors: Kanovei V., Lyubetsky V.

On the Significance of Parameters in the Choice and Collection Schemata in the 2nd Order Peano Arithmetic. Mathematics, 2023, 11 (3), Article no. 726. DOI: 10.3390/math11030726 (WoS Q1, ÁÑ1)
Go to publication

2023 year
Authors: Kanovei V., Lyubetsky V.

On Russell typicality in Set Theory. Proceedings of the American Mathematical Society, 2023, 151, no 5, pp. 2201–2210. DOI: 10.1090/proc/16232 (WoS Q2, ÁÑ2)
Go to publication

2022 year
Authors: Kanovei V., Lyubetsky V.

On the significance of parameters in the choice and collection schemata in the 2nd order Peano arithmetic. Preprints, Dec 26 2022, Art. 2022120255. DOI: 10.20944/preprints202212.0255.v2
Go to publication

2022 year
Authors: Kanovei V., Lyubetsky V.

The parameterfree Comprehension does not imply the full Comprehension in the 2nd order Peano arithmetic. Eprint, arXiv:2209.07599 [math.LO], Sep 15 2022. DOI: 10.48550/arXiv.2209.07599
Go to publication

2022 year
Authors: Kanovei V., Lyubetsky V.

A model in which the Separation principle holds for a given effective projective Sigma-class. Eprint, arXiv:2204.03915 [math.LO], Apr 8 2022. DOI: 10.48550/arXiv.2204.03915
Go to publication

2022 year
Authors: Tchesunov A., Nikolaeva O., Rusin L., Sanamyan N., Panina E., Miljutin D., Gorelysheva D., Pegova A., Khromova M., Mardashova M., Mikhailov K., Yushin V., Petrov N., Lyubetsky V., Nikitin M., Aleshin S.

Demise of Marimermithida refines primary routes of transition to parasitism in roundworms. bioRxiv, 2022.02.15.480519, Feb 19 2022. DOI: 10.1101/2022.02.15.480519
Go to publication

2022 year
Authors: Shilovsky G., Sorokina E., Putyatina T.

Assessment of the human metabolome as a method for molecular diagnostics of colorectal cancer: Prevention and therapy. Biology Bulletin Reviews, Aug 2022, Vol. 12, P. 422–427. DOI: 10.1134/S2079086422040089
Go to publication

2022 year
Authors: Shilovsky G., Putyatina T., Markov A.

Evolution of longevity as a species-specific trait in mammals. Biochemistry (Moscow), 2022, Vol. 87, Iss. 12-13, P. 1579–1599. DOI: 10.1134/S0006297922120148

2022 year
Authors: Shilovsky G., Ashapkin V.

Transcription factor Nrf2 and mitochondria – friends or foes in the regulation of aging rate. Biochemistry (Moscow), 2022, Vol. 87, Iss. 12-13, P. 1477–1486. DOI: 10.1134/S0006297922120057
Go to publication

2022 year
Authors: Seliverstov A.

On binary solutions to a system of linear equations over a computable field. International Conference Mal"tsev Meeting. Collection of Abstracts, Novosibirsk, Russia, November 14-19 2022, Novosibirsk: Novosibirsk State University, 2022, P. 78.

2022 year
Authors: Latkin I.V., Seliverstov A.

International Conference Mal"tsev Meeting. Collection of Abstracts, Novosibirsk, Russia, November 14-19 2022, Novosibirsk: Novosibirsk State University, 2022, P. 72.

2022 year
Authors: Latkin I.V., Seliverstov A.

International Scientific Conference on Mathematical Logic and Computer Science, Eurasian National University, Kazakhstan, Astana, October 7-8, 2022, pp. 36-40.
Go to publication

2022 year
Authors: Adlaj S.F., Malaschonok G.I., Malyshev K.Yu., Seliverstov A., Uskov F.G.

On algorithms for calculating complete elliptic integrals. Representation theory, dynamical systems, combinatorial methods. Part XXXIV, Zap. Nauchn. Sem. POMI, 517, POMI, St. Petersburg, 2022, 5-16.
Go to publication

2022 year
Authors: Latkin I.V., Seliverstov A.

On computations over ordered rings. Siberian Electronic Mathematical Reports, 2022, vol. 19, no. 2, pp. 1054–1076 (in Russian).
Go to publication

2022 year
Authors: Shilovsky G., Zverkóv O., Rubanov L., Seliverstov A., Lyubetsky V.

Evolution of protein regulators of circadian rhythm in mammals. Bioinformatics of Genome Regulation and Structure/Systems Biology (BGRS/SB-2022), The Thirteenth International Multiconference Abstracts, Novosibirsk, Russia, 4-8 July 2022, Novosibirsk: ICG SB RAS, 2022, P. 173.
Go to publication

2022 year
Authors: Seliverstov A.

Generic-case complexity of the multiple subset sum problem. International Conference Polynomial Computer Algebra "2022, May 2-7, St. Petersburg, Russia, 2022, pp. 96-99.
Go to publication

2022 year
Authors: Kanovei V., Lyubetsky V.

On the Significance of Parameters in the Choice and Collection Schemata in the 2nd Order Peano Arithmetic. Preprints, 2022, no 2022120255. DOI: 10.20944/preprints202212.0255.v2
Go to publication

2022 year
Authors: Kanovei V.

On sets that hereditarily belong to countable OD sets.
European Set Theory Conference 2022.
Department of Mathematics of the University of Turin and the European Set Theory Society,
August 29 - September 2, 2022, Turin, Italy.
Go to publication

2022 year
Authors: Kanovei V., Lyubetsky V.

The parameterfree Comprehension does not imply the full Comprehension in the 2nd order Peano arithmetic. arXiv: 2209.07599 [math.LO], September 2022.
Go to publication

2022 year
Authors: Kanovei V., Lyubetsky V.

A model in which wellorderings of the reals appear at a given projective level. Axioms, 2022, 11(8), Article no 354. DOI: 10.3390/axioms11080354 (WoS Q2)
Go to publication

2022 year
Authors: Kanovei V., Lyubetsky V.

A model in which the Separation principle holds for a given effective projective Sigma-class. arXiv: 2204.03915 [math.LO], April 2022.
Go to publication

2022 year
Authors: Kanovei V., Lyubetsky V.

On the ‘definability of definable’ problem of Alfred Tarski, Part II. Transactions of the American Mathematical Society, 2022, Vol. 375, No. 12, P. 8651–8686. DOI: 10.1090/tran/8710 (WoS Q2)
Go to publication

2022 year
Authors: Kanovei V., Lyubetsky V.

A model in which the separation principle holds for a given effective projective Sigma-class. Axioms, 2022, 11, Issue 3, Paper no. 122. DOI 10.3390/axioms11030122 (WoS Q2)
Go to publication

2022 year
Authors: Shilovsky G.

Lability of the Nrf2/Keap/ARE cell defense system in different models of cell aging and age-related pathologies. Biochemistry (Moscow), 2022, Vol. 87, Iss. 1, P. 70–85. DOI: 10.1134/S0006297922010060
Go to publication

2022 year
Authors: Kanovei V., Lyubetsky V.

A generic model in which the Russell-nontypical sets satisfy ZFC strictly between HOD and the universe. Mathematics, 2022, 10, Issue 3, Paper no. 491, DOI 10.3390/math10030491 (WoS Q1)
Go to publication

2021 year
Authors: Gorbunov K., Lyubetsky V.

Reconstruction of evolution of genome structures with paralogs. The proceedings of International congress «Biotechnology: state of the art and perspectives», Moscow, Russia, October 26–29 2021, Iss. 19, P. 208–209. DOI: 10.37747/2312-640X-2021-19-207-209
Go to publication

2021 year
Authors: Malaschonok G.I., Seliverstov A.

New features in MathPartner 2021. Computer Tools in Education, 2021, No. 3, P. 29–40.
Go to publication

2021 year
Authors: Kanovei V.

On the ‘Definability of definable’ problem of Alfred Tarski.
Logic Colloquium 2021. European Summer Meeting of the Association for Symbolic Logic. Book of abstracts.
S.Chlebowski, D.Ratajczyk, P.Lupkowski (eds.)
Adam Mickiewicz University, Poznan, Poland, 19-24 July 2021. Page 195.
Download (2.5 MB)

2021 year
Authors: Shilovsky G., Putyatina T., Markov A.

Altruism and phenoptosis as programs supported by evolution. Biochemistry (Moscow), 2021, Vol. 86, Iss. 12-13, P. 1540–1552. DOI: 10.1134/S0006297921120038
Go to publication

2021 year
Authors: Shilovsky G., Zverkóv O., Rubanov L., Seliverstov A., Lyubetsky V.

Complex evolution of Fbxl21 gene in mammals. Proceedings of the International Moscow Conference on Computational Molecular Biology: MCCMB’21, Moscow, Russia, July 30 — August 2 2021.

2021 year
Authors: Seliverstov A.

On some quasipolynomial-time algorithms. Computer Tools in Education. 2021, no. 2, pp. 5–12. DOI: 10.32603/2071-2340-2021-2-5-12
Go to publication Download (376.6 KB)

2021 year
Authors: Morgunova G., Shilovsky G., Khokhlov A.

Effect of Caloric Restriction on Aging: Fixing the Problems of Nutrient Sensing in Postmitotic Cells? Biochemistry (Moscow), Oct 2021, Vol. 86, Iss. 10, P. 1352–1367. DOI: 10.1134/S0006297921100151
Go to publication

2021 year
Authors: Oleskin A., Sorokina E., Shilovsky G.

Interaction of catecholamines with microorganisms, neurons, and immune cells. Biology Bulletin Reviews, 2021, Vol. 11, No. 4, P. 358–367. DOI: 10.1134/S2079086421040058
Go to publication

2021 year
Authors: Kanovei V., Lyubetsky V.

On Russell typicality in Set Theory. arXiv: 2111.07654 [math.LO], November 2021. DOI: 10.48550/arXiv.2111.07654
Go to publication

2021 year
Authors: Kanovei V., Lyubetsky V.

A product forcing model in which the Russell-nontypical sets satisfy ZFC strictly between HOD and the universe. arXiv: 2111.13491 [math.LO], November 2021. DOI: 10.48550/arXiv.2111.13491
Go to publication

2021 year
Authors: Malaschonok G.I., Seliverstov A.

Calculation of integrals in MathPartner. Discrete and Continuous Models and Applied Computational Science, 2021, vol. 29, no. 4, pp. 337-346. DOI:10.22363/2658-4670-2021-29-4-337-346
Go to publication Download (537.6 KB)

Ïóáëèêàöèé íà ñòðàíèöå:    Page: 12 345 ... 1314151617
Search for publications
Year of publication
from ïî
Author

Search phrase

Type of publication

Íàëè÷èå â ìåæäóíàðîäíûõ áàçàõ öèòèðîâàíèÿ
Search in department

Date descending
Date ascending
 

 

© Institute for Information Transmission Problems of the Russian Academy of Sciences (Kharkevich Institute), 2025
About  |  Contacts  |  Ïðîòèâîäåéñòâèå êîððóïöèè