114 projects found matching your search criteria :
Graph separation problems from the perspective of parameterized complexity.
Call: PRELUDIUM 10 , Panel: ST6
Principal investigator: Paweł Komosa
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
A quest for new computer logics
Call: OPUS 11 , Panel: ST6
Principal investigator: dr hab. Emanuel Kieroński
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
One Step From the Relational Model. A Couple of Database Theory Puzzles.
Call: OPUS 12 , Panel: ST6
Principal investigator: prof. Jerzy Marcinkowski
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Call: PRELUDIUM 12 , Panel: NZ4
Principal investigator: Kamil Grycz
Instytut Biologii Doświadczalnej im. M. Nenckiego Polskiej Akademii Nauk
Call: POLONEZ BIS 1 , Panel: NZ8
Principal investigator: dr Iago Sanmartín-Villar
Muzeum i Instytut Zoologii Polskiej Akademii Nauk
Call: OPUS 22 , Panel: HS3
Principal investigator: dr hab. Marcin Wołoszyn
Uniwersytet Rzeszowski
Complexity and describability in Analysis: from freeness to polishness
Call: SONATA BIS 13 , Panel: ST1
Principal investigator: dr hab. Tomasz Kania
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Decision Problems for Logics with Weak Forms of Recursion
Call: PRELUDIUM 23 , Panel: ST6
Principal investigator: Bartosz Bednarczyk
Uniwersytet Wrocławski
DATALOG in Constraint Satisfaction Problem
Call: OPUS 1 , Panel: ST6
Principal investigator: dr hab. Marcin Kozik
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Deductive systems and decidability problem for hybrid logics
Call: PRELUDIUM 1 , Panel: HS1
Principal investigator: dr Michał Zawidzki
Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny
Around Modal Logics - Decidability and Complexity
Call: PRELUDIUM 2 , Panel: ST6
Principal investigator: Jakub Michaliszyn
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Call: HARMONIA 3 , Panel: NZ4
Principal investigator: dr Wojciech Fortuna
Uniwersytet Medyczny im. Piastów Śląskich we Wrocławiu, Wydział Lekarski Kształcenia Podyplomowego
Call: SONATA 4 , Panel: ST6
Principal investigator: dr Eryk Kopczyński
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Discrete optimization problems under uncertainty - models and algorithms
Call: OPUS 13 , Panel: ST6
Principal investigator: prof. Paweł Zieliński
Politechnika Wrocławska
Call: SONATA BIS 7 , Panel: HS1
Principal investigator: dr hab. Dorota Leszczyńska-Jasion
Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Psychologii i Kognitywistyki
Call: PRELUDIUM 16 , Panel: NZ4
Principal investigator: Benjun Ji
Instytut Biologii Doświadczalnej im. Marcelego Nenckiego Polskiej Akademii Nauk
Combinatorial and information theory aspects of communication in distributed systems.
Call: PRELUDIUM 5 , Panel: ST6
Principal investigator: dr Marcin Kardas
Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki
Morphisms and diagonals of Mori Dream Spaces, phylogenetics, and applications of Cox rings
Call: SONATA 6 , Panel: ST1
Principal investigator: dr hab. Jarosław Buczyński
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Energy-Aware and Computationally-Intelligent Cooperative Wireless Networks: EcoNets
Call: OPUS 6 , Panel: ST7
Principal investigator: prof. Hanna Bogucka
Politechnika Poznańska, Wydział Elektroniki i Telekomunikacji
THE IMPACT OF THE EUROZONE ON THE COMPLEXITY OF EXPORTED GOODS
Call: PRELUDIUM 7 , Panel: HS4
Principal investigator: Tomasz Serwach
Uniwersytet Łódzki, Wydział Ekonomiczno-Socjologiczny
Call: OPUS 19 , Panel: NZ5
Principal investigator: dr hab. Beata Anna Nowakowska
Instytut Matki i Dziecka
Call: PRELUDIUM 19 , Panel: NZ4
Principal investigator: Anna Ida Głowacka
Instytut Biologii Doświadczalnej im. Marcelego Nenckiego Polskiej Akademii Nauk
Algebraic techniques for parallelising algorithms
Call: OPUS 17 , Panel: ST6
Principal investigator: dr Przemysław Konstanty Uznański
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Call: OPUS 17 , Panel: ST6
Principal investigator: dr hab. Jarosław Adam Miszczak
Instytut Informatyki Teoretycznej i Stosowanej Polskiej Akademii Nauk
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
Biodiversity in the gradient of habitat complexity: the role of tree microhabitats
Call: PRELUDIUM 20 , Panel: NZ9
Principal investigator: Fabian Przepióra
Uniwersytet Rolniczy im. Hugona Kołłątaja w Krakowie, Wydział Leśny
Generalizations of the graph coloring problem in graphs with forbidden structures
Call: PRELUDIUM 20 , Panel: ST6
Principal investigator: Karolina Okrasa
Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych
Constraint Satisfaction Problems: beyond the finite case
Call: WEAVE-UNISONO , Panel: ST6
Principal investigator: dr hab. Marcin Kozik
Uniwersytet Jagielloński
Call: PRELUDIUM 21 , Panel: HS6
Principal investigator: Agata Jadwiga Wolna
Uniwersytet Jagielloński, Wydział Filozoficzny
Hybridizing Fragments of Halpern-Shoham Logic
Call: PRELUDIUM 12 , Panel: HS1
Principal investigator: Przemysław Wałęga
Uniwersytet Warszawski, Wydział Filozofii i Socjologii
Robust optimization algorithms for problems with uncertain data
Call: SONATA 13 , Panel: ST6
Principal investigator: dr Maciej Drwal
Politechnika Wrocławska
Around optimality of dynamic programming algorithms
Call: PRELUDIUM 14 , Panel: ST6
Principal investigator: dr Adam Polak
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Infinity in reasoning about data and knowledge
Call: SONATA BIS 8 , Panel: ST6
Principal investigator: dr hab. Filip Murlak
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: PRELUDIUM 17 , Panel: NZ8
Principal investigator: dr Sylwia Pustkowiak
Instytut Ochrony Przyrody Polskiej Akademii Nauk
Application of modern algorithmic methods for solving NP-hard clustering problems.
Call: PRELUDIUM 9 , Panel: ST6
Principal investigator: Krzysztof Sornat
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Tight Lower Bounds Under Strong Complexity Assumptions
Call: PRELUDIUM 9 , Panel: ST6
Principal investigator: Arkadiusz Socała
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Lévy processes with completely monotone jumps
Call: OPUS 10 , Panel: ST1
Principal investigator: dr hab. Mateusz Kwaśnicki
Politechnika Wrocławska, Wydział Matematyki
INVARIANTS AND METHODS OF APPLIED TOPOLOGY
Call: OPUS 10 , Panel: ST1
Principal investigator: prof. Wacław Marzantowicz
Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Matematyki i Informatyki
Call: SONATA 11 , Panel: HS4
Principal investigator: dr Fryderyk Falniowski
Uniwersytet Ekonomiczny w Krakowie, Kolegium Ekonomii, Finansów i Prawa
Continuous problems: optimality, complexity, tractability
Call: OPUS 5 , Panel: ST1
Principal investigator: prof. Leszek Plaskota
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: PRELUDIUM BIS 5 , Panel: NZ5
Principal investigator: dr hab. Michał Ząbczyk
Uniwersytet Jagielloński, Collegium Medicum
Efficient algorithms for NP-hard problems on planar graphs
Call: SONATA 19 , Panel: ST6
Principal investigator: dr Michał Włodarczyk
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: OPUS 27 , Panel: ST8
Principal investigator: dr hab. Marcel Krzan
Instytut Katalizy i Fizykochemii Powierzchni im. Jerzego Habera Polskiej Akademii Nauk
Call: OPUS 3 , Panel: HS2
Principal investigator: dr Natalia Paprocka
Uniwersytet Wrocławski, Wydział Filologiczny
Hierarchy-type Problems for Automata on Infinite Words and Trees
Call: PRELUDIUM 3 , Panel: ST6
Principal investigator: dr Michał Skrzypczak
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: SONATA 4 , Panel: HS6
Principal investigator: dr Kamil Imbir
Akademia Pedagogiki Specjalnej im. Marii Grzegorzewskiej, Wydział Stosowanych Nauk Społecznych
Current trends in parameterized and exponential-time algorithms
Call: OPUS 5 , Panel: ST6
Principal investigator: dr hab. Łukasz Kowalik
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Algorithmic Learning Theory and Computational Models of Cognitive Capabilities Acquisition
Call: OPUS 6 , Panel: HS1
Principal investigator: dr hab. Marcin Mostowski
Uniwersytet Warszawski, Wydział Filozofii i Socjologii
Complexity of algorithms on compressed data
Call: OPUS 7 , Panel: ST6
Principal investigator: prof. Wojciech Rytter
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: PRELUDIUM 10 , Panel: ST5
Principal investigator: dr Natalia Gutowska
Uniwersytet Łódzki, Wydział Chemii