149 projects found matching your search criteria :
Formal verification in data-enriched models of computation
Call: OPUS 28 , Panel: ST6
Principal investigator: prof. Sławomir Grzegorz Lasota
Uniwersytet Warszawski
On the border of impossible in classical automata theory
Call: OPUS 28 , Panel: ST6
Principal investigator: dr hab. Paweł Parys
Uniwersytet Warszawski
Call: OPUS 28 , Panel: ST8
Principal investigator: prof. Łukasz Karol Madej
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie
Call: SONATA 20 , Panel: ST8
Principal investigator: dr Mateusz Sitko
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie
Automation exposure and human capital investments in European Union countries
Call: PRELUDIUM 23 , Panel: HS4
Principal investigator: Satia Rożynek
Uniwersytet Warszawski
Automatic detection and spatial modeling of allergenic pollen at urban scale
Call: PRELUDIUM 23 , Panel: ST10
Principal investigator: Szymon Tomczyk
Uniwersytet Wrocławski
Call: OPUS 27 , Panel: ST8
Principal investigator: dr Konrad Perzyński
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie
Call: PRELUDIUM 23 , Panel: HS5
Principal investigator: Aleksandra Maria Wisławska
Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie
Synthesis via active learning: theory and applications
Call: OPUS 27 , Panel: ST6
Principal investigator: dr hab. Jan Otop
Uniwersytet Wrocławski
Allergenic pollen concentrations in the air – a novel approach based on modelling and measurements
Call: OPUS 26 , Panel: ST10
Principal investigator: dr hab. Małgorzata Werner
Uniwersytet Wrocławski, Wydział Nauk o Ziemi i Kształtowania Środowiska
Call: OPUS 26 , Panel: HS4
Principal investigator: prof. Jakub Marek Growiec
Szkoła Główna Handlowa w Warszawie, Kolegium Analiz Ekonomicznych
Call: WEAVE-UNISONO , Panel: ST8
Principal investigator: dr Jan Pełczyński
Politechnika Warszawska
Call: PRELUDIUM 22 , Panel: HS2
Principal investigator: Paulina Justyna Rozkrut
Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Anglistyki
Call: OPUS 25 , Panel: NZ9
Principal investigator: dr Marcin Włodzimierz Grzybowski
Uniwersytet Warszawski, Wydział Biologii
Role of astrocyte mitochondrial metabolism in chronic stress.
Call: WEAVE-UNISONO , Panel: NZ4
Principal investigator: dr Michał Ślęzak
Sieć Badawcza ŁUKASIEWICZ - PORT Polski Ośrodek Rozwoju Technologii
Call: WEAVE-UNISONO , Panel: NZ9
Principal investigator: dr hab. Karolina Bącela-Spychalska
Uniwersytet Łódzki
Automation of the Problem of Unification in Description Logics
Call: POLONEZ BIS 3 , Panel: ST6
Principal investigator: dr hab. Barbara Joanna Morawska
Uniwersytet Opolski, Instytut Informatyki
The parity problem for cellular automata.
Call: SONATA 18 , Panel: ST6
Principal investigator: dr Anna Katarzyna Nenca
Uniwersytet Gdański, Wydział Matematyki, Fizyki i Informatyki
Call: SONATA 18 , Panel: ST7
Principal investigator: dr Agnieszka Małgorzata Uryga
Politechnika Wrocławska
Call: OPUS 24 , Panel: ST7
Principal investigator: prof. Sławomir Kozieł
Politechnika Gdańska, Wydział Elektroniki, Telekomunikacji i Informatyki
Counting models in formal verification
Call: SONATA BIS 12 , Panel: ST6
Principal investigator: dr Filip Aleksander Mazowiecki
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Polynomial finite state computation
Call: MAESTRO 14 , Panel: ST6
Principal investigator: prof. Mikołaj Bojańczyk
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Control of automated decision-making systems employed in administrative proceedings
Call: PRELUDIUM 21 , Panel: HS5
Principal investigator: Igor Antoni Gontarz
Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Prawa i Administracji
Model averaging for vector autoregression - automatic model selection and forecasting procedure
Call: OPUS 23 , Panel: HS4
Principal investigator: dr Paweł Kufel
Wyższa Szkoła Bankowa w Toruniu
Call: OPUS 22 , Panel: ST8
Principal investigator: dr hab. Wojciech Olgierd Maziarz
Instytut Metalurgii i Inżynierii Materiałowej im. Aleksandra Krupkowskiego Polskiej Akademii Nauk
Automating Welfare - Algorithmic Infrastructures for Human Flourishing in Europe
Call: CHIST-ERA2020 , Panel: HS5
Principal investigator: dr Karolina Sztandar-Sztanderska
Uniwersytet Warszawski
Call: SONATA 17 , Panel: ST4
Principal investigator: dr Jarosław Marek Granda
Instytut Chemii Organicznej Polskiej Akademii Nauk
Efficient unsupervised synthesis and prototype-augmented modeling of microwave structures
Call: OPUS 22 , Panel: ST7
Principal investigator: dr hab. Adrian Kajetan Bekasiewicz
Politechnika Gdańska, Wydział Elektroniki, Telekomunikacji i Informatyki
The impact of robots adoption on wage polarization in Europe
Call: PRELUDIUM 20 , Panel: HS4
Principal investigator: Karol Rafał Madoń
Fundacja Naukowa Instytut Badań Strukturalnych
Frontiers of automatic analysis of concurrent systems
Call: OPUS 21 , Panel: ST6
Principal investigator: prof. Sławomir Grzegorz Lasota
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: PRELUDIUM 2 , Panel: ST6
Principal investigator: Michał Fularz
Politechnika Poznańska, Wydział Elektryczny
Arithmetical and dynamical properties of sequences given by substitutions.
Call: PRELUDIUM 20 , Panel: ST1
Principal investigator: Elżbieta Anna Krawczyk
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Finite automata: selected problems and applications connecting different areas
Call: OPUS 21 , Panel: ST6
Principal investigator: dr Marek Szykuła
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Decision procedures in verification
Call: OPUS 2 , Panel: ST6
Principal investigator: prof. Witold Charatonik
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Hate speech: From automatic classification to understanding emotional dynamics
Call: BEETHOVEN CLASSIC 4 , Panel: HS6
Principal investigator: dr Aleksandra Teresa Świderska
Uniwersytet Warszawski, Wydział Psychologii
Automatic generation of user's manual for web applications
Call: PRELUDIUM 2 , Panel: ST6
Principal investigator: Bartosz Alchimowicz
Politechnika Poznańska, Wydział Informatyki
Robust Formalisms for Quantitative Reasoning
Call: OPUS 20 , Panel: ST6
Principal investigator: dr Jakub Dawid Michaliszyn
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
In search for new mechanisms of maize adaptation to cool spring conditions
Call: OPUS 20 , Panel: NZ9
Principal investigator: prof. Paweł Mieczysław Sowiński
Uniwersytet Warszawski, Wydział Biologii
Automatic hp adaptive algorithms for processing of MRI scan data
Call: PRELUDIUM 2 , Panel: ST6
Principal investigator: Marcin Tomasz Sieniek
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji
Coming together - neural dynamics of transition from out-group reserve to in-group fellowship
Call: SONATA 16 , Panel: NZ4
Principal investigator: dr Alicja Puścian
Instytut Biologii Doświadczalnej im. Marcelego Nenckiego Polskiej Akademii Nauk
Call: PRELUDIUM 19 , Panel: ST2
Principal investigator: Paweł Kopciewicz
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Fizyki i Informatyki Stosowanej
Algorithms for text data processing
Call: OPUS 2 , Panel: ST6
Principal investigator: dr hab. Sebastian Deorowicz
Politechnika Śląska, Wydział Automatyki, Elektroniki i Informatyki
Call: PRELUDIUM 19 , Panel: NZ2
Principal investigator: Carlos Eduardo Sequeiros Borja
Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Biologii
Call: OPUS 19 , Panel: HS3
Principal investigator: Piotr Paweł Wroniecki
Uniwersytet Warszawski, Wydział Archeologii
Call: OPUS 19 , Panel: HS4
Principal investigator: dr hab. Aleksandra Barbara Parteka
Politechnika Gdańska
On various properties of special block-additive functions
Call: PRELUDIUM 19 , Panel: ST1
Principal investigator: dr Bartosz Grzegorz Sobolewski
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Call: SONATA 2 , Panel: ST8
Principal investigator: dr Marcin Hojny
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Inżynierii Metali i Informatyki Przemysłowej
Data-enriched models of computation
Call: OPUS 18 , Panel: ST6
Principal investigator: prof. Sławomir Grzegorz Lasota
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: PRELUDIUM BIS 1 , Panel: NZ5
Principal investigator: prof. Zbisław Tabor
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej
Call: OPUS 18 , Panel: ST8
Principal investigator: prof. Łukasz Karol Madej
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Inżynierii Metali i Informatyki Przemysłowej