чл.-кор. РАН Ю.В. Матиясевич
В рамках открытого студенческого семинара «Введение в Computer Science» в декабре 2004 г. – мае 2005 г. подготовлено большое количество интересных докладов по различным направлениям теоретической информатики. Научный руководитель семинара – член-корреспондент РАН Юрий Матиясевич. Материалы этих докладов помогут Вам расширить свой научный кругозор и сформировать свои научные интересы.
| Название доклада |
Автор(ы) |
Материалы |
| Параллельные алгоритмы | Георгий Вольфсон |  |
| Алгоритм Маканина | Ольга Сергеева | |
| Сложность по Колмогорову | Ольга Сергеева | |
| Веороятностно проверяемые доказательства | Сергей Николенко | - |
| Построение и применение нейронных сетей | Михаил Лакунин, Александр Сироткин | |
| Двадцать лет атак на RSA | Константин Ушаков | |
| Теория Трасс: Моделирование параллельных процессов | Константин Первышев, Юрий Плотников | |
| Автоматический анализ алгоритмов | Александр Куликов | |
| Квантовая телепортация | Александр Пименов, Юрий Лифшиц | |
| Введение в вычислительную геометрию | Александр Нечепорук, Антон Нестеров, Анна Жигун | - |
| Теория кодирования | Иван Казменко, Юрий Лифшиц | |
| Потоки | Андрей Станкевич | |
| Базисы Гребнера / Информационный поиск | Константин Первышев, Михаил Лакунин | - |
| Распознавание образов. Лица и Регионы | Вадим Трофимов, Александр Нечипорук | |
| Компьютерная графика / Распознавание столкновений | Александр Пименов, Александр Шишенин | - |
| Networking | Александр Сироткин | |
| Контекстно свободные грамматики и языки | Наташа Валландер | |
| Введение в искусственный интеллект | Родион Мясников | |
| Теорема Разборова | Дмитрий Ицыксон | - |
| Коммуникационная сложность | Юрий Лифшиц | |
| Oblivious Transfer | н/д | |
| Quantum Cryptography | н/д | |
| Binary Decision Diagrams | н/д | |
| Exact Algorithms | н/д | |
| Computations, Proofs and Lower Bounds | н/д | |
| Kernels and Text Classification | н/д | |
| Obfuscation techniques. A survey. | н/д | |
| Network Intrusion Detection | н/д | |
| Provable Security for Program Obfuscation | н/д | |
| Applications for obfuscation | н/д | |
| Basics of security | н/д | |
| Open Problems in Program Obfuscation | н/д | |
| Obfuscating Transformations | н/д | |
| Program Obfuscation, Concepts | н/д | |
| Introduction to Program Obfuscation | н/д | |
| Grover's algorithm | н/д | |
| Tradegy of commons for TCP | н/д | |
| Audio Coding | н/д | |
| Multi-agent systems | н/д | |
| Culster Analysis | н/д | |
| Fuzzy logic | н/д | |
| Logic for linguistics | н/д | |
| Metod otjiga | н/д | |
| Support Vector Machines | н/д | |
| Video Coding | н/д | |
| Алгоритм Тарского | Юрий Владимирович Матиясевич | |