Созданные в Международной лаборатории языковой конвергенции и Школе лингвистики НИУ ВШЭ корпуса абхазо-адыгских языков, на которых говорят народы Западного Кавказа, позволяют изучить их особенности, показывают возможности современного использования. Создание корпусов стало возможным благодаря серии экспедиций ученых и студентов Вышки на Кавказ, современным методам лингвистической обработки и взаимодействию с коллегами из региональных университетов. О работе лингвистов новостной службе «Вышка.Главное» рассказал ведущий научный сотрудник Международной лаборатории языковой конвергенции, доцент Школы лингвистики Юрий Ландер.
В Высшей школе экономики состоялся научный семинар «Подходы к измерению качества питания российских школьников». Его участники заявили о необходимости пересмотра подходов к контролю за школьным питанием. Организаторами мероприятия выступили Институт социальной политики и базовая организация СНГ по вопросам питания учащихся АНО «Институт отраслевого питания».
Разработанные ординарным профессором, директором Международного центра анализа и выбора решений НИУ ВШЭ Фуадом Алескеровым и его коллегами методы сетевого анализа в библиометрии позволили определить особенности появления, взаимного влияния и цитирования публикаций в научных журналах. Частое цитирование разными изданиями одного или нескольких исследований означает высокое качество работы, а перекрестные ссылки внутри ограниченного круга журналов повышают вероятность формирования сети хищнических изданий.
Blute R., Panangaden P., Slavnov S. A., Applied Categorical Structures 2012 Vol. 20 No. 3 P. 209–228
В статье предлагается категорная модель системы глубокого вывода BV, опеределенной Гульеми. В системах глубокого вывода реализована идея дедукций внутри формулы на любой глубине . Стандартные правила исчислений секвенций применимы только к корню дерева подформул, тогда как в этих новых системах можно вносить изменения в любой позиции дерева. В частности, глубокий вывод позволяет синтаксическое описание логик, ...