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 6 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. Rozwijanie Teorii Sieci Petriego: Głębsze zrozumienie Klasycznych Problemów i Ich Zastosowania w Procesach Przepływów Ro...

    Konkurs: OPUS 27 , panel: ST6

    Kierownik: dr Piotr Hofman

    Uniwersytet Warszawski

  3. Algebra liniowa w wymiarze skończenie-orbitowym

    Konkurs: PRELUDIUM 21 , panel: ST6

    Kierownik: Arka Ghosh

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  4. Modele obliczeń rozszerzone o dane

    Konkurs: OPUS 18 , panel: ST6

    Kierownik: prof. Sławomir Grzegorz Lasota

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  5. Obliczenia symboliczne na obiektach definiowalnych w logice pierwszego rzędu

    Konkurs: OPUS 11 , panel: ST6

    Kierownik: prof. Sławomir Grzegorz Lasota

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  6. Algebraiczne niezmienniki dla Sieci Petriego z danymi.

    Konkurs: SONATA 11 , panel: ST6

    Kierownik: dr Piotr Hofman

    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