Проекты за года
Личный профиль
Professional Information
Внешние позиции
Fingerprint
Узнайте самые подробные результаты анализа активности Manat Mustafa. Указанные в этом разделе метки относятся к работам этого человека. Вместе они формируют уникальную картину активности.
- 1 Аналогичные профили
Коллаборации и основные области исследования за последние пять лет
Недавнее внешнее сотрудничество на уровне страны/территории. Просмотрите подробные сведения, нажав на точки или
-
Computable numberings: interaction with algorithmic learning theory and algebraic structures.
Mustafa, M. (PI)
1/1/25 → 12/31/27
Проект
-
Algebraic and elementary properties of Rogers semilattices and Reverse mathematics
Mustafa, M. (PI), Tleuliyeva, Z. (Other participant), Kamet, M. (Other participant) & Tursynov, A. (Other participant)
1/1/24 → 12/31/26
Проект
Файл -
Wireless Power and Full-Duplex Data Transfer for Unmanned Aerial Vehicle using Transmission Line and Power/Data Frequency Division Multiplexing: A Hybrid System Development
Bagheri, M. (PI), Mustafa, M. (Co-PI), Saukhimov, A. (Co-PI), Uzakbaiuly, B. (Other Faculty/Researcher), Zollanvari, A. (Other Faculty/Researcher), Hajizadeh, A. (Other Faculty/Researcher), Namadmalan, A. (Other Faculty/Researcher), Akmurzina, F. (Administrative and clerical specialist), Kapanov, A. (Master student/Bachelor degree holder), Beket, M. (Undergraduate student) & Kospanov, T. (Undergraduate student)
1/1/24 → 12/31/26
Проект
-
Development of AI-integrated Randomly Hopped LFM Photonic RADAR for Mitigating Interferences and Attackers in Autonomous Vehicles
Molardi, C. (PI), Mustafa, M. (Co-PI), Pavlenko, V. V. (Co-PI), Nakarmi, B. (Co-PI), Muthaiyah, S. (Other participant), Pan, S. (Other participant) & Wang, X. (Other participant)
1/1/22 → 12/31/24
Проект
-
Theory of Computable Numberings and Reverse Mathematics
Mustafa, M. (PI), Bazhenov, N. (Co-PI) & Tleuliyeva, Z. (Other Faculty/Researcher)
1/1/21 → 12/31/23
Проект
-
Elementary Theories of Rogers Semilattices in the Analytical Hierarchy
Bazhenov, N. & Mustafa, M., янв. 1 2025, Higher Recursion Theory and Set Theory. World Scientific Publishing Co., стр. 1-18 18 стр.Результат исследований
1 Цитирования (Scopus) -
On learning down-sets in quasi-orders, and ideals in Boolean algebras
Bazhenov, N. & Mustafa, M., мар. 2025, В: Theory of Computing Systems. 69, 1, 1.Результат исследований › рецензирование
1 Цитирования (Scopus) -
On Learning Existentially Definable Subsets in a Computable Structure
Bazhenov, N. & Mustafa, M., 2025, Crossroads of Computability and Logic: Insights, Inspirations, and Innovations - 21st Conference on Computability in Europe, CiE 2025, Proceedings. Beckmann, A., Oitavem, I. & Manea, F. (ред.). Springer Science and Business Media Deutschland GmbH, стр. 143-158 16 стр. (Lecture Notes in Computer Science; том 15764 LNCS).Результат исследований
-
Free bicommutative superalgebras
Drensky, V., Ismailov, N., Mustafa, M. & Zhakhayev, B., авг. 15 2024, В: Journal of Algebra. 652, стр. 158-187 30 стр.Результат исследований › рецензирование
Открытый доступ2 Цитирования (Scopus) -
On Arithmetical Numberings in Reverse Mathematics
Bazhenov, N., Fiori-Carones, M. & Mustafa, M., 2024, Twenty Years of Theoretical and Practical Synergies - 20th Conference on Computability in Europe, CiE 2024, Proceedings. Levy Patey, L., Pimentel, E., Galeotti, L. & Manea, F. (ред.). Springer Science and Business Media Deutschland GmbH, стр. 126-138 13 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 14773 LNCS).Результат исследований
Виды деятельности
-
Fourteenth International Conference on Computability, Complexity and Randomness
Mustafa, M. (Organizer) & Varol, H. A. (Organizer)
июн. 23 2019 → июн. 25 2019Деятельность
-
Asian Logic Conference
Mustafa, M. (Organizer), Tourassis, V. (Organizer), Sica, F. (Organizer) & Kadyrsizova, Z. (Organizer)
июн. 17 2019 → июн. 21 2019Деятельность
-
Nanyang Technological University
Mustafa, M. (Visiting researcher)
окт. 6 2018 → окт. 13 2018Деятельность
-
-
University of Wisconsin-Madison
Mustafa, M. (Visiting researcher)
дек. 10 2018 → дек. 22 2018Деятельность