Projekty finansowane przez NCN

Sieci: Podejście Wielodyscyplinarne

Konkurs: OPUS 7 , panel: ST6

Kierownik: prof. Krzysztof Rafał Apt

Uniwersytet Warszawski, WYDZIAŁ MATEMATYKI, INFORMATYKI I MECHANIKI

Podejście interaktywne w dynamicznych procesach decyzyjnych

Konkurs: OPUS 6 , panel: HS4

Kierownik: prof. Tadeusz Trzaskalik

Uniwersytet Ekonomiczny w Katowicach, Wydział Informatyki i Komunikacji

Biomarkery programowania płodowego a zdrowie i rozrodczość kobiet

Konkurs: PRELUDIUM 6 , panel: NZ7

Kierownik: Magdalena Klimek

Uniwersytet Jagielloński- Collegium Medicum, Collegium Medicum; Wydział Nauk o Zdrowiu

Konstruowanie specyfikacji i weryfikacja oprogramowania

Konkurs: OPUS 6 , panel: ST6

Kierownik: prof. Andrzej Tarlecki

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Problemy decyzyjne przy sterowaniu przepływami w globalnych sieciach dostaw produktów wysokiej technologii.

Konkurs: OPUS 6 , panel: ST8

Kierownik: prof. Tadeusz Sawik

Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Zarządzania

Modele i algorytmy dla pewnej klasy dyskretno-ciągłych problemów rozdziału zasobów

Konkurs: OPUS 6 , panel: ST6

Kierownik: dr hab. Grzegorz Waligóra

Politechnika Poznańska, Wydział Informatyki

Sekwencyjne metody Monte Carlo - modyfikacje i zastosowanie do modelowania procesów stochastycznych

Konkurs: SONATA 6 , panel: HS4

Kierownik: dr Katarzyna Brzozowska-Rup

POLITECHNIKA ŚWIĘTOKRZYSKA, Wydział Zarządzania i Modelowania Komputerowego

Asymptotyczne metody w rachunku lambda i logice kombinatorycznej

Konkurs: OPUS 6 , panel: ST6

Kierownik: prof. Marek Zaionc

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

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

Programowana śmierć komórki jako kluczowy proces podczas wzrostu i starzenia organów roślinnych na przykładzie Populus t...

Konkurs: SONATA BIS 2 , panel: NZ9

Kierownik: dr hab. Agnieszka Maria Bagniewska-Zadworna

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Biologii

Rozwój izolowanego bielma: problemy morfogenezy i gromadzenia skrobi.

Konkurs: OPUS 4 , panel: NZ9

Kierownik: dr hab. Marzena Lidia Popielarska-Konieczna

Uniwersytet Jagielloński, Wydział Biologii

Algorytmy dokładne i przybliżone symulacji stochastycznej wielowymiarowej

Konkurs: SONATA 4 , panel: ST6

Kierownik: dr Anna Wawrzyńczak-Szaban

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

Modele, języki i systemy do prowadzenia niezawodnych i łatwo skalowalnych obliczeń rozproszonych

Konkurs: SONATA 4 , panel: ST6

Kierownik: dr Jacek Andrzej Sroka

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Poszukiwanie fal grawitacyjnych z rotujących gwiazd neutronowych przy użyciu sprzętowych akceleratorów obliczeń

Konkurs: OPUS 4 , panel: ST9

Kierownik: dr hab. Michał Bejger

Centrum Astronomiczne im. Mikołaja Kopernika PAN

Automatyzacja wnioskowania konstruktywnego

Konkurs: OPUS 4 , panel: ST6

Kierownik: dr hab. Aleksy Andrzej Schubert

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Metody automatycznego programowania z wykorzystaniem podejść semantycznych

Konkurs: PRELUDIUM 4 , panel: ST6

Kierownik: dr Tomasz Paweł Pawlak

Politechnika Poznańska, Wydział Informatyki

Sterowanie współbieżnością i odporność na awarie dla rozproszonej pamięci transakcyjnej

Konkurs: HARMONIA 3 , panel: ST6

Kierownik: dr hab. Paweł Tomasz Wojciechowski

Politechnika Poznańska, Wydział Informatyki

Przetwarzanie aerozolu przez chmury - budowa wszechstronnego zaprogramowanego obiektowo narzędzia do symulacji numeryczn...

Konkurs: HARMONIA 3 , panel: ST10

Kierownik: prof. Hanna Pawłowska

Uniwersytet Warszawski, Wydział Fizyki

Eksperymentalne i symulacyjne badania zaawansowanego sterowania stymulacją procesów biotechnologicznych

Konkurs: OPUS 3 , panel: ST7

Kierownik: prof. Mieczysław Metzger

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

Kompleksy nukleoproteinowe w replikacji DNA, proteolizie i plazmidowych systemach programowanej śmierci komórki

Konkurs: MAESTRO 2 , panel: NZ1

Kierownik: prof. Igor Piotr Konieczny

Uniwersytet Gdański, Międzyuczelniany Wydział Biotechnologii Uniwersytetu Gdańskiego i Gdańskiego Uniwersytetu Medycznego

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

Algorytmy przetwarzania danych tekstowych

Konkurs: OPUS 2 , panel: ST6

Kierownik: dr hab. Sebastian Deorowicz

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

"Projektowalne" nukleazy - badania strukturalne, programowanie specyficzności i próby wykorzystania w inżynierii genomow...

Konkurs: MAESTRO 1 , panel: NZ1

Kierownik: prof. Matthias Bochtler

Instytut Biochemii i Biofizyki PAN

Kompletność zdarzeniowa przypadków użycia

Konkurs: PRELUDIUM 1 , panel: ST6

Kierownik: dr Jakub Jurkiewicz

Politechnika Poznańska, Wydział Informatyki

Nowe paradygmaty obliczeniowe dla konstrukcji wyjaśniających modeli systemów złożonych

Konkurs: OPUS 1 , panel: ST6

Kierownik: dr hab. Krzysztof Krawiec

Politechnika Poznańska, Wydział Informatyki

Projektowanie i specyfikacja układów sterowania systemami wielorobotowymi

Konkurs: PRELUDIUM 1 , panel: ST7

Kierownik: Piotr Trojanek

Politechnika Warszawska, Wydział Elektroniki i Technik Informacyjnych

Modele programowania całkowitoliczbowego dla łącznej optymalizacji sterowania przepustowością krawędzi, szeregowania tra...

Konkurs: OPUS 1 , panel: ST7

Kierownik: prof. Michał Paweł Pióro

Politechnika Warszawska, Wydział Elektroniki i Technik Informacyjnych