Telusuri profil teknologi beserta ringkasan dan rujukannya.
Metode formal digunakan untuk menyintesis dan memverifikasi jaringan neural pada komputasi dalam memori analog serta hibrida analog-digital.
Operator komposisi yang mempertahankan liveness dan model stapling dikembangkan untuk memverifikasi kemajuan sistem terdistribusi ketika sebagian peserta berperilaku Byzantine.
NNV memperluas verifikasi deret waktu melalui relaxed star reachability dan counterexample-guided refinement, dengan properti temporal MTL atau STL serta benchmark industri untuk mengukur skala analisis.
DIG-I dikembangkan untuk penemuan invarian numerik yang lebih skalabel melalui kernel CUDA, integrasi model bahasa, dan Language Server Protocol bagi editor pemrograman.
Teori super-linearisasi menelaah kapan sistem dinamis nonlinier dapat dipetakan ke sistem linier dalam ruang keadaan berdimensi lebih tinggi.
SimVascular diperluas dengan simulasi multifidelitas yang menghubungkan aliran darah, biomekanika jaringan, dan respons mekanobiologis dari jaringan organ hingga pembuluh mikroskopis multiskala.
FASTEST membangun kerangka simulasi elektrokimia multifase yang memadukan meshing adaptif, metode implisit, dan portabilitas komputasi paralel.
Ekosistem simulator gem5 diperluas dengan model chiplet, reliabilitas, keamanan, ekstensi vektor, dan akselerator untuk penelitian sistem komputasi yang lebih lengkap serta reproduktif.
PySCF diperluas melalui akselerasi GPU, density fitting berperingkat rendah, dan pustaka quantum embedding untuk simulasi struktur elektronik.
Cyberinfrastruktur citizen science mengintegrasikan pemetaan, analisis kolaboratif manusia-AI, dan jalur berbagi data ke platform Zooniverse.
Cloud Conversations akan memakai agen AI untuk merencanakan, menyediakan, dan memvalidasi lingkungan komputasi ilmiah dari deskripsi kebutuhan bahasa sehari-hari.
ASPECT dan Landlab dikopel untuk simulasi timbal balik interior serta permukaan Bumi, disertai paralelisasi proses permukaan bagi berbagai skala waktu geologi.
Infrastruktur urban computing terbuka dikembangkan untuk menghubungkan penemuan, pembersihan, pemodelan, dan visualisasi data kota melalui lingkungan awan kolaboratif yang reproduktif.
dPolyFEM mengembangkan simulasi terdiferensiasi deformasi elastodinamik dengan kontak serta gesekan untuk inferensi parameter, optimasi bentuk dan kendali pada geometri kompleks.
Multiscale Polymer Toolkit menyediakan representasi polimer lintas skala dan antarmuka alur kerja untuk menghubungkan mesin simulasi, kimia, serta model reaksi.
GAIA menyatukan pengamatan geofisika dan simulasi ke dalam infrastruktur komputasi terbuka untuk membangun kembaran digital regional yang memperbarui perkiraan bahaya secara mendekati waktu nyata.
GOODLUCK memperluas Open OnDemand melalui katalog aplikasi, kustomisasi antarmuka dan perangkat terintegrasi untuk mempermudah akses komputasi riset lewat peramban pengguna.
hpcGPT akan menggabungkan model bahasa dan sumber informasi pusat komputasi untuk membantu menjawab masalah teknis pengguna sistem komputasi kinerja tinggi.