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. Scalable reasoning about concurrent imperative programs

    Call: SONATA 12 , Panel: ST6

    Principal investigator: dr Filip Sieczkowski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  2. 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

  3. 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 Grzegorz Wiśniewski

    Uniwersytet Zielonogórski

  4. 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

  5. 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

  6. 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

  7. Eventually consistent replication: Algorithms and methods

    Call: OPUS 4 , Panel: ST6

    Principal investigator: dr hab. Paweł Wojciechowski

    Politechnika Poznańska, Wydział Informatyki

  8. Automatic analysis of concurrent systems

    Call: OPUS 14 , Panel: ST6

    Principal investigator: prof. Sławomir Lasota

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  9. 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

  10. Frontiers of automatic analysis of concurrent systems

    Call: OPUS 21 , Panel: ST6

    Principal investigator: prof. Sławomir Grzegorz Lasota

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy