Katalog teknologi — halaman 524

Telusuri profil teknologi beserta ringkasan dan rujukannya.

Profil teknologi

11.025 profil ensiklopedia
Proyek riset & pengembanganElektronik & semikonduktor

RFI Mitigating (RFIM) Receiver Backend ASIC

ADC SAR berkecepatan tinggi diporting ke proses CMOS 28 nm untuk menyediakan blok konversi data berdaya rendah bagi penerima RF.

Proyek riset & pengembanganElektronik & semikonduktor

RFI Mitigating Receiver Back End for Radiometers

ASIC receiver back-end radiometer dikembangkan untuk mitigasi interferensi radio, menggabungkan sampling berbandwidth tinggi, interpolated flash ADC, dan filter bank polyphase pada pengolahan digital berdaya rendah.

Proyek riset & pengembanganKomputasi & perangkat lunak

RI: Approximate Causal Decision-Making

Approximate Causal Reinforcement Learning diteliti untuk keputusan dari data terkonfounded dan lingkungan berubah, menggunakan model kausal sederhana agar batas kinerja tetap dapat dianalisis.

Proyek riset & pengembanganKomputasi & perangkat lunak

RI: Compositional Generative Perception

Persepsi generatif komposisional dikembangkan untuk mewakili beberapa penjelasan bentuk tiga dimensi dan bahan dari citra, mempertahankan ambiguitas visual alih-alih satu tebakan deterministik.

Proyek riset & pengembanganKomputasi & perangkat lunak

RI: Formal Verification of Answer Set Programs

Verifikasi formal answer set programming akan menggabungkan fondasi bahasa, modularitas program, dan lingkungan bukti interaktif untuk membantu pembuktian kebenaran.

Cari dalam penjelasan lengkap