2 projects found matching your search criteria :
Simulation and bisimulation for context-free and pushdown systems
Call: PRELUDIUM 3 , Panel: ST6
Principal investigator: dr Piotr Hofman
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Grammatical inference methods in classification of amyloidogenic proteins
Call: OPUS 11 , Panel: ST6
Principal investigator: dr hab. Olgierd Unold
Politechnika Wrocławska