LORA videozapisi (96)

01:12:45

Sebastijan Horvat: Eliminacija reza za IL upotrebom koalgeb. translacije dokaza

Obrazovanje

50

00:51:09

Luka Ivanković: Multiagentski sustav za rekonstrukciju LaTeX PDF-ova

Obrazovanje

54

02:15:20

Zvonimir Šikić: Pojam funkcije kroz povijest matematike i implikacije u edu...

Obrazovanje

129

00:51:38

Matej Mihelčić: Lokalizirano moralno planiranje korištenjem linearne tempo...

Obrazovanje

126

00:39:09

Teo Šestak: Opći okviri i algebarska semantika za logike interpretabilnosti

Obrazovanje

134

00:55:49

Goran Ivanković: Memorijski učinkovito treniranje velikih modela: LORA

Obrazovanje

142

01:15:57

Sophie Weber: Formalna verifikacija zaštite integriteta SEV-SNP tehnologije

Obrazovanje

147

01:39:51

Zvonimir Šikić: Prikaz teksta buduće monografije “Logika i vjerojatnost...

Obrazovanje

158

01:53:10

Zvonimir Šikić: Prikaz teksta buduće monografije “Logika i vjerojatnost”

Ostalo

104

01:04:14

Ivica Kičić: Math Online Judge - web platforma za rješavanje matem. zadataka

Obrazovanje

96

01:48:16

Zvonimir Šikić: Aritmetizacija analize

Obrazovanje

293

00:41:16

Teo Šestak: Algebarska semantika za logike interpretabilnosti

Obrazovanje

210