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

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

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

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

INRIA (фр. Institut national de recherche en informatique et en automatique, Национальный институт исследований в информатике и автоматике) — национальный исследовательский институт во Франции, работающий в области компьютерных наук, теории управления и прикладной математики.

Создан в 1967 в Роканкур рядом с Парижем в рамках государственной программы Plan Calcul[en].

INRIA является научно-технологическим государственным учреждением (établissement public à caractère scientifique et technologique, EPST) и находится под двойным управлением министерства образования и министерства экономики.

Энциклопедичный YouTube

  • 1/5
    Просмотров:
    1 493
    1 099
    771
    324
    1 783
  • Can learning theory resist deep learning? Francis Bach, INRIA
  • RI Seminar: Dr. Fawzi Nashashibi: Towards true autonomous mobility services in cities
  • Время, хаос и математические проблемы
  • Skolkovo Robotics. Native Artificial Intelligence session
  • ECE 804 - Fall 2012 - Lecture 004 with Dr. Yann LeCun

Субтитры

Исследования в области компьютерных наук

INRIA проводит практические и теоретические исследования в области компьютерных наук. В институте были созданы:

  • CaML, язык из семейства ML
  • Caml Light и OCaml — реализации языка CaML
  • ChorusOS - распределенная микроядерная ОСРВ, одно из двух наиболее ранних микроядер, наряду с Mach
  • Bigloo — реализация Scheme
  • Coq — программа для автоматического доказательства теорем
  • Compcert — верифицированный компилятор языка Си для PowerPC, ARM и x86_32
  • CADP — программы для верификации асинхронных конкурентных систем
  • Geneauto — кодогенерация из модели [1]
  • Graphite — исследовательская платформа для компьютерной графики, 3D-моделирования и численной геометрии
  • SmartEiffel — свободно распространяемый компилятор языка Eiffel
  • Scilab — пакет для математических вычислений, сходный и частично совместимый с MATLAB
  • Esterel — язык программирования конечных автоматов
  • TOM — язык сопоставлений с образцом
  • Pharo — реализация Smalltalk с открытым исходным кодом
  • OpenViBE — платформа для разработки, тестирования и использования Нейрокомпьютерных интерфейсов

Статус

В состав INRIA входит 8 исследовательских центров.

До декабря 2007 три центра в Бордо, Лилле и Saclay образовывали единый центр INRIA Futurs.

В октябре 2010, INRIA, совместно с Университетом Пьера и Марии Кюри и Университетом Париж Дидро создали IRILL — центр инноваций и исследований для свободного программного обеспечения.

В INRIA работает около 3.8 тыс. человек, среди которых 1300 исследователей, около тысячи людей, работающих над диссертацией Ph.D. и 500 человек, проходящих пост-докторат.

Литература

  •  (фр.) Alain Beltran, Pascal Griset, Histoire d’un pionnier de l’informatique: 40 ans de recherche à l’Inria, EDP Sciences, 2007, ISBN 2-86883-806-5

Примечания

Ссылки

Эта страница в последний раз была отредактирована 27 февраля 2023 в 14:59.
Как только страница обновилась в Википедии она обновляется в Вики 2.
Обычно почти сразу, изредка в течении часа.
Основа этой страницы находится в Википедии. Текст доступен по лицензии CC BY-SA 3.0 Unported License. Нетекстовые медиаданные доступны под собственными лицензиями. Wikipedia® — зарегистрированный товарный знак организации Wikimedia Foundation, Inc. WIKI 2 является независимой компанией и не аффилирована с Фондом Викимедиа (Wikimedia Foundation).