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.
12yayımlanmış madde
Katkı için giriş yap
Ortak bilgi alanıAra
12 sonuç
Wiki maddelerini herkes okuyabilir. Giriş yapan her üye yeni madde oluşturabilir ve mevcut maddeleri geliştirebilir.
Aramayı temizle
Retrieval-Augmented Generation
Sorgu zamanında dış kanıtları alan ve bir cevap vermeden önce jeneratif bir dil bileşeni tedarik eden sistemler.
SCIENDIA Knowledge Desk
Maddeyi oku
Nöromorfik Hesaplama
Beyin odaklı olayları kullanan bilgisayar mimarisi, sinapslar ve hafıza-kompute entegrasyonu.
SCIENDIA Knowledge Desk
Maddeyi oku
Zero-Bilgileri
Bir açıklama kanıtlayan kriptografik protokolleri, doğru yapan gizli tanıkları açığa çıkarmadan doğrudur.
SCIENDIA Knowledge Desk
Maddeyi oku
Dondurma Öğrenme
Bir ajanın etkileşim yoluyla yaratılan ödüllerden davranış geliştirirken eşdeğer kararlar için makine öğrenimi.
SCIENDIA Knowledge Desk
Maddeyi oku
Swarm İstihbaratı
Yerel etkileşimlerin ortaya çıkan kolektif problem- birçok karşılaştırmalı basit özerk ajanlar arasında.
SCIENDIA Knowledge Desk
Maddeyi oku
Transformer Architectures
Dikkat ve paralel dizi işleme kullanarak jetonlar arasındaki model ilişkileri belirleyen neural-network sistemleri.
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
Homomorphic Encryption
Şifreleme yöntemleri, ilk önce düz metin ortaya çıkmadan şifreli verilere ilişkin seçilmiş hesaplamalar.
SCIENDIA Knowledge Desk
Maddeyi oku
Graph Neural Networks
İlişki yapısıyla bağlantılı varlıklardan temsilleri öğrenen makine öğrenme mimarisi.
SCIENDIA Knowledge Desk
Maddeyi oku
Blockchain Konsensüsü
Gecikmelere, başarısızlıklara ve çelişkili tekliflere rağmen dağıtılan katılımcılar sıralı bir defter üzerinde nasıl anlaşıyorlar?
SCIENDIA Knowledge Desk
Maddeyi oku
Yapay Sinir Ağları
Verilerden ağırlıklı bağlantıları ayarlayarak dağıtılmış gösterimleri öğrenen katmanlı hesaplama modelleri.
SCIENDIA Knowledge Desk
Maddeyi oku