| Algebraiczne podejście do Problemu Spełnialności Więzów (Constraint Satisfaction Problem) | Marcin Kozik | 2009-05-15 | 2012-05-14 | Pokaż |
| Algebry flagowe dla grafów zorientowanych | Andrzej Grzesik | 2017-01-27 | 2020-01-26 | Pokaż |
| Algorytmiczne aspekty synchronizacji | Adam Roman | 2016-02-02 | 2019-02-01 | Pokaż |
| Algorytmiczny Lokalny Lemat Lovasza jako podwójne zliczanie | Jakub Kozik | 2011-12-01 | 2014-11-30 | Pokaż |
| Algorytmy obliczania homologii persystentnych dla odwzorowań | Grzegorz Jabłoński | 2014-04-01 | 2016-03-31 | Pokaż |
| Algorytmy on-line i gry kombinatoryczne | Piotr Micek | 2010-04-14 | 2012-10-13 | Pokaż |
| Algorytmy przydziału zadań do zasobów w warunkach niepelnej informacji | Grzegorz Guśpiel | 2014-09-03 | 2018-09-02 | Pokaż |
| Algorytmy redukcji w obliczeniowej teorii homologii i kohomologii z zastosowaniami | Marian Mrozek | 2010-10-14 | 2012-03-29 | Pokaż |
| Analiza spektralna macierzy i jej zastosowania | Michał Wojtylak | 2012-04-02 | 2015-04-01 | Pokaż |
| Arytmetyczne własności binarnych wielomianów partycji | Maciej Ulas | 2017-09-25 | 2018-09-25 | Pokaż |
| Arytmetyczne własności układów dynamicznych w dodatniej charakterystyce | Jakub Byszewski | 2017-07-26 | 2019-07-25 | Pokaż |
| Asymptotyczne metody w rachunku lambda i logice kombinatorycznej | Marek Zaionc | 2014-07-16 | 2017-07-15 | Pokaż |
| Badanie ilościowe w logikach i teorii obliczeń | Marek Zaionc | 2009-09-17 | 2012-03-16 | Pokaż |
| Budowanie algorytmów grupowania danych w oparciu o uogólnione rozkłady normalne oraz rozkłady nie gaussowskie | Przemysław Spurek | 2016-06-13 | 2019-06-12 | Pokaż |
| Cykle na zbiorach algebraicznych rzeczywistych | Wojciech Kucharz | 2011-12-01 | 2014-11-30 | Pokaż |
| DATALOG w Problemie Spełnialności Więzów | Marcin Kozik | 2011-12-07 | 2015-06-06 | Pokaż |
| Deformacje rozmaitości algebraicznych ze specjalną strukturą pełnom. | Michał Kapustka | 2010-12-28 | 2011-12-31 | Pokaż |
| Detektory i deskryptory punktów charakterystycznych oparte na informacji topologicznej | Bartosz Zieliński | 2016-06-14 | 2019-06-13 | Pokaż |
| DMG-?- zastosowanie metod geometrii obliczenowej w analizie dynamiki bioloicznych systemów molekularnych | Robert Szczelina | 2011-12-14 | 2014-02-13 | Pokaż |
| Dodatkowa informacja w grupowaniu danych i zagadnieniach pokrewnych | Marek Śmieja | 2017-01-26 | 2020-01-25 | Pokaż |
| Efektywne techniki komunikacji wielowątkowej | Robert Obryk | 2012-06-06 | 2014-06-05 | Pokaż |
| Entorpia odwzorowań przestrzeni niezwartych, dzialań grup soficznych oraz pseudogrup holonomii foliacji | Martha Łącka | 2013-07-16 | 2015-07-15 | Pokaż |
| Ergodyczne i topologiczne własności układów dynamicznych z uogólnioną specyfikacją | Martha Łącka | 2016-07-07 | 2018-07-06 | Pokaż |
| Funkcje i metryki holomorficznie niezmiennicze w geometrycznej teorii funkcji | Tomasz Warszawski | 2013-04-11 | 2015-04-10 | Pokaż |
| Geometria i topologia w modelach fizycznych | Zbigniew Błocki | 2010-08-16 | 2015-06-30 | Pokaż |
| Geometria o-minimalna i jej zastosowania w analizie | Wiesław Pawłucki | 2009-05-21 | 2012-05-20 | Pokaż |
| Geometria rozmaitości Calabi-Yau i wiązek Grassmanna | Sławomir Cynk | 2015-02-02 | 2018-02-01 | Pokaż |
| Geometria struktur statycznych | Barbara Opozda | 2014-08-21 | 2017-08-20 | Pokaż |
| Geometria zbiorów i odwzorowań z osobliwościami | Guillaume Valette | 2015-01-27 | 2018-01-26 | Pokaż |
| Geometryczna teoria funkcji i jej zastosowania w dynamice operatorowej | Sylwester Zając | 2013-04-11 | 2015-08-10 | Pokaż |
| Geometryczne metody w analizie zespolonej | Armen Edigarian | 2012-08-06 | 2016-01-05 | Pokaż |
| Ilościowe aspekty złożoności obliczeniowej w rachunku lambda | Maciej Bendkowski | 2017-03-14 | 2019-03-13 | Pokaż |
| Inkluzje nieliniowe, nierówności hemiwariacyjne z zastosowaniami w mechanice kontaktowej | Stanisław Migórski | 2013-04-01 | 2016-03-31 | Pokaż |
| Jednowymiarowe metody w geometrycznej teorii funkcjii | Włodzimierz Zwonek | 2009-05-06 | 2012-05-05 | Pokaż |
| Jedyność i silna jedyność rozszerzeń minimalnych | Grzegorz Lewicki | 2011-05-04 | 2012-05-03 | Pokaż |
| Klastrowanie w przestrzeniach metrycznych | Marek Śmieja | 2013-07-12 | 2015-07-11 | Pokaż |
| Kody w Z^2: rozstrzygalność i algorytmy weryfikacji, własność defektu, gęstość asymptomatyczna, pokrycia, słabe kody | Włodzimierz Moczurad | 2012-08-28 | 2014-09-27 | Pokaż |
| Kolonoskopia -Innowacyjna diagnostyka umożliwiająca personalizacje procesu leczenia poprzez opracowanie rozwiązania wspomagające badania kolonoskopowe, podnoszącego wykrywalność stanów przedrakowych nowotworów jelita grubego o niskim stadium zaawansowania | Marek Zaionc | 2014-07-01 | 2017-12-31 | Pokaż |
| Kolorowanie geometrycznych grafów przecięć i problemy pokrewne | Bartosz Walczak | 2016-01-28 | 2019-01-27 | Pokaż |
| Kolorowanie grafów przecięć obiektów geometrycznych | Piotr Micek | 2013-09-01 | 2015-02-28 | Pokaż |
| Kolorowanie grafów reprezentowanych geometrycznie | Jarosław Grytczuk | 2011-02-14 | 2014-09-28 | Pokaż |
| Kolorowanie Thue'go w grach | Michał Zmarz | 2011-12-13 | 2013-12-12 | Pokaż |
| Kolorowanie z list on-line | Piotr Micek | 2012-08-28 | 2016-02-27 | Pokaż |
| Kombinatoryka matroidów i kompleksów symplicjalnych | Michał Lasoń | 2012-09-18 | 2015-09-17 | Pokaż |
| Kompakty Banacha-Mazura | Tomasz Kobos | 2015-07-20 | 2017-07-19 | Pokaż |
| Komputerowa analiza wybranych chorób pęcherzyka żółciowego na podstawie obrazów USG | Marcin Ciecholewski | 2009-09-30 | 2012-03-28 | Pokaż |
| Konstrukcje geometryczne za pomocą wiązek wektorowych | Grzegorz Kapustka | 2010-09-15 | 2013-09-14 | Pokaż |
| Koszty koordynacji i przepływu - Śledzenie poruszających się osób w monitorowanych strefach | Paweł Idziak | 2010-09-17 | 2013-09-16 | Pokaż |
| Lokalizacja ekstremalnych w gładkich obszarach. Zastosowania w Dynamice Zaspolonej i problemie Nevanlinny-Picka | Łukasz Kosiński | 2013-06-26 | 2015-07-25 | Pokaż |
| Lokalna geometria odwzorowań analitycznych i wielomianowych. | Janusz Adamus | 2010-04-09 | 2012-04-08 | Pokaż |
