103 projects found matching your search criteria :
Why "insiders"? Why "outsiders"? Programs and integration practices of Roma in contemporaty Poland.
Call: OPUS 8 , Panel: HS5
Principal investigator: dr Maciej Witkowski
Wyższa Szkoła Biznesu w Dąbrowie Górniczej, Wydział Nauk Stosowanych
Reasoning about programs in higher-order languages
Call: OPUS 8 , Panel: ST6
Principal investigator: prof. Witold Charatonik
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Call: OPUS 8 , Panel: HS5
Principal investigator: dr hab. Michał Balcerzak
Uniwersytet Mikołaja Kopernika, Wydział Prawa i Administracji
Scalable metaheuristics for automated program synthesis
Call: OPUS 8 , Panel: ST6
Principal investigator: dr hab. Krzysztof Krawiec
Politechnika Poznańska, Wydział Informatyki
Call: OPUS 7 , Panel: NZ7
Principal investigator: prof. Jarosław Mirosław Walkowiak
Uniwersytet Medyczny im. Karola Marcinkowskiego w Poznaniu, Wydział Lekarski I
Call: OPUS 7 , Panel: HS2
Principal investigator: prof. Jan Okoń
Wyższa Szkoła Europejska im. ks. Józefa Tischnera
Call: OPUS 7 , Panel: ST4
Principal investigator: prof. Jan Antosiewicz
Uniwersytet Warszawski, Wydział Fizyki
Call: OPUS 7 , Panel: HS3
Principal investigator: dr hab. Sławomir Michał Łotysz
Instytut Historii Nauki im. Ludwika i Aleksandra Birkenmajerów PAN
Specification development and software verification
Call: OPUS 6 , Panel: ST6
Principal investigator: prof. Andrzej Tarlecki
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: SONATA 6 , Panel: HS4
Principal investigator: dr Marcin Hernes
Uniwersytet Ekonomiczny we Wrocławiu, Wydział Inżynieryjno-Ekonomiczny
Optimality in parameterized complexity
Call: SONATA 6 , Panel: ST6
Principal investigator: dr Michał Paweł Pilipczuk
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: OPUS 1 , Panel: NZ7
Principal investigator: prof. Tomasz Kazimierz Grodzicki
Uniwersytet Jagielloński- Collegium Medicum, Collegium Medicum; Wydział Lekarski
The protection of computer programs in intellectual property law in the European Union
Call: PRELUDIUM 1 , Panel: HS5
Principal investigator: dr Karolina Ewa Sztobryn
Uniwersytet Łódzki
Call: PRELUDIUM 4 , Panel: NZ9
Principal investigator: Małgorzata Iwona Przygodzka
Instytut Rozrodu Zwierząt i Badań Żywności PAN
New methods in parametric model checking
Call: PRELUDIUM 4 , Panel: ST6
Principal investigator: Michał Józef Knapik
Instytut Podstaw Informatyki PAN
LP rounding approximation algorithms
Call: PRELUDIUM 4 , Panel: ST6
Principal investigator: Bartosz Michał Rybicki
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Theoretical foundations of interactive theorem provers with unrestricted recursive definitions
Call: PRELUDIUM 4 , Panel: ST6
Principal investigator: Łukasz Tadeusz Czajka
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Automatisation of constructive logic
Call: OPUS 4 , Panel: ST6
Principal investigator: dr hab. Aleksy Andrzej Schubert
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Program running versus problem solving: Two modes of information processing
Call: OPUS 4 , Panel: HS6
Principal investigator: prof. Tytus Sosnowski
Uniwersytet Warszawski, Wydział Psychologii
Heme oxygenase-1 and progress of melanoma: role in cancer initiating cells
Call: HARMONIA 3 , Panel: NZ1
Principal investigator: prof. Alicja Józkowicz
Uniwersytet Jagielloński, Wydział Biochemii, Biofizyki i Biotechnologii
Influence vit D suplementation, rehabilitation on balance in patients after....
Call: OPUS 3 , Panel: NZ7
Principal investigator: dr hab. Jan Jacek Kaczor
Akademia Wychowania Fizycznego i Sportu im. Jędrzeja Śniadeckiego w Gdańsku, Wydział Wychowania Fizycznego
Call: PRELUDIUM 3 , Panel: NZ5
Principal investigator: dr Olga Maria Zając-Spychała
Uniwersytet Medyczny im. Karola Marcinkowskiego w Poznaniu, Wydział Lekarski I
Call: PRELUDIUM 3 , Panel: HS4
Principal investigator: dr Michał Kazimierz Łukowski
Uniwersytet Ekonomiczny w Poznaniu, Wydział Ekonomii
Geometry of contractible low-dimensional affine varieties.
Call: SONATA 3 , Panel: ST1
Principal investigator: dr Karol Andrzej Palka
Instytut Matematyczny Polskiej Akademii Nauk
Call: FUGA 1 , Panel: HS2
Principal investigator: dr Jakub Momro
Instytut Badań Literackich PAN
Structure and interpretation of programming languages in the "proofs-as-programs" paradigm
Call: OPUS 2 , Panel: ST6
Principal investigator: dr Małgorzata Biernacka
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Call: OPUS 28 , Panel: HS3
Principal investigator: prof. Krzysztof Nowicki
Instytut Archeologii i Etnologii Polskiej Akademii Nauk
Explanatory study on educational functions of European Baccalaureate programme
Call: SONATA 20 , Panel: HS6
Principal investigator: dr Joanna Leek
Uniwersytet Łódzki
Call: OPUS 28 , Panel: NZ9
Principal investigator: dr Jakub Baranek
Uniwersytet im. Adama Mickiewicza w Poznaniu
Efficient higher-order quantum computations
Call: SONATA BIS 14 , Panel: ST2
Principal investigator: dr hab. Michał Grzegorz Studziński
Uniwersytet Gdański
New architectures and algorithms for neurosymbolic deep learning
Call: PRELUDIUM 23 , Panel: ST6
Principal investigator: Piotr Leszek Wyrwiński
Politechnika Poznańska
Call: PRELUDIUM 23 , Panel: ST10
Principal investigator: Mahsa Shahbandeh Vayghan
Uniwersytet Jagielloński
Call: PRELUDIUM 23 , Panel: NZ7
Principal investigator: Alina Cherniienko
Uniwersytet Medyczny im. Karola Marcinkowskiego w Poznaniu
Us and Them. Populism of Polish political parties
Call: PRELUDIUM 23 , Panel: HS5
Principal investigator: Jakub Bartosz Krupa
Uniwersytet Jagielloński
Just energy transition of households in Central and Eastern Europe
Call: SONATA 19 , Panel: HS4
Principal investigator: dr Liliia Karpinska
UNIWERSYTET EKONOMICZNY W KRAKOWIE, Kolegium Ekonomii, Finansów i Prawa
Loyalty of travel agencies clients in Poland - determinants, models, reserach results
Call: SONATA 2 , Panel: HS4
Principal investigator: dr Izabela Dorota Michalska-Dudek
Uniwersytet Ekonomiczny we Wrocławiu, Wydział Ekonomii, Zarządzania i Turystyki
Learner-internal factors in the Erasmus+ mobility context
Call: OPUS 26 , Panel: HS2
Principal investigator: dr hab. Katarzyna Maria Ożańska-Ponikwia
Akademia Techniczno-Humanistyczna
Copyright protection of computer programs in the European Union after three decades
Call: SONATA 19 , Panel: HS5
Principal investigator: dr Bohdan Tadeusz Widła
Uniwersytet Jagielloński, Wydział Prawa i Administracji
Study of the equation of state of strongly interacting matter in the STAR-BES program
Call: OPUS 25 , Panel: ST2
Principal investigator: dr Daniel Henryk Wielanek
Politechnika Warszawska, Wydział Fizyki
Voter Shifts and Spatial Models of Party Competition
Call: OPUS 25 , Panel: HS5
Principal investigator: dr Dariusz Maciej Stolicki
Uniwersytet Jagielloński, Centrum Badań Ilościowych nad Polityką
Call: Polskie Powroty NAWA 2022 , Panel: HS1
Principal investigator: dr Olga Lenczewska
Uniwersytet Warszawski
On endogenous discounting and recursive utilities
Call: OPUS 24 , Panel: HS4
Principal investigator: dr hab. Łukasz Balbus
Uniwersytet Zielonogórski
Call: PRELUDIUM 21 , Panel: HS5
Principal investigator: Wojciech Dominik Gędek
Uniwersytet Warszawski, Wydział Nauk Politycznych i Studiów Międzynarodowych
Call: POLONEZ BIS 2 , Panel: HS5
Principal investigator: prof. Cleber José Cunha Dutra
Uniwersytet Jagielloński, Wydział Zarządzania i Komunikacji Społecznej
Call: OPUS 22 , Panel: HS1
Principal investigator: dr Katarzyna Helena Bielińska
Uniwersytet Warszawski, Wydział Filozofii
REthinking MEdia literacy and DIgital Skills in Europe
Call: CHANSE Call 2021 , Panel: HS6
Principal investigator: dr Łukasz Tomczyk
Uniwersytet Jagielloński
Call: OPUS 22 , Panel: NZ3
Principal investigator: dr Małgorzata Lichocka
Instytut Biochemii i Biofizyki PAN
Call: SONATA 17 , Panel: ST2
Principal investigator: dr Marcin Patecki
Politechnika Warszawska
Call: OPUS 22 , Panel: ST4
Principal investigator: prof. Halina Abramczyk
Politechnika Łódzka
Source-code-representations for machine-learning-based identification of defective code fragments
Call: OPUS 21 , Panel: ST6
Principal investigator: dr hab. Mirosław Ochodek
Politechnika Poznańska, Wydział Informatyki i Telekomunikacji