Projekty finansowane przez NCN

Metody analizy podobieństwa regionów o niskiej złożoności

Konkurs: PRELUDIUM 20 , panel: ST6

Kierownik: Patryk Jarnot

Politechnika Śląska, Wydział Automatyki, Elektroniki i Informatyki

Automaty skończone: wybrane problemy i zastosowania łączące różne obszary badań

Konkurs: OPUS 21 , panel: ST6

Kierownik: dr Marek Szykuła

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

LCRPlatform: nowe algorytmy i metody identyfikacji, kategoryzacji oraz adnotacji regionów białkowych o niskiej złożonośc...

Konkurs: OPUS 20 , panel: ST6

Kierownik: dr hab. Marcin Grynberg

Instytut Biochemii i Biofizyki Polskiej Akademii Nauk

Wpływ nadekspresji neurotrofiny BDNF na zmiany molekularne i ultrastrukturalne w złączu nerwowo-mięśniowym powstałe po c...

Konkurs: PRELUDIUM 19 , panel: NZ4

Kierownik: Anna Głowacka

Instytut Biologii Doświadczalnej im. Marcelego Nenckiego Polskiej Akademii Nauk

Problemy spełnialności więzów dla nieskończonych struktur jednorodnych: w stronę algorytmów

Konkurs: OPUS 19 , panel: ST6

Kierownik: dr Michał Wrona

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Poszukiwanie podłoża zmienności klinicznej Zespołu Delecji 22q11 z zastosowaniem genomiki funkcjonalnej i głębokiego fen...

Konkurs: OPUS 19 , panel: NZ5

Kierownik: dr hab. Beata Nowakowska

Instytut Matki i Dziecka

Złożoność dynamiczna i pseudometryki

Konkurs: POLS , panel: ST1

Kierownik: dr Maik Gröger

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Rozpoznawanie złożoności konfliktów między człowiekiem a dziką przyrodą: naturalne i antropogeniczne czynniki występowan...

Konkurs: ETIUDA 8 , panel: NZ8

Kierownik: Carlos Bautista Leon

Instytut Ochrony Przyrody Polskiej Akademii Nauk

Wokół logik modalnych - rozstrzygalność i złożoność

Konkurs: PRELUDIUM 2 , panel: ST6

Kierownik: Jakub Michaliszyn

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Układy dynamiczne Cantora i ich klasyfikacja

Konkurs: SONATA 15 , panel: ST1

Kierownik: dr Olena Karpel

Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Matematyki Stosowanej

Rozwój grafowych metod optymalizacji dyskretnej w zastosowaniach technicznych i biologicznych

Konkurs: MAESTRO 1 , panel: ST6

Kierownik: prof. Marek Kubale

Politechnika Gdańska, Wydział Elektroniki, Telekomunikacji i Informatyki

Kwantowa Informacja w Kwantowych Teoriach Pola i Holografii: Dynamika i Złożoność.

Konkurs: SONATA BIS 9 , panel: ST2

Kierownik: dr Paweł Caputa

Uniwersytet Warszawski, Wydział Fizyki

Wpływ zmiany danych wejściowych i modyfikacji parametrów algorytmu na wydajność programów kwantowych

Konkurs: OPUS 17 , panel: ST6

Kierownik: dr hab. Jarosław Miszczak

Instytut Informatyki Teoretycznej i Stosowanej Polskiej Akademii Nauk

Algebraiczne techniki zrównoleglania algorytmów

Konkurs: OPUS 17 , panel: ST6

Kierownik: dr Przemysław Uznański

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Różnorodność biologiczna jako źródło międzygatunkowej informacji socjalnej: wpływ na wybór terytorium, złożoność śpiewu ...

Konkurs: PRELUDIUM 17 , panel: NZ8

Kierownik: Sylwia Pustkowiak

Instytut Ochrony Przyrody Polskiej Akademii Nauk

DATALOG w Problemie Spełnialności Więzów

Konkurs: OPUS 1 , panel: ST6

Kierownik: dr hab. Marcin Kozik

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Wpływ całkowitego przecięcia rdzenia kręgowego oraz nadekspresji BDNF na zmiany składu podjednostek receptorów NMDA i AM...

Konkurs: PRELUDIUM 16 , panel: NZ4

Kierownik: Benjun Ji

Instytut Biologii Doświadczalnej im. Marcelego Nenckiego Polskiej Akademii Nauk

Grafowe modelowanie procesów wyszukiwania

Konkurs: OPUS 16 , panel: ST6

Kierownik: dr hab. Dariusz Dereniowski

Politechnika Gdańska, Wydział Elektroniki, Telekomunikacji i Informatyki

Podwójnie zawęźlone białka - granice złożności topologicznej białek

Konkurs: OPUS 16 , panel: NZ1

Kierownik: dr hab. Joanna Sułkowska

Uniwersytet Warszawski, Centrum Nowych Technologii Uniwersytetu Warszawskiego

Wyzwania dla automatycznego wnioskowania w rozstrzygalnych fragmentach logiki pierwszego rzędu: drzewa, porządki i licze...

Konkurs: OPUS 16 , panel: ST6

Kierownik: dr hab. Lidia Tendera

Uniwersytet Opolski, Wydział Matematyki, Fizyki i Informatyki

Program optymalności w problemach homomorfizmu grafów

Konkurs: SONATA 14 , panel: ST6

Kierownik: dr Paweł Rzążewski

Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych

Nieskończoność we wnioskowaniu o danych i wiedzy

Konkurs: SONATA BIS 8 , panel: ST6

Kierownik: dr hab. Filip Murlak

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

ASTROdust: wyczerpujący opis atenuacji pyłu w galaktykach na podstawie miliona galaktyk obserwowanych przez satelitę Her...

Konkurs: SONATA BIS 8 , panel: ST9

Kierownik: dr hab. Katarzyna Małek

Narodowe Centrum Badań Jądrowych

Zmiany w strukturze aparatu Golgiego wywołane pobudzeniem neuronów.

Konkurs: OPUS 15 , panel: NZ4

Kierownik: dr hab. Joanna Dzwonek

Instytut Biologii Doświadczalnej im. M. Nenckiego Polskiej Akademii Nauk

Zaawansowane zarządzanie humanistyczne jako pole badań masowych zjawisk technospołecznych

Konkurs: OPUS 15 , panel: HS1

Kierownik: dr hab. Rafał Maciąg

Uniwersytet Jagielloński, Wydział Zarządzania i Komunikacji Społecznej

Dynamika z punktu widzenia pojedynczych orbit: quasi-kryształy, miary niezmiennicze, złożoność

Konkurs: OPUS 15 , panel: ST1

Kierownik: dr hab. Dominik Kwietniak

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Systemy dedukcyjne oraz problem rozstrzygalności dla logik hybrydowych

Konkurs: PRELUDIUM 1 , panel: HS1

Kierownik: dr Michał Zawidzki

Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

Dowodliwość, obliczenia i kombinatoryka na niskich i średnich poziomach hierarchii Gödla

Konkurs: OPUS 14 , panel: ST1

Kierownik: dr hab. Leszek Kołodziejczyk

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Funkcjonał gęstości par i gęstości elektronowej dla efektywnego opisu powierzchni energii potencjalnej stanów wzbudzonyc...

Konkurs: OPUS 14 , panel: ST4

Kierownik: dr hab. Oleg Gritsenko

Politechnika Łódzka, Wydział Fizyki Technicznej, Informatyki i Matematyki Stosowanej

Wokół optymalności algorytmów opartych o programowanie dynamiczne

Konkurs: PRELUDIUM 14 , panel: ST6

Kierownik: dr Adam Polak

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Algorytmy optymalizacji odpornej dla problemów z niepewnymi danymi

Konkurs: SONATA 13 , panel: ST6

Kierownik: dr Maciej Drwal

Politechnika Wrocławska

Dystrybutywne systemy dedukcyjne dla logiki klasycznej i pewnych logik nieklasycznych. Teoria dowodu wspomagana wybranym...

Konkurs: SONATA BIS 7 , panel: HS1

Kierownik: dr hab. Dorota Leszczyńska-Jasion

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Psychologii i Kognitywistyki

Badania dynamiki nośników elektrycznych w pobliżu interfejsu cienkich warstw izolatora topologicznego z warstwami metali...

Konkurs: PRELUDIUM 13 , panel: ST3

Kierownik: Mateusz Weis

Uniwersytet Śląski w Katowicach, Wydział Nauk Ścisłych i Technicznych

Dyskretne problemy optymalizacyjne w warunkach niepewności - modele i algorytmy

Konkurs: OPUS 13 , panel: ST6

Kierownik: prof. Paweł Zieliński

Politechnika Wrocławska

Nowe wyzwania dla IBC

Konkurs: OPUS 13 , panel: ST1

Kierownik: prof. Henryk Woźniakowski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Złożoność i podatnosc na wierność w teoriach holograficznych

Konkurs: SONATINA 1 , panel: ST2

Kierownik: dr Mario Flory

Uniwersytet Jagielloński, Wydział Fizyki, Astronomii i Informatyki Stosowanej

Wpływ treningu ruchowego i elektrycznej stymulacji nerwu piszczelowego na organizację sieci perineuronalnych wokół alfa-...

Konkurs: PRELUDIUM 12 , panel: NZ4

Kierownik: Kamil Grycz

Instytut Biologii Doświadczalnej im. M. Nenckiego Polskiej Akademii Nauk

Jeden krok od modelu relacyjnego. Kilka podstawowych zagadek baz danych.

Konkurs: OPUS 12 , panel: ST6

Kierownik: prof. Jerzy Marcinkowski

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Complexity of Julia sets

Konkurs: POLONEZ 3 , panel: ST1

Kierownik: dr Artem Dudko

Instytut Matematyczny Polskiej Akademii Nauk

Hybrydyzacja fragmentów logiki Halperna-Shohama

Konkurs: PRELUDIUM 12 , panel: HS1

Kierownik: Przemysław Wałęga

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Szeregowanie zadań w sieciach zbierających dane

Konkurs: SONATA 12 , panel: ST6

Kierownik: dr Joanna Berlińska

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Matematyki i Informatyki

Algorytmiczna i aksjomatyczna analiza systemów punktowania komitetów

Konkurs: OPUS 11 , panel: ST6

Kierownik: dr hab. Piotr Faliszewski

Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji

W poszukiwaniu nowych logik komputerowych

Konkurs: OPUS 11 , panel: ST6

Kierownik: dr hab. Emanuel Kieroński

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Miary statystycznej złożoności i nieprzewidywalności strategii oparte na pojęciu entropii w grach ekonomicznych

Konkurs: SONATA 11 , panel: HS4

Kierownik: dr Fryderyk Falniowski

Uniwersytet Ekonomiczny w Krakowie, Kolegium Ekonomii, Finansów i Prawa

Ilościowe aspekty złożoności obliczeniowej w rachunku lambda

Konkurs: PRELUDIUM 11 , panel: ST6

Kierownik: dr Maciej Bendkowski

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Problemy separacji grafów z perspektywy złożoności parametryzowanej.

Konkurs: PRELUDIUM 10 , panel: ST6

Kierownik: Paweł Komosa

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

NIEZMIENNIKI I METODY TOPOLOGII STOSOWANEJ

Konkurs: OPUS 10 , panel: ST1

Kierownik: prof. Wacław Marzantowicz

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Matematyki i Informatyki

Algorithmic Structure Theory for Sparse Graphs

Konkurs: POLONEZ 1 , panel: ST6

Kierownik: Dipl. Inform. Sebastian Siebertz

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Funkcjonalizowane pochodnymi (S)-proliny układy cyklotrifosfazenu, ich synteza i badanie właściwości kompleksotwórczych....

Konkurs: PRELUDIUM 10 , panel: ST5

Kierownik: dr Natalia Gutowska

Uniwersytet Łódzki, Wydział Chemii

Procesy Lévy'ego o całkowicie monotonicznych skokach

Konkurs: OPUS 10 , panel: ST1

Kierownik: dr hab. Mateusz Kwaśnicki

Politechnika Wrocławska, Wydział Matematyki