Projekty finansowane przez NCN

Granice obliczalności dla zapytań rekurencyjnych

Konkurs: PRELUDIUM 5 , panel: ST6

Kierownik: dr Filip Aleksander Mazowiecki

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Granice automatycznej weryfikacji: nowe metody analizy systemów nieskończenie stanowych

Konkurs: OPUS 5 , panel: ST6

Kierownik: dr hab. Sławomir Grzegorz Lasota

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Rola częstotliwości formantów w akustycznej sygnalizacji wielkości ciała nadawcy u przedstawicieli rzędu żurawiowych (Gr...

Konkurs: PRELUDIUM 5 , panel: NZ8

Kierownik: dr Michał Budka

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Biologii

Algorytmy odpornej optymalizacji dyskretnej

Konkurs: OPUS 5 , panel: ST6

Kierownik: dr hab. Adam Andrzej Kasperski

Politechnika Wrocławska, Wydział Informatyki i Zarządzania

Automatyczne rozumowanie o specyfikacjach wyrażonych w prostych logikach - kwestie rozstrzygalności i złożoności

Konkurs: OPUS 5 , panel: ST6

Kierownik: dr hab. Lidia Zofia Tendera

Uniwersytet Opolski

Synchronizacja automatów i hipoteza Cerny'ego

Konkurs: PRELUDIUM 5 , panel: ST6

Kierownik: dr Marek Szykuła

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Hipoteza BDD/FC i okolice

Konkurs: PRELUDIUM 5 , panel: ST6

Kierownik: Tomasz Mirosław Gogacz

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Synteza heterocyklicznych analogów policyklicznych węglowodorów aromatycznych poprzez formalne sprzęganie oksydatywne...

Konkurs: PRELUDIUM 5 , panel: ST5

Kierownik: Kamil Skonieczny

Instytut Chemii Organicznej Polskiej Akademii Nauk

Skutki naruszenia wymogów formalnych oświadczeń w prawie prywatnym

Konkurs: ETIUDA 1 , panel: HS5

Kierownik: Mateusz Fabian Grochowski

Instytut Nauk Prawnych Polskiej Akademii Nauk

Niezakończone przejście migracyjne a starzenie się ludności w Polsce. Asynchroniczność przemian ludnościowych a zmiana f...

Konkurs: MAESTRO 4 , panel: HS4

Kierownik: prof. Marek Stanisław Okólski

Uniwersytet Warszawski, Ośrodek Badań nad Migracjami

Nowe metody parametrycznej weryfikacji modelowej

Konkurs: PRELUDIUM 4 , panel: ST6

Kierownik: Michał Józef Knapik

Instytut Podstaw Informatyki Polskiej Akademii Nauk

Scyntylatory na bazie złożonych tlenków w rożnych formach krystalicznych: porównawcze badania luminescencji oraz procesó...

Konkurs: OPUS 4 , panel: ST5

Kierownik: prof. Zorenko Yuriy

Uniwersytet Kazimierza Wielkiego, Wydział Matematyki, Fizyki i Techniki

Algorytmy aproksymacyjne bazujące na zaokrąglaniu programów liniowych

Konkurs: PRELUDIUM 4 , panel: ST6

Kierownik: Bartosz Michał Rybicki

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Algorytmy poprawy czytelności rozumowań w systemie naturalnej dedukcji

Konkurs: PRELUDIUM 4 , panel: ST6

Kierownik: dr Karol Pąk

Uniwersytet w Białymstoku, Wydział Matematyki i Informatyki

Nowe pojęcie skończoności w teorii obliczeń

Konkurs: OPUS 4 , panel: ST6

Kierownik: dr hab. Mikołaj Bojańczyk

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Podstawy teoretyczne systemów wspomagania dowodzenia zezwalających na nieograniczone definicje rekurencyjne.

Konkurs: PRELUDIUM 4 , panel: ST6

Kierownik: Łukasz Tadeusz Czajka

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Modularna semantyka operacyjna: podejście bialgebraiczne

Konkurs: SONATA BIS 2 , panel: ST6

Kierownik: dr hab. Bartosz Klin

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Automatyzacja wnioskowania konstruktywnego

Konkurs: OPUS 4 , panel: ST6

Kierownik: dr hab. Aleksy Andrzej Schubert

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

parametry modeli skończonych

Konkurs: SONATA 4 , panel: ST6

Kierownik: dr Eryk Kopczyński

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Granice rozstrzygalności w teorii automatów

Konkurs: SONATA 4 , panel: ST6

Kierownik: dr Paweł Parys

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Formalny kontekst występowania wyrażeń nominalnych i ich struktura wewnętrzna: generatywna analiza porównawcza

Konkurs: OPUS 4 , panel: HS2

Kierownik: prof. Jacek Ireneusz Witkoś

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Anglistyki

Nowe metody logiczno-matematyczne w naukach stosowanych i modelowaniu procesów podejmowania decyzji

Konkurs: OPUS 4 , panel: HS1

Kierownik: prof. Jan Hertrich-Woleński

Wyższa Szkoła Informatyki i Zarządzania z siedzibą w Rzeszowie, Wydział Administracji i Nauk Społecznych

Obliczenia rozproszone w sieciach dynamicznych

Konkurs: HARMONIA 3 , panel: ST6

Kierownik: dr hab. Tomasz Jurdziński

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Symulacja i bisymulacja dla procesów bezkontekstowych i auomatów ze stosem

Konkurs: PRELUDIUM 3 , panel: ST6

Kierownik: dr Piotr Hofman

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

"Kto wygrywa a kto przegrywa w parlamentarnych wyborach: Od formalnej teorii do analiz empirycznych"

Konkurs: SONATA BIS 1 , panel: HS6

Kierownik: dr Joshua Kjerulf Dubrow

Instytut Filozofii i Socjologii Polskiej Akademii Nauk

Identyfikacja chromosomów w gatunkach diploidalnych i tetraploidalnych kozieńców (Aegilops spp.) oraz w formach mieszańc...

Konkurs: PRELUDIUM 3 , panel: NZ9

Kierownik: Michał Tomasz Kwiatek

Instytut Genetyki Roślin Polskiej Akademii Nauk

Badania interdyscyplinarne nad wczesnośredniowiecznym (VII-X/XI wiek) warsztatem garncarskim w dorzeczu środkowej Odry

Konkurs: PRELUDIUM 3 , panel: HS3

Kierownik: dr Bartłomiej Jerzy Gruszka

Uniwersytet Wrocławski, Wydział Nauk Historycznych i Pedagogicznych

Problemy typu hierarchicznego dla automatów na nieskończonych słowach i drzewach

Konkurs: PRELUDIUM 3 , panel: ST6

Kierownik: dr Michał Paweł Skrzypczak

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Modelowanie dynamicznych zjawisk przestrzennych, łączące reprezentację statyczno-przestrzenną z dynamiczno-temporalnym k...

Konkurs: PRELUDIUM 3 , panel: HS4

Kierownik: Jaromar Marceli Łukowicz

Uniwersytet Przyrodniczy we Wrocławiu, Wydział Inżynierii Kształtowania Środowiska i Geodezji

Metody formalizacji i kryteria racjonalności wnioskowań zawodnych

Konkurs: OPUS 3 , panel: HS1

Kierownik: dr hab. Anna Wójtowicz

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Metody odkrywania procesów biznesowych i rachunek procesów dla systemów zgodnych z stylem architektonicznym REST.

Konkurs: PRELUDIUM 3 , panel: ST6

Kierownik: Andrzej Marek Stroiński

Politechnika Poznańska, Wydział Informatyki

Liczby Ramseya z udziałem grafu C_4

Konkurs: PRELUDIUM 3 , panel: ST6

Kierownik: Janusz Dybizbański

Uniwersytet Gdański, Wydział Matematyki, Fizyki i Informatyki

Prawne skutki naruszenia wymogów formalnych w polskim prawie prywatnym na tle porównawczym. Stan aktualny i perspektywy ...

Konkurs: PRELUDIUM 2 , panel: HS5

Kierownik: Mateusz Fabian Grochowski

Instytut Nauk Prawnych Polskiej Akademii Nauk

Struktura i interpretacja języków programowania w paradygmacie "dowody jako programy"

Konkurs: OPUS 2 , panel: ST6

Kierownik: dr Małgorzata Biernacka

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Problemy alokacji zadań obliczeniowych w sieciach komputerowych

Konkurs: PRELUDIUM 2 , panel: ST6

Kierownik: dr Marcin Piotr Krzywkowski

Politechnika Gdańska

Badania nad syntezą nanokompozytów opartych na nanostrukturalnych formach węgla i poliolefinach do zjawiska uniepalnieni...

Konkurs: SONATA 2 , panel: ST5

Kierownik: dr Xuecheng Chen

Zachodniopomorski Uniwersytet Technologiczny w Szczecinie, Wydział Technologii i Inżynierii Chemicznej

Kody w Z^2: rozstrzygalność i algorytmy weryfikacji, własność defektu, gęstość asymptotyczna, pokrycia, słabe kody...

Konkurs: OPUS 2 , panel: ST6

Kierownik: dr Włodzimierz Krzysztof Moczurad

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Metoda ujednoliconej wymiany reguł na poziomie semantycznym w systemach z bazą wiedzy. (SaMURaI)

Konkurs: PRELUDIUM 2 , panel: ST6

Kierownik: Krzysztof Kaczor

Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej

Rola receptorów opioidowych w doświadczalnym nadciśnieniu tętniczym. Zbadanie hipotensyjnego działania bifaliny (opioid ...

Konkurs: OPUS 2 , panel: NZ4

Kierownik: prof. Janusz Bogumił Sadowski

Instytut Medycyny Doświadczalnej i Klinicznej im. Mirosława Mossakowskiego Polskiej Akademii Nauk

Badanie mechanizmów uszkodzeń leżących u podstaw wykonania wokalnego osób bez formalnego wykształcenia muzycznego pod wz...

Konkurs: PRELUDIUM 1 , panel: HS6

Kierownik: Magdalena Iwona Berkowska

Akademia Ekonomiczno-Humanistyczna w Warszawie, Wydział Psychologii

Ludzkie aneksyny A1 i A2, wraz z formami ufosforylowanymi, jako cel molekularny metalo-zależnej hydrolizy wiązania pepty...

Konkurs: SONATA 1 , panel: NZ1

Kierownik: dr Tomasz Frączyk

Instytut Biochemii i Biofizyki Polskiej Akademii Nauk

Czy język ekonomii ogranicza jej moc wyjaśniającą? Analiza wpływu nierealistycznych założeń, matematycznego formalizmu i...

Konkurs: SONATA 1 , panel: HS4

Kierownik: dr Łukasz Hardt

Uniwersytet Warszawski, Wydział Nauk Ekonomicznych

Inteligentny hybrydowy system planowania i kompozycji usług sieciowych

Konkurs: OPUS 1 , panel: ST6

Kierownik: prof. Wojciech Penczek

Uniwersytet Przyrodniczo-Humanistyczny w Siedlcach, Wydział Nauk Ścisłych

Kobiety w związkach intymnych. Studium empiryczno-krytyczne

Konkurs: SONATA 1 , panel: HS6

Kierownik: dr Monika Grochalska

Uniwersytet Warmińsko-Mazurski w Olsztynie, Wydział Nauk Społecznych

Wpływ formalnych i nieformalnych czynników instytucjonalnych na zdolność do przetrwania nowo tworzonych przedsiębiorstw ...

Konkurs: PRELUDIUM 1 , panel: HS4

Kierownik: dr Hanna Halina Nowak

Uniwersytet Ekonomiczny w Poznaniu, Wydział Zarządzania

Wydajne algorytmy i reprezentacje w teorii języków formalnych i automatów.

Konkurs: SONATA 1 , panel: ST6

Kierownik: dr Artur Jeż

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Opracowanie oraz implementacja metod weryfikacji modelowej dla systemów czasu rzeczywistego i wieloagentowych

Konkurs: OPUS 1 , panel: ST6

Kierownik: dr hab. Bożena Woźna-Szcześniak

Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie, Wydział Matematyczno-Przyrodniczy

Zaawasowane metody wnioskowania i techniki optymalizacyjne dla problemów klasyfikacji ontologii i sprawdzenia spójności ...

Konkurs: OPUS 1 , panel: ST6

Kierownik: dr hab. Anh Linh Nguyen

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Rozwój regułowych języków zapytań stosowanych w systemach inteligentnych

Konkurs: OPUS 1 , panel: ST6

Kierownik: prof. Andrzej Piotr Szałas

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Krytyczna analiza logik deontycznych działań, ich porównanie i studium wartości poznawczej i praktycznej oraz konstruowa...

Konkurs: SONATA 1 , panel: HS1

Kierownik: dr Robert Trypuz

Towarzystwo Naukowe Katolickiego Uniwersytetu Lubelskiego Jana Pawła II