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

JednostkaTytułKierownikRozpoczęcieZakończenie 
 
IIAKonfiguracje wielu krzywych wymiernych na pewnych powierzchniach algebraicznychSławomir Rams2025-01-172028-01-16Pokaż
IIAStruktura produktowa grafówPiotr Micek2024-02-262027-02-25Pokaż
IIARozszerzone orientacje i efektywne konstrukcje dla metody Alon-TarsiJakub Kozik2024-01-032027-01-02Pokaż
IIAWymiar i Boolowski wymiar częściowych porządkówPiotr Micek2023-06-202027-06-19Pokaż
IIAWewnętrzna ergodyczność układów symbolicznychJędrzej Hodor2023-06-012027-05-31Pokaż
IIATopologiczne kody korekcyjne w obliczeniach kwantowych odpornych na błędyMarcin Kozik2022-10-012026-10-31Pokaż
IIA"Problemy Spełnialności Więzów: poza przypadek skończony" Marcin Kozik2022-09-292027-09-28Pokaż
IIAObwody modularne - algorytmy i ograniczenia dolnePiotr Kawałek2022-02-072025-02-06Pokaż
IIAH-grafy - rozpoznawanie, izomorfizm i problemy pokrewneJan Derbisz2022-02-072026-02-06Pokaż
IIACharakteryzacja treści informacyjnej struktur grafowychKrzysztof Turowski2021-07-222024-07-21Pokaż
IIAProblemy spełnialności więzów dla nieskończonych struktur jednorodnych: w stronę algorytmówMichał Wrona2021-01-262026-01-25Pokaż
IIAOrganizacja 101 edycji konferencji Arbeitstagung Allgemeine Algebra (AAA 101)Marcin Kozik2020-11-012021-03-31Pokaż
IIAAlgorytmiczny NullstellensatzBartłomiej Bosek2020-07-272025-07-26Pokaż
IIAKolorowania, kliki i zbiory niezależne w klasach grafówBartosz Walczak2020-04-102026-04-09Pokaż
IIAPorządek i geometriaPiotr Micek2020-01-152023-10-14Pokaż
IIAMiary szerokości grafów: struktura i wzajemne zależnościBartosz Walczak2020-01-012021-12-31Pokaż
IIAProgramiści Przyszłości 4.0Paweł Idziak2019-09-012021-02-28Pokaż
IIAIlościowe badania teorii mnogości. Czy ZF i ZFC są asymptotycznie równoważne? Marek Zaionc2019-07-042023-04-03Pokaż
IIAStrukturalna teoria posetówPiotr Micek2019-03-012021-03-31Pokaż
IIADolne ograniczenia złożoności problemów rozwiązywalnych w czasie wielomianowymAdam Polak2018-10-012020-09-30Pokaż
IIAWokół optymalności algorytmów opartych o programowanie dynamiczneAdam Polak2018-06-292021-06-28Pokaż
IIAGeometria pewnych powierzchni K3 z wieloma krzywymi wymiernymiSławomir Rams2018-02-142022-02-13Pokaż
IIAProgramiści przyszłości 3.0Paweł Idziak2018-01-082019-05-31Pokaż
IIAOpracowanie innowacyjnych modeli matematyczno-informatycznych przeznaczonych do zastosowania w inteligentnych systemach transportowychLech Duraj2017-10-012020-09-30Pokaż
IIAJęzyk programowania dla hierarchicznych, wielordzeniowych, równoległych architektur z uzyciem ManyDSLPiotr Danilewski2017-07-262020-07-25Pokaż
IIAIlościowe aspekty złożoności obliczeniowej w rachunku lambdaMaciej Bendkowski2017-03-142020-03-13Pokaż
IIALosowe zachłanne algorytmy kolorowania hipergrafówJakub Kozik2017-02-032021-10-02Pokaż
IIAWymiar i reprezentacje częściowych porządków: złożoność obliczeniowa, ograniczenia i strukturalne własnościPiotr Micek2016-04-122020-10-11Pokaż
IIAUogólnienia problemów rozpoznawania w klasach grafów reprezentowanych geometrycznie i za pomocą porządkówTomasz Krawczyk2016-02-012019-07-31Pokaż
IIAKolorowanie geometrycznych grafów przecięć i problemy pokrewneBartosz Walczak2016-01-282019-09-27Pokaż
IIANiezmienniki numeryczne i strukturalne w algebrze, logice i problemach spełnialności więzówPaweł Idziak2015-10-012022-09-30Pokaż
IIATeoria algebraiczna dla CSP (złożoność obliczeniowa, aproksymacja i optymalizacja)Marcin Kozik2015-02-182019-02-17Pokaż
IIAAlgorytmy przydziału zadań do zasobów w warunkach niepelnej informacjiGrzegorz Guśpiel2014-09-032019-09-02Pokaż
IIANowe techniki dla algorytmów skojarzeniowych i przepływowychBartłomiej Bosek2014-07-292018-07-28Pokaż
IIAAsymptotyczne metody w rachunku lambda i logice kombinatorycznejMarek Zaionc2014-07-162017-07-15Pokaż
IIAKolonoskopia -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ż
IIAZłożoność obliczeniowa rozszerzania częściowej reprezentacji grafów przez przecięcia obiektów geometrycznych oraz zanurzenia prostoliniowe grafów w płaszczyznę o ograniczonej liczbie nachyleń krawędziBartosz Walczak2014-02-012014-07-31Pokaż
IIAKolorowanie grafów przecięć obiektów geometrycznychPiotr Micek2013-09-012015-02-28Pokaż
IIARownoległe algorytmy grafowe i ich implementacja na GPUAdam Polak2013-07-042018-07-03Pokaż
IIARozgrywany podział grafów: strategie i algorytmyBartosz Walczak2012-09-192016-03-18Pokaż
IIAKombinatoryka matroidów i kompleksów symplicjalnychMichał Lasoń2012-09-182015-09-17Pokaż
IIAKolorowanie z list on-linePiotr Micek2012-08-282016-02-27Pokaż
IIARozgrywane kolorowanie grafów i zbiorów częściowo uporządkowanychJarosław Grytczuk2012-08-282015-05-27Pokaż
IIAKolorowanie Thue'go w grachMichał Zmarz2011-12-132013-12-12Pokaż
IIADATALOG w Problemie Spełnialności WięzówMarcin Kozik2011-12-072015-06-06Pokaż
IIAAlgorytmiczny Lokalny Lemat Lovasza jako podwójne zliczanieJakub Kozik2011-12-012014-11-30Pokaż
IIASelekcja zadań on-lineJarosław Grytczuk2011-05-262013-05-25Pokaż
IIAKolorowanie grafów reprezentowanych geometrycznieJarosław Grytczuk2011-02-142014-09-28Pokaż
IIAŚledzenie poruszających się osób w monitorowanych strefachPaweł Idziak2010-09-172013-09-16Pokaż
IIAKoszty koordynacji i przepływu - Śledzenie poruszających się osób w monitorowanych strefachPaweł Idziak2010-09-172013-09-16Pokaż