Институтът по математика и информатика при Българска академия на науките, под патронажа на ЮНЕСКО и с подкрепата на Община Бургас и Фонд „Научни изследвания“, организира
Дванадесетата международна конференция „Цифрово представяне и опазване на културно и научно наследство“ – DiPP2023.
35 събития found.
Събития
Календар на Събития
|
понеделник
|
вторник
|
сряда
|
четвъртък
|
петък
|
събота
|
неделя
|
|---|---|---|---|---|---|---|
|
0 събития,
|
0 събития,
|
0 събития,
|
0 събития,
|
0 събития,
|
0 събития,
|
0 събития,
|
|
0 събития,
|
0 събития,
|
0 събития,
|
1 събитие, |
|||
1 събитие,Този научен форум събира изследователи, които изследват една от най-сложните системи на човешкия организъм: имунната система. |
0 събития,
|
0 събития,
|
0 събития,
|
|||
1 събитие,
-
Поредната сбирка на семинара Дидактическо моделиране ще се проведе на 18.09.2023 г. от 14:30 ч. в зала 278 на ИМИ. Доклад на тема Задачата на Аполоний, решена пълно, изчерпателно и практично ще изнесe доц. Бойко Банчев. |
0 събития,
|
0 събития,
|
0 събития,
|
0 събития,
|
0 събития,
|
0 събития,
|
|
0 събития,
|
1 събитие,
-
На 26 септември 2023 г. от 14:00 часа в зала 478 на ИМИ-БАН ще се проведе съвместно заседание на общия семинар на секция „Анализ, геометрия и топология“ и семинара на секция „Алгебра и логика”. Доклад на тема Burau Representation and Application to Reducibility and Exchangeability of Braids ще изнесе Alexander Stоimenov, Dongguk University, Republic of Korea. Абстракт. I will give an introduction to the braid groups, closure operation, Markov theorem, and exchange move. Then I will introduce the Burau representation, and discuss its application to reducibiliy and exchangeability of braids. |
0 събития,
|
0 събития,
|
1 събитие,
-
На 29 септември 2023 г. (петък) от 13:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема: Reset Controller Synthesis ще изнесе Naijun Zhan (Institute of Software Chinese Academy of Sciences (ISCAS), China). Абстракт. Controller synthesis provides a Correct-by-construction mechanism to guarantee the correctness and reliability of hybrid systems (HS) by design. Depending on the types of controls, controllers can be classified into reset controllers, feedback controllers, and switching logic controllers. Reset controllers steer the behaviour of a HS to attain system objective through restricting its initial set and redefining the reset map associated with discrete jumps, which is less explored in the literature, although it is of theoretical and practical significance. In this talk, I will summarize our [...] |
0 събития,
|
0 събития,
|