FMitF: Track I: Generative Neural Network Verification in Medical Imaging Analysis
Verifikasi formal jaringan generatif mengembangkan spesifikasi robustness dan reachability untuk segmentasi lesi MRI serta sintesis denoising citra OCT.
Katalog teknologi — halaman 319
Telusuri profil teknologi beserta ringkasan dan rujukannya.
Profil teknologi
FMitF: Track I: Performance Verification for Networked Systems
Verifikasi performa sistem berjaringan menggabungkan kalkulus jaringan dan kendali diskret dengan sintesis serta SMT untuk mencari kondisi terburuk yang memenuhi asumsi.
FMitF: Track I: Probabilistic Modeling and Analysis Tools for Intermittent Systems
Pemrograman probabilistik menghubungkan model energi berbasis pengukuran dengan analisis statis untuk memperkirakan waktu eksekusi dan kegagalan daya pada sistem intermiten.
FMitF: Track I: Program Synthesis for Robot Learning from Demonstrations
Sintesis program akan menggabungkan komponen neural dan simbolik untuk mempelajari kebijakan robot dari demonstrasi yang dapat ditafsirkan serta diperiksa kebenarannya.
FMitF: Track I: Safe Multi-Agent Reinforcement Learning with Shielding
Shield synthesis terdesentralisasi dan safety coaches membimbing multi-agent reinforcement learning pada eksekusi yang diamati sebagian serta pelatihan simulasi yang mengizinkan kesalahan.
FMitF: Track I: Synthesizing Semantic Checkers for Runtime Verification of Production Distributed Systems
Sintesis pemeriksa semantik bertujuan mendeteksi kegagalan diam pada sistem terdistribusi dengan mengubah pengujian yang sudah tersedia menjadi verifikasi saat berjalan.
FMitF: Track I: Verified Probabilistic Programming for Hybrid Systems
Pemrograman probabilistik untuk sistem hibrida memakai transformasi model yang diverifikasi dengan pembuktian teorema agar inferensi persamaan diferensial lebih terkontrol.
FMitF: Track I: Visual Computing Meets Formal Verification: Certified Rendering, Geometry, and Video Generation
Verifikasi formal akan diperluas ke rendering, geometri neural, serta generasi video agar ketidakpastian visual dapat dibatasi dalam pipeline keselamatan.
FMitF: Track II: Advancing Probabilistic Verification Tool Development for Synthetic Biology
Verifikasi probabilistik untuk biologi sintetis dikembangkan sebagai kerangka terpadu dengan implementasi correct-by-construction, antarmuka grafis, dan integrasi ke alat desain genetik.
FMitF: Track II: Enhancing the Bounded Model Checking Tool for Hyperproperties (HyperQB) for Industrial Applications
HyperQB akan dikembangkan untuk memeriksa hyperproperties keamanan dan privasi yang melibatkan banyak perilaku sistem, dengan dukungan penggunaan industri lebih luas.
FMitF: Track II: Formally-Verified eBPF Verifier in the Linux Kernel
Pipeline verifikasi eBPF memeriksa soundness operator interpretasi abstrak langsung dari kode C kernel, dengan pembuktian modular dan sintesis program pembeda untuk laporan bug.
FMitF: Track II: SMT-Based Reachability Analyzer of NGAC Policies
Analyzer reachability NGAC memakai satisfiability modulo theories untuk memeriksa urutan perubahan konfigurasi otorisasi yang dipicu event akses dan kewajiban administratif.
FMRG Eco: Manufacturing, repairing, and re-using biomineralized infrastructure materials through low-energy biological processes
Biomineralisasi untuk bahan infrastruktur menggabungkan penangkapan mikroba pada permukaan, pencetakan tiga dimensi, dan deposisi berlapis untuk membuat serta memperbaiki struktur.
FMRG: Artificial Intelligence Driven Cybermanufacturing of Quantum Material Architectures
Cybermanufacturing material kuantum menggabungkan perakitan mikrofluida, kendali robotik, dan AI untuk menata lapisan material dua dimensi.
FMRG: Bio: Enabling Technologies for Biomanufacturing Extracellular Vesicle-Based Therapeutics
Biomanufaktur vesikel ekstraseluler rekayasa diteliti melalui kultur produsen tiga dimensi, pemuatan RNA, dan workflow terukur dari sel punca manusia yang terdiferensiasi.
FMRG: Bio: Engineered Plants in Culture (EPiC) - Biomanufacturing in Low Resource Environments
EPiC mengembangkan platform bioproduksi tanaman dan bioreaktor lokal untuk lingkungan yang memiliki keterbatasan bahan, energi, serta infrastruktur.
FMRG: Bio: Manufacturing Multi-dimensional Culture Systems with Integrated Measurement and Manipulation Technologies
Sistem kultur neural organoid tiga dimensi akan mengintegrasikan microelectrode conformal, sensor aptamer fotonik, dan hidrogel pengindra tekanan-regangan.
FMRG: Bio: Manufacturing Ultra-High-Density DNA-Enabled Nanoelectronics Systems
Nano-cartridge berbasis DNA akan dirancang sebagai penghubung komponen molekuler dan rangkaian konvensional untuk meneliti manufaktur nanoelektronik berdensitas tinggi serta biosensor multiplex.