На 17 май 2022 г., вторник, от 14 часа, в заседателната зала на ИМИ-БАН ще се проведе семинар на ВНЗ "Информационно моделиране", където Слави Георгиев ще изнесе лекция на тема Числено възстановяване на зависещия от времето волатилитет в пазарния модел на Блек–Шолс.  Резюме: В този доклад са представени алгоритми, които решават обратната задача за възстановяване на волатилитета като функция на времето, от котировки на европейски опции. Следвайки пазарната рамка на Блек–Шолс, моделите са калибрирани, за да се получи времевата структура на волатилността. Първият алгоритъм се основава на решаването на помощни задачи, които допринасят за възстановяването на неизвестната волатилност стъпка по стъпка, за всеки времеви възел. Опционната цена е декомпозирана по отношение на волатилитета. Алгоритъмът се нуждае от точкови или интегрални измервания във всяка точка от времето. [...]

На 20 май 2022 г. (петък) от 16:00 ч. ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема: Bootstrap percolation: merging operations for polytopes ще изнесе Ivailo Hartarsky (Université Paris-Dauhpine, PSL, France, visiting scholar at Instituto de Matemática Pura e Aplicada, Rio de Janeiro, Brazil). Абстракт. Bootstrap percolation is a group of statistical physics models intensively studied since the 1970s in mathematics, physics, computer science, as well as social sciences. They are cellular automata generalising the following paradigmatic example. Arbitrarily declare some sites of Z^2 initially infected. Iteratively, at each discrete-time round, additionally infect each site with at least 2 infected neighbours. The last decade has seen the accomplishment of a full classification of all such models into `universality [...]

На 31 май 2022 г., вторник, от 14 часа, ще се проведе семинар на ВНЗ "Информационно моделиране", с гост-лектор  доц. Оксана Харченко от Department of Media Engineering and Information Radio Electronic Systems of Kharkiv National University of Radio Electronics, Ukraine. Тя ще изнесе следната лекция: IDENTIFICATION AND VISUALIZATION OF ELECTROENCEPHALOGRAM INFORMATIONAL CHARACTERISTICS.  Резюме: Nowadays the numerical methods of EEG analysis (in main, spectral and correlation analysis) are finding ever increasing application. An advantage of these methods consists in the elimination of subjectivity, being inevitable for a visual analysis. It is important for the clinical neurophysiologist to know when this or that rhythm appeared. But spectral analysis does not show the change in the signal over time. This disadvantage partially allows to overcome the Windowed Fourier Transform [...]

Поредната сбирка на семинара Дидактическо моделиране ще се проведе на 06.06.2022 г. от 14:30 ч. присъствено в зала 278 на ИМИ и дистанционно в Zoom. Доклад на тема Предпоставки и подготовка за внедряване на модел за интегриран подход в 125.училище ще изнесе инж. Стефана Петрова. Join Zoom Meeting https://us02web.zoom.us/j/82520858333?pwd=d1lVcGpOS29zTU1qb0N6d0U4VGpMUT09 Meeting ID: 825 2085 8333 Passcode: 436390

На 7 юни 2022 г., вторник, от 14 часа, в зала 278 на Института по математика и информатика – БАН ще се проведе семинар на ВНЗ "Информационно моделиране", с гост-лектор  доц. д-р Румен Димитров, който ще изнесе лекция на тема: Приложение на NGS технологията за анализ на взаимодийствието патоген – гостоприемник.  Презентацията е в рамките на проект КП-06-31/19 към фонд научни изследвания на тема: „Проследяване на геномната еволюция на щамове от популацията на C. glabrata и развитие на лекарствена резистентност и вирулентност по време на инфекция“. Ръководител на проекта е доц. д-р Дилнора Гулямова от Институт по микробиология към БАН. Анотация: C. glabrata е опортюнистичен гъбичен патоген. Неговите клинични изолати показват огромна геномна пластичност. Това дава възможност на C. glabrata да се адаптира към различни ниши-на [...]

На 10 юни 2022 г. (петък) от 13:00 часа в заседателната зала на ИМИ ще се проведе заседание на семинара на секция МОИ. Доклад за зачисляване в докторантура на тема: Sperner‘s Theorem, Voting Theory, Balancing the Graph System, Strong and Weak Subsets of the Multiset ще изнесе Степан Тарасенко, Киевски политехнически институт. За онлайн участие (Zoom): https://us02web.zoom.us/j/84701255174?pwd=bnVQV290cExnS2p3RVpRZDdWdFlBUT09 Meeting ID: 847 0125 5174, Passcode: 896181

На 10 юни 2022 г. (петък) от 16:00 ч. ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема: Computing Eigenvectors of Symmetric Tridiagonals with the Correct Number of Sign Changes ще изнесе Plamen Koev (San José State University, USA). Абстракт. The symmetric tridiagonal eigenvector problem has been a central research topic in numerical linear algebra since its inception. Of the myriad of algorithms today, none is provably optimal and accurate at the same time. “Optimal” means, a subset of k eigenvectors is computed in O(kn) time. “Accurate” means that the computes eigenvectors are orthogonal and satisfy the typical relative gap error bound. In this talk, we focus our attention on a neglected oscillating property of the eigenvectors: the i-th eigenvector has [...]

Поредната сбирка на Националния семинар по стохастика ще се проведе на 15 юни 2022 г. (сряда) от 14:00 часа в зала 503 на ИМИ - БАН. Доклад на тема Tests of stochastic dominance with repeated measurements data ще изнесе Ангел Ангелов (ФМИ - СУ). Абстракт: We explore a testing problem which involves four hypotheses, i.e., based on observations of two random variables X and Y, we wish to discriminate between four possibilities: identical survival functions, stochastic dominance of X over Y, stochastic dominance of Y over X, or crossing survival functions. Four-decision testing procedures for repeated measurements data are proposed. The tests are based on a permutation approach and do not rely on distributional assumptions. One-sided versions of the Cramér–von Mises, Anderson–Darling, and Kolmogorov–Smirnov [...]

На 22.06.2022г. от 14 ч. ще се проведе поредната сбирка на семинара по Диференциални уравнения на секция ДУМФ. Доклад на тема On Contact Defects in Reaction-Diffusion Systems ще изнесе д-р Милен Иванов. Абстракт: Solutions of reaction-diffusion systems exhibit a wide variety of patterns like spirals, stripes and Turing patterns. In particular, the Belousov-Zhabotinsky (BZ) reaction produces spiral patterns, which may undergo a period-doubling bifurcation; then a line defect is emitted from the center of the spiral and along it the pattern jumps half a period. In order to study this phenomenon, we consider the so-called contact defects, studied by Sandstede and Scheel: functions, which converge (in an appropriate sense) to a periodic function as x→±∞. Of interest is the problem of truncating such a [...]

На 24 юни 2022 г. (петък) от 13:00 ч. ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема: Dependent-Type Theory of Situated Information with Context Assessments ще изнесе Русанка Луканова. Абстракт. I shall introduce an enriched formal language of information that establishes propositions dependent on situations and types. The types can be basic or complex. Complex propositional types are defined recursively. The language supports structured data of situated information, which can be partial, parametric, and underspecified. Information can be associated with quantitative evaluations depending on situations. The formal terms can integrate propositional types of situated information with statistical and other quantitative evaluations. Structured content integrated with quantitative data facilitates development of new techniques for amalgamating logic representation of situated, propositional [...]

Поредната сбирка на Националния семинар по стохастика ще се проведе на 29 юни 2022 г. (сряда) от 14:00 часа в зала 503 на ИМИ - БАН. Доклад на тема Modelling longitudinal cognitive test data with ceiling effects and left skewness ще изнесе Деница Григорова (ФМИ - СУ), съвместна работа с Деян Палежев и Ралица Георгиева. Абстракт: Cognitive tests are among the markers for the development of cognitive diseases such as Alzheimer’s disease. We model the scores from the Mini Mental State Examination (MMSE) over time on data from the Alzheimer’s Disease Neuroimaging Initiative studies (ADNI, http://adni.loni.usc.edu/). The challenge of modelling such an outcome is that the data are left-skewed with ceiling effects - the maximum possible score on the MMSE is 30 and this [...]

На 1 юли 2022 г. (петък) от 13:00 ч. ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема: On the parity of the coefficients of minimal polynomial of Kloosterman sums over Fp ще изнесе Любомир Борисов. Абстракт. Kloosterman sums over finite fields play an important role in "Algebraic Coding Theory" and "Cryptography". E.g., they are related to some families of algebraic codes (Melas, Kloosterman) and (hyper-)bent functions. Particularly, the divisibility properties of some quantities connected with the Kloosterman sums, e.g., of minimal polynomial coefficients and power moments, were also investigated (see, e.g., [1]; [2]). In this talk I shall present some results about the divisibility by 2 of the coefficients of minimal polynomials of the Kloosterman sums. [1] M. Moisio, [...]

На 05.07.2022г. oт 14:00 в заседателната зала на ИМИ-БАН ще се състои сбирка на семинара на секция „Математически основи на информатиката“. Докладчик ще бъде проф. Александър Барг от Университета на Мериленд. Той ще изнесе доклад на тема Remarks on the 1st linear programming bound for binary codes Abstract: The "linear programming bound" on the rate of binary codes (1977) is a fundamental result in coding theory that continues to attract attention to this day, with new proofs appearing every now and then. I will discuss 2 proofs from about 2006-08, appearing in arXiv:cs/0512025 (Barg-Nogin) and arXiv:math/0702425 (Navon and Samorodnitsky). Both proofs are based on Fourier analytic arguments on the Boolean cube and exhibit interesting parallels and differences (none of them actually uses linear programming). [...]

За двадесет и втори пореден път Ученическият институт по математика и информатика (УчИМИ) организира своята Лятна изследователска школа по математика и информатика (ЛИШ’22). Тя ще се проведе хибридно от 24 юли до 13 август, като през първата седмица учениците ще слушат лекции дистанционно, а след това школата ще продължи в Творческия дом на БАН във Варна. За участие в програмата на ЛИШ тази година се класираха 46 ученици с изявени интереси в областта на математиката, информатиката и информационните технологии. В школата вече традиционно има международно участие и официалният език, на който тя се води, е английски. Тридесет и един са средношколците от България, а заедно с тях в школата ще участват ученици от Албания, Азербайджан, Бразилия, Индия, Катар, Саудитска Арабия и САЩ. Трима от [...]

На 29 юли 2022 г. (петък) от 13:00 ч. ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема: Modal Descriptive Complexity ще изнесе Петър Илиев (ИФС-БАН и ИМИ-БАН). Абстракт. The study of the descriptive complexity of a class of structures S relative to a class of formulae F from a logic L revolves around the question: what can we say about the definability of S with formulae from F? For example, we might want to know whether there is a formula from F defining S or, if not, whether there is a countably infinite sequence of F-formulae such that each formula from the sequence defines a subset of S and the union of all these subsets is the whole [...]

На 19 август 2022 г. (петък) от 13:00 ч. в зала 578 на ИМИ - БАН ще се проведе хибридно заседание на семинара по „Алгебра и логика”. Доклад на тема: Examples of non-reduced components of the Hilbert Scheme of smooth projective curves using ruled surfaces ще изнесе Христо Илиев (АУБ и ИМИ-БАН). Абстракт. Let Id,g,r be the union of irreducible components of the Hilbert scheme whose general points represent smooth irreducible non-degenerate curves of degree d and genus g in Pr. Using a family of curves found on ruled surfaces over smooth curves of genus γ, we show that for γ ≥ 7 and g ≥ 6γ+5 the scheme I2g−4γ+1,g,g−3γ+1 acquires a non-reduced component D′ such that dim T[X′]D′ = dimD′ + 1 for [...]

На 9 септември 2022 г. (петък) от 13:00 ч. ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема: Timing delays in cyber-physical systems ще изнесе Naijun Zhan (Institute of Software Chinese Academy of Sciences ISCAS, China). Абстракт. With the rapid development of feedback control, sensor techniques and computer control, time delay has become an essential feature of cyber-physical systems (CPSs), underlying both the continuous evolution of physical plants and the discrete transition of computer programs, which may well annihilate the stability/safety certificate and control performance of CPSs. In the safety-critical context, automatic verification and synthesis methods addressing time-delay in CPSs should therefore abound. However, surprisingly, they do not, although time-delay has been extensively studied in the literature of mathematics [...]

На 16 септември 2022 г. (петък) от 14:00 ч. ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема: Almost Prime Ideal and Almost Prime Radical ще изнесе Alaa Abouhalaka (Çukurova University, Adana, Turkey). Абстракт. In this talk, we introduce the concept of almost prime (right) ideals in noncommutative rings and provide some equivalent definitions and new results. Also we introduce the concept of almost prime radical of an ideal. References: [1] M.S. Bhatwadekar, P. K. Sharma, Unique factorization and birth of almost primes, Comm. Algebra, 33(1), 43-49, (2005). [2] W.D. Blair, H. Tsutsui, Fully prime rings, Comm. Algebra, 22(13), 5389-5400, (1994).   Семинарът ще се проведе посредством платформата Zoom и всеки желаещ може да се присъедини като последва линка: [...]

На 19 септември 2022 г. от 14:00 в Заседателната зала на ИМИ - БАН ще се проведе заседание на семинара на секция „Математически основи на информатиката" с доклад на тема On the minimal sum of edges in a signed edge-dominated graph Докладчик ще бъде д-р Данила Черкашин. Абстракт Поканени са всички желаещи.  

На 23 септември 2022 г. (петък) от 13:00 ч. в зала 578 ще се проведе присъствено заседание на семинара по „Алгебра и логика”. Доклад на тема: Геометрия и логика в квантовите изчисления ще изнесе Николай М. Николов (ИЯИЯЕ-БАН). Абстракт. През 1936г. Гарет Биркхоф и Джон фон Нойман публикуват една от най-общите аксиоматични основи на квантовата теория, която е известна до днес, като "Квантова логика" (Annals of Mathematics, vol. 37 (1936) 823-843). В тази работа те изхождат от орто-модуларна решетка, която служи като модел на частично нареденото множество на всички квантови събития. Те също откриват връзка с проективната геометрия. Основният случай на геометрии е върху комплексните числа, но има и възможности за по-общи пръстени с деление, включително некомутативни. След кратко представяне на тези резултати, ще [...]

Поредната сбирка на семинара Дидактическо моделиране ще се проведе на 26.09.2022 г. от 14:30 ч. присъствено в зала 278 на ИМИ. Доклад на тема Девети конгрес на Световната федерация на националните математически състезания ще изнесе проф. Борислав Лазаров.

Поредната сбирка на семинара на секция Математическо моделиране и числен анализ ще се състои на 03.10.2022 г., понеделник, от 14:00 часа в зала 403 на Института по математика и информатика. Доклад на тема: Математическо моделиране и компютърни симулации на задачи от физиката на джозефсоновите контакти ще изнесе д-р Стефани Панайотова, Пловдивски университет.

Поредната сбирка на семинара Дидактическо моделиране ще се проведе на 10.10.2022 г. от 14:30 ч. присъствено в зала 278 на ИМИ. Доклад на тема Рекурентни редици и приложенията им в задачи по вероятности – из преподавателската практика в Американския колеж – София ще изнесе гл. ас. д-р Борислава Виденова.

На 14 октомври 2022 г. (петък) от 13:00 ч. в зала 578 ще се проведе хибридно заседание на семинара по „Алгебра и логика”. Доклад на тема: Семейства от трилистни накрития на алгебрически криви ще изнесе Христо Илиев (АУБ и ИМИ - БАН). Абстракт. Докладът е продължение на предишния ми доклад "Примери на нередуцирани компоненти на Хилбертовата схема от гладки проективни криви с използването на линейчати повърхнини", който беше представен на 19-ти август, 2022г. В сегашния доклад разглеждамe трилистни накрития на гладки алгебрически криви от род γ ≥ 0. В резултат получаваме семейства от криви върху гладки повърхнинни скролове, които при определени числени ограничения дават компоненти на Хилбертовата схема от криви.   Семинарът ще бъде излъчен и онлайн посредством платформата Zoom. Линк към Zoom-стаята на семинара: [...]

На 21 октомври 2022 г. (петък) от 13:00 ч. ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема: Ranks and Presentations for Order-Preserving Transformations with One Fixed Point ще изнесе Jörg Koppitz (съвместна работа със S. Worawiset). Абстракт. We consider the semigroup (no monoid) of all order-preserving full transformations α on an n-element chain Xn = {1 < 2 …< n}, where p is the only fixed point in α, for some given p ∈Xn, denoted by On,p. This semigroup is nilpotent. In particular, the semigroup On,1 (i.e. p = 1) is already well studied, since it is the maximal nilpotent subsemigroup of the Catalan monoid. But the semigroup On,p is still not well studied for p > 1 [...]

Поредната сбирка на семинара Дидактическо моделиране ще се проведе на 24.10.2022 г. от 14:30 ч. присъствено в зала 278 на ИМИ. Доклад на тема Сесия за създаване на задачи към конгреса на WFNMC ще изнесе доц. Ивайло Кортезов.

На 25 октомври 2022 (вторник) от 14.00 в зала 503 на ИМИ ще се проведе присъствено заседание на общия семинар на секция „Изследване на операциите, вероятности и статистика”. Доклад на тема: Value-at-Risk, Expected Shortfall, и рискова мярка основана на експектил ще изнесе Драгомир Неделчев, докторант към секцията. Абстракт. Динамиката на финансовите пазари поставя на изпитание начините, по които се измерва пазарния риск. Затова, пазарните участници и регулаторните органи (напр. Базелския комитет за банков надзор) преосмислят и подобряват използваната рискова мярка. Заинтересованите страни търсят споделено разбиране за предимствата / недостатъците на съществуващите рискови мярки и така се преминава към нови мярки. Традиционно пазарният риск се измерва чрез Value-at-Risk (VaR). Макар че тази мярка има своите предимства, тя не отговаря на някои изисквания за кохерентност. Expected Shortfall (ES) [...]

На 28 октомври 2022 г. (петък) от 13:00 ч. ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема: Gabbay Separation for the Duration Calculus ще изнесе Димитър Гелев (ИМИ - БАН). Абстракт. Gabbay's separation theorem about linear temporal logic (LTL) with past has proved to be one of the most useful theoretical results in temporal logic. Is expressive power ultimately affected, if past constructs are not allowed in the scope of future ones, or vice versa? Separation implies that it does not, and also provides a technically convenient normal form for temporal conditions. Interval Temporal Logic (ITL) and the Duration Calculus (DC) are interval-based logics. Unlike LTL, they are based on modalities which allow reference to subintervals of the reference [...]

СЪЮЗ НА МАТЕМАТИЦИТЕ В БЪЛГАРИЯ ИНСТИТУТ ПО МАТЕМАТИКА И ИНФОРМАТИКА – БАН НАЦИОНАЛЕН КОЛОКВИУМ ПО МАТЕМАТИКА Сто и шестдесетата сбирка на Колоквиума ще се състои на 2 ноември 2022 г. (сряда) от 16:15 часа в Заседателната зала на ИМИ - БАН. Доклад на тема: Полихармонични оператори, гранични задачи и някои приложения в математическата физика ще изнесе акад. Петър Попиванов, Институт по математика и информатика, Българска академия на науките. Докладът се посвещава на Международната година на фундаменталните науки за устойчиво развитие. Абстракт   Поканват сe всички интересуващи се.

Поредната сбирка на семинара на секция Математическо моделиране и числен анализ ще се състои на 07.11.2022 г., понеделник, от 14:00 часа в зала 403 на Института по математика и информатика. Доклад на тема: Математическо моделиране на биопроцеси с използването на производни от дробен ред ще изнесе Владимира Суванджиева (докторантка към секция ММЧА), в който ще представи резултати от дипломната си работа. Резюме: В дипломната работа са разгледани две актуални теми: математическо моделиране на биопроцеси (по-специално, биореактор) и работата с производни от дробен ред. Оказва се, че заменянето на производните от целочислен ред в някои от вече добре познати модели, описващи биопроцеси, с производни от дробен ред, има смисъл с оглед на редица експериментални данни. От друга страна, специфичната структура на такъв тип производни се [...]

Поредната сбирка на семинара Дидактическо моделиране ще се проведе на 07.11.2022 г. от 14:30 ч. присъствено в зала 278 на ИМИ. Доклад на тема Доказателства с вектори в училищния курс по математика ще изнесе Боянка Савова.

Поредното заседание на Общия семинар на секция "Анализ, геометрия и топология" ще се проведе на 8 ноември 2022 г. от 13:30 часа в зала 478 на ИМИ - БАН. Доклад на тема: Surfaces Associated with Pascal and Catalan Triangles ще изнесат Leonard DAUS1, Marilena JIANU1 and Adela MIHAI1,2 1 Technical University of Civil Engineering Bucharest, Romania 2 Transilvania University of Brasov, Romania. Поканват се всички интересуващи се. Резюме. An open problem in reliability theory is that of finding all the coefficients of the reliability polynomial associated with particular networks. Because reliability polynomials can be expressed in Bernstein form (hence linked to binomial coefficients), it is clear that an extension of the classical discrete Pascal’s triangle (comprising all the binomial coefficients) to a continuous version [...]

Националният семинар по Теория на кодирането е основан през 80-те години на 20. век от акад. Стефан Додунеков и оттогава се провежда ежегодно в края на годината. От 2014 година насам семинарът носи и името на акад. Додунеков, който е директор на ИМИ от 1999 до 2012 година и председател на Съюза на математиците в България от 2001 до 2012 г.

Поредното заседание на Общия семинар на секция "Анализ, геометрия и топология" ще се проведе на 15 ноември 2022 г. от 11:00 часа в зала 478 на ИМИ - БАН. Доклад на тема: Zener model with General fractional calculus: Thermodynamical Restrictions ще изнесат Teodor M. Atanackovic и Stevan Pilipovic, Serbian Academy of Sciences and Arts and University of Novi Sad, Serbia. Поканват се всички интересуващи се. Резюме. We study a Zener type model of viscoelastic body within the context of general fractional calculus and derive restrictions on coefficients that follow from the dissipation inequality that is, the entropy inequality under isothermal conditions. We show, for a stress relaxation and a wave propagation, that the restrictions that follow from the entropy inequality are sufficient to guarantee the existence and uniqueness [...]

СЪЮЗ НА МАТЕМАТИЦИТЕ В БЪЛГАРИЯ ИНСТИТУТ ПО МАТЕМАТИКА И ИНФОРМАТИКА – БАН НАЦИОНАЛЕН КОЛОКВИУМ ПО МАТЕМАТИКА Сто и шестдесетата сбирка на Колоквиума ще се състои хибридно на 16 ноември 2022 г. (сряда) от 16:15 часа в Заседателната зала на ИМИ - БАН. Доклад на тема: Контрапримери, парадокси и сюрпризи в математиката ще изнесе Йордан Стоянов, Институт по математика и информатика, Българска академия на науките и Shandong University, Jinan, P. R. China. Поканват сe всички интересуващи се. Join Zoom Meeting https://us02web.zoom.us/j/81214695960?pwd=cml0Yi9sYmRacUhERXdnQVhCWC9Tdz09 Meeting ID: 812 1469 5960 Passcode: 187153 Абстракт: Във всяка област от математиката се изучават специфични обекти и съгласно приети правила се изгражда теория, доказват се твърдения, теореми, леми, дават се примери. Има обаче още една група от твърдения, да я наречем CPS (контрапримери, [...]

Поредната сбирка на семинара Дидактическо моделиране ще се проведе на 21.11.2022 г. от 14:30 ч. присъствено в зала 278 на ИМИ. Доклад на тема Смятане с вектори, доказателства, построения и един вариант на динамична геометрия ще изнесе доц. Бойко Банчев.

На 25 ноември 2022 г. (петък) от 13:00 ч. ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема: Logic Operators and Quantifiers in Type-Theory of Algorithms ще изнесе Русанка Луканова (ИМИ - БАН). Абстракт. I shall introduce an extension of Moschovakis Type-Theory of Algorithms (LR) and its reduction calculus, by adding logic operators and quantifiers. The LR has two kinds of terms of formulae, for designating state-independent and state-dependent propositions and predications. The logic operators include conjunction, disjunction, implication, and negation. I extend the formal language of LR by state-dependent quantifiers, for enhancing the standard quantifiers of predicate logic. I provide an extended reduction calculus of the Type-Theory of Acyclic Algorithms, for reductions of LR terms to their canonical forms. [...]

Поредната сбирка на семинара на секция Математическо моделиране и числен анализ ще се състои на 28.11.2022 г., понеделник, от 14:00 часа в зала 403 на Института по математика и информатика. Доклад на тема: Числено решаване на двумерното стационарно парадигматично уравнение на Бусинеск ще изнесе Красимир Ангелов, в който ще представи резултати от дисертационния си труд.  

На 2 декември 2022 г. (петък) от 13:00 ч. ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема: Derivations of upper triangular matrix rings vs Derivations of upper triangular matrix semirings ще изнесе Димитринка Владева. Абстракт. The motivation for this talk is the problem how to represent a derivation of a matrix ring and of an additively idempotent matrix semiring as a sum of well-known derivations. The results of two of my articles, published in 2022, will be compared and we will draw conclusions about the advantages and disadvantages of these results. We begin by considering the nature of derivations of triangular matrices over an additively idempotent semiring R generated by left and right semicentral idempotents. Then we construct [...]

Втората сбирка на новоучредения Семинар по приложна математика, който е част от дейностите на програма ПИКОМ, ще се състои на 07.12.2022 от 15:00 в Заседателната зала на ИМИ. Доклад на тема: Introduction to Steiner Trees ще изнесе д-р Данила Черкашин, пост-докторант в ИМИ - БАН.  Фейсбук страница на семинара: Семинар по Приложна математика

На 9 декември 2022 г. (петък) ще се проведе дистанционно заседание на семинара по „Алгебра и логика”, на което ще бъдат изнесени два доклада. От 13:00 до 14:00 часа доклад на тема: AdS/CFT съответствие, Метрополис-Хастингс алгортъм и GAN невронни мрежи ще изнесе Веселин Филев. Абстракт. Ще докладвам за скорошна публикация по конструира-нето на D0/D4 пространство-време. Ще дискутирам значението на това изследване в AdS/CFT съответствието и симулирането на матричния модел на Беркуз-Дъглас. Във втората част на доклада ще дискутирам алгоритъма на Метрополис-Хастингс и ще докладвам възможни приложения на GAN невронни мрежи в симулацията на трудни в изчислително отношение матрични модели. От 14:00 до 14:45 часа доклад на тема: Hitchin base: Seiberg-Witten differentials and their derivatives ще изнесе Петър Далаков (АУБ и ИМИ-БАН). Абстракт. We consider a [...]

Годишната отчетна  сесия на секция „Математическо моделиране и числен анализ“ ще се проведе на 12.12.2022 от 9:30 в зала 403 на ИМИ. Програма 9:30-9:50 Камен Иванов, The problem for Downward Continuation. 9:50-10:10 Илия Илиев, Гранични цикли в осцилатор на Релей-Лиенар. 10:10-10:30 Евгения Попова, Regularity radius for matrices with rank-one interval parameters. 10:30-10:45 Кафе-пауза 10:45-11:05 Мая Минчева, Delay stability of reaction networks. 11:05-11:25 Петър Рашков,  Задача за оптимално бързо действие в епидемичен модел на векторно-предавана болест с ограничения на управлението. 11:25-11:45 Милен Борисов, Светослав Марков, The Exponential Decay and Outbreak Functions: Analysis and Numerical Simulation. 11:45-12:00 Пауза 12:00-12:20 Иван Бажлеков, Generalized fractional bioreaction model and numerical approach. 12:20-12:40 Михаил Кръстанов, On the Euler equation. 12:40-13:00 Станислав Харизанов,  Efficient Quadratic Programming via square-root-matrix approximation.

Oтчетната сесия на Международния център по математически науки (МЦМН ще се проведе на 12.12. 2022 г. от 14:00 часа в зала 403 на ИМИ-БАН. Програма 14:00-14:20 Олег Мушкаров, Дейности на МЦМН през 2022 г. 14:20-14:40 Rodolfo Aguilar, The nilpotent quotients of quasi-Kähler manifolds with proper quasi-albanese map 14:40-15:00 Антони Рангачев, Fujita-type theorem for the local volume of a line bundle 15:00 -15:10 Почивка 15:10 -15:30 Andrei Bengus-Lasnier, Geometric and combinatorial interpretations for valuations 15:30 - 15:50 Марин Генов, On the Jacobian conjecture in characteristic 0 for certain polynomial maps of degree 2 and 3 15:50 - 16:00 Почивка. 16:00 - 16:20 Sebastien Torres, Semiorthogonal decompositions on moduli spaces 16:20 - 16:40 Данила Черкашин, On stability of the spanning trees enumerator 16:40 - 17:00 Димитър Коджабашев, Picard [...]

Годишната отчетна сесия на ВНЗ "Информационно моделиране" ще се проведе на 13.12.2022 г., вторник, от 9 ч. в зала 503 на ИМИ-БАН. ПРОГРАМА Zoom линк, ако не можете да присъствате: Topic: Годишната отчетна сесия  на ВНЗ "Информационно моделиране" Time: Dec 13, 2022 09:00 Sofia Join Zoom Meeting https://us02web.zoom.us/j/86405941298?pwd=NEQreG9jc1BrOVRHeCsvVzZ3MHZkUT09 Meeting ID: 864 0594 1298 Passcode: 222430

Годишната отчетна сесия на секция "Софтуерни технологии и информационни системи" ще се състои на 13-ти декември, вторник, от 10.00 ч. в зала 278 на Института. Сесията ще се предава онлайн  (Zoom ID: 824 0371 8724, Passcode: 252058 ) и e отворена и за гости, заинтересовани от разнообразните тематики в програмата. ПРОГРАМА

Отчетната сесия на секция "Алгебра и логика" за 2022 г. ще се проведе в хибриден формат в зала 578 на ИМИ-БАН и по Zoom на 16 декември 2022 г. oт 9:55 часа. Прoграмата на сесията е дадена по-долу и в прикачения файл. Линк към Zoom-стаята на сесията: https://us02web.zoom.us/j/85137375021?pwd=RE5QczdFTE1xL1R6MnI2b1lkcGczQT09  ======================== Програма 09:55 – 10:00 Откриване 10:00 – 10:30 Веселин Дренски: Теория на инвариантите на свободните бикомутативни алгебри (Invariant theory of free bicommutative algebras) 10:30 – 11:00 Иван Чипчаков: Алгебрични тела над хензелеви полета с крайни абсолютни p-размерности на Брауер 11:00 – 11:30 Христо Илиев: Много плоски семейства от алгебрични многообразия и криви върху конуси (Very flat families of algebraic varieties and curves on cones) 11:30 – 11:40 Пауза 11:40 – 12:10 Елица Христова: Описание на [...]

Годишната отчетна сесия на секция „Изследване на операците, вероятности и статистика“ ще се проведе на 20.12.2022 г. (вторник) от 10:00 ч. в зала 503 на ИМИ-БАН. ПРОГРАМА

Годишната отчетна сесия на секция „Анализ, геометрия и топология“  ще се проведе на 20.12.2022г. (вторник) от 11:30 ч. в зала 478 на ИМИ-БАН.   ПРОГРАМА

Годишната отчетна сесия на секция „Математическа лингвистика“ ще се проведе на 20.12.2022 г. (вторник) от 13:00 ч. в зала 278 на ИМИ-БАН. ПРОГРАМА

На 21.12.2022г. от 13 ч. в стая 478 на ИМИ ще се проведе присъствено Отчетната сесия на секция ДУМФ. Поканват се всички интересуващи се. ПРОГРАМА Отчетната сесия ще бъде достъпна и в Зуум стая Join Zoom Meeting https://us02web.zoom.us/j/85112407201?pwd=RHZocFk0NjV2R003UWJEZzVxMXdGUT09 Meeting ID: 851 1240 7201 Passcode: 783002

На 05.01.2023 г. (четвъртък), 15:00 в зала 403 на ИМИ ще се състои съвместен семинар на секциите Математическо моделиране и числен анализ и Математически основи на информатиката. Доклад на тема  Universal extrema of potentials of certain classes of spherical designs ще изнесе проф. Сергей Бородачьов, Towson University. Abstract: We will discuss known results and our work on locations of absolute minima and maxima of the total potential of N points located on a higher-dimensional sphere that form a spherical design of the highest (in some sense) strength. The potential is a completely monotone function of the Euclidean distance squared. These results apply to a quite extensive list of particular spherical configurations. For power-law potentials and vertices of a regular polygon, regular simplex, cube, and [...]

На 11.01.2023 г. от 14:00 часа ще се проведе семинар по Приложения на диференциалните уравнения в науките към Института по математика и информатика с лектор академик Петър Попиванов на тема: ЯВНИ ФОРМУЛИ И ГРАФИЧЕН ПОРТРЕТ НА РЕШЕНИЯТА НА КЛАСОВЕ ОДУ ОТ ПЪРВИ РЕД В ОКОЛНОСТ НА ОСОБЕНА ТОЧКА. ТЕОРЕМА НА ДАВИДОВ  Резюме. В този доклад се коментира една известно теорема на Давидов и се прилагат явни формули за решенията на диференциални уравнения зададени като нули на квадратичен диференциал. Работи се в околността на особена точка. Възможно приложение е в канонизацията на линейни ЧДУ от втори ред. По този начин се изучават и техните особености в хиперболичния случай. Join Zoom Meeting: https://us02web.zoom.us/j/2013612941?pwd=cGFvdWJJTTAvRmJzRWtzMHlZWEIvUT09 Meeting ID: 201 361 2941 Passcode: 6VeNEq Поканват се всички интересуващи се.

На 13 януари 2023 г. (петък) от 13:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема: Отчет за работата по докторантурата на Димитър Добрев на тема "Изкуствен интелект – дефиниция, реализация и последствия" ще изнесе Димитър Добрев. Абстракт. В основата на дисертацията са езиците за описание на светове. Тези езици описват класове от функции като изчислимите функции и някои разширения на този клас. При помощта на език за описание на светове дефинираме ИИ и създаваме програма, която твърдим, че удовлетворява тази дефиниция. Тази програма е чисто теоретична, защото тя е толкова неефективна, че на практика е неизползваема. Изказваме предположението, че с подходящ език за описание на светове може да се направи ефективна програма, която да удовлетвори дефиницията [...]

Поредната сбирка на семинара Дидактическо моделиране ще се проведе на 23.01.2023 г. от 14:30 ч. присъствено в зала 278 на ИМИ. Доклад на тема Българският опит в подготовка и участие на международни математически състезания ще изнесе проф. Станислав Харизанов.

Във вторник от 15:00 часа в зала 403 ще състои съвместна сбирка на семинарите на МЦМН и секция МОИ. Доклад на тема: Линейни и циклични кодове над пръстени ще изнесе д-р Мариам Бажалан, която започва постдокторантура в ИМИ-БАН по програма ПИКОМ. Abstract: The study of codes over the rings (ring-linear codes) attracted great interest after the work of Calderbank, Hammons, Kumar, Sloane, and Sole in the early 1990s. In this seminar, the basic theory of linear codes over finite commutative rings will be presented including the importance of codes over rings, various kinds of rings for ring-linear coding theory, the weight functions on finite rings, MacWilliams equivalence theorem and the connection between these codes and codes over fields via the Gray maps. Moreover, the cyclic codes [...]

На 31 януари 2023 г., от 14:00 часа, в зала 278 на ИМИ и онлайн ще се проведе поредната лекция на възстановения семинар на с. СофТИС с лектор д-р Тодор Брънзов на тема Value Based Healthcare (VBHC) - проблеми в полето на информатиката. Поканват се всички заинтересовани, http://meet.jit.si/

Във вторник, 31.01.2023 г., от 15:00 часа в зала 403 ще състои съвместна сбирка на семинарите на МЦМН и секция МОИ. Доклад на тема: Върху оптимално пакетиране на кълба на Минковски и приложения ще изнесе проф. Николай Глазунов (ИМИ-БАН, Институт по Кибернетика, Киев). Abstract: We investigate lattice packings of Minkowski balls and domains. By results of the proof of Minkowski conjecture about the critical determinant we divide the balls and domains on 3 classes: Minkowski, Davis and Chebyshev-Cohn. The optimal lattice packings of the balls and domains are obtained. The minimum areas of hexagons inscribed in the balls and domains and circumscribed around them are given. These results lead to algebro-geometric structures in the framework of Pontrjagin duality theory.

Българското статистическо дружество (БСД) и Национален семинар по стохастика (НСС) ще проведат общ семинар на 01.02.2023 г. от 15:00 в зала 503 на ИМИ-БАН. Кога: Сряда, 01 Февруари 2023 г., 15:00 ч Къде: Присъствено, в зала 503,  ИМИ – БАН. Join Zoom Meeting https://us02web.zoom.us/j/89261668021?pwd=OStXRmpFOVNTaEJvOThpRXUvOUpBQT09 Докладчик: Йордан М. Стоянов  (ИМИ - БАН, Shandong University, China) Тема:  Вероятност и статистика в България през последните 50-ина години Резюме: Въз основа на мои запазени записки, снимки, спомени, и разговори с колеги, ще опиша  в хронологичен ред своето су(о)бективно виждане за съществени факти и моменти в развитието на стохастиката у нас от 1970 г. до наши дни. Този доклад e продължение на доклади/работи по темата на Н. Янев, М. Божкова, П. Матеев. Апелът е и към други колеги също да подготвят и [...]

Поредната сбирка на семинара Дидактическо моделиране ще се проведе на 06.02.2023 г. от 14:30 ч. присъствено в зала 278 на ИМИ. Доклад на тема Онлайн състезание VIVA Математика с компютър ще изнесат акад. Петър Кендеров, проф. Тони Чехларова и гл. ас. Георги Гачев.

На 7 февруари 2023 г., от 14:00 часа, в зала 278 на ИМИ и онлайн на адрес https://meet.jit.si/IMI-SofTIS ще се проведе поредната лекция на семинара на секция СофТИС. Доклад на тема Style Accessory Occlusion using CGAN with Paired Data ще изнесе доц. Александър Илиев. Поканват се всички заинтересовани,

На 10 февруари 2023 г. (петък) от 13:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема: A New Approach to the Characteristic Polynomial of a Random Unitary Matrix ще изнесе Yacine Barhoumi-Andréani (Ruhr-Universität Bochum, Germany). Абстракт. The characteristic polynomial of a random (Haar-distributed) unitary matrix is considered as an interesting toy model for the probabilistic study of the Riemann Zeta function. We will recall the history of the topic starting with the Montgommery-Dyson correspondance, the Keating-Snaith moments conjecture and some recent developments on other functionals. We will then give a conceptual comparison of some of the techniques used in the field and a zoo of results one can achieve, with a particular focus on a recent technique [...]

Във вторник, 14.02.2023 г., от 15:00 часа в зала 403 ще състои съвместна сбирка на семинарите на Международния център за математически науки и секция "Анализ, геометрия и топология". Доклад на тема: Jordan algebra conformal toolbox ще изнесе доц. Тодор Попов (ИЯИЯЕ-БАН, АУБГ). Abstract