Elif Üsküplü | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Asha Rao
4 publications
Diane Donovan
1 publication
E. Ş. Yazıcı
1 publication

research

∙ 09/17/2023

Formalizing two-level type theory with cofibrant exo-nat

This study provides some results about two-level type-theoretic notions ...

0 Elif Üsküplü, et al. ∙

research

∙ 05/01/2022

QC-LDPC Codes from Difference Matrices and Difference Covering Arrays

We give a framework for generalizing LDPC code constructions that use Tr...

0 Diane Donovan, et al. ∙