Это список важных публикаций по информатике , сгруппированный по областям. Некоторые причины, по которым конкретная публикация может считаться важной:
Описание: В этой статье обсуждаются различные аргументы в пользу того, почему машина не может быть разумной, и утверждается, что ни один из этих аргументов не является убедительным. В документе также предложен тест Тьюринга , который он называет «Игра в имитацию», поскольку, по мнению Тьюринга, бессмысленно спрашивать, может ли машина мыслить разумно, и достаточно проверить, может ли она действовать разумно.
Описание: Этим летом исследовательское предложение открыло и определило эту область. Он содержит первое использование термина « искусственный интеллект» и такое краткое описание философской основы этой области: «Каждый аспект обучения или любая другая особенность интеллекта в принципе может быть описана настолько точно, что можно создать машину для его моделирования. " (См. философию искусственного интеллекта ). Это предложение пригласило исследователей на Дартмутскую конференцию , которую многие считают «рождением искусственного интеллекта». (См. историю ИИ .)
Описание: В основополагающей статье, опубликованной в 1965 году, приводятся подробности математики теории нечетких множеств .
Описание: В этой книге представлены байесовские методы ИИ.
Описание: Стандартный учебник по искусственному интеллекту. На веб-сайте книги перечислено более 1100 колледжей.
Описание: Первая статья, написанная по машинному обучению . Подчеркнута важность обучающих последовательностей и использования частей предыдущих решений проблем при построении пробных решений новых проблем.
Описание: В этой статье создана теория алгоритмического обучения .
Описание: Теория вычислительного обучения , теория венчурного капитала , статистическая равномерная сходимость и измерение венчурного капитала . Хотя оценки в этой статье не самые лучшие из возможных, пройдет 50 лет, прежде чем Майкл Нааман получит наилучшую оценку в 2021 году. [1]
Описание: Платформа «Возможно приблизительно правильное обучение» (PAC-обучение).
Описание: Обратный режим автоматического дифференцирования Сеппо Линнаинмаа [2] [3] (впервые примененный к нейронным сетям Полом Вербосом [4] ) используется в экспериментах Дэвида Румельхарта , Джеффа Хинтона и Рональда Дж. Уильямса для изучения внутренних представлений .
Описание: Деревья решений — это общий алгоритм обучения и инструмент представления решений. Разработка деревьев решений проводилась многими исследователями во многих областях еще до написания этой статьи. Хотя эта статья является одной из самых влиятельных в этой области.
Описание: Одна из статей, положившая начало развитию онлайн-обучения. В этой обстановке обучения учащийся получает последовательность примеров, делая прогнозы после каждого из них и получая обратную связь после каждого прогноза. Исследования в этой области примечательны тем, что (1) алгоритмы и доказательства обычно очень просты и красивы, и (2) модель не делает статистических предположений относительно данных. Другими словами, данные не обязательно должны быть случайными (как почти во всех других моделях обучения), а могут быть выбраны произвольно «природой» или даже противником. В частности, в этой статье был представлен алгоритм веяния .
Описание: Метод временной разницы для обучения с подкреплением .
Описание: Полная характеристика обучаемости PAC с использованием измерения VC .
Описание: Доказательство отрицательных результатов обучения PAC .
Описание: Доказательство того, что слабая и сильная обучаемость эквивалентны в рамках бесшумной структуры PAC . Доказательство проведено путем введения метода бустинга .
Описание: В этой статье представлены машины опорных векторов — практичный и популярный алгоритм машинного обучения. Машины опорных векторов часто используют трюк с ядром .
Описание: В этой статье представлен послушный жадный алгоритм послойного обучения для сетей глубокого убеждения , который привел к большому прогрессу в области глубокого обучения .
Описание: Первое применение контролируемого обучения к данным экспрессии генов , в частности к машинам опорных векторов . В настоящее время этот метод является стандартным, а статья — одной из наиболее цитируемых в этой области.
Описание: LR-парсер , выполняющий восходящий синтаксический анализ для детерминированных контекстно-свободных языков . Более поздние производные парсеры, такие как парсер LALR , были и продолжают оставаться стандартной практикой, например, в Yacc и его потомках. [5]
Описание: О грамматической атрибуции, основе подхода yacc с s-атрибуцией и LR-атрибутивного подхода zyacc .
Описание: Первый учебник по компиляторам. Дик Грюн говорит, что целые поколения конструкторов компиляторов выросли на этом и ни разу об этом не пожалели. Один из первых текстов, созданных с использованием перфокарт, вводимых в программу форматирования. Карты и программа форматирования хранятся на Стэнфордской выставке компьютерной истории. Ссылки см. в разделе Дэвид Грис#Учебники .
Описание: Формализовал концепцию анализа потока данных как вычисления фиксированных точек на решетках и показал, что большинство статических анализов, используемых для оптимизации программ, могут быть единообразно выражены в этой структуре.
Описание: Из аннотации: «Глобальные отношения данных в программе могут быть раскрыты и кодифицированы с помощью методов статического анализа, описанных в этой статье. Дана процедура, которая определяет все определения, которые могут достичь каждого узла графа потока управления программа и все определения, которые существуют на каждом ребре графа».
Описание: Yacc — это инструмент, значительно упрощающий написание компиляторов .
Описание: Профилировщик gprof .
Описание: Эта книга стала классикой компиляторов. Она также известна как « Книга Дракона» по имени (красного) дракона, изображенного на ее обложке.
Описание: Машины «Колосс» были первыми вычислительными устройствами, использовавшимися британскими взломщиками кодов для взлома немецких сообщений, зашифрованных с помощью шифра Лоренца, во время Второй мировой войны . Колосс был ранним бинарным электронным цифровым компьютером . Конструкция Колосса позже была описана в указанной статье.
Описание: Он содержит первое опубликованное описание логического проектирования компьютера с использованием концепции хранимой программы, которая стала известна как архитектура фон Неймана . См. первый проект отчета о EDVAC .
Описание: IBM System/360 (S/360) — семейство мэйнфреймов , анонсированное компанией IBM 7 апреля 1964 года. Это было первое семейство компьютеров, в котором четко проводилось различие между архитектурой и реализацией.
Описание: Философия проектирования ЦП компьютера с сокращенным набором команд ( RISC ) . RISC — это философия проектирования ЦП , которая отдает предпочтение сокращенному набору более простых инструкций .
Описание:
Описание: Cray-1 — суперкомпьютер , разработанный командой, в которую входил Сеймур Крей, для Cray Research . Первая система Cray-1 была установлена в Лос-Аламосской национальной лаборатории в 1976 году и впоследствии стала одним из самых известных и успешных суперкомпьютеров в истории.
Описание: Закон Амдала .
Описание: В этом документе обсуждается концепция RAID- дисков, описываются различные уровни RAID и преимущества каждого уровня. Это хорошая статья для обсуждения вопросов надежности и отказоустойчивости компьютерных систем, а также стоимости обеспечения такой отказоустойчивости.
Описание: В этой статье утверждается, что подход, используемый для повышения производительности процессоров путем добавления нескольких команд и выполнения вне порядка, не может продолжать обеспечивать ускорение бесконечно. В нем излагаются аргументы в пользу создания однокристальных процессоров, содержащих несколько «ядер». С массовым появлением многоядерных процессоров Intel в 2005 году и их последующим доминированием на рынке эта статья оказалась провидческой.
Описание: Академия кинематографических искусств и наук назвала эту статью «вехой в компьютерной графике».
Описание: Одна из основополагающих работ по компьютерной графике.
Описание: Метод корреляции, основанный на обратном преобразовании Фурье.
Описание: Метод оценки движения изображения точек мира между двумя кадрами видеопоследовательности.
Описание: В этой статье представлена эффективная методика регистрации изображений.
Описание: Метод кодирования изображений с использованием локальных операторов многих масштабов.
Описание: Представлены (1) MRF для анализа изображений, (2) выборка Гиббса , которая произвела революцию в вычислительной байесовской статистике и, таким образом, оказала огромное влияние во многих других областях, помимо компьютерного зрения.
Описание: Интерактивный вариационный метод сегментации изображений и визуального отслеживания.
Описание: Метод визуального отслеживания.
Описание: Метод ( масштабно-инвариантное преобразование признаков ) для надежного описания признаков.
Рассматриваемые темы: параллельные вычисления , параллельные вычисления и распределенные вычисления .
Описание: В этом документе представлена реляционная модель баз данных. Эта модель стала моделью номер один.
Описание: В этом документе представлена структура данных B-Tree . Эта модель стала моделью номер один.
Описание: Полнота подъязыков базы данных.
Описание: В этом документе представлен метод проектирования базы данных на основе диаграммы сущностей-связей (ERD).
Описание: В этом документе представлен язык SQL .
Описание: В этом документе определены понятия транзакции , согласованности и расписания. Он также утверждал, что транзакция должна блокировать логическое, а не физическое подмножество базы данных.
Описание: Представлена концепция объединенных систем баз данных, которая оказала огромное влияние на совместимость данных и интеграцию разнородных источников данных.
Описание: Правила ассоциации , очень распространенный метод интеллектуального анализа данных.
Описание: Возможно, первая книга по истории вычислений.
Отредактировано:
Описание: Несколько глав от пионеров вычислительной техники.
Описание: Представлена векторная пространственная модель .
Описание: Представлен инвертированный индекс.
Описание: Разработана статистическая интерпретация специфичности термина под названием «Обратная частота документов » (IDF), которая стала краеугольным камнем взвешивания терминов.
Описание: Эта статья содержит множество идей, которые позже стали TCP и IP, двумя основополагающими протоколами, составляющими Интернет. Серф и Кан получили премию ACM Turning Award, частично за работу, содержащуюся в этой статье.
Описание: В этом документе описываются некоторые принципы проектирования, лежащие в основе Интернета, и то, как эти принципы проектирования реализуются в Интернете.
Описание: В этом документе представлен «сквозной аргумент», классический принцип проектирования, широко используемый при проектировании многих протоколов и систем Интернета.
Описание: В этом документе рассматривается проблема перегрузки сети и представлен алгоритм того, как протоколы могут снизить скорость отправки для уменьшения перегрузки. Этот подход был включен в протокол TCP и повлиял на разработку многих других протоколов передачи данных.
Описание: В этой статье представлена «справедливая организация очереди» — алгоритм выделения буфера, почти повсеместно используемый на интернет-маршрутизаторах.
Описание: В этой статье описывается алгоритмический подход к поиску префикса (суперсети), содержащего определенный IP-адрес, - процесс, который сейчас почти повсеместно используется на интернет-маршрутизаторах.
Описание: В этом документе представлена концепция распределенной хеш-таблицы (DHT) , распределенной структуры данных, которая повлияла на разработку ряда одноранговых систем, распределенных файловых систем и других крупномасштабных распределенных систем.
Также см. списки «Десять лучших сетевых статей», опубликованные в ACM SIGCOMM CCR:
Описание: В этой статье рассматривается разделение времени как метод совместного использования компьютерных ресурсов. Эта идея изменила взаимодействие с компьютерными системами.
Описание: Начало кэша . Для получения дополнительной информации см. Зал славы SIGOPS.
Описание: Классическая статья о Multics , самой амбициозной операционной системе в ранней истории вычислений. Трудно читать, но в ней описываются последствия попытки построить систему, доводящую обмен информацией до логического предела. Большинство операционных систем, начиная с Multics, включили в себя подмножество своих возможностей.
Описание: Классическая статья о расширяемой архитектуре ядра мультипрограммной системы RC 4000 , а также о том, что стало известно как ядро операционной системы и архитектура микроядра .
Описание: Первый всеобъемлющий учебник по операционным системам. Включает первое обозначение монитора (глава 7).
Описание: В этом документе рассматриваются проблемы ограничения потока информации от ненадежных программ. В нем обсуждаются тайные каналы, но, что более важно, он решает проблему обеспечения полной изоляции без того, чтобы сделать саму программу практически непригодной для использования. Эти идеи важны при попытке понять сдерживание вредоносного кода, а также аспекты доверенных вычислений.
Описание: В этой статье были описаны операционная система Unix и ее принципы. Основное значение имеет не бумага, а операционная система, которая оказала огромное влияние на операционную систему и компьютерную технику.
Описание: В этом документе описывается механизм согласованности, известный как консенсус кворума. Это хороший пример алгоритмов, которые обеспечивают непрерывный набор вариантов между двумя альтернативами (в данном случае между методами согласованности «чтение-один-запись-все» и «запись-одна-чтение-все»). В последующие годы исследователи внесли множество изменений и улучшений, и это один из алгоритмов согласованности, который должен быть понятен всем. Варианты, доступные при выборе кворумов различного размера, обеспечивают полезную структуру для обсуждения основных требований к согласованности в распределенных системах.
Описание: Это классический документ о методах синхронизации, включающий альтернативные подходы и подводные камни.
Описание: Приведены алгоритмы ко-планирования родственных процессов.
Описание : Файловая система UNIX . Одна из первых статей, в которой обсуждается управление дисковым хранилищем для высокопроизводительных файловых систем. Большинство исследований файловых систем, проведенных после написания этой статьи, были проведены под ее влиянием, и большинство высокопроизводительных файловых систем за последние 20 лет используют методы, описанные в этой статье.
Это подробное описание в основном охватывало ядро System V Release 2 с некоторыми новыми функциями из Release 3 и BSD .
Описание: Файловая система с журнальной структурой .
Описание: Это хорошая статья, в которой обсуждается одна конкретная архитектура микроядра и сравнивается ее с монолитной конструкцией ядра. Mach лежит в основе Mac OS X , и его многоуровневая архитектура оказала значительное влияние на разработку ядра Windows NT и современных микроядер, таких как L4 . Кроме того, во многие монолитные ядра была добавлена функция отображения файлов в памяти.
Описание: Статья стала первой качественной реализацией этой идеи, которая породила множество дополнительных дискуссий о жизнеспособности и недостатках файловых систем с журнальной структурой. Хотя «Проектирование и реализация файловой системы с журнальной структурой», безусловно, была первой, она сыграла важную роль в воплощении идеи исследования в удобную для использования систему.
Описание: Новый способ поддержания согласованности файловой системы.
Описание: В этом документе описывается разработка и реализация первого компилятора FORTRAN командой IBM . Фортран — это процедурный императивный язык программирования общего назначения , который особенно подходит для числовых и научных вычислений.
Описание: В этом документе представлен LISP , первый функциональный язык программирования , который активно использовался во многих областях информатики, особенно в искусственном интеллекте . LISP также имеет мощные возможности для управления программами LISP внутри языка.
Описание: В Алголе 60 введена блочная структура.
Описание: В этой основополагающей статье был предложен идеальный язык ISWIM , который, так и не будучи реализован, повлиял на все дальнейшее развитие.
Описание: «Фундаментальные концепции языков программирования» представили множество терминов языков программирования, которые до сих пор используются, включая R-значения , L-значения , параметрический полиморфизм и специальный полиморфизм .
Описание: В этой серии статей и отчетов впервые был определен влиятельный язык программирования Scheme и поставлены под сомнение преобладающие практики проектирования языков программирования, широко использующие лямбда-исчисление для моделирования концепций языка программирования и руководства эффективной реализацией без ущерба для выразительных возможностей .
Описание: Этот учебник объясняет основные концепции компьютерного программирования и считается классическим учебником по информатике.
Онлайн-курс
Описание: В этой статье монады познакомились с функциональным программированием.
Описание: В этом документе представлена система F и создано современное понятие параметрического полиморфизма .
Описание: В этой статье представлена логика Хоара , которая формирует основу верификации программ.
Описание: Конференция ведущих людей в области программного обеспечения c. 1968 г.
В статье определена область разработки программного обеспечения.
Описание: описание системы, которая породила (сейчас доминирующую) парадигму программирования графического пользовательского интерфейса Модель-представление-контроллер.
Описание: Не используйте goto — начало структурного программирования .
Описание: Важность модульности и сокрытия информации . Обратите внимание, что сокрытие информации было впервые представлено в другой статье того же автора – «Аспекты распределения информации в методологии проектирования», Труды Конгресса ИФИП '71, 1971, Буклет ТА-3, стр. 26–30.
Описание: Начало объектно-ориентированного программирования . В этой статье утверждается, что программы следует разбивать на независимые компоненты с небольшими и простыми интерфейсами. Они также утверждали, что объекты должны иметь как данные, так и связанные с ними методы.
Описание: Вводит принцип замены Лискова и устанавливает правила поведенческого подтипирования.
Описание: спецификация программного обеспечения .
Описание: Основополагающая статья по структурированному проектированию , диаграмме потоков данных , связи и связности .
Описание: Иллюстрирует « эффект второй системы » и важность простоты.
Описание: Привлечение большего количества людей к выполнению задачи не ускорит ее выполнение...
Описание: Брукс утверждает, что «не существует ни одной разработки ни в технологии, ни в технике управления, которая сама по себе обещает хотя бы на один порядок [десятикратное] улучшение в течение десятилетия производительности, надежности и простоты». Он также заявляет, что «мы не можем ожидать когда-либо увидеть двукратный прирост каждые два года» в разработке программного обеспечения, как это происходит в разработке аппаратного обеспечения ( закон Мура ).
Описание: Методология с открытым исходным кодом .
Описание: Эта книга была первой, в которой были определены и перечислены шаблоны проектирования в информатике.
Описание: Диаграммы состояний — это метод визуального моделирования. Они являются расширением конечного автомата , которое может быть экспоненциально более эффективным. Таким образом, статистические диаграммы позволяют формально моделировать приложения, которые раньше были слишком сложными. Диаграммы состояний являются частью диаграмм UML .
Охватываемые темы: теоретическая информатика , включая теорию вычислимости , теорию сложности вычислений , алгоритмы , алгоритмическую теорию информации , теорию информации и формальную верификацию .
{{cite web}}: CS1 maint: архивная копия в заголовке ( ссылка )