Учебные заведения - INRIA
25 июня 2011Оглавление:
1. INRIA
2. Статус
INRIA — национальный исследовательский институт во франции, работающий в области компьютерных наук, теории управления и прикладной математики. Создан в 1967 в Роканкур рядом с Парижем в рамках государственной программы en:Plan Calcul.
INRIA является научно-технологическим государственным учреждением и находится под двойным управлением министерства образования и министерства экономики.
Исследования в области компьютерных наук
INRIA проводит практические и теоретические исследования в области компьютерных наук. В институте были созданы:
- CaML, язык из семейства ML
- Caml Light и OCaml — реализации языка CaML
- Bigloo — реализация Scheme
- Coq — программа для автоматического доказательства теорем
- CADP — программы для верификации асинхронных конкурентных систем
- Graphite — исследовательская платформа для компьютерной графики, 3D-моделирования и численной геометрии
- SmartEiffel — свободно распространяемый компилятор языка Eiffel
- Scilab — пакет для математических вычислений, сходный и частично совместимый с MATLAB
- Esterel — язык программирования конечных автоматов
- TOM — язык сопоставлений с образцом
- Pharo — реализация Smalltalk с открытым исходным кодом
- OpenViBE — платформа для разработки, тестирования и использования Нейрокомпьютерных интерфейсов
Просмотров: 3356
|
|