Search results
3 projects found matching your search criteria:
-
Principal investigator: 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
Call: SONATA 6, Panel: HS6
-
2. Machine learning and automatic theorem proving
Principal investigator: dr hab. Henryk Michalewski
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: OPUS 15, Panel: ST6
-
3. Finite automata: selected problems and applications connecting different areas
Principal investigator: dr Marek Szykuła
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Call: OPUS 21, Panel: ST6