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. Automatyzacja wnioskowania konstruktywnego

    Konkurs: OPUS 4 , panel: ST6

    Kierownik: dr hab. Aleksy Schubert

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  2. Automatyzacja obliczeń w nisko-energetycznej anihilacji elektron-pozyton na hadrony

    Konkurs: OPUS 2 , panel: ST6

    Kierownik: prof. Karol Kołodziej

    Uniwersytet Śląski w Katowicach, Wydział Matematyki, Fizyki i Chemii

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

  4. Automatyczne projektowanie układów antenowych za pomocą metod sztucznej inteligencji i uczenia maszynowego

    Konkurs: OPUS 24 , panel: ST7

    Kierownik: prof. Sławomir Kozieł

    Politechnika Gdańska, Wydział Elektroniki, Telekomunikacji i Informatyki