Ključne besede: dependent type theory, context-free type theory, formal meta-theory, proof assistantsCelotno besedilo (datoteka, 2,36 MB) Gradivo ima več datotek! Več...
Ključne besede: artificial intelligence, neural networks, neural style transfer, meta networks, image transformation networks, content images, style imagesCelotno besedilo (datoteka, 16,90 MB)
Ključne besede: sarcopenia, sarcopenic obesity, prostate cancer, meta-analysisCelotno besedilo (datoteka, 2,20 MB) Gradivo ima več datotek! Več...
Ključne besede: meta-materiali, dodajne tehnologije, sendvič plošča, notranja struktura, udarna obremenitev, pnevmatski top, eksperimenti, simulacijeCelotno besedilo (datoteka, 16,83 MB)