CAREER: Achieving Autonomous Symbolic Execution through Learning from Humans
SE-bot mempelajari strategi pakar untuk mendeteksi serta mengatasi bottleneck symbolic execution biner melalui prioritas lintasan dan eksekusi parsial.
Katalog teknologi — halaman 68
Telusuri profil teknologi beserta ringkasan dan rujukannya.
Profil teknologi
CAREER: Acoustic Ambient Computing: Algorithms, Architectures, and Prototypes
Komputasi akustik ambien memakai mikrostruktur pasif dan pemrosesan intermiten untuk menangkap gerak besar serta gestur mikro melalui permukaan sehari-hari.
CAREER: Acoustic Vortex Robots for Contactless 6-Degrees-of-Freedom Object Manipulation
End-effector vortex akustik dikembangkan untuk manipulasi objek tanpa kontak enam derajat kebebasan melalui interaksi vortex koaksial dan tiga berkas yang dikendalikan.
CAREER: Active Designer-Computer Collaborative Conceptual Design Using Data-driven Models
Model surrogate dan optimasi interaktif diteliti untuk membantu keputusan konsep bangunan dengan prediksi kinerja, ruang desain laten, serta saran yang dapat ditindaklanjuti.
CAREER: Active Nonlinear Photonics with Applications in Quantum Networks
Ion thulium dalam lithium niobate on insulator mengembangkan fotonik nonlinear aktif untuk pembangkitan serta penyimpanan informasi kuantum multimode dekat panjang gelombang 800 nanometer.
CAREER: Active Representation Learning for Real-World Adaptive Experimental Design
Desain eksperimen adaptif akan belajar representasi dan kebijakan pemilihan pengukuran secara bersama untuk memilih data informatif saat observasi mahal serta terbatas.
CAREER: Active Touch Exploration for Understanding Physical Properties
Eksplorasi sentuh aktif mengoptimalkan tindakan robot dan model pengamatan secara bersama untuk memahami kekerasan, tekstur, serta kelicinan objek yang sulit dimanipulasi.
CAREER: Adaptive and Scalable Resilience in Complex Networked Systems: Structural Backbones and Functional Robustness
Ketahanan jaringan adaptif diteliti melalui agregasi geometris, subgraf kuat, dan backbone kritis, untuk menjaga fungsi kendali ketika pengukuran, agen, atau koneksi terganggu.
CAREER: Adaptive Experimental Design to Accelerate Scientific Discovery and Engineering Design
Desain eksperimen adaptif akan memakai model probabilistik dan perencanaan informasi untuk memilih percobaan mahal pada ruang urutan serta graf yang besar.
CAREER: Adaptive Knowledge Synthesis for Language Model Reasoning
Adaptive Knowledge Synthesis memakai model conductor yang membentuk pakar sesuai subtugas dan routing berbasis keyakinan untuk menggabungkan pengetahuan dalam penalaran multi-langkah.
CAREER: Adaptive Multimodal Fusion for Robust Robot Perception in Underwater Environments
Representasi neural implisit memadukan citra kamera dan sonar secara adaptif untuk SLAM bawah air dengan estimasi ketidakpastian serta pemetaan padat waktu nyata.
CAREER: Adaptive resource management and reconfiguration mechanisms for streaming dataflow systems
HoloStream menggabungkan runtime terdistribusi adaptif dan rekonfigurasi daring untuk mengelola aplikasi dataflow streaming pada deployment perangkat yang heterogen.
CAREER: AdaptTrust: Adaptable, Trustworthy and Uncertainty-Aware Learning in Intelligent Sensing Technologies
AdaptTrust memakai ketidakpastian Bayesian, masking parameter, dan mixture-of-experts modular untuk pembelajaran berkelanjutan yang mempertahankan pengetahuan lama tanpa menyimpan data terdahulu.
CAREER: Additive Manufacturing of Adaptive Metal Origami
Origami logam adaptif akan menggabungkan shape memory alloy bergradiasi dan desain topologi untuk mengatur pelipatan pada struktur hasil additive manufacturing.
CAREER: Additive Manufacturing of Polymer Composites via in-situ Polymerization
Pencetakan komposit berserat karbon memakai polimerisasi termal in situ untuk mengeraskan resin langsung pada lintasan dan membangun bentuk kompleks tanpa cetakan.
CAREER: Additive Manufacturing of Property-Certified Metamaterials
Pemantauan manufaktur metamaterial berpusat pada sifat menghubungkan point cloud geometri hasil cetak, distribusi ketidaksempurnaan, dan model prediksi untuk kendali proses.
CAREER: Additive Manufacturing of Structural Battery Carbon Fiber Reinforced Composites
Koekstrusi serat karbon kontinu dan pemodelan impregnasi multiskala diteliti untuk mencetak baterai struktural yang sekaligus menyimpan energi serta menahan beban.
CAREER: Additive Manufacturing with Acoustically Assembled Multi-Scale Composite Materials
Manufaktur aditif acoustophoretic akan menyusun agregat nanopartikel melalui medan akustik untuk membangun komposit multiskala dengan distribusi internal serta fungsi yang terarah.