Международный проект «Computable analysis – theoretical and applied aspects», eu—грант № pirses-ga-2011-294962



жүктеу 35.49 Kb.
Дата03.04.2019
өлшемі35.49 Kb.


Международные научные связи
В 2013 г. Институт систем информатики имени А.П.Ершова СО РАН осуществлял сотрудничество с зарубежными организациями по следующим темам:
Международный проект «Computable analysis – theoretical and applied aspects», EU—грант № PIRSES-GA-2011-294962

Руководители: Дитер Шприн (Зиген, Германия), Виктор Селиванов (ИСИ СОРАН)

Участник: Коровина М.В.

Сроки: 2012 - 2015

Результаты, полученные в 2013 году:

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


Международный проект Испанского правительства "Modeling and Formal Analysis of Contracts and Web Services with Distributed Resources", грант TIN2012-36812-C02-02

Руководитель: Prof. Dr. Valentin Valero Ruiz, Dr. Maria Emilia Cambronero Piqueras

Участник: Тарасюк И.В.

Сроки: 2013 – 2015 гг.

Результаты, полученные в 2013 году:

Предложено расширение известной алгебры параллельных процессов с семантикой сетей Петри PBC дискретным стохастическим временем и мгновенными мультидействиями, названное дискретно-временным и мгновенным PBC (dtsiPBC). В рамках dtsiPBC исследованы методы анализа производительности параллельных и распределенных систем со случайными временными задержками. Установлено, что оценка производительности возможна не только на основе полумарковских цепей, соответствующих выражениям dtsiPBC, но и с использованием соответствующих дискретно-временных цепей Маркова, что является более оптимальной техникой анализа.


Проект Европейского Союза FP7-HELTH – «Lipid droplets as dynamic organelles of fat deposition and release: Translational research towards human disease»

Научный руководитель проекта: Prof. Gerd Schmitz (Klinikum der Universitaet Regensburg),

ответственный исполнитель от Institute of Systems Biology Ltd и ИСИ СО РАН – к.ф.-м.н. Т.Ф. Валеев
Проект Европейского Союза по программе Марии Кюри «Computable analysis»

Руководитель: Селиванов В.Л.

Сроки: 2012-2015 гг.
Проект Немецкого исследовательского сообщества Технологии экспертной поддержки пользователей в рамках когнитивных технических систем
Иностранные партнеры: Институт искусственного интеллекта при факультете информатики университета г. Ульм, Германия

Координаторы проекта:  Сюзанна Биундо-Штефан (Ульм, Германия), Андреас Вендемут (Магдебург, Германия)

Участник: Пономарев Д.К.

Сроки: 2013 – 2017 гг.
Совместная научная деятельность с Институтом искусственного интеллекта при факультете информатики университета г. Ульм, Германия. Тема исследований: применение автоматизированного логического вывода в интеллектуальных системах, направленных на экспертную поддержку пользователей.

Результаты, полученные в 2013 году:

В рамках дескриптивной логики EL исследованы требования к механизму импортирования онтологий, учитывающие возможность неполного импортирования. Для задач гибридного планирования предложен вывод методов декомпозиции абстрактных действий из иерархии классов онтологий в дескриптивной логике ALC.


Тема: Алгоритмы и программный комплекс для анализа некодирующих РНК

Иностранный партнер: St.Laurent Institute, Providence, RI. (Институт Сен-Лорента, город Провиденс, США).

Координаторы проекта: Джордж Сен-Лорент (США), Штокало Д.Н. (ИСИ СО РАН)
Тема: Программная платформа комплексного анализа экспериментальных данных системной биологии

Иностранный партнёр: geneXplain GmbH (Вольфенбюттель, Германия), BioDatomics Ltd. (США)

Координаторы проекта: к.б.н. Александр Кель (Германия), к.б.н. Михеев М. (США), Колпаков Ф. А. (Институт системной биологии), к.ф.-м.н. Валеев Т.Ф. (ИСИ СО РАН)
Тема: Обработка и визуализация данных масс-спектрометрии жирных кислот

Иностранный партнёр: Университет Регенсбурга (Регенсбург, Германия)

Координаторы проекта: к.б.н. Коновалова Татьяна (Германия), Колпаков Ф. А. (Институт системной биологии), к.ф.-м.н. Валеев Т.Ф. (ИСИ СО РАН)
Тема: Интерфейс и программные средства для поиска и анализа генетической информации с использованием баз данных компании Biobase

Иностранный партнёр: Biobase, Wolfenbuttel. (Биобэйс, Вольфенбюттель, Германия, Беверли, США).

Координаторы проекта: Дженифер Хоган (США), к.ф.-м.н. Черемушкин Е.С. (ИСИ СО РАН)
Тема: OpenWorm: создание действующей модели C. elegans на основе детальных экспериментальных данных о строении нервной, сенсорной и мышечной систем

Иностранный партнер: OpenWorm (International). Принимают участие ученые из США, Италии, Ирландии, Англии и России.

Координаторы проекта: Stephen Larson (США, University of California, San Diego), Пальянов А.Ю. (ИСИ СО РАН)
Тема: Алгоритмы идентификации спам-сообщений и анализ данных из социальных сетей

Координаторы проекта: Дженнифер Трелевич (США, в настоящее время работает в компании Startbase, Москва), Мурзин Ф.А. (ИСИ СО РАН)
Тема: Исследования по математической лингвистике и анализ социальных сетей

Иностранный партнер: Институт математики и математического моделирования КН МОН Респ. Казахстан и Турецкий Университет имени Сулеймана Демиреля. (Алматы, Казахстан).

Координаторы проекта: член.-корр. АН РК Байжанов Б.С. (Казахстан), к.ф.-м.н. Мурзин Ф.А. (ИСИ СО РАН)





Достарыңызбен бөлісу:


©kzref.org 2019
әкімшілігінің қараңыз

    Басты бет