Projekty finansowane przez NCN

Analiza ilościowych modeli obliczeniowych

Konkurs: SONATA BIS 14 , panel: ST6

Kierownik: dr hab. Lorenzo Clemente

Uniwersytet Warszawski

Problemy Decyzyjne dla Logik ze Słabymi Formami Rekurencji

Konkurs: PRELUDIUM 23 , panel: ST6

Kierownik: Bartosz Bednarczyk

Uniwersytet Wrocławski

Złożoność borelowska ideałów na zbiorach przeliczalnych i zbiory punktów granicznych

Konkurs: OPUS 27 , panel: ST1

Kierownik: dr hab. Adam Kwela

Uniwersytet Gdański

Opracowanie technologii wytwarzania emulsji stabilizowanych za pomocą biosurfaktantów rozpuszczonych w fazie olejowej. Z...

Konkurs: OPUS 27 , panel: ST8

Kierownik: dr hab. Marcel Krzan

Instytut Katalizy i Fizykochemii Powierzchni im. Jerzego Habera Polskiej Akademii Nauk

Efektywne algorytmy dla NP-trudnych problemów w grafach planarnych

Konkurs: SONATA 19 , panel: ST6

Kierownik: dr Michał Włodarczyk

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Wpływ składu i szybkości chłodzenia na właściwości mechaniczne szkieł metalicznych o wysokiej entropii

Konkurs: SONATA BIS 13 , panel: ST3

Kierownik: dr Silvia Bonfanti

Narodowe Centrum Badań Jądrowych

Złożoność i opisywalność borelowska w analizie: od wolności do polskości

Konkurs: SONATA BIS 13 , panel: ST1

Kierownik: dr hab. Tomasz Kania

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Właściwości skrzepu fibrynowego u pacjentów z całkowitą lub częściową niewydolnością oddechową w trakcie kwalifikacji or...

Konkurs: PRELUDIUM BIS 5 , panel: NZ5

Kierownik: dr hab. Michał Ząbczyk

Uniwersytet Jagielloński, Collegium Medicum

Nowe systemy laserowe wykorzystujące złożoność nieliniowej dynamiki w światłowodach optycznych.

Konkurs: OPUS 25 , panel: ST7

Kierownik: dr Katarzyna Krupa

Instytut Chemii Fizycznej Polskiej Akademii Nauk

Automation of the Problem of Unification in Description Logics

Konkurs: POLONEZ BIS 3 , panel: ST6

Kierownik: dr hab. Barbara Joanna Morawska

Uniwersytet Opolski, Wydział Matematyki, Fizyki i Informatyki

Układy dynamiczne i złożoność opisowa

Konkurs: SONATA 18 , panel: ST1

Kierownik: dr Felipe García-Ramos

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Modele obliczeniowe w formalnej weryfikacji

Konkurs: SONATA BIS 12 , panel: ST6

Kierownik: dr Filip Mazowiecki

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

W poszukiwaniu szybszych algorytmów: Wykluczanie podpodziałów igrafów krawędziowych

Konkurs: PRELUDIUM 21 , panel: ST6

Kierownik: Jana Novotná

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Problem homomorfizmu grafów w strukturalnie ograniczonych klasach

Konkurs: PRELUDIUM 21 , panel: ST6

Kierownik: Marta Piecyk

Politechnika Warszawska

W poszukiwaniu neuronalnych korelatów pierwszego i drugiego języka. Badanie z wykorzystaniem funkcjonalnego rezonansu ma...

Konkurs: PRELUDIUM 21 , panel: HS6

Kierownik: Agata Jadwiga Wolna

Uniwersytet Jagielloński, Wydział Filozoficzny

Topologiczna teoria robotów: złożoność topologiczna K(G,1) przestrzeni i efektywnej złożoności topologicznej

Konkurs: PRELUDIUM 21 , panel: ST1

Kierownik: Arturo Espinosa Baro

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

Początki sąsiedztwa. Chronologia absolutna zespołuosadniczego w Czermnie-Czerwieniu i formowanie siępogranicza polsko-ru...

Konkurs: OPUS 22 , panel: HS3

Kierownik: dr hab. Marcin Wołoszyn

Uniwersytet Rzeszowski

Alien rule: Unveiling the mechanisms used by invasive ants to adapt to current and future environmental conditions

Konkurs: POLONEZ BIS 1 , panel: NZ8

Kierownik: dr Iago Sanmartín-Villar

Muzeum i Instytut Zoologii Polskiej Akademii Nauk

Problemy sprawiedliwego podziału oraz różnorodność rozwiązań w złożoności parametryzowanej

Konkurs: SONATA 17 , panel: ST6

Kierownik: dr Tomáš Masařík

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Problemy Spełnialności Więzów: poza przypadek skończony

Konkurs: WEAVE-UNISONO , panel: ST6

Kierownik: dr hab. Marcin Kozik

Uniwersytet Jagielloński

Koncepcja struktur kluczowych: wielopoziomowe znaczenie gniazd ptaków jako dowód na istnienie krytycznych komponentów ek...

Konkurs: OPUS 21 , panel: NZ8

Kierownik: dr hab. Michał Adam Ciach

Uniwersytet Rolniczy im. Hugona Kołłątaja w Krakowie, Wydział Leśny

Uogólnienia problemu kolorowania w grafach z zabronionymi strukturami

Konkurs: PRELUDIUM 20 , panel: ST6

Kierownik: Karolina Okrasa

Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych

Bioróżnorodność w gradiencie złożoności siedlisk: rola mikrosiedlisk nadrzewnych

Konkurs: PRELUDIUM 20 , panel: NZ9

Kierownik: Fabian Przepióra

Uniwersytet Rolniczy im. Hugona Kołłątaja w Krakowie, Wydział Leśny

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

Konkurs: PRELUDIUM 20 , panel: ST6

Kierownik: dr Patryk Paweł 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

Promując porządek w okresie zawirowań

Konkurs: Profesura Gościnna NAWA 2020 , panel: HS5

Kierownik: prof. Emilian Kavalski

Uniwersytet Jagielloński

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 Maciej 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 Ida 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 hab. Michał Maria 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 Anna 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 Leopoldo Bautista Leon

Instytut Ochrony Przyrody Polskiej Akademii Nauk

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

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

Konkurs: SONATA BIS 9 , panel: ST2

Kierownik: dr hab. Paweł Piotr 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 Adam Miszczak

Instytut Informatyki Teoretycznej i Stosowanej Polskiej Akademii Nauk

Algebraiczne techniki zrównoleglania algorytmów

Konkurs: OPUS 17 , panel: ST6

Kierownik: dr Przemysław Konstanty 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: dr Sylwia Pustkowiak

Instytut Ochrony Przyrody Polskiej Akademii Nauk

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

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