Our Work

Demonstration video of pilot experiment for "Investigating the Intersection of Consciousness and Emotion"

Project Sentinel is an unalterable, mathematically synchronized socioeconomic manifesto detailing a transition from old-world capitalist extraction to a permanent, sustainable cosmic civilization. The…

Project Sentinel is an unalterable, mathematically synchronized socioeconomic manifesto detailing a transition from old-world capitalist extraction to a permanent, sustainable cosmic civilization. The framework completely eradicates systemic poverty and generational dynasties by establishing a free universal baseline birthright alongside a strict zero-growth mandate. Traditional currency is entirely replaced by a 1:1 time-equivalent credit system where all human efforts—including creative arts, scientific innovation, and health-centric activities like dance and martial arts—are compensated equally. Monitored by an incorruptible AI Peer System, all luxury status and service credits remain strictly transient, ensuring society remains perfectly fair, balanced, and uncorruptible for a millennium.  

В статье проверяется распространённое допущение о том, что развитие цифровой инфраструктуры автоматически повышает уровень жизни населения. Данные по пяти странам Центральной Азии за 2018–2025 г…

В статье проверяется распространённое допущение о том, что развитие цифровой инфраструктуры автоматически повышает уровень жизни населения. Данные по пяти странам Центральной Азии за 2018–2025 годы это допущение опровергают. Казахстан — региональный лидер по цифровым рейтингам (индекс развития электронного правительства 0,9009, 24-е место в мире) — в 2025 году зафиксировал снижение реальных доходов населения на 2,7 %. Узбекистан при более скромной цифровой оснащённости (индекс 0,7999) сократил бедность с 14,0 % в 2022 году до 5,8 % в 2025 году, а неравенство доходов (коэффициент Джини) снизил с 0,35 до 0,33. Цель работы — объяснить это расхождение и предложить практический инструмент управления.

This study, conducted from May to July 2026, examined nursing practice compliance, service delivery challenges, and cultural competence among home care nurses in the Kingdom of Saudi Arabia and explor…

This study, conducted from May to July 2026, examined nursing practice compliance, service delivery challenges, and cultural competence among home care nurses in the Kingdom of Saudi Arabia and explored the mediating role of cultural competence in the relationship between service delivery challenges and nursing practice compliance. An explanatory sequential mixed-methods design was used. The quantitative phase involved 112 home care nurses who completed a validated questionnaire measuring nursing practice compliance, service delivery challenges, and cultural competence. Descriptive statistics, Mann–Whitney U, Kruskal–Wallis, Pearson product-moment correlation, and hierarchical regression mediation analysis were employed. The qualitative phase involved eight purposively selected nurses who provided written narratives describing their lived experiences. Quantitative findings showed very high nursing practice compliance (M = 4.29, SD = 1.13), high service delivery challenges (M = 3.94, SD = 0.87), and high cultural competence (M = 4.20, SD = 0.89). Service delivery challenges were significantly related to cultural competence (r = .766, p < .001) and cultural competence was significantly related to nursing practice compliance (r = .805, p < .001). In the mediation model, service delivery challenges significantly predicted compliance before cultural competence was introduced (β = .635, p < .001); after cultural competence was entered, its effect became nonsignificant (β = .045, p = .615), while cultural competence remained significant (β = .770, p < .001). Qualitative findings described strong professional commitment, environmental and communication challenges, cultural adaptation, adaptive strategies, and emotional resilience. The integrated findings provide a basis for a Multicultural Home Care Nursing Practice Program focused on sustaining compliance, strengthening cultural competence, improving communication, and supporting adaptive practice.

This is AI-generated research: the results, proofs and code were found and written by AI. Credit goes to all the humans whose work it builds on.We prove that the frog model on the rooted $d$-ary tree …

This is AI-generated research: the results, proofs and code were found and written by AI. Credit goes to all the humans whose work it builds on.We prove that the frog model on the rooted $d$-ary tree is recurrent for $d=3$ and transient for $d=4$, as conjectured by Hoffman, Johnson and Junge. One frog starts awake at the root and one sleeps at every other vertex; awake frogs perform independent simple random walks, waking the frogs they visit. For $d=4$ the mean number of visits to the root is at most $5.756$. The proof runs an exact recursion on the laws of the responses of subtrees, with a law given by a finite table that dominates its image, certified by two linear systems on $159786$ states. For $d=3$ a subtree of height $m\ge1778250$ entered by one frog sends back at least $(m+2)/5$ frogs on average; the proof combines a lower model, a certified chain of steps on finite tables of bounds, and an induction on the height. Both proofs are formalized in Lean 4.These are the cases $d=3$ and $d=4$ of Conjecture 2 of Hoffman, Johnson and Junge (Ann. Probab. 2017; arXiv:1404.6238).The recurrence for $d=3$, the transience for $d=4$ and the bound on the expected number of visits are proved in Lean 4 with Mathlib, with no hypothesis and only the standard axioms, and Comparator with nanoda checks the three theorems against their statements; the Lean kernel checks by evaluation the certificate for $d=4$ and the run, the certificate and the table for $d=3$.Code, Lean proofs and certificates: github.com/mt0-svg/frog-model-tree

Mazkur maqola o‘zbek tili milliy korpusida frazeologik birliklarni  teglash va ularni avtomatik lingvistik annotatsiya qilishning nazariy-metodik asoslarini ishlab chiqishga bag‘ishla…

Mazkur maqola o‘zbek tili milliy korpusida frazeologik birliklarni  teglash va ularni avtomatik lingvistik annotatsiya qilishning nazariy-metodik asoslarini ishlab chiqishga bag‘ishlanadi. Frazeologik birliklarning semantik jihatdan yaxlitligi, shuningdek, tarkibining o‘zgaruvchanligi sabab NLP tizimlarida oddiy so‘z birikmalaridan ularni ajratish biroz murakkab. Tadqiqotda tizimli lisoniy tahlil, korpus metodlari va zamonaviy neyron tarmoq modellari imkoniyatlarini qiyoslash metodologiyasidan foydalanish orqali frazeologizmlarning elektron bazasini shakllantirishda xalqaro tajribalar va ularning o‘zbek tili korpusiga tatbiq etilish imkoniyatlari ko‘rib chiqiladi.

Tezisda nazoratsiz o‘qitish usuliga kiruvchi K-means klasterlash algoritmini neyron tarmoq modeli sifatida qarash mumkinligiga asoslanadi. Ishning asosiy mazmunida K-means algoritmining sentroid…

Tezisda nazoratsiz o‘qitish usuliga kiruvchi K-means klasterlash algoritmini neyron tarmoq modeli sifatida qarash mumkinligiga asoslanadi. Ishning asosiy mazmunida K-means algoritmining sentroidlarni tayinlash mexanizmi hamda SOM (Self-Organizing Map) raqobatlashuvchi neyron qatlamining ekvivalentlik nazariyasini ko‘rib chiqish, algoritmning formal matematik ta’rifi va uni tasvir ma’lumotlarida sinash uchun mo‘ljallangan tadqiqot rejasi bayon qilinadi.

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

В статье рассматривается проблема автоматического обнаружения, классификации и индексирования афоризмов в текстовых корпусах. Задача анализируется на основе моделей обнаружения фрагментов текста, классификации предложений и ранжирования в рамках НЛП и интерпретируется как сложная задача типа «needle-in-the-haystack». Она основана на том, что для обнаружения афоризмов следует использовать комбинацию графико-пунктуационных, количественных, лексико-морфологических, синтаксических, семантических, прагматических и стилистических индикаторов; процесс представлен в виде четырехэтапного конвейера, состоящего из поиска кандидатов, оценки, разметки и ранжирования. Также рассматривается необходимая для узбекского языка инфраструктура предварительной обработки (нормализация, токенизация, лемматизация, POS-тегирование, синтаксический анализ зависимостей) на основе существующих лингвистических ресурсов (BBPOS, узбекский UD-корпус).

The deposit allows the reproduction of the statistical results reported. The data collection script is further available upon request.