Projekty finansowane przez NCN

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

Skalowalne metaheurystyki dla automatycznej syntezy programów

Konkurs: OPUS 8 , panel: ST6

Kierownik: dr hab. Krzysztof Krawiec

Politechnika Poznańska, Wydział Informatyki

Wpływ stochastycznej zmienności środowiska na ewolucję historii życia zooplanktonu w ekosystemach morskich strefy okołob...

Konkurs: OPUS 8 , panel: NZ8

Kierownik: dr Maciej Ejsmond

Uniwersytet Jagielloński, Wydział Biologii

Podmiotowość agentów programowych w ujęciu teoretycznoprawnym

Konkurs: PRELUDIUM 8 , panel: HS5

Kierownik: dr Rafał Michalczak

Uniwersytet Jagielloński, Wydział Prawa i Administracji

Heurystyczne Algorytmy Odkrywania Ukrytych Kryteriów dla Problemów Opartych na Testach.

Konkurs: PRELUDIUM 8 , panel: ST6

Kierownik: Paweł Marcin Liskowski

Politechnika Poznańska, Wydział Informatyki

Kształcenie obywatela na scenach jezuickich w Rzeczypospolitej Obojga Narodów. Programy teatralne w archiwach wileńskich...

Konkurs: OPUS 7 , panel: HS2

Kierownik: prof. Jan Okoń

Wyższa Szkoła Europejska im. ks. Józefa Tischnera

Zależność reakcji roślin na nicienie pasożytnicze od genetycznej kontroli programowanej śmierci komórkowej.

Konkurs: OPUS 7 , panel: NZ9

Kierownik: dr hab. Marcin Krzysztof Filipecki

Szkoła Główna Gospodarstwa Wiejskiego w Warszawie, Wydział Ogrodnictwa, Biotechnologii i Architektury Krajobrazu

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

Definiowana programowo integracja elastycznych sieci optycznych i kognitywnych sieci bezprzewodowych w kontekście usług ...

Konkurs: FUGA 2 , panel: ST7

Kierownik: dr Ireneusz Szcześniak

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

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 Polskiej Akademii Nauk

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

Modelowanie społeczności agentów programowych w organizacjach opartych na wiedzy

Konkurs: SONATA 2 , panel: HS4

Kierownik: dr Mariusz Żytniewski

Uniwersytet Ekonomiczny w Katowicach, Wydział Informatyki i Komunikacji

"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 Polskiej Akademii Nauk

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

Tematyka polska w europejskiej twórczości muzycznej w okresie od I rozbioru do odzyskania niepodległości (1772-1918)

Konkurs: OPUS 1 , panel: HS2

Kierownik: prof. Ryszard Daniel Golianek

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Historyczny