-
#1Kufumbua Mnyororo wa Blocki: Mtazamo wa Usindikaji Data wa Mifumo ya BlockchainUchambuzi kamili wa mifumo ya blockchain kutoka kwa mtazamo wa usindikaji data, kujumuisha teknolojia za daftari zilizosambazwa, itifaki za makubaliano, kandarasi za kidijitali, na upimaji wa utendaji kwa kutumia mfumo wa BLOCKBENCH.
-
#2Bigramu Zisizowezekana: Udhaifu katika Vitambuzi-vyenye-vigezo vya BPE kwa Kiwango cha BaitiUchambuzi wa utafiti kuhusu vitoksi visiokamilika katika vitambuzi-vyenye-vigezo vya BPE kwa kiwango cha baiti na udhaifu wao kwa bigramu zisizowezekana zinazosababisha tabia za uwongo katika LLM.
-
#3Computational Lexical Analysis of Flamenco Genre: Natural Language Processing and Machine Learning ApproachesQuantitative analysis of Flamenco lyrics using NLP and machine learning to achieve genre classification, semantic field identification, and explore historical connections through lexical patterns.
-
#4computationaltoken - Nyaraka za Ufundi na RasilimaliNyaraka za kiufundi na rasilimali kamili kuhusu teknolojia na matumizi ya computationaltoken.
-
#5Zaidi ya Toki Zenye Umakini: Mabadiliko ya Ufanisi wa Kuona kwa Umuhimu na Utofauti wa TokiMbinu mpya ya ukataji toki kwa Mabadiliko ya Kuona inayochanganya umuhimu na utofauti wa toki kupunguza ugumu wa hesabu hali inakaa usahihi.
-
#6Uchanganuzi wa Neno la Kipande kwa Kasi: Algorithm ya Muda Mstari kwa BERT na ZaidiUchanganuzi wa algorithm mpya ya muda mstari ya uchanganuzi wa neno la kipande, kuboresha ufanisi kwa mifano ya NLP kama BERT. Inajumuisha maelezo ya kiufundi, matokeo, na matumizi ya baadaye.
-
#7FNet: Kuchanganya Toki kwa Mabadiliko ya Fourier katika Viweka-simbio vya TransformerUchambuzi wa FNet, lahaja ya Transformer inayobadilisha utambuzi-binafsi kwa Mabadiliko ya Fourier kwa mafunzo na utambuzi wa haraka huku ikidumua usahihi kwenye viwango vya NLP.
-
#8DafnyBench: Kigezo cha Kupima Uthibitishaji Rasmi wa ProgramuDafnyBench ni kigezo kikubwa zaidi cha kufundisha na kutathmini mifumo ya kielektroniki kwa ajili ya uthibitishaji rasmi wa programu, ukijumuisha programu 750+ zenye mistari 53,000+ ya msimbo.
-
#9Uthibitishaji Rasmi wa Itifaki ya Kibarua cha Ruhusa: Uchambuzi wa Usalama na UtekelezajiUchambuzi kamili wa kirasmi wa Itifaki ya Kibarua cha Ruhusa kwa uthibitishaji unaolinda faragha katika majiji smart kwa kutumia Tamarin Prover na zana nyingine za uthibitishaji.
-
#10Lamb: Uchambuzi wa Kileksika na Usaidizi wa Utata kwa Usindikaji wa Lugha Nyeti-KuktadiriLamb ni kichambua kileksika kinachozalisha michoro ya uchambuzi wa kileksika kushughulikia utata wa kileksika katika vipimo vya lugha, kuwezesha uchambuzi nyeti-kuktadiri kupitia ushirikiano wa kichambua-sintaksia.
-
#11Uthibitishaji wa Programu za MPI: Mfano wa Kihisabati kwa Hesabu SambambaUchambuzi kamili wa uthibitishaji wa programu za MPI kwa kutumia miundo ya kihisabati, yenye matumizi kwa algoriti za kuzidisha matriki na kulinganisha na mbinu za kuthibitisha zilizopo.
Imesasishwa mara ya mwisho: 2025-12-13 10:36:06