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. The Concurrence of Regimes of the Repressive Liability. The Models of Solving the Problem of the Accumulation of the Pen...

    Call: SONATA 5 , Panel: HS5

    Principal investigator: dr Anna Błachnio-Parzych

    Instytut Nauk Prawnych PAN

  2. New methods of comprehensive analysis of concurrent computing systems

    Call: SONATA 5 , Panel: ST6

    Principal investigator: dr Łukasz Mikulski

    Uniwersytet Mikołaja Kopernika, Wydział Matematyki i Informatyki

  3. Eventually consistent replication: Algorithms and methods

    Call: OPUS 4 , Panel: ST6

    Principal investigator: dr hab. Paweł Wojciechowski

    Politechnika Poznańska, Wydział Informatyki

  4. Concurrency control and fault tolerance for distributed software transactional memory

    Call: HARMONIA 3 , Panel: ST6

    Principal investigator: dr hab. Paweł Wojciechowski

    Politechnika Poznańska, Wydział Informatyki

  5. The rules of exclusion of multiplicity of evaluations as interpretive and applicative methods of solving the problem of ...

    Call: PRELUDIUM 21 , Panel: HS5

    Principal investigator: Michał Rachalski

    Uniwersytet Jagielloński, Wydział Prawa i Administracji

  6. Frontiers of automatic analysis of concurrent systems

    Call: OPUS 21 , Panel: ST6

    Principal investigator: prof. Sławomir Lasota

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  7. Analysis and decomposition of a control part of a cyber-physical system specified by an interpreted Petri net.

    Call: OPUS 18 , Panel: ST6

    Principal investigator: dr hab. Remigiusz Wiśniewski

    Uniwersytet Zielonogórski

  8. Concurrent Photon Upconversion and Cutting in Lanthanide Doped Nanoparticles for Biomedical Applications

    Call: SHENG 1 , Panel: ST5

    Principal investigator: dr hab. Dominika Wawrzyńczyk

    Politechnika Wrocławska

  9. Automatic analysis of concurrent systems

    Call: OPUS 14 , Panel: ST6

    Principal investigator: prof. Sławomir Lasota

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  10. Scalable reasoning about concurrent imperative programs

    Call: SONATA 12 , Panel: ST6

    Principal investigator: dr Filip Sieczkowski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki