Projects funded by the NCN


Information on the principal investigator and host institution

Information of the project and the call

Keywords

Equipment

Delete all

Search results

10 projects found matching your search criteria :

  1. Formal verification in data-enriched models of computation

    Call: OPUS 28 , Panel: ST6

    Principal investigator: prof. Sławomir Grzegorz Lasota

    Uniwersytet Warszawski

  2. On the border of impossible in classical automata theory

    Call: OPUS 28 , Panel: ST6

    Principal investigator: dr hab. Paweł Parys

    Uniwersytet Warszawski

  3. Decision Problems for Logics with Weak Forms of Recursion

    Call: PRELUDIUM 23 , Panel: ST6

    Principal investigator: Bartosz Jan Bednarczyk

    Uniwersytet Wrocławski

  4. Nonstandard stochastic control problems with applications

    Call: OPUS 27 , Panel: ST1

    Principal investigator: prof. Łukasz Stettner

    Instytut Matematyczny Polskiej Akademii Nauk

  5. Data-enriched models of computation

    Call: OPUS 18 , Panel: ST6

    Principal investigator: prof. Sławomir Grzegorz Lasota

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  6. Algorithmization of prospect theory - the problem of decision weights

    Call: SONATA 12 , Panel: HS4

    Principal investigator: dr Elżbieta Babula

    Uniwersytet Gdański, Wydział Ekonomiczny

  7. The development and synthesis of modern methods of uncertainty modeling for the solution of multiple-criteria decision m...

    Call: OPUS 6 , Panel: ST6

    Principal investigator: prof. Pavel Sevastsyanau

    Politechnika Częstochowska, Wydział Inżynierii Mechanicznej i Informatyki

  8. Decision making in the control of flows in global supply chains of high-tech products.

    Call: OPUS 6 , Panel: ST8

    Principal investigator: prof. Tadeusz Sawik

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

  9. The role of automatic and reflective emotions in heuristic and systematic processing on different levels of complexity

    Call: SONATA 4 , Panel: HS6

    Principal investigator: dr Kamil Konrad Imbir

    Akademia Pedagogiki Specjalnej im. Marii Grzegorzewskiej, Wydział Stosowanych Nauk Społecznych

  10. Decision procedures in verification

    Call: OPUS 2 , Panel: ST6

    Principal investigator: prof. Witold Charatonik

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki