Для установки нажмите кнопочку Установить расширение. И это всё.

Исходный код расширения WIKI 2 регулярно проверяется специалистами Mozilla Foundation, Google и Apple. Вы также можете это сделать в любой момент.

Как перевоплотить Википедию

Хотите, чтобы Википедия всегда выглядела так профессионально и современно? Мы создали расширение для браузера. Оно совершенствует любую страницу энциклопедии, которую вы посетите, с помощью магических технологий WIKI 2.

Попробуйте — вы его можете удалить в любой момент.

Установить за 5 сек.
4,5
Келли Слэйтон
Мои поздравления с отличным проектом... что за великолепная идея!
Александр Григорьевский
Я использую WIKI 2 каждый день
и почти забыл как выглядит оригинальная Википедия.
Статистика
На русском, статей
Улучшено за 24 ч.
Добавлено за 24 ч.
Что мы делаем. Каждая страница проходит через несколько сотен совершенствующих техник. Совершенно та же Википедия. Только лучше.
Great Wikipedia has got greater.
.
Лео
Ньютон
Яркие
Мягкие

Линч, Нэнси Энн

Из Википедии — свободной энциклопедии

В Википедии есть статьи о других людях с фамилией Линч.
Нэнси Энн Линч
англ. Nancy Ann Lynch
Дата рождения 19 января 1948(1948-01-19)[1] (76 лет)
Место рождения
Страна  США
Научная сфера информатика
Место работы Тафтс, Юж. Калифорния, Джорджия, Массачусетс
Альма-матер Массачусетский технологический институт
Учёная степень доктор философии
Учёное звание профессор
Научный руководитель А. Р. да Сильва Майер[en]
Известна как автор автоматов ввода-вывода
Награды и премии Премия Пиора (2010)[2]
Премия Дейкстры (2001, 2007)
Премия Кнута (2007)
Премия ван Вейнгаардена (2006)
Сайт people.csail.mit.edu/lyn…

Нэнси Энн Линч (англ. Nancy Ann Lynch; род. 19 января 1948) — американский учёный, профессор компьютерных науки и инженерии Массачусетского технологического института, известная прежде всего автоматами ввода-вывода[en] — обобщением автоматов Мили на распределённые алгоритмы, позволяющим формально демонстрировать их корректность с помощью иерархических доказательств[3]. На сегодняшний день существует много разновидностей автоматов ввода-вывода: временны́х[en], гибридных[en], вероятностных и динамических[4], все созданы самой Линч и её сотрудниками. Последними на 2016 год были предложены динамические автоматы ввода-вывода, моделирующие динамические системы и позволяющие создавать и уничтожать автоматы по мере вычисления, что существенно повышает их выразительность[en] и приближает формализм к современному программному обеспечению. Динамические автоматы ввода-вывода могут объединяться в иерархическую систему, запускаться параллельно, переименовывать и скрывать события, порождать новые автоматы и поддерживать монотонность через семантическую типизацию (если заменить фрагмент автомата на другой, поддерживающий только подмножество последовательностей событий исходного, то на уровне всей системы это может привести только с уменьшению множества возможных последовательностей событий)[5].

Кроме заметного вклада в теорию автоматов, Нэнси Линч написала несколько книг, среди которых — известный учебник по распределённым алгоритмам[6], на данный момент слегка устаревший и всё ещё использующийся в учебном процессе, но вытесняемый, например, учебником В. Фоккинка[7], предлагающей более современный и свежий взгляд на эту быстро развивающуюся область.

Диссертация Нэнси Линч называлась «Релятивизация теории вычислительной сложности» (англ. Relativization of the Theory of Computational Complexity, 1972)[8]. Линч является автором и соавтором более 100 журнальных и почти 200 конференционных статей[9]. Она руководила как минимум 28 успешно защитившимися аспирантами[8]. Она также входит в список членов Национальной академии наук США (с 2016)[10], Национальной инженерной академии США (с 2001)[11] и Ассоциации вычислительной техники (с 1997)[12] и лауреатом ряда престижных академических премий.

Примечания

  1. ↑ Nancy Lynch // SNAC (англ.) — 2010.
  2. ↑ IEEE Emanuel R. Piore Award Recipients. IEEE. Дата обращения: 31 декабря 2010. Архивировано из оригинала 24 ноября 2010 года.
  3. ↑ Nancy A. Lynch, Mark R. Tuttle, Hierarchical Correctness Proofs for Distributed Algorithms. PODC 1987: 137—151.
  4. ↑ Nancy A. Lynch, Input/Output Automata: Basic, Timed, Hybrid, Probabilistic, Dynamic, …, CONCUR 2003: 187—188.
  5. ↑ Paul C. Attie, Nancy A. Lynch, Dynamic input/output automata: A formal and compositional model for dynamic systems. Inf. Comput. 249: 28-75 (2016) (препринт Архивная копия от 6 июля 2022 на Wayback Machine)
  6. ↑ Nancy A. Lynch, Distributed Algorithms. Morgan Kaufmann 1996, ISBN 1-55860-348-4.
  7. ↑ Wan Fokkink, Distributed Algorithms: An Intuitive Approach, MIT Press, 2013. ISBN 0-262-02677-5
  8. ↑ 1 2 Nancy Ann Lynch Архивная копия от 22 января 2017 на Wayback Machine на Mathematics Genealogy Project.
  9. ↑ Nancy A Lynch Архивная копия от 11 июня 2016 на Wayback Machine на DBLP.
  10. ↑ Nancy A. Lynch Архивная копия от 24 марта 2019 на Wayback Machine  (англ.)
  11. ↑ NAE Members Directory - Dr. Nancy A. Lynch. NAE. Дата обращения: 31 декабря 2010. Архивировано 8 апреля 2019 года.
  12. ↑ Nancy A Lynch – Award Winner. Association for Computing Machinery. Дата обращения: 31 октября 2013. Архивировано 25 декабря 2016 года.
Эта страница в последний раз была отредактирована 21 сентября 2023 в 19:06.
Как только страница обновилась в Википедии она обновляется в Вики 2.
Обычно почти сразу, изредка в течении часа.
Основа этой страницы находится в Википедии. Текст доступен по лицензии CC BY-SA 3.0 Unported License. Нетекстовые медиаданные доступны под собственными лицензиями. Wikipedia® — зарегистрированный товарный знак организации Wikimedia Foundation, Inc. WIKI 2 является независимой компанией и не аффилирована с Фондом Викимедиа (Wikimedia Foundation).
Связаться с WIKI 2
Введение
Условия использования
Конфиденциальность