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. Automaty z wagami dla własności kwantytatywnych

    Konkurs: SONATA 8 , panel: ST6

    Kierownik: dr Jan Otop

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  2. Heurystyczne Algorytmy Odkrywania Ukrytych Kryteriów dla Problemów Opartych na Testach.

    Konkurs: PRELUDIUM 8 , panel: ST6

    Kierownik: Paweł Liskowski

    Politechnika Poznańska, Wydział Informatyki

  3. Kody w Z^2: rozstrzygalność i algorytmy weryfikacji, własność defektu, gęstość asymptotyczna, pokrycia, słabe kody...

    Konkurs: OPUS 2 , panel: ST6

    Kierownik: dr Włodzimierz Moczurad

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  4. Automation of the Problem of Unification in Description Logics

    Konkurs: POLONEZ BIS 3 , panel: ST6

    Kierownik: dr hab. Barbara Morawska

    Uniwersytet Opolski, Wydział Matematyki, Fizyki i Informatyki

  5. Heurystyczny algorytm optymalizacyjny ze sprzężoną generacją modeli zredukowanych do obliczeń turbin wiatrowych

    Konkurs: OPUS 14 , panel: ST8

    Kierownik: dr Zbigniew Buliński

    Politechnika Śląska, Wydział Inżynierii Środowiska i Energetyki

  6. Wydajne algorytmy dla słabych form niedeterminizmu

    Konkurs: SONATA 11 , panel: ST6

    Kierownik: dr hab. Michał Skrzypczak

    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