Телеком

Модели и программы

Будущее нановычислений

Специалистам хорошо знакома «дорожная карта индустрии полупроводников», которая описывает развитие отрасли начиная с 1992 года. Но известно и то, что, по расчетам экспертов, примерно в 2016 году расширенная КМОП-технология исчерпает возможности дальнейшего развития

Углеродные нанотрубки

Пучки нанотрубок

Будущее компьютеров и обратная связь

Проблемы современного компьютинга убеждают в том, что пришла пора оставить в прошлом упоение технологиями и вспомнить старые добрые времена и такие, казалось бы, забытые понятия, как кибернетика и автоматизированные системы управления.

Разработка на базе моделей

Практические аспекты разработки на базе моделей

Фундамент метамоделирования

Верификация программ с помощью моделей

Чем критичнее для бизнеса программа, тем дороже обходятся дефекты в ней. Но, к сожалению, создание априори безошибочных программ дело чрезвычайно нетривиальное — если не сказать, невозможное. На практике часто используются методы валидации и верификации, т.е. проверки программного обеспечения на корректность реализации поставленной задачи путем сравнения с требуемыми свойствами.

Обработка текстов на естественном языке

Задачи обработки текстов возникли практически сразу вслед за появлением вычислительной техники. Но несмотря на полувековую историю исследований в области искусственного интеллекта, огромный скачок в развитии ИТ и смежных дисциплин, удовлетворительного решения большинства практических задач обработки текста пока нет.

ИИ-сыщик в действии. Для тех, кому нужен поиск и управление документами

Рассказываем, как решить проблемы управления процессом поиска корпоративной документации с помощью технологий ИИ

Мы используем cookie, чтобы сделать наш сайт удобнее для вас. Оставаясь на сайте, вы даете свое согласие на использование cookie. Подробнее см. Политику обработки персональных данных