Instytut Informatyki Analitycznej

Wydział Matematyki i Informatyki Uniwersytet Jagielloński

Seminaria

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

19.12.2018

Gunrock: GPU Graph Analytics

19.12.2018

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

18.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

An Approximate Restatement of the Four-Color Theorem

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