Л.Л. Цинман - Публикации

2015

Дяченко П.В., Иомдин Л.Л., Лазурский А.В., Митюшин Л.Г., Подлесская О.Ю., Сизов В.Г., Фролова Т.И., Цинман Л.Л., Современное состояние глубоко аннотированного корпуса текстов русского языка (СинТагРус) // Сборник «Национальный корпус русского языка: 10 лет проекту». Труды Института русского языка им. В.В. Виноградова. М., 2015. Вып. 6. С. 272-299.

2011

Цинман Л.Л., Ранжирование синтаксических гипотез в синтаксическом анализаторе лингвистического процессора ЭТАП-3 // Сб. статей с восьмидесятилетию акад. Ю.Д. Апресяна «Слово и язык». М.: Языки славянских культур, 2011. С. 573-587. ISBN 978-5-9551-0478-2.
Boguslavsky I., Iomdin L., Tsinman L., Sizov V., Petrochenkov V., Rule-Based Dependency Parser Refined by Empirical and Corpus Statistics // Proceedings of the International Conference on Dependency Linguistics (Depling’2011). Barcelona, September 5-7, 2011. P. 318-327. ISBN 978-84-615-1834-0.

2009

Apresjan J., Boguslavsky I., Iomdin L., Timoshenko S., Tsinman L., Semantic Paraphrasing for Information Retrieval and Extraction // Flexible Query Answering Systems. 8th International Conference “FQAS 2009”. Roskilde, 2009. P. 512-523. ISSN 0302-9743. ISBN 3-642-04956-7.
Цинман Л.Л., Тимошенко С.П., Лексические функции и возможности оптимизации поиска информации в интернете (на материале параметрических слов) // Компьютерная лингвистика и интеллектуальные технологии (Диалог’2009). Труды международной конференции. Бекасово, 27-31 мая 2009 г. М.: РГГУ, 2009. Вып. 8(15). С. 476-482. ISBN 978-5-7281-1102-3.

2008

Цинман Л.Л., Дружкин К.Ю., Синтаксический анализатор лингвистического процессора ЭТАП-3: эксперименты по ранжированию синтаксических гипотез // Компьютерная лингвистика и интеллектуальные технологии (Диалог’2008). Труды международной конференции. Бекасово, 4-8 июня 2008 г. М.: РГГУ, 2008. Вып. 7(14). С. 147-153. ISBN 978-5-7281-1022-4.

2007

Апресян Ю.Д., Богуславский И.М., Иомдин Л.Л., Цинман Л.Л., Lexical Functions in Actual NLP-Applications // Selected Lexical and Grammatical Issues in the Meaning–Text Theory. In honour of Igor Mel"čuk. Leo Wanner (ed.) Studies in Language Companion. Series 84. Amsterdam: Benjamins Academic Publishers, 2007. Р. 199-230.
Богуславский И.М., Дружкин К.Ю., Иомдин Л.Л., Сизов В.Г., Цинман Л.Л., Стандартные тесты для задач автоматической обработки текстов на русском языке и регрессионное тестирование // Компьютерная лингвистика и интеллектуальные технологии (Диалог"2007). Труды Международной конференции. М.: Издательский центр РГГУ, 2007. С. 62-69.

2005

Апресян Ю.Д., Богуславский И.М., Иомдин Б.Л., Иомдин Л.Л., Санников А.В., Санников В.З., Сизов В.Г., Цинман Л.Л., Синтаксически и семантически аннотированный корпус русского языка: современное состояние и перспективы // Национальный корпус русского языка: 2003-2005 (результаты и перспективы). М.: Индрик, 2005. С. 193-214. ISBN 5-85759-358-1.

2003

Апресян Ю.Д., Богуславский И.М., Иомдин Л.Л., Цинман Л.Л., Lexical Functions as a Tool of ETAP-3 // First International Conference on Meaning-Text Theory (MTT’2003). June 16–18, 2003. Paris: École Normale Supérieure, 2003.
Апресян Ю.Д., Богуславский И.М., Иомдин Л.Л., Лазурский А.В., Санников В.З., Сизов В.Г., Цинман Л.Л., ETAP-3 Linguistic Processor: a Full-Fledged NLP Implementation of the MTT // First International Conference on Meaning – Text Theory (MTT"2003). June 16-18, 2003. Paris: Ecole Normale Superieure, 2003. P. 279-288.

2002

Апресян Ю.Д., Цинман Л.Л., Формальная модель перифразирования предложений для систем переработки текстов на естественных языках // Русский язык в научном освещении. 2002. № 2 (4). С. 102-146.
Апресян Ю.Д., Богуславский И.М., Иомдин Л.Л., Цинман Л.Л., Lexical Functions in NLP: Possible Uses // Computational Linguistics for the New Millenium: Divergence or Synergy? Proceedings of the International Symposium held at the Ruprecht-Karls-Universität Heidelberg. Festschrift in Honour of Peter Hellwig on the occasion of his 60th Birthday. 21-22 July, 2000. Manfred Klenner, Henriëtte Visser (Eds.). Heidelberg: Peter Lang, 2002. Р. 55-72.
Иомдин Л.Л., Сизов В.Г., Цинман Л.Л., Utilisation des poids empiriques dans l’analyse syntaxique: une application en Traduction Automatique // META. Montreal, 2002. Vol. 47. № 3. P. 351-358.

2001

Иомдин Л.Л., Сизов В.Г., Цинман Л.Л., Использование эмпирических весов при синтаксическом анализе // Труды международной конференции «Обработка текста и когнитивные технологии». Казань: Отечество, 2001. Вып. 6. С.64-72.

2000

Сизов В.Г., Цинман Л.Л., Лингвистический процессор ЭТАП: процедуры ослабления синтаксических правил и их использование // Слово в тексте и в словаре (сборник статей к семидесятилетию академика Ю.Д. Апресяна). М.: Языки русской культуры, 2000. С. 521-526.
Сизов В.Г., Цинман Л.Л., Лингвистический процессор ЭТАП: дескрипторное соответствие и обработка метафор // Труды Международного семинара по компьютерной лингвистике и ее приложениям (Диалог‘2000). Протвино, 2000. Т. 2. С. 366-369.

1999

Сизов В.Г., Цинман Л.Л., Система ЭТАП: процедуры ослабления синтаксических правил и их использование // Труды Международного семинара Диалог’99. Таруса, 1999. Т. 2.

1998

Апресян Ю.Д., Цинман Л.Л., Перифразирование на компьютере // Семиотика и информатика. 1998. Вып. 36. С. 177-202
Апресян Ю.Д., Цинман Л.Л., Компьютерная реализация модели перифразирования // Труды Международного семинара по компьютерной лингвистике и ее приложениям (Диалог’98). Под редакцией А.С. Нариньяни. Казань, 1998. Т. 2. С. 752-757
Сизов В.Г., Цинман Л.Л., Модель управления слова, фреймовые актанты и лингвистическая инженерия // Семиотика и информатика. М., 1998. Вып. 3.

1997

Иомдин Л.Л., Цинман Л.Л., Лексические функции и машинный перевод // Труды международного семинара по компьютерной лингвистике и ее приложениям (Диалог’97). М., 1997. С. 291-297.
Сизов В.Г., Цинман Л.Л., A Syntactic Checker of Russian Based on the ETAP NLP Technology // Proceedings of the International Conference on Informatics and Control. St.Petersburg, 1997. Vol. 2.

1996

Цинман Л.Л., Обзор работ лаборатории компьютерной лингвистики ИППИ РАН по машинной реализации лингвистической модели «Смысл < -> Текст» // Пятая национальная конференции с международным участием «Искусственный интеллект – 96». Казань, 1996. С. 155-158.

1995

Цинман Л.Л., A Formal Language to Convey Linguistic Information. A Study in Practical Logic // META. 1995. Vol. 40. № 4. Р. 614-618.
Цинман Л.Л., К вопросу об автоматической коррекции базы данных по текстам на естественном языке // Труды Международного семинара по компьютерной лингвистике и ее приложениям (Диалог’95). Казань, 1995. С. 329-331.

1994

Богуславский И.М., Цинман Л.Л., A natural language front-end to databases // Proceedings of the CALICO-1994 Annual Symposium «Human Factors». Ed. by F. Borchardt, E. Johnson. 1994. Р. 44-47.

1993

Апресян Ю.Д., Богуславский И.М., Иомдин Л.Л., Лазурский А.В., Митюшин Л.Г., Санников В.З., Цинман Л.Л., Le système de traduction automatique ETAP // Etudes et recherches en traduction automatique. P.Bouillon et A.Clas (Eds.). Montréal: Les presses de l’Université de Montréal, 1993. Р. 377-391.

1992

Богуславский И.М., Цинман Л.Л., Semantics in a linguistic processor // Computers and Artificial Intelligence. 1992. Vol. 11. № 4. Р. 385-408.
Апресян Ю.Д., Богуславский И.М., Иомдин Л.Л., Лазурский А.В., Санников В.З., Цинман Л.Л., др. и, ETAP-2: the linguistics of a machine translation system // META. 1992. Vol. 37. № 1. P. 97-112.
Апресян Ю.Д., Богуславский И.М., Иомдин Л.Л., Лазурский А.В., Митюшин Л.Г., Санников В.З., Цинман Л.Л., Лингвистический процессор для сложных информационных систем. М.: Наука, 1992. 256 с.

1990

Богуславский И.М., Цинман Л.Л., На естественном языке? // Мы и компьютер. Сентябрь 1990.
Богуславский И.М., Цинман Л.Л., Общение с СУБД на естественном языке // II Всесоюзная конференция «Искусственный интеллект - 90». Тезисы докладов. Минск, 1990.
Богуславский И.М., Цинман Л.Л., Семантический компонент лингвистического процессора // Семиотика и информатика. М., 1990. Вып. 30. С. 5–30.
Апресян Ю.Д., Богуславский И.М., Иомдин Л.Л., Лазурский А.В., Цинман Л.Л., др. и, A bidirectional machine translation system ETAP-3: Current state // ML-ETH Prague-4 Report. European Coordination Center for Research and Documentation in Social Sciences. Wien, 1990.

1989

Богуславский И.М., Цинман Л.Л., A linguistic processor for natural language dialogue with databases // Artificial intelligence and information control. Systems of robots-89. I. Plander (ed.) Elsevier Science Publishers B.V., 1989. Р. 273–276.
Богуславский И.М., Цинман Л.Л., Лингвистический процессор для общения с базами данных на естественном языке // Третья Всесоюзная конференция по созданию машинного фонда русского языка. Тезисы докладов. М., 1989. Ч. 1. С. 136–139.
Апресян Ю.Д., Богуславский И.М., Иомдин Л.Л., Лазурский А.В., Санников В.З., Цинман Л.Л., др. и, Лингвистическое обеспечение в системе ЭТАП-2. М.: Наука, 1989. 295 с.

1988

Лазурский А.В., Митюшин Л.Г., Санников В.З., Цинман Л.Л., Морфологический компонент лингвистического процессора // Всесоюзноя конференция по искусственному интеллекту. Тезисы доклада. Переславль-Залесский, 1988. Т. 3.

1986

Цинман Л.Л., Язык для записи лингвистической информации в системе автоматического перевода ЭТАП (опыт практической логики) // Семиотика и информатика. М.: ВИНИТИ, 1986. Вып. 27.
Цинман Л.Л., Развитие логико-алгоритмического обеспечения во второй очереди системы ЭТАП // Предварительные публикации Института русского языка АН СССР. М., 1986. Вып. 174.
Цинман Л.Л., Райхлина А.М., Алгоритмическая процедура «Работа с правилом преобразования» // Предварительные публикации Института русского языка АН СССР. М., 1986. Вып. 174.
Митюшин Л.Г., Райхлина А.М., Розанова В.А., Сиротюк Г.И., Цинман Л.Л., Алгоритм синтаксического анализа в системе ЭТАП-2 // Предварительные публикации Института русского языка АН СССР. М., 1986. Вып. 174.

1985

Цинман Л.Л., Райхлина А.М., Розанова В.А., Сиротюк Г.И., Система автоматического анализа текстов на естественном языке. Математическое обеспечение // Семиотические аспекты формализации интеллектуальной деятельности. Школа-семинар «Кутаиси-85». Тезисы докладов. 1985.

1983

Цинман Л.Л., Кузьменчук В.А., Райхлина А.М., Сиротюк Г.И., Вторая очередь системы автоматического перевода ЭТАП. Математическое обеспечение // Интерактивные системы. Школа-семинар «Кутаиси-83». Тезисы докладов. 1983.
Цинман Л.Л., Опыт «практической логики» в системе автоматического перевода ЭТАП // Семиотические аспекты формализации интеллектуальной деятельности. Школа-семинар «Телави-83». Тезисы докладов. 1983.

1982

Цинман Л.Л., Альшванг В.Д., Коровина Т.И., Кузьменчук В.А., Сергеев С.С., Сиротюк Г.И., Математическое обеспечение системы автоматического перевода ЭТАП-1 // В сб.: Прикладные и экспериментальные лингвистические процессоры. Новосибирск, 1982.
Богуславский И.М., Иомдин Л.Л., Цинман Л.Л., Опыт экспериментальной эксплуатации системы автоматического перевода ЭТАП-1 и разработка системы ЭТАП-2 // Семинар проекта «Диалог». Тезисы докладов. Тарту, 1982.
Апресян Ю.Д., Цинман Л.Л., Об идеологии системы ЭТАП-2 // Формальное представление лингвистической информации. Новосибирск, 1982. С. 3-19.

1980

Цинман Л.Л., Язык задания лингвистической информации для автоматического анализа и синтеза текстов // В сб.: Формальное описание естественного языка. Новосибирск, 1980.

1977

Цинман Л.Л., Коровина Т.И., Румшиский Б.Л., Семенова В.Э., Аппарат для описания морфологии флективных языков // Предварительные публикации Проблемной группы по экспериментальной и прикладной лингвистике Института русского языка АН СССР. М., 1977. Вып. 91.

1976

Цинман Л.Л., Коровина Т.И., Семенова В.Э., Аппарат для описания морфологии флективных языков // Тезисы докладов на Всесоюзной научно-технической конференции по проблемам автоматизированной обработки научно-технической информации. М., 1976.
Цинман Л.Л., Парадокс исследователя // Квант. 1976. № 11.

1973

Цинман Л.Л., Черненко А.А., Румшиский Б.Л., Крайтман Е.П., Организация автоматической справочной службы на выставке «Электро-72» // Научно-техническая информация. Серия 1. 1973. № 11.

1972

Цинман Л.Л., Черненко А.А., Крайтман Е.П., Создание и внедрение на ЭВМ «Минск-32» операционной системы, ориентированной на эксплуатацию больших ИПС и АСУ // В сб.: Электротехническая промышленность. Общеотраслевые вопросы. 1972. № 7.
Цинман Л.Л., Перцов Д.Г., Константинов Н.О., Разработка и экспериментальная проверка комплекса программ автоматического построения частного словаря основ // В сб.: Электротехническая промышленность. Общеотраслевые вопросы. 1972. № 12.

1971

Цинман Л.Л., Логические высказывания и алгебра высказываний // Квант. 1971. № 4.

1970

Цинман Л.Л., Некоторые задачи и теоремы рекурсивных функций // Ученые записки МГПИ им. В.И. Ленина. 1970. № 277.

1969

Цинман Л.Л., О некоторых алгоритмах в формальной арифметической системе // Доклады АН СССР. М., 1969. Т.189. № 3.
Цинман Л.Л., Теорема о нормальных доказательствах в теории регулярных формул // Известия Высших учебных заведений. М., 1969. № 10.
Цинман Л.Л., О парадоксе изобретателя // Математика в школе. 1969. № 4.

1968

Цинман Л.Л., Об относительной рекурсивности // Материалы XXVI конференции математических кафедр педагогических институтов Урала. 1968.
Цинман Л.Л., О роли принципа индукции в формальной арифметической системе // Математический сборник. 1968. Т. 77. № 1.

1967

Цинман Л.Л., Об аксиоме полной индукции // Доклады АН СССР. М., 1967. Т. 173. № 2.
Цинман Л.Л., Об аксиоме полной индукции // Диссертация на соискание ученой степени кандидата физико-математических наук. М., 1967.
Цинман Л.Л., Об аксиоме полной индукции // Автореферат диссертации на соискание ученой степени кандидата физико-математических наук. М., 1967.

1966

Цинман Л.Л., О базисах примитивно-рекурсивно замкнутых классов функций // Доклады АН СССР. М., 1966. Т. 170. № 1.
Цинман Л.Л., Об ограниченной форме аксиомы полной индукции // Тезисы докладов на Международном математическом конгрессе. Секция 1. 1966.

1958

Цинман Л.Л., Афинная классификация кривых 3-го порядка // Сборник научных работ физико-математического факультета МГПИ им. В.П. Потемкина. М., 1958.