Дана Англуин - Dana Angluin
Дана Англуин | |
---|---|
Альма-матер | Калифорнийский университет в Беркли |
Известен | L * Алгоритм Изучение запросов Точное обучение Протоколы популяции |
Научная карьера | |
Поля | Информатика Машинное обучение |
Учреждения | Йельский университет |
Тезис | Применение теории вычислительной сложности к изучению индуктивного вывода (1976) |
Докторант | Мануэль Блюм[1] |
Докторанты | Эхуд Шапиро |
Дана Англуин профессор Информатика в Йельский университет. Она известна фундаментальной работой в теория вычислительного обучения [2][3][4] и распределенные вычисления.[5]
Образование
Англуин получила степень бакалавра искусств. и к.т.н. в Калифорнийский университет в Беркли.[6] Ее диссертация на тему «Применение теории вычислительной сложности к изучению индуктивного вывода» [7] была одной из первых работ, которые применили теория сложности в поле индуктивного вывода.[8] Англуин поступил на факультет в Йель в 1979 г.[8]
Исследование
Angluin написал высоко цитируемые статьи о теория вычислительного обучения, где она училась учиться на шумных примерах [4] и изучение регулярных наборов на основе запросов и контрпримеров,[3] распределенных вычислений, где она изобрела протокол популяции модели и изучил проблему консенсус,[5][9] и вероятностные алгоритмы, где она изучала рандомизированные алгоритмы для гамильтоновых схем и согласований.[10][8][11]
Энглуин помог основать конференцию по теории вычислительного обучения (COLT), а также работал в программных комитетах и руководящих комитетах COLT.[12][13][14] Она работала региональным редактором в Информация и вычисления с 1989–1992 гг.[15][16] В апреле 2001 года она организовала симпозиум Perlis Йельского факультета компьютерных наук: «От статистики к чату: тенденции в машинном обучении».[17] Она является членом Ассоциация вычислительной техники и Ассоциация женщин-математиков.
Angluin также опубликовал работы по Ада Лавлейс и ее участие в Аналитическая машина.[18]
Избранные публикации
- Дана Англуин (1988). Запросы и изучение концепций. Машинное обучение. 2 (4): 319-342.
- Дана Англуин (1987). «Изучение регулярных наборов на основе запросов и контрпримеров» (PDF). Информация и контроль. 75 (2): 87–106. Дои:10.1016/0890-5401(87)90052-6. Архивировано из оригинал (PDF) на 2013-12-02.
- Дана Энглуин и Филип Лэрд (1988). Учимся на шумных примерах. Машинное обучение 2 (4), 343-370.
- Дана Англуин и Лесли Валиант (1979). Быстрые вероятностные алгоритмы для гамильтоновых схем и согласований. Журнал компьютерных и системных наук 18 (2), 155-193
- Дана Англуин (1980). «Поиск общих шаблонов для набора строк». Журнал компьютерных и системных наук. 21: 46–62. Дои:10.1016/0022-0000(80)90041-0.
- Дана Англуин (1980). «Индуктивный вывод формальных языков из положительных данных» (PDF). Информация и контроль. 45 (2): 117–135. Дои:10.1016 / с0019-9958 (80) 90285-5. [4]
- Дана Англуин, Джеймс Аспнес, Зои Диамади, Майкл Дж. Фишер, Рене Перальта (2004). Расчет в сетях пассивно мобильных конечных датчиков. Распределенные вычисления 18 (4), 235-253.
- Дана Англуин (1976). Применение теории вычислительной сложности к изучению индуктивного вывода (Кандидат наук.). Калифорнийский университет в Беркли.
Смотрите также
Рекомендации
- ^ Дана Англуин на Проект "Математическая генеалогия"
- ^ Англуин, Дана (апрель 1988 г.). «Запросы и изучение концепций». Машинное обучение. 2 (4): 319–342. Дои:10.1007 / bf00116828. ISSN 0885-6125. S2CID 11357867.
- ^ а б Англуин, Дана (ноябрь 1987 г.). «Изучение регулярных множеств на основе запросов и контрпримеров». Информация и вычисления. 75 (2): 87–106. Дои:10.1016/0890-5401(87)90052-6. ISSN 0890-5401.
- ^ а б Англуин, Дана; Лэрд, Филип (апрель 1988 г.). «Учимся на шумных примерах». Машинное обучение. 2 (4): 343–370. Дои:10.1007 / bf00116829. ISSN 0885-6125. S2CID 29767720.
- ^ а б Англуин, Дана; Аспнес, Джеймс; Диамади, Зоэ; Фишер, Майкл Дж .; Перальта, Рене (1 марта 2006 г.). «Вычисления в сетях пассивно мобильных конечных датчиков». Распределенных вычислений. 18 (4): 235–253. Дои:10.1007 / s00446-005-0138-3. ISSN 1432-0452. S2CID 2802601.
- ^ "Дана Энглуин, бакалавр искусств, доктор философии, Калифорнийский университет в Беркли, 1969, 1976 гг. Поступила на факультет Йельского университета в 1979 г. | Компьютерные науки". cpsc.yale.edu. Получено 2020-11-08.
- ^ Англуин, Дана Чармиан (1976). Применение теории вычислительной сложности к изучению индуктивного вывода (Кандидатская диссертация). Калифорнийский университет в Беркли.
- ^ а б c "Дана Энглуин, бакалавр искусств, доктор философии, Калифорнийский университет в Беркли, 1969, 1976 гг. Поступила на факультет Йельского университета в 1979 г. | Компьютерные науки". cpsc.yale.edu. Получено 2016-12-11.
- ^ Англуин, Дана; Аспнес, Джеймс; Эйзенстат, Дэвид (1 июля 2008 г.). «Простой протокол популяции для быстрого и надежного приблизительного большинства». Распределенных вычислений. 21 (2): 87–102. Дои:10.1007 / s00446-008-0059-z. ISSN 1432-0452. S2CID 2652934.
- ^ Англуин, Дана; Валиант, Лесли Г. (1977). «Быстрые вероятностные алгоритмы для гамильтоновых схем и согласований». Материалы девятого ежегодного симпозиума ACM по теории вычислений - STOC '77. Нью-Йорк, Нью-Йорк, США: ACM Press: 30–41. Дои:10.1145/800105.803393. S2CID 2624407.
- ^ Д. Англуин (1976). «Применение теории вычислительной сложности к изучению индуктивного вывода». Доступно в ProQuest Dissertations & Theses Global. (302813707)
- ^ [1], Труды COLT '89
- ^ [2], COLT '02 Труды
- ^ [3], Труды COLT '08
- ^ "Редакционная коллегия". Информация и вычисления. 82 (1): i. 1989 г. Дои:10.1016/0890-5401(89)90061-8.
- ^ "Редакционная коллегия". Информация и вычисления. 99 (1): i. 1992 г. Дои:10.1016/0890-5401(92)90023-9.
- ^ «Симпозиум исследует тенденции в машинном обучении.'". Бюллетень и календарь Йельского университета. 20 апреля 2001 г. Архивировано с оригинал 18 апреля 2009 г.
- ^ Дело, Бетти Энн; Леггетт, Энн М. (2005). Сложности: женщины в математике. Издательство Принстонского университета. п. 60. ISBN 9781400880164.
внешняя ссылка
- Домашняя страница Angluin в Йельском университете
- Дана Англуин публикации, проиндексированные Google ученый