Ян Хайек (ученый) - Jan Hajek (scientist)
 | Этот биография живого человека требует дополнительных цитаты за проверка. (Декабрь 2009 г.) (Узнайте, как и когда удалить этот шаблон сообщения) |
Ян Хайек это Чешский ученый и математик, живущий в Нидерланды. Он участвовал в создании TCP / IP протокол.[1] Он также создал «Утверждающий», «который, вероятно, был первым инструментом для автоматизированной проверки параллельных систем».[2][3]
Хайек наиболее известен своими работами Вероятностная причинность обозначается относительным риском, связанным риском и формулами I.J. Гуд, Кемени, Поппер, Шепс / Ченг, Перл и Брин из Google, за сбор данных, эпидемиология, Доказательная медицина, экономия, инвестиции или ПРИЧИНЫ ВНУТРИ сбор данных для борьбы с информационными цунами и конфуз.
Рекомендации
- ^ Калаузова, Соня (2008). «Чешские изобретения». Новое присутствие. Пржитомность (1): 52–55. Получено 24 октября 2016.
- ^ Пелед, Дорон А; Вулдридж, Майкл Дж (2009). Проверка моделей и искусственный интеллект: 5-й международный семинар. Springer. п. 66. ISBN 3-642-00430-X. Получено 16 мая 2011.
- ^ Эделькамп, Стефан; Леуэ, Стефан; Виссер, Виллем (2007). Направленная проверка модели - 06172 Сборник тезисов. Дагштуль, Германия: Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Германия. п. 4. ISSN 1862-4405 - через DROPS.
Утверждающий, вероятно, первый инструмент для автоматической проверки протоколов связи. Ее написал Ян Хайек в конце 70-х годов в Технологическом университете Эйндховена.
внешняя ссылка
   | Эта статья о чешском ученом - заглушка. Вы можете помочь Википедии расширяя это. |