Projekty finansowane przez NCN

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 PAN

Maszyny abstrakcyjne dla języków programowania: podejście derywacyjne

Konkurs: OPUS 17 , panel: ST6

Kierownik: prof. Witold Charatonik

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Efekty algebraiczne: kompozycja i koindukcja

Konkurs: SONATA 14 , panel: ST6

Kierownik: dr Maciej Adam Piróg

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Algorytmiczne modele predykcji: własności formalne i konsekwencje filozoficzne

Konkurs: OPUS 16 , panel: HS1

Kierownik: dr Dariusz Kalociński

Instytut Podstaw Informatyki PAN

Ilościowe badania teorii mnogości. Czy ZF i ZFC są asymptotycznie równoważne?

Konkurs: OPUS 16 , panel: ST6

Kierownik: prof. Marek Zaionc

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

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 Zofia Tendera

Uniwersytet Opolski, Wydział Nauk Społecznych, 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 Marek Murlak

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Uczenie maszynowe i automatyczne dowodzenie twierdzeń

Konkurs: OPUS 15 , panel: ST6

Kierownik: dr hab. Henryk Michalewski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Głębokie sieci neuronowe w automatycznym dowodzeniu twierdzeń

Konkurs: PRELUDIUM 15 , panel: ST6

Kierownik: Bartosz Paweł Piotrowski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Zastosowanie algorytmiki w kontekście wybranych zagadnień społecznych i ekonomicznych.

Konkurs: ETIUDA 6 , panel: ST6

Kierownik: Krzysztof Sornat

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Programowanie dynamiczne z gwarancjami

Konkurs: ETIUDA 6 , panel: ST6

Kierownik: Karol Zbigniew Węgrzycki

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Efektywne obliczenia w predykatywnej matematyce

Konkurs: SONATINA 2 , panel: ST6

Kierownik: dr Michał Roman Przybyłek

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Strukturalna teoria posetów

Konkurs: UWERTURA 2 , panel: ST1

Kierownik: dr Piotr Micek

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Dolne ograniczenia złożoności problemów rozwiązywalnych w czasie wielomianowym

Konkurs: ETIUDA 6 , panel: ST6

Kierownik: dr Adam Teodor Polak

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Wydajne algorytmy i warunkowe ograniczenia dolne dla problemów na drzewach

Konkurs: PRELUDIUM 14 , panel: ST6

Kierownik: Bartłomiej Dudek

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Automatyczna analiza systemów współbieżnych

Konkurs: OPUS 14 , panel: ST6

Kierownik: prof. Sławomir Grzegorz Lasota

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Specyfikacje ilościowe: uczenie się, algorytmy i zastosowania

Konkurs: OPUS 14 , panel: ST6

Kierownik: dr Jan Otop

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

Zrozumieć rekursję

Konkurs: SONATA 13 , panel: ST6

Kierownik: dr Lorenzo Clemente

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Algorytmy optymalizacji odpornej dla problemów z niepewnymi danymi

Konkurs: SONATA 13 , panel: ST6

Kierownik: dr Maciej Drwal

Politechnika Wrocławska

Filozoficzna i formalna analiza jakościowych logik przestrzeni

Konkurs: SONATA 13 , panel: HS1

Kierownik: dr Adam Trybus

Uniwersytet Zielonogórski, Wydział Humanistyczny

Grafy dynamiczne; spójność, przepływy i kolorowanie.

Konkurs: SONATA 13 , panel: ST6

Kierownik: dr Anna Zych-Pawlewicz

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Wybrane zagadnienia kompresji gramatykowej

Konkurs: SONATA BIS 7 , panel: ST6

Kierownik: dr hab. Artur Jeż

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Metodyka projektowania sterowników systemów robotycznych oparta na formalnej specyfikacji

Konkurs: PRELUDIUM 13 , panel: ST7

Kierownik: Maksym Figat

Politechnika Warszawska, Wydział Elektroniki i Technik Informacyjnych

Wydajność, odporność i bezpieczeństwo systemów rozproszonych dla bardziej realistycznych modeli adwersarzy.

Konkurs: OPUS 13 , panel: ST6

Kierownik: prof. Marek Dariusz Klonowski

Politechnika Wrocławska

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

Konkurs: OPUS 13 , panel: ST6

Kierownik: prof. Paweł Zieliński

Politechnika Wrocławska

Klasyczne problemy w teorii automatów skończonych: nowe podejścia, warianty i zastosowania

Konkurs: OPUS 13 , panel: ST6

Kierownik: dr Marek Szykuła

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Projektowanie algorytmów rozproszonych dla silnie obciążonych sieci

Konkurs: OPUS 13 , panel: ST6

Kierownik: prof. Tomasz Jurdziński

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Badania formalnych cech świadomych reprezentacji

Konkurs: PRELUDIUM 13 , panel: HS6

Kierownik: Simon Hviid Del Pin

Uniwersytet Jagielloński, Wydział Filozoficzny

Niestandardowe modele arytmetyki i formalne teorie prawdy

Konkurs: ETIUDA 5 , panel: HS1

Kierownik: Michał Tomasz Godziszewski

Uniwersytet Warszawski, Wydział Filozofii

Konkurs: POLONEZ 3 , panel: ST6

Kierownik: dr Maciej Adam Piróg

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Skalowalne metody wnioskowania o imperatywnych programach współbieżnych

Konkurs: SONATA 12 , panel: ST6

Kierownik: dr Filip Sieczkowski

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

Automatyzacja syntezy sterowania dla systemów robotów mobilnych

Konkurs: OPUS 12 , panel: ST7

Kierownik: dr hab. Elżbieta Katarzyna Roszkowska

Politechnika Wrocławska

Zbadanie mechanizmu oddziaływania skrobi z reaktywnymi formami tlenu, generowanymi w trakcie jej modyfikacji innowacyjny...

Konkurs: OPUS 12 , panel: NZ9

Kierownik: dr hab. Magdalena Krystyna Kurdziel

Uniwersytet Jagielloński, Wydział Chemii

Entropia w sieciach złożonych

Konkurs: OPUS 12 , panel: ST6

Kierownik: dr hab. Mikołaj Aleksander Morzy

Politechnika Poznańska, Wydział Informatyki i Telekomunikacji

Konkurs: POLONEZ 3 , panel: HS2

Kierownik: dr Asiya Bulatova

Uniwersytet Warszawski, Wydział Polonistyki

Pomiar poziomu stresu oksydacyjnego poprzez fluorescencyjną detekcję adduktów pułapek spinowych z reaktywnymi formami az...

Konkurs: SONATA 12 , panel: ST4

Kierownik: dr Krzysztof Michał Żamojć

Uniwersytet Gdański, Wydział Chemii

Algorytmy uczenia przyrostowego dla złożonych problemów predykcyjnych

Konkurs: SONATA BIS 6 , panel: ST6

Kierownik: dr Wojciech Kotłowski

Politechnika Poznańska, Wydział Informatyki i Telekomunikacji

Pojęciowe, formalne i praktyczne aspekty kryminologicznych i prawniczych zastosowań narzędzi probabilistycznych.

Konkurs: SONATA BIS 6 , panel: HS1

Kierownik: dr hab. Rafał Urbaniak

Uniwersytet Gdański, Wydział Nauk Społecznych

Własności ilościowe dla schematów rekurencyjnych wyższego rzędu

Konkurs: SONATA BIS 6 , panel: ST6

Kierownik: dr hab. Paweł Parys

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Własności arytmetyczne grup formalnych

Konkurs: OPUS 11 , panel: ST1

Kierownik: dr Mariia Vlasenko

Instytut Matematyczny Polskiej Akademii Nauk

Metody wnioskowania gramatycznego w klasyfikacji białek amyloidowych

Konkurs: OPUS 11 , panel: ST6

Kierownik: dr hab. Olgierd Ryszard Unold

Politechnika Wrocławska

Obliczenia symboliczne na obiektach definiowalnych w logice pierwszego rzędu

Konkurs: OPUS 11 , panel: ST6

Kierownik: prof. Sławomir Grzegorz Lasota

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

Granice baz danych

Konkurs: SONATA 11 , panel: ST6

Kierownik: dr Szymon Abram Toruńczyk

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Problem separacji w teorii automatów

Konkurs: SONATA 11 , panel: ST6

Kierownik: dr Wojciech Karol Czerwiński

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Nowe podejście w fotogeneracji tlenu singletowego: nanomateriały oparte na formach węglowych

Konkurs: SONATA 11 , panel: ST5

Kierownik: dr Agata Magdalena Blacha-Grzechnik

Politechnika Śląska, Wydział Chemiczny

W poszukiwaniu nowych logik komputerowych

Konkurs: OPUS 11 , panel: ST6

Kierownik: dr hab. Emanuel Grzegorz Kieroński

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki