ÂÅÐÑÈß ÄËß ÑËÀÁÎÂÈÄßÙÈÕ
Enter
Login:
Password:
Forgot your password?
scientific activity
structureeducational projectsperiodicalsstaffpress centercontacts
ðóññêèé | english
Ïóáëèêàöèé íà ñòðàíèöå:    Page: 1234567 8 ... 1314151617
2015 year
Authors: Kanovei V., Katz K., Katz M., Sherry D.

Euler"s lute and Edward"s oud. Mathematical Intelligencer, 2015, 37, 4, pp. 48--51.
DOI: 10.1007/s00283-015-9565-6
SCIMAGO, Q2
Go to publication

2015 year
Authors: Kanovei V., Lyubetsky V.

A definable E0 class containing no definable elements. Archive for Mathematical Logic, 2015, 54, 5, pp. 711–723. DOI: 10.1007/s00153-015-0436-9
Go to publication

2015 year
Authors: Kanovei V., Lyubetsky V.

Generalization of one construction by Solovay. Siberian Mathematical Journal, 2015, 56, no. 6, pp. 1072–1079. DOI: 10.1134/S0037446615060117
Go to publication

2015 year
Authors: Kanovei V., Katz Ê., Katz M., Schaps D.

Proofs and retributions, Foundations of Science, 2015, 20, 1, pp 1-25.
DOI: 10.1007/s10699-013-9340-0
SCIMAGO, Q2
Go to publication

2015 year
Authors: Kanovei V., Lyubetsky V.

On effective σ-boundedness and σ-compactness in Solovay"s model, Mathematical notes, 2015, 98, 1-2, pp. 273--282. DOI: 10.1134/S0001434615070299
Go to publication

2014 year
Authors: Gershgorin R.A., Rubanov L., Seliverstov A.

Easily Computable Invariants for Hypersurface Recognition, Journal of Communications Technology and Electronics, 2015. Vol. 60. No. 12. P. 1429–1431
Go to publication Download (111.4 KB)

2014 year
Authors: Kanovei V., Lyubetsky V.

On countable cofinality and decomposition of definable thin orderings, arXiv:1412.0195 [math.LO], Dec. 2014, 21 p.
Go to publication

2014 year
Authors: Kanovei V., Lyubetsky V.

Counterexamples to countable-section Π12 uniformization and Π13 separation, arXiv:1410.2537 [math.LO], Oct. 2014, 18 p.
Go to publication

2014 year
Authors: Kanovei V., Lyubetsky V.

A definable $E_0$-class containing no definable elements, arXiv:1408.6642 [math.LO], Aug 2014, 12 p.
Go to publication

2014 year
Authors: Kanovei V., Lyubetsky V.

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

2014 year
Authors: Kanovei V., Lyubetsky V.

Linearization of partial quasi-orderings in the Solovay model revisited, arXiv:1408.1202 [math.LO], Aug. 2014, 13 p.
Go to publication

2014 year
Authors: Kanovei V.

Bounding and decomposing thin analytic partial orderings, arXiv:1407.0929v2 [math.LO], Jul 2014, 12 p.
Go to publication

2014 year
Authors: Rubanov L.

"Parallelization of nonuniform loops in supercomputers with distributed memory" Journal of Communications Technology and Electronics, 2014, Vol. 59, No. 6, P. 639–646.
Download (260.7 KB)

2014 year
Authors: Zverkóv O., Seliverstov A., Lyubetsky V.

“A database of Rhodophyte plastid protein families and regulation of moeB genes” Abstracts of the Ninth International Conference on Bioinformatics of Genome Regulation and StructureSystems Biology (BGRSSB"2012), Novosibirsk, Russia, June 23–28 2014, p. 176.

2014 year
Authors: Seliverstov A.

“Polytopes and Connected Subgraphs”, Discrete Anal. Oper. Res., 2014, Vol. 21, No. 3, P. 82–86, in Russian
Download (204.7 KB)

2014 year
Authors: Rusin L., Lyubetskaya E., Gorbunov K., Lyubetsky V.

“Reconciliation of Gene and Species Trees” BioMed Research International, 2014, Vol. 2014, Article ID 642089, 22 pages.
Go to publication

2014 year
Authors: Kanovei V.

A generalization of Solovay"s Sigma-construction. arXiv:1402.0961 [math.LO]. 5 Feb 2014, 6 p.
Go to publication

2014 year
Authors: Lyubetsky V., Korolev S., Seliverstov A., Zverkóv O., Rubanov L.

“Gene expression regulation of the PF00480 or PF14340 domain proteins suggests their involvement in sulfur metabolism” Computational Biology and Chemistry, 2014, vol. 49, p. 7–13.
Go to publication

2014 year
Authors: Kanovei V.

On the automorphisms behind the Gitik -- Koepke model. In: Infinity, Computability, and Metamathematics: Festschrift celebrating the 60th birthdays of Peter Koepke and Philip Welch. College publications, London, 2014, SeriesTributes, Vol. 23, pp. 229--253
Go to publication

2014 year
Authors: Bascelli T., Kanovei V., Katz K., Katz M., et al.

Fermat, Leibniz, Euler, and the gang: the true history of the concepts of limit and shadow. Notices of the AMS, 2014, 61, 8, pp. 848--864.
DOI: 10.1090/noti1149
SCIMAGO, Q3
Go to publication

2013 year
Authors: Kanovei V.

On countable cofinality of definable chains in Borel partial orders. arXiv:1312.2064 [math.LO]. Sat, 7 Dec 2013
Go to publication

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

“Rho-dependent attenuation of sulfur metabolism in mycobacteria” Proceedings of the International Moscow Conference on Computational Molecular Biology: MCCMB’13, Moscow, Russia, July 25–28 2013.

2013 year
Authors: Kobets N., Goncharov D., Seliverstov A., Zverkóv O., Lyubetsky V.

“Comparative analysis of apicoplast-targeted proteins in Toxoplasma gondii and other Apicomplexa species” Proceedings of the International Moscow Conference on Computational Molecular Biology: MCCMB’13, Moscow, Russia, July 25–28 2013.

2013 year
Authors: Lyubetsky V., Seliverstov A., Zverkóv O.

“Elaboration of the Homologous Plastid-Encoded Protein Families that Separate Paralogs in Magnoliophytes” Mathematical Biology and Bioinformatics, 2013, Vol. 8, No. 1, P. 225–233, (in Russian).

2013 year
Authors: Zverkóv O., Seliverstov A., Lyubetsky V.

Averaged entropy as conservativity measure of genome regions. Tambov University Reports. Series: Natural and Technical Sciences. 2013, Vol. 18, Iss. 5 (part 2), P. 2529–2531 (in Russian).

2013 year
Authors: Seliverstov A.

On connected subgraph cone. Tambov University Reports. Series: Natural and Technical Sciences. 2013. Vol. 18, Issue 5, (Part 2). P. 2668-2670. (In Russian.)
Download (201.5 KB)

2013 year
Authors: Kanovei V.

Surreal numbers from the point of view of nonstandard analysis, Sy David Friedman"s 60th-Birthday Conference, Vienna, Austria, July 2013.
Go to publication

2013 year
Authors: Felgner U., Kanovei V., Koepke P., Purkert W., editors .

Felix Hausdorff. Gesammelte Werke, Band IA: Allgemeine Mengenlehre. Berlin: Springer, 2013, xxvi+538 pp., Monograph ISBN: 978-3-642-25598-4.
Go to publication

2013 year
Authors: Lyubetsky V., Seliverstov A., Zverkóv O.

Transcription Regulation of Plastid Genes Involved in Sulfate Transport in Viridiplantae. BioMed Research International. 2013, Vol. 2013, Article ID 413450. DOI: 10.1155/2013/413450, PMID: 24073405
Go to publication

2013 year
Authors: Bair J., Blazczyk P., Ely R., Henry V., Kanovei V., et al.

Is mathematical history written by the victors? Notices of the AMS, 2013, 60, no 7, pp. 886-904.
DOI: 10.1090/noti1026
SCIMAGO, Q3
Go to publication

2013 year
Authors: Kanovei V., Sabok M., Zapletal J.

Canonical Ramsey Theory on Polish Spaces. Cambridge University Press, Cambridge, UK, 2013, viii+269 pp., Monograph ISBN 978-1-107-02685-8
Go to publication

2013 year
Authors: Kanovei V., Lyubetsky V.

Contemporary Set Theory: absolutely undecidable classical problems. (Russian.) Monograph, published by Independent Moscow university, 2013, 384 pages.
Go to publication

2013 year
Authors: Seliverstov A.

"Monomials in quadratic forms", Journal of Applied and Industrial Mathematics, 2013, Vol. 7, N 3. P. 431–434
Download (195.2 KB)

2013 year
Authors: Kanovei V.

Kommentar zu [H 1936b], Summen von $aleph_1$ Mengen. In: Felix Hausdorff, Gesammelte Werke. Band Ia: Allgemeine Mengenlehre, Berlin: Springer, 2013, pp. 364-366.
Go to publication

2013 year
Authors: Kanovei V.

Kommentar zu [H 1909a], Die Graduierung nach dem Endverlauf. In: Felix Hausdorff, Gesammelte Werke. Band Ia: Allgemeine Mengenlehre, Berlin: Springer, 2013, pp. 336-346.
Go to publication

2013 year
Authors: Kanovei V.

Gaps in partially ordered sets and related problems, In: Felix Hausdorff, Gesammelte Werke. Band Ia: Allgemeine Mengenlehre, Berlin: Springer, 2013, pp. 367-405.
Go to publication

Ïóáëèêàöèé íà ñòðàíèöå:    Page: 1234567 8 ... 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  |  Ïðîòèâîäåéñòâèå êîððóïöèè