Enter
Login:
Password:
Forgot your password?
scientific activity
structureeducational projectsperiodicalsstaffpress centercontacts
| english
:    Page: 1 2345 ... 89101112
2018 year
Authors: Aleoshin V., Slyusarev G., Mikhailov K., Popova O., Rusin L., Zverkóv O., Lyubetsky V.

Orthonectida and Dicyemida: Two stories of body plan simplification. In: Molecular Phylogenetics (Eds.: A. Troitsky, L. Rusin), Moscow: Torus Press, 2018, P. 34. DOI: 10.30826/MolPhy2018-01

2018 year
Authors: Kanovei V., Lyubetsky V.

A countable definable set of reals containing no definable elements,
arXiv:1408.3901v2 [math.LO], Sept. 2018, 11 p.
Go to publication

2018 year
Authors: Kanovei V., Lyubetsky V.

The full basis theorem does not imply analytic wellordering,
Transactions of the American mathematical society, 2018, submitted.
SCIMAGO, Q1

2018 year
Authors: Gitman V., Friedman S.D., Kanovei V.

A model of second-order arithmetic satisfying AC but not DC.
Journal of Math. Logic, 2018, to appear.
DOI 10.1142/S0219061318500137
SCIMAGO, Q1
Go to publication

2018 year
Authors: Gitman V., Friedman S.D., Kanovei V.

A model of second-order arithmetic satisfying AC but not DC.
arXiv:1808.04732 [math.LO], August 2018.
Go to publication

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

Longevity in mammals: lost genes as a determinant. Bioinformatics of Genome Regulation and Structure\Systems Biology (BGRS\SB-2018): The Eleventh International Conference (2025 Aug. 2018, Novosibirsk, Russia); Abstracts / Institute of Cytology and Genetics, Siberian Branch of Russian Academy of Sciences; Novosibirsk State University. Novosibirsk: ICG SB RAS, 2018. P. 249.
Go to publication Download (2.2 MB)

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

Longevity in euarchontoglires: lost genes as a determinant. FEBS Open Bio, 2018, Vol. 8 (Suppl. 1), P. 456457; DOI: 10.1002/2211-5463.12453.

2018 year
Authors: Seliverstov A.

Binary Solutions to Some Systems of Linear Equations. In: Eremeev A., Khachay M., Kochetov Y., Pardalos P. (eds) Optimization Problems and Their Applications. OPTA 2018. Communications in Computer and Information Science, vol 871, pp. 183-192. Springer, Cham (2018).
Go to publication

2018 year
Authors: Seliverstov A.

Note on binary solutions to some systems of algebraic equations (In Russian). Algebra, Number Theory and Discrete Geometry: modern problems and applications. Proceedings of the XV International Conference, dedicated to the centenary of the birth of Professor Nikolai Mikhailovich Korobov. - Tula: Tula State Pedagogical University of Leo Tolstoy, 2018. P. 197-199.
Go to publication Download (7.2 MB)

2018 year
Authors: Seliverstov A.

Recognizing real cubic hypersurfaces without a straight line of singular points (In Russian). International Algebraic Conference dedicated to the 110th anniversary of Professor A. G. Kurosh. Proceedings. - Moscow, MSU, 2018, pp. 175-177.
Go to publication Download (1.7 MB)

2018 year
Authors: Kanovei V., Lyubetsky V.

Canonization of smooth equivalence relations on infinite-dimensional E0-large products.
Notre Dame J. Form. Logic, 2018, submitted
SCIMAGO, Q2.

2018 year
Authors: Seliverstov A.

Real cubic hypersurfaces containing no line of singular points. International Conference Polynomial Computer Algebra "2018, Russian Academy of Sciences, St. Petersburg Department of Steklov Mathematical Institute, Euler International Mathematical Institute, April 1921 2018, St. Petersburg, Russia, Ed. by N. N. Vassiliev, VVM Publishing, 2018, P. 109110.
Go to publication Download (2.8 MB)

2018 year
Authors: Lyubetsky V., Lyubetskaya E., Gorbunov K.

A linear algorithm of cyclic graph reconfiguration. Lobachevskii Journal of Mathematics, 2018, Iss. 6, in press

2018 year
Authors: Kanovei V., Lyubetsky V.

Non-uniformizable sets with countable cross-sections on a given level of the projective hierarchy.
Fundamenta mathematicae, 2018, to appear.
SCIMAGO, Q2
Go to publication

2018 year
Authors: Kanovei V., Lyubetsky V.

Definable E0 classes at arbitrary projective levels.
Annals of Pure and Applied Logic, 2018, Vol. 169, Iss. 9, P. 851871.
DOI: 10.1016/j.apal.2018.04.006
SCIMAGO, Q1
Go to publication

2018 year
Authors: Kanovei V., Lyubetsky V.

Canonization of smooth equivalence relations on infinite-dimensional perfect cubes.
arXiv:1804.05174 [math.LO], April 2018.
Go to publication

2018 year
Authors: Kanovei V., Lyubetsky V.

Definable elements of Borel sets.
Mathematical Notes, 2018, to appear
SCIMAGO, Q2

2018 year
Authors: Kanovei V., Lyubetsky V.

Borel OD sets of reals are OD-Borel in some simple models.
Proceedings of the American mathematical society, 2018, to appear.
SCIMAGO, Q1
Go to publication

2018 year
Authors: Zverkóv O., Rubanov L., Rusin L., Seliverstov A., Lyubetsky V.

Finding long highly conserved elements in complete animal genomes. CEUR Workshop Proceedings, Feb 23 2018, Vol. 2064, Convergent Cognitive Information Technologies 2017, P. 402408, in Russian.
Go to publication

2018 year
Authors: Gorbunov K., Lyubetsky V.

Transformation of large chromosome structures: an algorithm of equalization of gene contents. CEUR Workshop Proceedings, Feb 23 2018, Vol. 2064, Convergent Cognitive Information Technologies 2017, P. 395401, in Russian.
Go to publication

2018 year
Authors: Kanovei V., Katz M., Blaszczyk P., Nowik T.

Monotone subsequence via ultrapower.
Open Mathematics, 2018, 16, c. 149-153
DOI: https://doi.org/10.1515/math-2018-0015
SCIMAGO, Q2
Go to publication

2018 year
Authors: Kanovei V., Katz K., Katz M., Mormann T.

What makes a theory of infinitesimals useful? A view by Klein and Fraenkel.
Journal of Humanistic Mathematics, 2018, 8, 1, pp. 108-119.
DOI: 10.5642/jhummath.201801.07
Go to publication

2018 year
Authors: Kanovei V., Lyubetsky V.

Definable minimal collapse functions at arbitrary projective levels.
Journal of Symbolic Logic, submitted
SCIMAGO, Q1

2018 year
Authors: Bascelli T., Blazczyk P., Borovik A., Kanovei V., Katz K., Katz M., Kutateladze S., McCaffery T., Schaps D., Sherry D.

Cauchy"s infinitesimals, his sum theorem, and foundational paradigms.
Foundations of Science, 2018, 23, 2, pp 267296.
DOI: https://doi.org/10.1007/s10699-017-9534-y
SCIMAGO, Q2
Go to publication

2018 year
Authors: Kanovei V., Lyubetsky V.

Countable OD sets of reals belong to the ground model.
Archive for Mathematical Logic, 2018, Vol. 57, Iss. 34, P. 285298.
DOI: 10.1007/s00153-017-0569-0
SCIMAGO, Q1
Go to publication

2018 year
Authors: Bascelli T., Blaszczyk P., Kanovei V., Katz K., Katz M., et al.

Gregory"s sixth operation,
Foundations of Science, 2018, 23, 1, pp. 133--144.
DOI: https://doi.org/10.1007/s10699-016-9512-9
SCIMAGO, Q2
Go to publication

2018 year
Authors: Herzberg F., Kanovei V., Katz M., Lyubetsky V.

Minimal axiomatic frameworks for definable hyperreals with transfer.
Journal of Symbolic Logic, 2018, 83, 1, pp. 385-391.
DOI: 10.1017/jsl.2017.48
SCIMAGO, Q1
Go to publication

2018 year
Authors: Kanovei V., Lyubetsky V.

Non-uniformizable sets of second projective level with countable cross-sections in the form of Vitali classes.
Izvestiya: Mathematics, 2018, Vol. 82, No. 1, P. 6190.
DOI: 10.1070/IM8521
SCIMAGO:Q2
Go to publication

2017 year
Authors: Lyubetsky V., Gershgorin R., Gorbunov K.

Chromosome structures: reduction of certain problems with unequal gene content and gene paralogs to integer linear programming. BMC Bioinformatics, 2017, Vol. 18, No. 537. doi:10.1186/s12859-017-1944-x, PMID: 29212445
Go to publication

2017 year
Authors: Bair J., Blaszczyk P., Ely R., Henry V., Kanovei V., Katz K., Katz M., Kudryk T., Kutateladze S., McGaffey T., Mormann T., Schaps D., Sherry D.

Cauchy, infinitesimals and ghosts of departed quantifiers,
Mat. Stud. 2017, 47, 2, 115--144
Go to publication

2017 year
Authors: Kanovei V., Lyubetsky V.

Non-uniformizable sets with countable cross-sections on a given level of the projective hierarchy.
arXiv:1712.00769 [math.LO], December 2017.
Go to publication

2017 year
Authors: Seliverstov A.

Looking for points on a smooth cubic hypersurface. Computer algebra: International Conference Matherials. Moscow, October 30 - November 3, 2017 / Ed. S.A. Abramov, T.M. Sadykov. - Moscow: Plekhanov Russian University of Economics, 2017. P. 158-164. (In Russian).

2017 year
Authors: Seliverstov A.

Descriptive geometry for teaching of mathematics. Problems of quality of graphic preparation of students in a technical university: traditions and innovations 2017, vol. 1, pp. 346-352 (in Russian).
Download (175.4 KB)

2017 year
Authors: Gorbunov K., Lyubetsky V.

The Minimum-Cost Transformation of Graphs. Doklady Mathematics, 2017, Vol. 96, No. 2, P. 503505. doi:10.1134/S1064562417050313

2017 year
Authors: Lyubetsky V., Korotkova D., Ivanova A., Rubanov L., Seliverstov A., Zverkóv O., Nesterenko A., Tereshina M., Zaraisky A.G.

Novel transmembrane protein c-Answer revealed by bioinformatic screening of genes present only in well regenerating animals. FEBS Journal, 2017, Vol. 284, Iss. S1, P. 155. doi:10.1111/febs.14174

2017 year
Authors: Gorbunov K., Lyubetsky V.

A linear algorithm for the shortest transformation of graphs with different operation costs. Journal of Communications Technology and Electronics, 2017, Vol. 62, No. 6, P. 653662. doi:10.1134/S1064226917060092

2017 year
Authors: Korotkova D.D., Ivanova A.S., Lyubetsky V., Seliverstov A., Martynova N.Y., Nesterenko A.M., Zaraisky A.G.

Novel FGF-signaling modulator c-Answer revealed by bioinformatics screening for genes present only in well-regenerative animals. Mechanisms of Development, 2017, Vol. 145, P. S49. doi:10.1016/j.mod.2017.04.089

2017 year
Authors: Kanovei V., Lyubetsky V.

Definable minimal collapse functions at arbitrary projective levels.
arXiv:1707.07320 [math.LO], July 2017.
Go to publication

2017 year
Authors: Seliverstov A.

On tangent lines to affine hypersurfaces, Vestnik Udmurtskogo Universiteta. Matematika. Mekhanika. Komp"yuternye Nauki, 2017, vol. 27, no. 2, pp. 248--256 (in Russian). DOI: 10.20537/vm170208
Go to publication Download (245.3 KB)

2017 year
Authors: Rubanov L., Seliverstov A.

Projective-invariant description of a meandering river. Journal of Communications Technology and Electronics, 2017; vol. 62, no. 6, p. 663668. DOI: 10.1134/S1064226917060201.

2017 year
Authors: Kanovei V., Lyubetsky V.

Definable E0 classes at arbitrary projective levels.
arXiv:1705.02975 [math.LO], May 2017.
Go to publication

2017 year
Authors: Seliverstov A.

On probabilistic algorithm for solving almost all instances of the set partition problem. In: P. Weil (Ed.) Computer Science Theory and Applications. CSR 2017. Lecture Notes in Computer Science, vol. 10304. Springer, Cham, 2017. Pp. 285293. DOI: 10.1007/978-3-319-58747-9_25
Go to publication

2017 year
Authors: Seliverstov A.

On search for singular points of algebraic curve. Geometry and Graphics, 2017, vol. 5, no. 1, pp. 36-42 (in Russian).

2017 year
Authors: Seliverstov A.

An Approach to the Set Partition Problem. International Conference on Polynomial Computer Algebra "2017; St. Petersburg, April 17-22, 2017 / Euler International Mathematical Institute, Ed. by N. N. Vassiliev, VVM Pubishing, 2017. P. 96-99.
Go to publication Download (7.2 MB)

2017 year
Authors: Gorbunov K., Lyubetsky V.

Algorithm of transformation of a graph into another one with minimal cost. Informatics and it"s applications, 2017, Vol. 11, Iss. 1, P. 7989 (in Russian). doi:10.14357/19922264170107

2017 year
Authors: Gorbunov K., Lyubetsky V.

Linear algorithm for minimal rearrangement of structures. Problems of Information Transmission, 2017, Vol. 53, Iss. 1, P. 5572. doi:10.1134/S0032946017010057

:    Page: 1 2345 ... 89101112
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), 2018
About  |  Contacts  |  The old version of this site