Keywords: dependent type theory, context-free type theory, formal meta-theory, proof assistantsFull text (file, 2,36 MB) This document has more files! More...
Keywords: artificial intelligence, neural networks, neural style transfer, meta networks, image transformation networks, content images, style imagesFull text (file, 16,90 MB)
Keywords: sarcopenia, sarcopenic obesity, prostate cancer, meta-analysisFull text (file, 2,20 MB) This document has more files! More...
Keywords: meta-materiali, dodajne tehnologije, sendvič plošča, notranja struktura, udarna obremenitev, pnevmatski top, eksperimenti, simulacijeFull text (file, 16,83 MB)