10 projects found matching your search criteria :
Induction for bounded formulas and its relativizations
Call: OPUS 5 , Panel: ST1
Principal investigator: dr hab. Leszek Kołodziejczyk
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Accurate and approximate algorithms for large-scale stochastic simulation
Call: SONATA 4 , Panel: ST6
Principal investigator: dr Anna Wawrzyńczak-Szaban
Uniwersytet Przyrodniczo-Humanistyczny w Siedlcach, Wydział Nauk Ścisłych
Quest for Optimality in Variants of Text Indexing and Related Problems
Call: SONATA BIS 12 , Panel: ST6
Principal investigator: dr hab. Jakub Radoszewski
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Balancing priors and learning biases to improve Bayesian Neural Networks
Call: POLONEZ BIS 2 , Panel: ST6
Principal investigator: dr Tomasz Kuśmierczyk
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Development of the Approximate Deconvolution Model for turbulent combustion
Call: OPUS 15 , Panel: ST8
Principal investigator: prof. Andrzej Bogusławski
Politechnika Częstochowska, Wydział Inżynierii Mechanicznej i Informatyki
Call: SONATA 13 , Panel: ST8
Principal investigator: dr Katarzyna Stan-Głowińska
Instytut Metalurgii i Inżynierii Materiałowej im. Aleksandra Krupkowskiego Polskiej Akademii Nauk
Call: OPUS 13 , Panel: ST4
Principal investigator: dr hab. Piotr Jankowski
Uniwersytet Mikołaja Kopernika, Wydział Chemii
Efficient similarity search in high dimensional spaces
Call: PRELUDIUM 11 , Panel: ST6
Principal investigator: Karol Węgrzycki
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: PRELUDIUM 11 , Panel: ST4
Principal investigator: Wiktoria Jedwabny (z d. Giedroyć-Piasecka)
Politechnika Wrocławska, Wydział Chemiczny
Call: OPUS 9 , Panel: ST6
Principal investigator: prof. Robert Schaefer
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji