Instytut Informatyki Analitycznej

数学与计算机系 uj-lift-theme.uniwersytet-jagiellonski

Seminaria

Guess the Larger Number

21.11.2019

Subtree Isomorphism Revisited [A. Abboud et al.]

21.11.2019

Edge Coloring Signed Graphs

21.11.2019

Efficient enumeration of non-isomorphic interval graphs

20.11.2019

Unifying Logical and Statistical AI Pedro by Domingos, Daniel Lowd, Stanley Kok, Aniruddh Nath, Hoifung Poon Matthew Richardson and Parag Singla

20.11.2019

Smaller Universal Targets for Homomorphisms of Edge-Colored Graphs

13.11.2019

Bohm's Theorem, Church's Delta, Numeral Systems, and Ershov Morphisms by Richard Statman and Henk Barendregt

13.11.2019

Faster Algorithms for All Pairs Non-Decreasing Paths Problem [Duan, Jin, Wu]

07.11.2019

A Price-Based Iterative Double Auction for Charger Sharing Markets

07.11.2019

Compaction of Church Numerals by Isamu Furuya and Takuya Kida

06.11.2019