Collaborative Research: FET: Medium: Field Programmable Oscillator Ising Machines
Oscillator Ising machine programmable akan dikembangkan pada chip untuk menelaah kesenjangan antara simulasi optimasi kombinatorial dan performa perangkat keras nyata.
Katalog teknologi — halaman 173
Telusuri profil teknologi beserta ringkasan dan rujukannya.
Profil teknologi
Collaborative Research: FET: MEDIUM: PRocessor In Memory Architecture based on Topological Electronics (PRIMATE)
Arsitektur pemrosesan dalam memori menggabungkan isolator topologis, nanomagnet, dan material piezoelektrik untuk operasi logika serta pengolahan citra.
Collaborative Research: FET: Medium: Quantum Monte Carlo Speed Ups for Multilevel Computations and Other Statistical Algorithms
Monte Carlo kuantum dan klasik digabungkan untuk mempercepat komputasi multilevel serta keputusan stokastik dengan analisis batas kompleksitas pada algoritme statistik.
Collaborative Research: FET: Medium:Compact and Energy-Efficient Compute-in-Memory Accelerator for Deep Learning Leveraging Ferroelectric Vertical NAND Memory
Memori NAND vertikal ferroelektrik akan dirancang sebagai akselerator compute-in-memory untuk mempelajari kepadatan penyimpanan tinggi dan komputasi pembelajaran mendalam hemat energi.
Collaborative Research: FET: Neuro-AI Foundations for Long-Range Dependency Tasks
Spiking neural network sebagai state-space model diteliti untuk tugas long-range dependency, menghubungkan algoritme sequence processing dengan perangkat keras neuromorphic yang efisien di edge.
Collaborative Research: FET: Quantum Inference with Pauli Measurements: Fundamental limits and algorithms
Batas informasi pengukuran Pauli akan diteliti untuk menyusun algoritme rekonstruksi keadaan kuantum dan verifikasi keterikatan yang lebih praktis.
Collaborative Research: FET: Small: Algorithmic Self-Assembly with Crisscross Slats
Perakitan DNA berbentuk bilah silang diteliti sebagai dasar pertumbuhan algoritmik nanostruktur besar dengan kendali geometri dan kesalahan pembentukan.
Collaborative Research: FET: Small: De Novo Protein Scaffold Filling by Combinatorial Algorithms and Deep Learning Models
Optimasi kombinatorial dan deep learning mengisi celah scaffold protein dari tandem mass spectrometry top-down serta bottom-up tanpa bergantung pada sekuens referensi.
Collaborative Research: FET: Small: Reservoir Computing with Ion-Channel-Based Memristors
Reservoir computing dengan memristor kanal ion menggabungkan dinamika membran lipid dan memori volatil-nonvolatil untuk meneliti arsitektur neural yang menyatukan reservoir serta readout.
Collaborative Research: FET: Small: RUI: Leveraging symbiotic co-evolution for improved problem solving
Ko-evolusi simbiotik diintegrasikan ke algoritme pencarian evolusioner untuk menelaah kondisi yang meningkatkan kemampuan pemecahan masalah.
Collaborative Research: FMitF : Track I: Specifying, Synthesizing, and Verifying Heterogeneous Coherence Protocols
Protokol koherensi heterogen dipadukan melalui konverter tersintesis dan verifikasi komposisional untuk sistem prosesor berbagi memori.
Collaborative Research: FMitF: Track I: A Formal Verification and Implementation Stack for Programmable Logic Controllers
Stack verifikasi PLC dikembangkan untuk menghubungkan model fisika dan ancaman dengan kode berjalan melalui pembuktian kebenaran serta validasi runtime yang terverifikasi.
Collaborative Research: FMitF: Track I: Automating and Synthesizing Parallel Zero-Knowledge Protocols
Kerangka zero-knowledge menggabungkan bahasa pemrograman, optimasi, dan pembagian komputasi otomatis untuk menjalankan protokol pembuktian pada beberapa mesin.
Collaborative Research: FMitF: Track I: AVA: Architectural Insights For Formal Verification Of Computer Architectures
AVA akan memakai wawasan arsitektur untuk membangun abstraksi, invarian, dan monitor yang membantu verifikasi fungsi serta keamanan prosesor kompleks.
Collaborative Research: FMitF: Track I: Composable Verification of Crash-Safe Distributed Systems with Grove
Grove mengembangkan pembuktian modular untuk sistem terdistribusi yang harus tetap benar ketika sebagian mesin mengalami kerusakan dan mulai ulang.
Collaborative Research: FMitF: Track I: JIVe: Just in Time Verification for High Performance Compilers
JIVe memeriksa kesetaraan fungsi kode sekuensial dan hasil paralelisasi compiler, termasuk keluaran model bahasa, melalui model perilaku serta pembuktian pemeriksa yang andal.
Collaborative Research: FMitF: Track I: Reasoning About Shell Scripts and Their Effects in Context
Analisis program sebelum eksekusi akan dikembangkan untuk memeriksa efek shell script terhadap filesystem dan lingkungan serta menemukan bug yang berpotensi merusak.
Collaborative Research: FMitF: Track I: Specification-Guided Multiagent Reinforcement Learning
Pembelajaran penguatan banyak agen akan dipandu spesifikasi temporal untuk membagi tujuan, menjelaskan perilaku koordinasi, dan memindahkan kebijakan lintas tugas.