Instytut Informatyki Analitycznej

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

Seminaria

Gunrock: GPU Graph Analytics

19.12.2018

Programming Languages Capturing Complexity Classes by LARS KRISTIANSEN and PAUL J. VODA

19.12.2018

Lovasz meets Weisfeiler and Leman (by Dell, Grohe and Rattan)

18.12.2018

An Approximate Restatement of the Four-Color Theorem

13.12.2018

Space-Efficient Algorithms for Longest Increasing Subseqence

13.12.2018

EERTREE: An Efficient Data Structure for Processing Palindromes in Strings

13.12.2018

Characterizing Polynomial and Exponential Complexity Classes in Elementary Lambda-Calculus by Patrick Baillot, Erika De Benedetti, Simona Ronchi Della Rocca

12.12.2018

Complexity of the quorum intersection property of the Federated Byzantine Agreement System

12.12.2018

Snowflake to Avalanche: A Novel Metastable Consensus Protocol Family for Cryptocurrencies

06.12.2018

THE SAFE LAMBDA CALCULUS by WILLIAM BLUM AND LUKE ONG

05.12.2018