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

Funkcjonalno-anatomiczne podłoże pamięci operacyjnej w modelu szczurzym; udział hipokampa i kory przedczołowej

Konkurs: PRELUDIUM 6 , panel: NZ4

Kierownik: Weronika Duda

Instytut Biologii Doświadczalnej im. M. Nenckiego PAN

Konstruowanie specyfikacji i weryfikacja oprogramowania

Konkurs: OPUS 6 , panel: ST6

Kierownik: prof. Andrzej Tarlecki

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Nowe kierunki w wielokryterialnym wspomaganiu decyzji opartym na holistycznych przykładach preferencji

Konkurs: SONATA 6 , panel: ST6

Kierownik: dr Miłosz Kadziński

Politechnika Poznańska, Wydział Informatyki

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

Konkurs: OPUS 1 , panel: ST7

Kierownik: prof. Michał Pióro

Politechnika Warszawska, Wydział Elektroniki i Technik Informacyjnych

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

Konkurs: SONATA 4 , panel: ST6

Kierownik: dr Jacek Sroka

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 Schubert

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

Konkurs: HARMONIA 3 , panel: ST6

Kierownik: dr hab. Paweł Wojciechowski

Politechnika Poznańska, Wydział Informatyki

Nowe problemy i algorytmy dla eksploracji modeli programowania matematycznego (MathProM)

Konkurs: SONATA BIS 13 , panel: ST6

Kierownik: dr hab. Tomasz Pawlak

Politechnika Poznańska, Wydział Informatyki i Telekomunikacji

Asferyczny model atomu - odkrywanie nowych metod udokładniania struktur materiałów częściowo nieuporządkowanych

Konkurs: OPUS 22 (LAP) , panel: ST5

Kierownik: dr hab. Wojciech Sławiński

Uniwersytet Warszawski, Wydział Chemii

Entropia probabilistyczna w obliczeniach inżynierskich

Konkurs: OPUS 21 , panel: ST8

Kierownik: prof. Marcin Kamiński

Politechnika Łódzka, Wydział Budownictwa, Architektury i Inżynierii Środowiska

Reprezentacja kodu programów dla identyfikacji wadliwych fragmentów kodu bazująca na uczeniu maszynowym

Konkurs: OPUS 21 , panel: ST6

Kierownik: dr Mirosław Ochodek

Politechnika Poznańska, Wydział Informatyki i Telekomunikacji

Wpływ organizacji przepływu powietrza w polu operacyjnym na ryzyko wystąpienia niezamierzonej hipotermii okołooperacyjne...

Konkurs: OPUS 21 , panel: ST8

Kierownik: dr hab. Anna Bogdan

Politechnika Warszawska, Wydział Instalacji Budowlanych, Hydrotechniki i Inżynierii Środowiska

Nanometrologia efektu Nottingham prowadzona operacyjnymi układami mikro-elekromechanicznymi

Konkurs: OPUS 19 , panel: ST7

Kierownik: prof. Teodor Gotszalk

Politechnika Wrocławska

Systemy wspomagania decyzji odpowiadające wyzwaniom nowych czasów

Konkurs: SONATA BIS 9 , panel: HS4

Kierownik: dr hab. Miłosz Kadziński

Politechnika Poznańska, Wydział Informatyki

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 Piróg

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Algorytmy optymalizacji odpornej dla problemów z niepewnymi danymi

Konkurs: SONATA 13 , panel: ST6

Kierownik: dr Maciej Drwal

Politechnika Wrocławska

Język programowania dla hierarchicznych, wielordzeniowych, równoległych architektur z użyciem ManyDSL

Konkurs: PRELUDIUM 12 , panel: ST6

Kierownik: Piotr Danilewski

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Energooszczędny system komputerowy dla obliczeń wielkiej skali

Konkurs: OPUS 9 , panel: ST6

Kierownik: dr hab. Ewa Niewiadomska-Szynkiewicz

Politechnika Warszawska, Wydział Elektroniki i Technik Informacyjnych