Wyniki wyszukiwania
Znaleziono 3 projekty spełniających kryteria wyszukiwania:
-
Kierownik: dr hab. Dorota Frydecka
Uniwersytet Medyczny im. Piastów Śląskich we Wrocławiu, Wydział Farmaceutyczny z Oddziałem Analiutyki Medycznej, Wydział Lekarski Kształcenia Podyplomowego
Konkurs: SONATA 6, panel: HS6
-
2. Uczenie maszynowe i automatyczne dowodzenie twierdzeń
Kierownik: dr hab. Henryk Michalewski
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: OPUS 15, panel: ST6
-
3. Automaty skończone: wybrane problemy i zastosowania łączące różne obszary badań
Kierownik: dr Marek Szykuła
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Konkurs: OPUS 21, panel: ST6