AF: Small: Randomness in complexity theory: Fooling, sampling, and mixing
Riset pseudorandomness menggabungkan generator bias kecil, kompleksitas sampling, dan pencampuran grup untuk algoritme serta mekanisme kriptografi.
Katalog teknologi — halaman 35
Telusuri profil teknologi beserta ringkasan dan rujukannya.
Profil teknologi
AF: Small: The computational complexity of low-depth quantum circuits
Kemampuan sirkuit kuantum berkedalaman rendah akan dianalisis untuk menghitung fungsi, membentuk keadaan kuantum penting, dan menguji ketahanan terhadap derau.
AF: Small: Towards New Relaxations for Online Algorithms
Relaksasi konveks dan algoritme work function acak diteliti untuk keputusan daring yang menyeimbangkan keuntungan segera dengan posisi yang menguntungkan bagi permintaan mendatang.
AF: Small: Towards Theoretical Foundations of Multi-agent Learning - Algorithms, Dynamics and their Limitations
Pembelajaran banyak agen dianalisis melalui teori permainan, optimasi, dan sistem dinamis untuk algoritme yang konvergen ke keadaan equilibrium.
AF: Small: Trusting Inference About Polynomial Inequalities with Certificates
Algoritme simbolik-numerik dikembangkan untuk membuktikan ketidaknegatifan polinomial melalui sertifikat aljabar dan geometris yang dapat diperiksa dalam verifikasi sistem.
AF: Small: Verification Complexities of Self-Assembly Systems
Algoritme verifikasi self-assembly diteliti untuk menentukan keunikan rakitan dan keterjangkauan keadaan pada model pasif, aktif, geometris, serta berbasis domain ikatan.
AF:Small: Bayesian Estimation and Constraint Satisfaction
Sum-of-squares SDP dan reduksi waktu polinomial mengkaji ambang jumlah observasi bagi inferensi Bayesian dengan kendala lokal serta data berderau yang menyembunyikan variabel.
AF:Small: Quantified Polyhedral Programming
Pemrograman linear dan integer berkuantor dipelajari untuk memilih tindakan sistem reaktif yang tetap layak ketika lingkungan berubah atau pihak lawan mengganggu keputusan.
AF:Small:Learning from Dynamics
Pembelajaran dari data berurutan yang saling bergantung diteliti untuk sistem dinamis linear, model grafis, dan model Markov tersembunyi dengan jaminan algoritmik.
AF:SMALL:RUI:UNDERSTANDING THE GEOMETRY AND DIVERSITY OF SOLUTIONS - ALGORITHMS FOR GENERATING DIVERSE SOLUTIONS IN OPTIMIZATION
Algoritme optimasi diteliti untuk menghasilkan beberapa solusi yang tetap bermutu namun berbeda sejauh mungkin dalam ruang pilihan.
Affordable High Power Density Engine Designs for Personal Air Vehicles, Phase II
Studi mesin pesawat pribadi membandingkan tiga konfigurasi propulsi untuk mencari kombinasi kerapatan daya tinggi, kemampuan manufaktur massal, dan biaya produksi rendah.
Affordable IMM Multi-Junction Photovoltaic Modular Flexible Blanket Assembly for Lightweight Solar Arrays
Rakitan blanket fotovoltaik IMM fleksibel meneliti integrasi sel multijunction hasil epitaxial lift-off dengan struktur pembentangan ringan untuk meningkatkan daya spesifik serta kepadatan penyimpanan panel surya.
Affordable In-Space Demonstration of Dynamic Radioisotope Power Conversion
Generator radioisotop dinamis modular memadukan sumber panas yang dapat ditukar dan konverter Stirling untuk demonstrasi daya ruang angkasa.
Affordable Resins for High-Performance, Ablative Thermal Protection Systems
Polimer Metagraphite berubah dari termoplastik menjadi termoset lalu bahan menyerupai grafit ketika dipanaskan, sehingga sifat pelindung panas dapat disesuaikan melalui proses termal.
Affordable, Ultra-stable CVC SiC UVOIR Telescope for BENI Mission
Teleskop CVC silicon-carbide ultra-stable meneliti mirror meniscus dan mandrel graphite yang dapat dilepas untuk mengurangi biaya replication tanpa mengorbankan stiffness serta massa.
After the Flames in Post-Fire WUI Homes: Characterization of Toxic Emissions, Environmental Concentrations, and Exposures
Model dinamika polutan dalam rumah memadukan eksperimen pembakaran dan data lapangan untuk menelusuri emisi setelah kebakaran perkotaan-hutan.
Afterburner
Afterburner menambah dorongan mesin jet dengan membakar bahan bakar tambahan di aliran gas setelah turbin.
Aftshell Radiative Heating During Planetary Entry
Diagnostik absorpsi laser dikembangkan untuk mengukur populasi molekul keadaan dasar pada wake wahana saat memasuki atmosfer.