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

TytułKierownikRozpoczęcieZakończenie 
 
Język programowania dla hierarchicznych, wielordzeniowych, równoległych architektur z uzyciem ManyDSLPiotr Danilewski0000-00-002020-07-25Pokaż
Jednowymiarowe metody w geometrycznej teorii funkcjiiWłodzimierz Zwonek2009-05-062012-05-05Pokaż
Algebraiczne podejście do Problemu Spełnialności Więzów (Constraint Satisfaction Problem)Marcin Kozik2009-05-152012-05-14Pokaż
Geometria o-minimalna i jej zastosowania w analizieWiesław Pawłucki2009-05-212012-05-20Pokaż
Badanie ilościowe w logikach i teorii obliczeńMarek Zaionc2009-09-172012-03-16Pokaż
Komputerowa analiza wybranych chorób pęcherzyka żółciowego na podstawie obrazów USGMarcin Ciecholewski2009-09-302012-03-28Pokaż
On-line clique covering of interval graphsPaweł Idziak2010-03-242012-08-08Pokaż
Metody topologiczne dla rozmaitości niezmienniczychPiotr Zgliczyński2010-03-242013-03-23Pokaż
Nieliniowe zagadnienia brzegowe z rezonansemLeszek Gasiński2010-03-242013-03-23Pokaż
Porządek spektralny dla układów operatorów samosprzężonychJan Stochel2010-03-242010-12-20Pokaż
Rozwiązania okresowe wielomianowych równań różniczkowych zwyczajnychPaweł Wilczyński2010-03-292012-03-28Pokaż
Lokalna geometria odwzorowań analitycznych i wielomianowych.Janusz Adamus2010-04-092012-04-08Pokaż
Przestrzenie o maksymalnych stałych projekcjiGrzegorz Lewicki2010-04-142013-04-13Pokaż
Algorytmy on-line i gry kombinatorycznePiotr Micek2010-04-142012-10-13Pokaż
Niemetryczne struktury geometryczneBarbara Opozda2010-05-182013-05-17Pokaż
Geometria i topologia w modelach fizycznychZbigniew Błocki2010-08-162015-06-30Pokaż
Konstrukcje geometryczne za pomocą wiązek wektorowychGrzegorz Kapustka2010-09-152013-09-14Pokaż
Śledzenie poruszających się osób w monitorowanych strefachPaweł Idziak2010-09-172013-09-16Pokaż
Koszty koordynacji i przepływu - Śledzenie poruszających się osób w monitorowanych strefachPaweł Idziak2010-09-172013-09-16Pokaż
Metody algorytmiczne w topologii obliczeniowej i obliczeniowej dynamice topologicznejMarian Mrozek2010-09-232013-09-22Pokaż
Algorytmy redukcji w obliczeniowej teorii homologii i kohomologii z zastosowaniamiMarian Mrozek2010-10-142012-03-29Pokaż
Deformacje rozmaitości algebraicznych ze specjalną strukturą pełnom.Michał Kapustka2010-12-282011-12-31Pokaż
Skręcenia trójek krzywych hipereliptycznychMaciej Ulas2011-01-012011-12-31Pokaż
Kolorowanie grafów reprezentowanych geometrycznieJarosław Grytczuk2011-02-142014-09-28Pokaż
Jedyność i silna jedyność rozszerzeń minimalnychGrzegorz Lewicki2011-05-042012-05-03Pokaż
Multifalki o nośniku zwartym w przestrzeni <wzór>Wojciech Banaś2011-05-262013-05-25Pokaż
Selekcja zadań on-lineJarosław Grytczuk2011-05-262013-05-25Pokaż
Uproszczenie dowodu twierdzenia Generalized Banach Contraction Conjecture, jego uogólnienie oraz uzyskanie nowych rezultatów dotyczących odwzorowań alpha-nierozszerzającychGrzegorz Lewicki2011-05-262013-11-25Pokaż
Nierówności hemiwariacyjne - asymptotyka rozwiązań i zastosowaniaZdzisław Denkowski2011-05-262014-08-25Pokaż
Rozproszone i równoległe algorytmy w Matematyce ObliczeniowejDaniel Wilczak2011-06-192012-10-19Pokaż
Model Hierarchicznego Klasyfikatora. Fuzja nauczania nadzorowanego i nadzorowanego podziału na podproblemyIgor Podolak2011-06-272013-02-26Pokaż
Algorytmiczny Lokalny Lemat Lovasza jako podwójne zliczanieJakub Kozik2011-12-012014-11-30Pokaż
Cykle na zbiorach algebraicznych rzeczywistychWojciech Kucharz2011-12-012014-11-30Pokaż
Słabe rozwiązania równania Mone'a-Ampere na rozmaitościach Kahlerowskich i hemitowskichSławomir Kołodziej2011-12-062014-12-05Pokaż
DATALOG w Problemie Spełnialności WięzówMarcin Kozik2011-12-072015-06-06Pokaż
Uogólnienie entropii i wymiaru entropijnego oraz ich zastosowaniaJacek Tabor2011-12-082014-12-07Pokaż
Odwzorowania ekstremalne w klasie obszarów ReinhardtaPrzemysław Kliś2011-12-132012-12-12Pokaż
Kolorowanie Thue'go w grachMichał Zmarz2011-12-132013-12-12Pokaż
DMG-?- zastosowanie metod geometrii obliczenowej w analizie dynamiki bioloicznych systemów molekularnychRobert Szczelina2011-12-142014-02-13Pokaż
Ścisła numeryka oraz dowody wspierane komputerowo dla dysypatywnych równań rózniczkowych cząstkowychJacek Cyranka2011-12-142013-12-13Pokaż
Zastosowania algebr flagowych w ekstremalnej teorii grafówAndrzej Grzesik2011-12-302014-04-29Pokaż
Metryczna teoria osobliwości i jej zastosowaniaGuillaume Valette2011-12-302014-12-29Pokaż
Nieliniowe inkluzje, nierówności hemiwariacyjne z zastosowaniami w mechanice kontaktowejStanisław Migórski2012-01-012012-03-17Pokaż
Osobliwości w zespolonej geometrii analitycznejMaciej Denkowski2012-03-302014-03-29Pokaż
Nieliniowe inkluzje, nierówności hemiwariacyjne z zastosowaniami w mechanice kontaktowejStanisław Migórski2012-04-012016-03-31Pokaż
Nieliniowe inkluzje, nierówności hemiwariacyjne z zastosowaniami w mechanice kontaktowejStanisław Migórski2012-04-012016-03-31Pokaż
Analiza spektralna macierzy i jej zastosowaniaMichał Wojtylak2012-04-022015-04-01Pokaż
Skręcenia krzywych hipereliptycznych i ich zastosowania do ciągów geometrycznych na krzywychMaciej Ulas2012-04-042014-04-03Pokaż
Nierówności wielomianowe, funkcja ekstremalna i Twierdzenie Bernsteina-Walsha-SiciakaRafał Pierzchała2012-04-062014-04-05Pokaż
Topologiczne i ergodyczne własności układów dynamicznych z dodatnią entropią, shiftów rozmieszczeniowych oraz układów z uogólnioną własnością specyfikacjiDominik Kwietniak2012-04-112014-04-10Pokaż