Formal Verification
Bu donanım, yazılım veya protokolleri kanıtlayan matematiksel yöntemler açık varsayımlar altında tam olarak belirtilen özellikleri karşılar.
SCIENDIA Knowledge Desk
Maddeyi oku
Ortak bilgi alanı
Sciendia Wiki
Sciendia topluluğunun yazdığı, geliştirdiği ve her sürümünü şeffaf biçimde kaydettiği yaşayan akademik kaynak.
7yayımlanmış madde
Katkı için giriş yap
Ortak bilgi alanıAra
7 sonuç
Wiki maddelerini herkes okuyabilir. Giriş yapan her üye yeni madde oluşturabilir ve mevcut maddeleri geliştirebilir.
Aramayı temizle
Protein Dili Modelleri
Alfa-acid dizilerinin istatistiki temsillerini tahmin ve moleküler tasarım için öğrenen makine öğrenme modelleri.
SCIENDIA Knowledge Desk
Maddeyi oku
Battery Geri Dönüşümü
Malzemeleri ve fonksiyonel bileşenleri güvenli tedavi için harcanan bataryalardan kurtarmayı ve yenilenmiş üretimi için uygular.
SCIENDIA Knowledge Desk
Maddeyi oku
Kuantum Hatası Yanlış
Korumalı durumu doğrudan okumadan birçok fiziksel qubits ve tanı hataları arasında kırılgan mantıksal kuantum bilgileri tanıyan yöntemler.
SCIENDIA Knowledge Desk
Maddeyi oku
Yarı iletken Lithography
Nano ölçekli elektronik yapıları tekrar yarı iletken wafers ile tanımlamak için kullanılan desen transferleri.
SCIENDIA Knowledge Desk
Maddeyi oku
Federated Learning
Dağıtılmış makine, ham kayıtlarını merkezi olmadan veri sahipleri arasında modelleme eğitiminin koordine olduğunu öğrenmektedir.
SCIENDIA Knowledge Desk
Maddeyi oku
Bayesian Inference
Yeni kanıtlar gözlemlendiğinde olasılık dağıtımlarını güncelleyen bir çerçeve.
SCIENDIA Knowledge Desk
Maddeyi oku