|
|
 |
1999 г. Авторы: Любецкий В.А.«Об основах интеллектуальных процессов» Труды второго философского конгресса, Екатеринбург, часть 1, 1999, сс. 223–224.
|
|
1999 г. Авторы: Любецкий В.А.«О преобразовании классических выводов в интуиционистские» Труды второй международной конференции «Смирновские чтения», Москва, 1999, сс. 38–41.
|
|
1999 г. Авторы: Любецкий В.А.«Логика устной речи в сравнении с логикой письменной речи» Труды второго философского конгресса, Екатеринбург, 1999, часть 1, с. 222.
|
|
1999 г. Авторы: Карнаухов В.Н., Кузнецов Н.А., Мерзляков Н.С., Рубанов Л.И."Принципы построения цифрового фотоархива Российской Академии наук", Компьютерная оптика, 1999, вып.19, с.188-192
|
|
1998 г. Авторы: Kanovei V.When a partial Borel order is Borel linearizable.
Fundamenta Mathematicae, 1998, 155, 3, pp. 301--309.
Перейти к публикации |
|
1998 г. Авторы: Kanovei V., Reeken M.Elementary extensions of external classes in a nonstandard universe.
Studia Logica, 1998, 60, 2, pp. 253--273.
Перейти к публикации |
|
1998 г. Авторы: Кановей В.Г., Заплетал И.Пирамидальная структура степеней конструктивности.
Математические Заметки,1998, 63, 4, c. 632--635
Перейти к публикации |
|
1998 г. Авторы: Kanovei V.Ulm classification of analytic equivalence relations in generic universes.
Math. Logic Quarterly, 1998, 44, 3, pp. 287--303.
Перейти к публикации |
|
1998 г. Авторы: Kanovei V.On ``star"" schemata of Kossak and Paris,
Logic Colloquium "96,
Lecture Notes in Logic 12, Springer, 1998, pp. 101--114.
Перейти к публикации |
|
1998 г. Авторы: Karnaukhov V., Miller B., Rubanov L., Merzlyakov N.S.Digital archives of manuscripts and photo-documents: technology and experience. // Proc. of International Conference EVA’98, Moscow 1 5 December 1998, STG, M., 1998, pp.5/1/1–5/1/9.
|
|
1998 г. Авторы: Karnaukhov V., Merzlyakov N.S., Rubanov L.Image processing and storage in digital archives of manuscripts and photo-documents. // Proc. of 5-th Open German-Russian Workshop on Pattern Recognition and Image Understanding (21-25 September 1998, Herrshing, Germany). Sankt Augustin: Infix, 1999. p.176-183.
|
|
1998 г. Авторы: Витрещак А.Г., Гельфанд М.С.Conserved RNA structures regulation initiation of translation of Escherichia coli and Haemophilus influenzae ribosomal protein operons. In the abstracts of Theoretical biophysics international school, Moscow, June 15-20, 1998. P. 105.
|
|
1998 г. Авторы: Витрещак А.Г., Бансал А., Гельфанд М.С.Conserved RNA structures regulate initiation of translation of Escherichia coli and Haemophilus influenzae ribosomal protein operons. In the proceedings of the first International Conference on Bioinformatics of Genome Regulation and Structure, Novosibirsk, August 24-31, 1998. V. 1. P. 229.
|
|
1998 г. Авторы: Бокштейн И.М., Карнаухов В.Н., Кузнецов Н.А., Мерзляков Н.С., Рубанов Л.И."Digital image processing of archival photo-documents". In: Mikaelian A.L. (ed.), Computer and Holographic Optics and Image Processing. Proceedings of SPIE, Vol.3348 (1998), p.226-232
|
|
1998 г. Авторы: Карнаухов В.Н., Мерзляков Н.С., Миллер Б.М., Рубанов Л.И.Цифровые архивы рукописей и фотодокументов: технологии разработки и опыт создания // Труды конференции «Электронные изображения и визуальные искусства» (EVA’98 Москва), 26-30 октября 1998 г., М.: Центр ПИК - Государственная Третьяковская Галерея, с. 5/1/1–5/1/10
|
|
1998 г. Авторы: Бокштейн И.М., Карнаухов В.Н., Кузнецов Н.А., Мерзляков Н.С., Рубанов Л.И."Automation of Archival Image Database Population", Pattern Recognition and Image Analysis, Vol. 8, No. 4, 1998, p.582-600
|
|
1997 г. Авторы: Kanovei V., Reeken M.Mathematics in a nonstandard world, I.
Math. Japonica, 1997, vol. 45, 2, pp. 369--408.
Перейти к публикации |
|
1997 г. Авторы: Kanovei V., Reeken M.Mathematics in a nonstandard world, II.
Math. Japonica, 1997, vol. 45, 3, pp. 555--571.
Перейти к публикации |
|
1997 г. Авторы: Kanovei V.Non--Glimm--Effros equivalence relations at second projective level.
Fundamenta Mathematicae, 1997, 154, 1, pp. 1--35.
Перейти к публикации |
|
1997 г. Авторы: Kanovei V., van Lambalgen M.On a Spector ultrapower of Solovay model.
Math. Logic Quarterly, 1997, 43, 2, pp. 389--395.
Перейти к публикации |
|
1997 г. Авторы: Kanovei V.Two dichotomy theorems on colourability of non-analytic graphs.
Fundamenta Mathematicae, 1997, 154, 2, pp. 183--201.
Перейти к публикации |
|
1997 г. Авторы: Kanovei V., Reeken M.Isomorphism property in nonstandard extensions of the ZFC universe.
Annals of Pure and Applied Logic, 1997, 88, pp. 1--25.
Перейти к публикации |
|
1997 г. Авторы: Kanovei V.An Ulm--type classification theorem for equivalence relations in Solovay model.
J. Symbolic Logic, 1997, 62, 4, pp. 1333--1351.
Перейти к публикации |
|
1997 г. Авторы: Любецкий В.А., Любецкая С.Н.«О некоторых задачах эффективизации и целенаправленного поведения»,
Логические исследования,
М.: Наука, 1997, вып. 4, стр. 180.
|
|
1997 г. Авторы: Любецкий В.А.«Теоремы переноса и интуиционистская теория множеств»
Доклады РАН,
1997, т. 357, № 2, сс. 168–171.
|
|
1997 г. Авторы: Любецкий В.А.«Теоремы переноса и алгебра модальных операторов, III»
Алгебра и Логика (СО АН СССР),
1997, т. 36, № 3, сс. 282–303.
Перейти к публикации |
|
1997 г. Авторы: Рубанов Л.И., Шапиро Д.И."Processing of Multisignificant Images for Virtual Reality Systems". In: Proc. 7th Int. Conference on Artificial Intelligence and Information-Control Systems of Robots (AIICSR-97), Smolenice Castle (Slovakia), 10-14 September, 1997
|
|
1997 г. Авторы: Бокштейн И.М., Кузнецов Н.А., Мерзляков Н.С., Рубанов Л.И."Возможности и средства цифровой реставрации архивных рукописных текстов", Информационные технологии и вычислительные системы, М.: ИВВС РАН, № 1, 1997, с.1-15
|
|
1997 г. Авторы: Бокштейн И.М., Кузнецов Н.А., Мерзляков Н.С., Рубанов Л.И., Богатова Г.А."Digital Restoration of Archival Handwritten Texts", Pattern Recognition and Image Analysis, 1997, Vol.7, No.3, p.379-390
|
|
1997 г. Авторы: Бокштейн И.М., Карнаухов В.Н., Мерзляков Н.С., Рубанов Л.И."Цифровые методы обработки архивных фотодокументов", Компьютерная оптика, 1997, Вып.17, с.116-124
|
|
1997 г. Авторы: Бокштейн И.М., Кузнецов Н.А., Мерзляков Н.С., Рубанов Л.И."Development of an Archive Image Database within the Framework of Modern Technologies of Image Processing and Storage". In: Wenger E., Dimitrov L.I. (eds.): 6th International Workshop on Digital Image Processing and Computer Graphics. Applications in Humanities and Natural Sciences (DIP-97). Proceedings of SPIE, Vol. 3346 (1998), p.342-349
|
|
1997 г. Авторы: Бокштейн И.М., Карнаухов В.Н., Кузнецов Н.А., Мерзляков Н.С., Рубанов Л.И."Digital Restoration, Enhancement and Archiving of Photo-Documents". In: Wenger E., Dimitrov L.I. (eds.): 6th International Workshop on Digital Image Processing and Computer Graphics. Applications in Humanities and Natural Sciences (DIP-97). Proceedings of SPIE, Vol.3346 (1998), p.350-356
|
|
1997 г. Авторы: Бокштейн И.М., Карнаухов В.Н., Кузнецов Н.А., Мерзляков Н.С., Рубанов Л.И.Цифровые методы обработки архивных фотодокументов // Международный симпозиум «Информационная оптика. Научные основы и технологии», 27-30 августа 1997, Москва. Программа и аннотации докладов. М.: РАН, 1997, с.33
|
|
1996 г. Авторы: Kanovei V., Reeken M.Loeb measure from the point of view of coin flipping game.
Math. Logic Quarterly, 1996, 42, 1, pp. 19--26.
Перейти к публикации |
|
1996 г. Авторы: Kanovei V., Reeken M.Internal approach to external sets and universes. 3. Partially saturated universes.
Studia Logica, 1996, 56, 3, pp. 293--322.
Перейти к публикации |
|
1996 г. Авторы: Kanovei V.On external Scott algebras in nonstandard models of Peano arithmetic.
J. Symbolic Logic, 1996, 61, 2, pp. 586--608.
Перейти к публикации |
|
1996 г. Авторы: Kanovei V., Reeken M.Summation of divergent series from the nonstandard point of view.
Real Analysis Exchange, 1996, 21, 2, pp. 453--477.
Перейти к публикации |
|
1996 г. Авторы: Кановей В.Г.Топологии, порожденные эффективно суслинскими
множествами, и их приложения в дескриптивной теории множеств.
УМН, 1996, 51, 3, с. 17--52.
Перейти к публикации |
|
1996 г. Авторы: Любецкий В.А.«О некоторых применениях метода семантического оценивания»
Проблемы передачи информации,
1996, т. 32, № 3, сс. 82–96.
Перейти к публикации |
|
1995 г. Авторы: Kanovei V.Uniqueness, collection, and external collapse of cardinals in IST and models of Peano arithmetic.
J. Symbolic Logic, 1995, 60, 1, pp. 318--324.
Перейти к публикации |
|
1995 г. Авторы: Kanovei V., Reeken M.Internal approach to external sets and universes. 1. Bounded set theory.
Studia Logica, 1995, 55, 2, pp. 229--257.
Перейти к публикации |
|
1995 г. Авторы: Kanovei V., Reeken M.Internal approach to external sets and universes. 2. External universes over the BST universe.
Studia Logica, 1995, 55, 3, pp. 347--376.
Перейти к публикации |
|
1995 г. Авторы: Любецкий В.А.«Теоремы переноса и алгебра модальных операторов, II»
Логические исследования,
РАН, 1995, № 3, Наука, Москва, сс. 205–232.
|
|
1995 г. Авторы: Файн В.С., Рубанов Л.И.Activity and Understanding. Structure of Action and Orientated Linguistics. World Scientific, 1995, 300 p.
|
|
1994 г. Авторы: Kanovei V.A course on Foundations of Nonstandard Analysis,
IPM Lecture Notes Series 1, 1994, 149 pp. Monograph
Перейти к публикации |
|
1993 г. Авторы: Кановей В.Г.О суммировании Леонардом Ейлером ряда знакочередующихся факториалов.
Историко-математические исследования, 1993, 34, с. 8--45.
Перейти к публикации |
|
1993 г. Авторы: Любецкий В.А.«Об одном подходе к моделированию интеллектуальных систем»
Проблемы передачи информации,
1993, т. 29, № 3, сс. 107–109.
Перейти к публикации |
|
1992 г. Авторы: Кановей В.Г.О принципе продолжения в теории внутренних множеств.
Сиб. Мат. Ж.,1992, 33, 6, с. 66--78.
Перейти к публикации |
|
1992 г. Авторы: Любецкий В.А.«Локально аксиоматизируемые классы колец, II»
The Journal of Symbolic Logic,
1992, vol. 57, № 1, p. 377.
|
|
1992 г. Авторы: Lyubetsky V.“Heyting-Valued Analysis: P. S. Novikov’s Hypotheses”
Contemporary Mathematics,
1993, V. 131, Pt. 3, PP. 565–583.
|
|
|
|
|
|
