Портал знаний по компьютерной лингвистике
Русско-английский тезаурус по компьютерной лингвистике
Универсальный решатель математических задач UniCalc
Системные исследования в энергетике
Поддержка принятия решений в слабоформализованных областях
Поддержка принятия решений в интеллектуальных энергетических системах
Угрозы энергетической безопасности
Диагностика, профилактика и лечение элементозов
Поддержка решения вычислительно сложных задач на суперкомпьютерах
Паттерны онтологического проектирования
ArgNetBank Studio — платформа для моделирования и анализа аргументации в дискурсе