Projekty finansowane przez NCN

Projektowanie i specyfikacja układów sterowania systemami wielorobotowymi

Konkurs: PRELUDIUM 1 , panel: ST7

Kierownik: Piotr Trojanek

Politechnika Warszawska, Wydział Elektroniki i Technik Informacyjnych

Konstruowanie specyfikacji i weryfikacja oprogramowania

Konkurs: OPUS 6 , panel: ST6

Kierownik: prof. Andrzej Tarlecki

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

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

Opracowanie trójwymiarowego modelu i oprogramowania opartego o frontalne automaty komórkowe do modelowania rozwoju mikro...

Konkurs: PRELUDIUM 1 , panel: ST8

Kierownik: dr Łukasz Łach

Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Inżynierii Metali i Informatyki Przemysłowej

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

Bayesowskie ważenie modeli równań współzależnych - rozwój teorii i pakiet dla środowiska R

Konkurs: OPUS 22 , panel: HS4

Kierownik: dr Krzysztof Beck

Uczelnia Łazarskiego

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

Informatycy w centrach outsourcingu usług dla biznesu w Polsce. Socjologiczne studium doświadczenia pracy

Konkurs: PRELUDIUM 20 , panel: HS6

Kierownik: Szymon Pilch

Uniwersytet Wrocławski, Wydział Nauk Społecznych

Automatyczne generowanie instrukcji obsługi dla aplikacji internetowych

Konkurs: PRELUDIUM 2 , panel: ST6

Kierownik: Bartosz Alchimowicz

Politechnika Poznańska, Wydział Informatyki

Kultura amatorskiego pisania programów na komputery domowe w latach 80. w kontekście kapitalizmu kognitywnego

Konkurs: OPUS 19 , panel: HS3

Kierownik: dr Patryk Wasiak

Instytut Historii im. Tadeusza Manteuffla Polskiej Akademii Nauk

Modelowanie wczesnych faz reakcji ciężkojonowych w oparciu o modele glauberowskie w eksperymentach wysokich energii

Konkurs: SONATA 1 , panel: ST2

Kierownik: dr hab. Maciej Rybczyński

Uniwersytet Jana Kochanowskiego w Kielcach, Wydział Matematyczno-Przyrodniczy

Przestrzeń-oprogramowanie-człowiek: rozszerzona rzeczywistość smart city

Konkurs: OPUS 17 , panel: HS4

Kierownik: dr Michał Rzeszewski

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Nauk Geograficznych i Geologicznych

Efekty algebraiczne: kompozycja i koindukcja

Konkurs: SONATA 14 , panel: ST6

Kierownik: dr Maciej Piróg

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Kompletność zdarzeniowa przypadków użycia

Konkurs: PRELUDIUM 1 , panel: ST6

Kierownik: dr Jakub Jurkiewicz

Politechnika Poznańska, Wydział Informatyki

Inteligentne oprogramowanie monitorujące oraz testy krzemowych sensorów pikselowych dla zmodernizowanego detektora wierz...

Konkurs: PRELUDIUM 14 , panel: ST2

Kierownik: Maciej Majewski

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

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

Czynniki sprzyjające powstawaniu innowacji poprzez współpracę w projektach Open Source

Konkurs: PRELUDIUM 11 , panel: HS4

Kierownik: dr Dorota Celińska-Kopczyńska

Uniwersytet Warszawski, Wydział Nauk Ekonomicznych