Projekty finansowane przez NCN


Dane kierownika projektu i jednostki realizującej

Szczegółowe informacje o projekcie i konkursie

Słowa kluczowe

Aparatura

Wyczyść formularz

Wyniki wyszukiwania

Znaleziono 4 projektów spełniających kryteria wyszukiwania:

  1. Weryfikacja formalna w modelach obliczeń rozszerzonych o dane

    Konkurs: OPUS 28 , panel: ST6

    Kierownik: prof. Sławomir Grzegorz Lasota

    Uniwersytet Warszawski

  2. Zastosowania teorii Lemperta

    Konkurs: PRELUDIUM BIS 3 , panel: ST1

    Kierownik: prof. Włodzimierz Robert Zwonek

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  3. Własność rozszerzania a metody geometrycznej teorii funkcji

    Konkurs: PRELUDIUM BIS 2 , panel: ST1

    Kierownik: dr hab. Łukasz Kosiński

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  4. Modele obliczeń rozszerzone o dane

    Konkurs: OPUS 18 , panel: ST6

    Kierownik: prof. Sławomir Grzegorz Lasota

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki