Granty (realizowane na Wydziale Matematyki i Informatyki UJ od maja 2009 roku)

TytułKierownikRozpoczęcieZakończenie 
 
Algebraiczne podejście do Problemu Spełnialności Więzów (Constraint Satisfaction Problem)Marcin Kozik2009-05-152012-05-14Pokaż
Algebry flagowe dla grafów zorientowanychAndrzej Grzesik2017-01-272020-01-26Pokaż
Algorytmiczne aspekty synchronizacjiAdam Roman2016-02-022019-02-01Pokaż
Algorytmiczny Lokalny Lemat Lovasza jako podwójne zliczanieJakub Kozik2011-12-012014-11-30Pokaż
Algorytmy obliczania homologii persystentnych dla odwzorowańGrzegorz Jabłoński2014-04-012016-03-31Pokaż
Algorytmy on-line i gry kombinatorycznePiotr Micek2010-04-142012-10-13Pokaż
Algorytmy przydziału zadań do zasobów w warunkach niepelnej informacjiGrzegorz Guśpiel2014-09-032018-09-02Pokaż
Algorytmy redukcji w obliczeniowej teorii homologii i kohomologii z zastosowaniamiMarian Mrozek2010-10-142012-03-29Pokaż
Analiza spektralna macierzy i jej zastosowaniaMichał Wojtylak2012-04-022015-04-01Pokaż
Arytmetyczne własności binarnych wielomianów partycjiMaciej Ulas2017-09-262018-09-25Pokaż
Arytmetyczne własności układów dynamicznych w dodatniej charakterystyceJakub Byszewski2017-07-262019-07-25Pokaż
Asymptotyczne metody w rachunku lambda i logice kombinatorycznejMarek Zaionc2014-07-162017-07-15Pokaż
Badanie ilościowe w logikach i teorii obliczeńMarek Zaionc2009-09-172012-03-16Pokaż
Budowanie algorytmów grupowania danych w oparciu o uogólnione rozkłady normalne oraz rozkłady nie gaussowskiePrzemysław Spurek2016-06-132019-06-12Pokaż
Cykle na zbiorach algebraicznych rzeczywistychWojciech Kucharz2011-12-012014-11-30Pokaż
DATALOG w Problemie Spełnialności WięzówMarcin Kozik2011-12-072015-06-06Pokaż
Deformacje rozmaitości algebraicznych ze specjalną strukturą pełnom.Michał Kapustka2010-12-282011-12-31Pokaż
Detektory i deskryptory punktów charakterystycznych oparte na informacji topologicznejBartosz Zieliński2016-06-142019-06-13Pokaż
DMG-?- zastosowanie metod geometrii obliczenowej w analizie dynamiki bioloicznych systemów molekularnychRobert Szczelina2011-12-142014-02-13Pokaż
Dodatkowa informacja w grupowaniu danych i zagadnieniach pokrewnychMarek Śmieja2017-01-262020-01-25Pokaż
Efektywne techniki komunikacji wielowątkowejRobert Obryk2012-06-062014-06-05Pokaż
Entorpia odwzorowań przestrzeni niezwartych, dzialań grup soficznych oraz pseudogrup holonomii foliacjiMartha Łącka2013-07-162015-07-15Pokaż
Ergodyczne i topologiczne własności układów dynamicznych z uogólnioną specyfikacjąMartha Łącka2016-07-072018-07-06Pokaż
Funkcje i metryki holomorficznie niezmiennicze w geometrycznej teorii funkcjiTomasz Warszawski2013-04-112015-04-10Pokaż
Geometria i topologia w modelach fizycznychZbigniew Błocki2010-08-162015-06-30Pokaż
Geometria o-minimalna i jej zastosowania w analizieWiesław Pawłucki2009-05-212012-05-20Pokaż
Geometria rozmaitości Calabi-Yau i wiązek GrassmannaSławomir Cynk2015-02-022018-02-01Pokaż
Geometria struktur statycznychBarbara Opozda2014-08-212017-08-20Pokaż
Geometria zbiorów i odwzorowań z osobliwościamiGuillaume Valette2015-01-272018-01-26Pokaż
Geometryczna teoria funkcji i jej zastosowania w dynamice operatorowejSylwester Zając2013-04-112015-08-10Pokaż
Geometryczne metody w analizie zespolonejArmen Edigarian2012-08-062016-01-05Pokaż
Ilościowe aspekty złożoności obliczeniowej w rachunku lambdaMaciej Bendkowski2017-03-142019-03-13Pokaż
Inkluzje nieliniowe, nierówności hemiwariacyjne z zastosowaniami w mechanice kontaktowejStanisław Migórski2013-04-012016-03-31Pokaż
Jednowymiarowe metody w geometrycznej teorii funkcjiiWłodzimierz Zwonek2009-05-062012-05-05Pokaż
Jedyność i silna jedyność rozszerzeń minimalnychGrzegorz Lewicki2011-05-042012-05-03Pokaż
Język programowania dla hierarchicznych, wielordzeniowych, równoległych architektur z uzyciem ManyDSLPiotr Danilewski0000-00-002020-07-25Pokaż
Klastrowanie w przestrzeniach metrycznychMarek Śmieja2013-07-122015-07-11Pokaż
Kody w Z^2: rozstrzygalność i algorytmy weryfikacji, własność defektu, gęstość asymptomatyczna, pokrycia, słabe kodyWłodzimierz Moczurad2012-08-282014-09-27Pokaż
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 zaawansowaniaMarek Zaionc2014-07-012017-12-31Pokaż
Kolorowanie geometrycznych grafów przecięć i problemy pokrewneBartosz Walczak2016-01-282019-01-27Pokaż
Kolorowanie grafów przecięć obiektów geometrycznychPiotr Micek2013-09-012015-02-28Pokaż
Kolorowanie grafów reprezentowanych geometrycznieJarosław Grytczuk2011-02-142014-09-28Pokaż
Kolorowanie Thue'go w grachMichał Zmarz2011-12-132013-12-12Pokaż
Kolorowanie z list on-linePiotr Micek2012-08-282016-02-27Pokaż
Kombinatoryka matroidów i kompleksów symplicjalnychMichał Lasoń2012-09-182015-09-17Pokaż
Kompakty Banacha-MazuraTomasz Kobos2015-07-202017-07-19Pokaż
Komputerowa analiza wybranych chorób pęcherzyka żółciowego na podstawie obrazów USGMarcin Ciecholewski2009-09-302012-03-28Pokaż
Konstrukcje geometryczne za pomocą wiązek wektorowychGrzegorz Kapustka2010-09-152013-09-14Pokaż
Koszty koordynacji i przepływu - Śledzenie poruszających się osób w monitorowanych strefachPaweł Idziak2010-09-172013-09-16Pokaż
Królewskie miary niehiperboliczne oraz zastosowania pseudometryk Feldmana-Katoka i BesicovitchaMartha Łącka2017-10-022018-09-30Pokaż