Enter
Login:
Password:
Forgot your password?
scientific activity
structureeducational projectsperiodicalsstaffpress centercontacts
| english
:    Page: 1 2345 ... 89101112
2018 year
Authors: Kanovei V., Lyubetsky V.

Definable minimal collapse functions at arbitrary projective levels. Journal of symbolic logic. Submitted

2018 year
Authors: Kanovei V., Lyubetsky V.

Non-uniformizable sets of second projective level with countable cross-sections in the form of Vitali classes, Russian Mathematics, Izvestiya, 2018, vol. 82, to appear. DOI: https://doi.org/10.1070/IM8521
Go to publication

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, submitted: May 3 2017, accepted: Jun 8 2017

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
Go to publication

2017 year
Authors: Kanovei V., Lyubetsky V.

Definable minimal collapse functions at arbitrary projective levels. July 2017, arXiv:1707.07320 [math.LO], pp. 1-30.
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. May 2017, arXiv:1705.02975 [math.LO], pp. 1--26. Submitted to Annals of pure and applied logic.
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: 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, 2017, First Online 27 June 2017, DOI: https://doi.org/10.1007/s10699-017-9534-y
Go to publication

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

2017 year
Authors: Gershgorin R., Gorbunov K., Zverkóv O., Rubanov L., Seliverstov A., Lyubetsky V.

Highly Conserved Elements and Chromosome Structure Evolution in Mitochondrial Genomes in Ciliates. Life, 2017, Vol. 7, No. 9, 11 pages. doi:10.3390/life7010009, PMID: 28264444.
Go to publication

2017 year
Authors: Kanovei V., Lyubetsky V.

The full basis theorem does not imply analytic wellordering. February 2017, arXiv:1702.03566 [math.LO], pp. 1-63.
Go to publication

2017 year
Authors: Kanovei V., Katz M., Lobry C., et al.

Approaches to analysis with infinitesimals following Robinson, Nelson, and others. Real Analysis Exchange, 2017, accepted.
Go to publication

2017 year
Authors: Kanovei V., Lyubetsky V.

Countable OD sets of reals belong to the ground model. Archive for Mathematical Logic, 2017, First Online 24 June 2017. doi:10.1007/s00153-017-0569-0
Go to publication

2017 year
Authors: Kanovei V., Katz M.

A positive function with vanishing Lebesgue integral in ZF. Real Analysis Exchange, 2017, 42, no. 2, to appear.
Go to publication

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

Gregory"s sixth operation, Foundations of Science, 2017. First Online 20 December 2016, DOI: https://doi.org/10.1007/s10699-016-9512-9
Go to publication

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

Minimal axiomatic frameworks for definable hyperreals with transfer. Journal of Symbolic Logic, 2017, to appear. DOI: 10.1017/jsl.2017.48

2017 year
Authors: Bair J., Blaszczyk P., Ely R., Henry V., Kanovei V., Katz K., Katz M., et al.

Interpreting the infinitesimal mathematics of Leibniz and Euler, Journal of General Philosophy of Science, 2017, 48, issue 2, pp, 195--238. DOI: https://doi.org/10.1007/s10838-016-9334-z
Go to publication

2017 year
Authors: Kanovei V., Lyubetsky V.

A definable countable set not containing definable elements, Mathematical notes, 2017, 102, no. 3, pp. 4556 (in Russian).
Go to publication

2017 year
Authors: Blazczyk P., Kanovei V., Katz M., Sherry D.

Controversies on foundations of analysis: comments on Schubrings conflicts. Foundations of Science, 2017, 22, 1, pp. 125--140. DOI: https://doi.org/10.1007/s10699-015-9473-4
Go to publication

2017 year
Authors: Golshani M., Kanovei V., Lyubetsky V.

A Groszek-Laver pair of undistinguishable E0-classes. Mathematical Logic Quarterly, 2017, Vol. 63, No. 12, P. 1931. doi:10.1002/malq.201500020
Go to publication

2016 year
Authors: Korolev S., Gorbunov K., Zverkóv O., Seliverstov A., Lyubetsky V.

Degenerate inverted repeats in the genomes of mycobacterium. CEUR Workshop Proceedings (CEUR-WS.org), Selected Papers of the First International Scientific Conference Convergent Cognitive Information Technologies (Convergent 2016), Moscow, Russia, November 2526 2016, vol. 1763, p. 182187, in Russian.

2016 year
Authors: Lyubetsky V., Piel W., Stadler P.

Molecular Phylogenetics 2016. BioMed Research International, 2016, vol. 2016, Article ID 9029306, 2 pages, DOI: 10.1155/2016/9029306.
Go to publication

2016 year
Authors: Gorbunov K., Lyubetsky V.

A modified algorithm for transformation of chromosomal structures: a condition of absolute exactness. CEUR Workshop Proceedings (CEUR-WS.org), Selected Papers of the First International Scientific Conference Convergent Cognitive Information Technologies (Convergent 2016), Moscow, Russia, November 2526 2016, vol. 1763, p. 162172, in Russian.

2016 year
Authors: Lyubetsky V., Seliverstov A.

A Novel Algorithm for Solution of a Combinatory Set Partitioning Problem. Journal of Communications Technology and Electronics, 2016, vol. 61, no. 6, p. 705708.

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

A Method for Identification of Highly Conserved Elements and Evolutionary Analysis of Superphylum Alveolata. BMC Bioinformatics, 2016, vol. 17, no. 385, 16 pages, DOI: 10.1186/s12859-016-1257-5, PMID: 27645252.
Go to publication

2016 year
Authors: Seliverstov A.

On symmetry of projective curves. Vestnik TvGU. Seriya: Prikladnaya Matematika [Herald of Tver State University. Series: Applied Mathematics], 2016, no. 3, pp. 59-66 (in Russian)
Download (276.9 KB)

2016 year
Authors: Kanovei V., Lyubetsky V.

A generic property of Solovay"s set Σ. November 2016, arXiv:1611.00176 [math.LO], pp. 1-4.
Go to publication

2016 year
Authors: Kanovei V., Lyubetsky V.

In Cohen generic extension, every countable OD set of reals belongs to the ground model. July 2016, arXiv:1607.02880 [math.LO] pp. 1-3.
Go to publication

2016 year
Authors: Rubanov L., Seliverstov A.

Projective-Invariant Description of Meandering River. Information processes. 2016. Vol. 16, no. 3, pp. 281-290 (in Russian)
Go to publication Download (167 KB)

2016 year
Authors: Lyubetsky V., Gershgorin R., Seliverstov A., Gorbunov K.

Algorithms for Reconstruction of Chromosomal Structures. BMC Bioinformatics, 2016, vol. 17, no. 40, 23 pages, DOI: 10.1186/s12859-016-0878-z, PMID: 26780836.
Go to publication

2016 year
Authors: Seliverstov A.

On smoothness recognition of the hypersurface. Proceedings of the twelfth International Conference "Belarusian Mathematical Conference", Minsk, September 5-10, 2016, ed. by S.G. Krasovskii, part 4. Minsk: Institute of Mathematics of the Belarusian National Academy of Sciences, 2016, pp. 64-65 (in Russian).
Go to publication

2016 year
Authors: Kanovei V., Lyubetsky V.

Countable OD sets of reals belong to the ground model. September 2016, arXiv:1609.01032 [math.LO], pp. 1-12.
Go to publication

2016 year
Authors: Błaszczyk P., Borovik A., Kanovei V., Katz M., et al.

A Non-Standard Analysis of a Cultural Icon: The Case of Paul Halmos. Logica Universalis, 2016, 10, pp. 393-405. DOI https://doi.org/10.1007/s11787-016-0153-0
Go to publication

2016 year
Authors: Blaszczyk P., Kanovei V., Katz M., et al.

Toward a history of mathematics focused on procedures, Foundations Of Science, 2016, First Online 21 September 2016, DOI: https://doi.org/10.1007/s10699-016-9498-3
Go to publication

2016 year
Authors: Seliverstov A.

On cubic hypersurfaces with involutions. International Conference Polynomial Computer Algebra "2016; St. Petersburg, April 18-22, 2016 / Euler International Mathematical Institute, Ed. by N.N. Vassiliev, VVM Publishing, 2016. pp. 74-77.
Go to publication Download (88.5 KB)

2016 year
Authors: Korolev S., Zverkóv O., Seliverstov A., Lyubetsky V.

Ribosome reinitiation at leader peptides increases translation of bacterial proteins. Biology Direct, 2016, vol. 11, no. 20, 6 pages, DOI: 10.1186/s13062-016-0123-8, PMID: 27084079.
Go to publication

2016 year
Authors: Kanovei V., Katz K., Katz M., Nowik T.

Small oscillations of the pendulum, Eulers method, and adequality, Quantum Studies: Mathematics and Foundations, 2016, 3, no 3, pp 231236. DOI: https://doi.org/10.1007/s40509-016-0074-x
Go to publication

2016 year
Authors: Kanovei V.

OD elements of countable OD sets in the Solovay model. March 2016, arXiv:1603.04237 [math.LO], pp. 1-20.
Go to publication

:    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), 2017
About  |  Contacts  |  The old version of this site