Institute of Mathematics and Informatics
Bulgarian Digital Mathematics Library at IMI-BASNot a member yet
3993 research outputs found
Sort by
Достъпност и социализация на обществени и културни обекти, съвременна ценност и благоустройство
Get PDFТекстът разглежда някои визуални и ценностни измерения на резултати от теренната работа по изследване на достъпността в България през последните няколко години. Изострянето на чувствителността към проблемите на достъпността е едно от последствията от културната ситуация на временно кризисно съсредоточаване на приоритетите в жилищните пространства на селищата при пандемичните ограничения. Фокусирането на вниманието към ефективността на благоустройствените решения извежда на преден план приносите на хората в неравностойно положение, които имат повече опит в преодоляването на трудности, които на пръв поглед изглеждат нерешими.This text presents some visual and value dimensions of terrain work on the exploration of accessibility in Bulgaria during the last few years. Sharpening of sensitiveness to the accessibility problems is one of the consequences of cultural situation of temporary critical concentration of priorities on residential spaces of settlements during pandemic limitations. The focus of attention on the effectiveness of the decisions of settlement and regional development sets forth the contributions of people of uneven status, who have more experience in overcoming of difficulties that look unresolvable at first glance.Изследването е частично финансирано по проект „Дигитална достъпност за хора със специални потребности: методология, концептуални модели и иновативни екосистеми“ чрез договор No КП-06-Н42/4 от 08.12.2020 г. с фонд „Научни изследвания“ на Република България
Дизайн на система за защита на кардиологични данни
Get PDFThe recording, processing, analysis and storage of cardiac data is an essential step in achieving better care for the cardiac health status of patients. An important aspect in the processing and access to this type of data is the ability to reliably protect it from unauthorized access. The article shows an automated system for registration and mathematical analysis of cardiac data and methods for their protection. Information protection is achieved by implementing two-factor authentication. The characteristic of two-factor authentication is that access to the system takes place in two stages: entering a password as the first step and a code/key as the second. In this way, for protection, unauthorized access to the patient 39 file, including personal information and results of cardiac tests, is prevented.Научното изследване е проведено като част от проекта „Моделиране и създаване на сензорна система за изследване и анализ на здравословното състояние на организма“ КП-06-М65/5 от 13.12.2022г., финансиран по Конкурс за финансиране на млади учени и постдокторанти 2022г. от Фонд „Научни Изследвания“
Числено изследване на двумерното уравнение на Бусинеск
Get PDFИМИ-БАН, 30.06.2023 г., присъждане на образователна и научна степен "доктор" на Красимир Андреев Ангелов. [Angelov Krasimir Andreev; Ангелов Красимир Андреев
Academician Kenderov is Turning 80
No full text[Ribarska Nadezhda; Рибарска Надежда]Тази година един от най-уважаваните и изтъкнати членове на българската математическа общност – академик Петър Кендеров – става на 80 години. Честваме годишнина на български учен, обществен и просветен деец с изключителни заслуги към българската математика и бъдещето на България. Честит рожден ден, академик Кендеров! 2000 Mathematics Subject Classification: 01A70
Изучаване на изчислителна логика чрез геометрични разсъждения
Get PDFComputers control everyday things ranging from the heart pacemakers to voice controlled devices that form an integral part of many appliances. Failures related to computers regularly cause disruption, damage and occasionally death. Computational logic establishes the facts in a logical formalism. It attempts to understand the nature of mathematical reasoning with a wide variety of formalisms, techniques and technologies. Formal verification uses mathematical and logical formalisms to prove the correctness of designs. Formal methods provide the maturity and agility to assimilate the future concepts, languages, techniques and tools for computational methods and models. The quest for simplification of formal verification is never ending. This summary report advocates the use of geometry to construct quick conclusions by the human mind that can be formally verified if necessary
Отношение на студенти към базови характеристики на мобилното обучение
Get PDFMobile learning has a number of positive characteristics that define it as a new pedagogical concept suitable for the mobile era. This article reflects students' attitudes towards some of the basic characteristics of mobile learning
Блокчейн технологии и приложението им
Get PDFИМИ-БАН, 26.06.2023 г., секция "Математически основи на информатиката",
присъждане на образователна и научна степен "доктор" на Бисер Петров Цветков. [Tzvetkov Biser Petrov; Цветков Бисер Петров
Музеят на Яворов в Чирпан и неговите послания към обществото
Get PDFВече 69 години Къща музей "Пейо К. Яворов" в Чирпан е водеща институция на живата памет в локалната музейна структура.
Текстът проследява социалните послания на експозициите, които оживяват в разказа на екскурзовода. Представени са в исторически контекст и са анализирани експозициите, различните видове публики и комуникацията с тях, музейните добри практики, разнообразните културни и научни събития и прояви.
Институцията е атрактивно звено на актуални културни и социални общувания, която носи съдържателните и естетически послания на Яворовото наследство и кодовете на националната ни идентичност.
През своята близо 70-годишна история Къща музей "Пейо К. Яворов" израства от мемориален музей до културен институт и форум, социализиращ културното наследство.House Museum "Peyo Yavorov" Chirpan has been the leading institution of the life-giving memory in the local museum structure for 69 years.
The text follows the social messages to the expositions, which revive in the guide’s story. They are presented in historical context and are analyzed expositions, different kinds of audience and the communication with them, the museum’s good practices, the varied and cultural events and activities.
The institution is an active component of current cultural and social dealings, which brings the full of matter and aesthetic messages of Yavorov’s inheritance and the codes of national identity.
During its near 70-years old history, House Museum "Peyo Yavorov" are making progress from memorial museum to cultural institute and forum, which socialized the cultural inheritance
Дигитална достъпност на научно-изследователски и обучителни ресурси
Get PDFВ статията са представени основните цели и задачи на научно-изследователски проект свързан с дигиталната достъпност до научни и обучителни ресурси на хора със зрителни затруднения. Описани са методологията на изследванията и постигнатите резултати. Представени са функционалностите на разработения уеб портал с достъпни дигитални ресурси и процесите по подобряване достъпността на някои онлайн системи с учебно и научно съдържание.The article presents the main goals and objectives of a research project related to digital accessibility to scientific and educational resources for people with visual impairments. The research methodology and the achieved results are described. The functionalities of the developed web portal with accessible digital resources and processes for improving the accessibility of some online systems with educational and scientific content are presented
Софтуерна програма за анализ на ВСЧ на кардио сигнали, регистрирани чрез електрокардиографско, холтерно и фотоплетизмографско устройство
Get PDFThe article presents a demonstration software program for evaluating three types of cardiac signals. Mathematical methods for analyzing electrocardiographic, photoplethysmographic and Holter signals are considered. The different cardio signals are analyzed from the presented information system and conclusions are drawn regarding their practical use. The article describes software procedures for the analysis and estimation of heart rate variability extracted from the heart rate registration signals.Научното изследване е проведено като част от проекта „Изследване на приложението на нови математически методи за анализ на кардиологични данни“ № КП-06-Н22/5 от 07.12.2018 г., финансиран от Фонд „Научни изследвания“ на Република България