Yazeka
Arama sonuçlarına göre oluşturuldu
ATAC yöntemi iki farklı bağlamda kullanılabilir:
- ATAC (Automated Timed Automata Construction): Bu, zamanlı otomatların (TA) otomatik olarak oluşturulması ve doğrulanması için bir yöntemdir 1. ATAC aracı, TA modellerinin tanımlardan oluşturulmasına ve spesifikasyonlardan zamansal mantık sorgularının türetilmesine yardımcı olur 1. Bu yöntem, UPPAAL gibi TA modelleri için doğrulama araçları ile birlikte kullanılır 1.
- ATAC-seq: Bu, genomda kromatinin erişilebilirliğini analiz etmek için kullanılan yüksek verimli bir dizileme yöntemidir 35. Yöntem, Tn5 transpozazı kullanarak kromatindeki erişilebilir bölgelere etiketler ekler ve bu bölgelerin erişilebilirliğini tespit eder 35.
5 kaynaktan alınan bilgiyle göre: