Projekty finansowane przez NCN

Opracowanie modeli i metod włączania wiedzy do maszyn wektorów wspierających

Konkurs: SONATA 9 , panel: ST6

Kierownik: dr Marcin Orchel

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

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

Charakterystyka mechanizmu degradacji DNA w różnych formach programowanej śmierci komórki u roślin

Konkurs: OPUS 8 , panel: NZ3

Kierownik: dr hab. Krzysztof Leśniewicz

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Biologii

Ślepe podpisy i elektroniczne dokumenty tożsamości

Konkurs: PRELUDIUM 8 , panel: ST6

Kierownik: Lucjan Hanzlik

Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki

Model formalny diachronicznego opisu fleksji polskiej i jego komputerowa implementacja

Konkurs: OPUS 8 , panel: HS2

Kierownik: dr Marcin Woliński

Instytut Podstaw Informatyki Polskiej Akademii Nauk

Doskonalenie genetyczne pszenżyta poprzez krzyżowania oddalone z formami amfiploidalnymi Aegilops tauschiii x Secale cer...

Konkurs: PRELUDIUM 8 , panel: NZ9

Kierownik: Maciej Majka

Instytut Genetyki Roślin PAN

Kompresja, logika, języki formalne: nowe podejścia łączące różne dziedziny.

Konkurs: OPUS 8 , panel: ST6

Kierownik: dr hab. Artur Jeż

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Wybrane metody weryfikacji modelowej wykorzystujące testery SMT

Konkurs: PRELUDIUM 8 , panel: ST6

Kierownik: Agnieszka Zbrzezny

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

Automaty z wagami dla własności kwantytatywnych

Konkurs: SONATA 8 , panel: ST6

Kierownik: dr Jan Otop

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Metody wnioskowania o programach w językach wyższego rzędu

Konkurs: OPUS 8 , panel: ST6

Kierownik: prof. Witold Charatonik

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Nowe nurty w architekturze przezroczystych fasad - eksperymenty formalne, innowacje technologiczne

Konkurs: OPUS 8 , panel: ST8

Kierownik: dr hab. Marcin Brzezicki

Politechnika Wrocławska, Wydział Architektury

Logiki do przetwarzania danych i weryfikacji

Konkurs: SONATA 8 , panel: ST6

Kierownik: dr Jakub Michaliszyn

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Niezmienniki numeryczne i strukturalne w algebrze, logice i problemach spełnialności więzów

Konkurs: MAESTRO 6 , panel: ST6

Kierownik: prof. Paweł Idziak

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Formalne teorie prawdy i niestandardowe modele arytmetyki

Konkurs: PRELUDIUM 7 , panel: HS1

Kierownik: Michał Godziszewski

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

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

Konkurs: PRELUDIUM 1 , panel: HS4

Kierownik: dr Hanna Nowak

Uniwersytet Ekonomiczny w Poznaniu, Wydział Zarządzania

Zaniedbanie i samozaniedbanie osób starszych - wyzwania dla opiekunów formalnych i nieformalnych oraz dla profesjonalist...

Konkurs: OPUS 7 , panel: NZ7

Kierownik: prof. Tomasz Grodzicki

Uniwersytet Jagielloński - Collegium Medicum, Collegium Medicum, Wydział Lekarski

Reguły formalne a reguły faktyczne w badaniach ekonomicznych nad konstytucjami krajów postsocjalistycznych

Konkurs: OPUS 7 , panel: HS4

Kierownik: dr hab. Katarzyna Metelska-Szaniawska

Uniwersytet Warszawski, Wydział Nauk Ekonomicznych

Problemy komunikacyjne w bezprzewodowych sieciach sensorowych

Konkurs: PRELUDIUM 7 , panel: ST6

Kierownik: Michał Różański

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Teoria algebraiczna dla CSP (złożoność obliczeniowa, aproksymacja i optymalizacja)

Konkurs: OPUS 7 , panel: ST6

Kierownik: dr hab. Marcin Kozik

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Kryptografia bez zaufanych stron

Konkurs: SONATA 7 , panel: ST6

Kierownik: dr Tomasz Kazana

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Zagadnienia rozstrzygalności w teorii automatów na strukturach nieskończonych

Konkurs: OPUS 7 , panel: ST6

Kierownik: prof. Damian Niwiński

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Formalne podstawy kryptowalut

Konkurs: OPUS 7 , panel: ST6

Kierownik: dr hab. Stefan Dziembowski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Od niejednostajnych danych dyskowych do uwierzytelniania odpornego na wycieki

Konkurs: PRELUDIUM 7 , panel: ST6

Kierownik: Michał Zając

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Języki i Uczenie w General Game Playing

Konkurs: PRELUDIUM 7 , panel: ST6

Kierownik: Jakub Kowalski

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Formalne teorie prawdy

Konkurs: OPUS 7 , panel: HS1

Kierownik: dr hab. Cezary Cieśliński

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Algorytmika problemów o zwartej reprezentacji

Konkurs: OPUS 7 , panel: ST6

Kierownik: prof. Wojciech Rytter

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Postawy pracowników organizacji formalnych wobec zmiany organizacyjnej. Analiza socjologiczna

Konkurs: ETIUDA 2 , panel: HS6

Kierownik: Witold Nowak

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Nauk Społecznych

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

Algorytmiczna teoria uczenia się i obliczeniowe modele nabywania kompetencji poznawczych

Konkurs: OPUS 6 , panel: HS1

Kierownik: dr hab. Marcin Mostowski

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Konstruowanie specyfikacji i weryfikacja oprogramowania

Konkurs: OPUS 6 , panel: ST6

Kierownik: prof. Andrzej Tarlecki

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Przyrostowe uczenie się macierzy

Konkurs: SONATA 6 , panel: ST6

Kierownik: dr Wojciech Kotłowski

Politechnika Poznańska, Wydział Informatyki

Wyzwania semistrukturalnych baz danych

Konkurs: SONATA 6 , panel: ST6

Kierownik: dr Filip Murlak

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Asymptotyczne metody w rachunku lambda i logice kombinatorycznej

Konkurs: OPUS 6 , panel: ST6

Kierownik: prof. Marek Zaionc

Uniwersytet Jagielloński, 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

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

Nowe metody kompleksowej analizy współbieżnych systemów obliczeniowych

Konkurs: SONATA 5 , panel: ST6

Kierownik: dr Łukasz Mikulski

Uniwersytet Mikołaja Kopernika, Wydział Matematyki i Informatyki

Kombinatoryczne i teorio-informacyjne aspekty komunikacji w systemach rozproszonych.

Konkurs: PRELUDIUM 5 , panel: ST6

Kierownik: dr Marcin Kardas

Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki

Teoretyczne aspekty protokołów wyborczych

Konkurs: SONATA 5 , panel: ST6

Kierownik: dr Filip Zagórski

Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki

Formalne podejście do praktycznych problemów ukrywaniu informacji

Konkurs: OPUS 5 , panel: ST6

Kierownik: dr hab. Marek Klonowski

Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki

Granice obliczalności dla zapytań rekurencyjnych

Konkurs: PRELUDIUM 5 , panel: ST6

Kierownik: dr Filip 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 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 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 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 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 PAN

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

Konkurs: ETIUDA 1 , panel: HS5

Kierownik: Mateusz Grochowski

Instytut Nauk Prawnych PAN

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 Okólski

Uniwersytet Warszawski, Ośrodek Badań nad Migracjami

Nowe metody parametrycznej weryfikacji modelowej

Konkurs: PRELUDIUM 4 , panel: ST6

Kierownik: Michał Knapik

Instytut Podstaw Informatyki PAN

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