100 projects found matching your search criteria :
From Games to Algorithms: Exploring Reasoning in Description Logics
Call: OPUS 29 , Panel: ST6
Principal investigator: dr hab. Barbara Morawska
Uniwersytet Opolski
Everything I know: a syntactical approach to only-knowing
Call: OPUS 29 , Panel: ST6
Principal investigator: dr hab. Lidia Zofia Tendera
Uniwersytet Opolski
Polishability of analytic equivalence relations and generalized Scott analysis
Call: PRELUDIUM 24 , Panel: ST1
Principal investigator: Mateusz Lichman
Politechnika Łódzka
Call: SONATINA 9 , Panel: ST5
Principal investigator: Gracjan Piotr Kurpik
Fundacja Uniwersytetu im. Adama Mickiewicza
Structural complexity measures for foundational theories
Call: WEAVE-UNISONO , Panel: HS1
Principal investigator: dr Mateusz Zbigniew Łełyk
Uniwersytet Warszawski
Analysis of quantitative models of computation
Call: SONATA BIS 14 , Panel: ST6
Principal investigator: dr hab. Lorenzo Clemente
Uniwersytet Warszawski
Decision Problems for Logics with Weak Forms of Recursion
Call: PRELUDIUM 23 , Panel: ST6
Principal investigator: Bartosz Jan Bednarczyk
Uniwersytet Wrocławski
Borel complexity of ideals on countable sets and sets of limit points
Call: OPUS 27 , Panel: ST1
Principal investigator: dr hab. Adam Marek Kwela
Uniwersytet Gdański
Call: OPUS 27 , Panel: HS4
Principal investigator: dr hab. Piotr Wójcik
Akademia Leona Koźmińskiego
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
Impact of Composition and Cooling Rate on Mechanical Properties of High Entropy Metallic Glasses
Call: SONATA BIS 13 , Panel: ST3
Principal investigator: dr Silvia Bonfanti
Narodowe Centrum Badań Jądrowych
Complexity and describability in Analysis: from freeness to polishness
Call: SONATA BIS 13 , Panel: ST1
Principal investigator: dr hab. Tomasz Marcin Kania
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
NovEl laser Sources by exploiTing nonlinEar compLexity in opticaL fibErs (ESTELLE).
Call: OPUS 25 , Panel: ST7
Principal investigator: dr Katarzyna Krupa
Instytut Chemii Fizycznej Polskiej Akademii Nauk
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
Dynamical systems and descriptive complexity
Call: SONATA 18 , Panel: ST1
Principal investigator: dr Felipe García-Ramos Aguilar
Uniwersytet Jagielloński, Wydział Matematyki 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
Forbidding subdivisions and line graphs towards faster algorithms
Call: PRELUDIUM 21 , Panel: ST6
Principal investigator: Jana Masaříková
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
The graph homomorphism problem in structurally restricted classes
Call: PRELUDIUM 21 , Panel: ST6
Principal investigator: Marta Piecyk
Politechnika Warszawska
Call: PRELUDIUM 21 , Panel: HS6
Principal investigator: Agata Jadwiga Wolna
Uniwersytet Jagielloński, Wydział Filozoficzny
Topological robotics: topological complexity of K(G,1) spaces and effective topological complexity
Call: PRELUDIUM 21 , Panel: ST1
Principal investigator: Arturo Espinosa Baro
Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Matematyki i Informatyki
Call: POLONEZ BIS 1 , Panel: NZ8
Principal investigator: dr Iago Sanmartín-Villar
Muzeum i Instytut Zoologii PAN
Fair Problems and Diverse Solutions in Parameterized Complexity
Call: SONATA 17 , Panel: ST6
Principal investigator: dr Tomáš Masařík
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Constraint Satisfaction Problems: beyond the finite case
Call: WEAVE-UNISONO , Panel: ST6
Principal investigator: dr hab. Marcin Andrzej Kozik
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Call: OPUS 21 , Panel: NZ8
Principal investigator: dr hab. Michał Adam Ciach
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
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
Methods for the similarity analysis of low complexity regions in proteins
Call: PRELUDIUM 20 , Panel: ST6
Principal investigator: dr Patryk Paweł Jarnot
Politechnika Śląska, Wydział Automatyki, Elektroniki 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
Promoting Order at The Edge od Turbulence (POET)
Call: Profesura Gościnna NAWA 2020 , Panel: HS5
Principal investigator: prof. Emilian Kavalski
Uniwersytet Jagielloński
Call: OPUS 20 , Panel: ST6
Principal investigator: dr hab. Marcin Maciej Grynberg
Instytut Biochemii i Biofizyki PAN
Constraint Satisfaction Problems for infinite homogeneous structures: towards algorithms
Call: OPUS 19 , Panel: ST6
Principal investigator: dr hab. Michał Maria Wrona
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Call: OPUS 19 , Panel: NZ5
Principal investigator: dr hab. Beata Anna Nowakowska
Instytut Matki i Dziecka
Dynamical complexity and pseudometrics
Call: POLS , Panel: ST1
Principal investigator: dr Maik Gröger
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Call: ETIUDA 8 , Panel: NZ8
Principal investigator: Carlos Leopoldo Bautista Leon
Instytut Ochrony Przyrody PAN
Cantor dynamical systems and their classification
Call: SONATA 15 , Panel: ST1
Principal investigator: dr Olena Karpel
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Matematyki Stosowanej
Quantum Information in Quantum Field Theories and Holography: Dynamics and Complexity.
Call: SONATA BIS 9 , Panel: ST2
Principal investigator: dr hab. Paweł Piotr Caputa
Uniwersytet Warszawski, Wydział Fizyki
Call: OPUS 17 , Panel: ST6
Principal investigator: dr hab. Jarosław Adam Miszczak
Instytut Informatyki Teoretycznej i Stosowanej PAN
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: PRELUDIUM 17 , Panel: NZ8
Principal investigator: dr Sylwia Pustkowiak
Instytut Ochrony Przyrody PAN
Graph modeling of search processes
Call: OPUS 16 , Panel: ST6
Principal investigator: dr hab. Dariusz Piotr Dereniowski
Politechnika Gdańska, Wydział Elektroniki, Telekomunikacji i Informatyki
Doubly knotted proteins - frontiers of topological complexity of proteins
Call: OPUS 16 , Panel: NZ1
Principal investigator: dr hab. Joanna Ida Sułkowska
Uniwersytet Warszawski, Centrum Nowych Technologii Uniwersytetu Warszawskiego
Call: OPUS 16 , Panel: ST6
Principal investigator: dr hab. Lidia Zofia Tendera
Uniwersytet Opolski, Wydział Nauk Społecznych, Wydział Matematyki, Fizyki i Informatyki
Optimality program in graph homomorphism problems
Call: SONATA 14 , Panel: ST6
Principal investigator: dr Paweł Rzążewski
Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych
Infinity in reasoning about data and knowledge
Call: SONATA BIS 8 , Panel: ST6
Principal investigator: dr hab. Filip Marek Murlak
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Changes in the structural complexity of Golgi apparatus upon neuronal activation.
Call: OPUS 15 , Panel: NZ4
Principal investigator: dr hab. Joanna Małgorzata Dzwonek
Instytut Biologii Doświadczalnej im. M. Nenckiego PAN
Advanced humanistic management as a research field on the massive technosocial phenmena
Call: OPUS 15 , Panel: HS1
Principal investigator: dr hab. Rafał Jan Maciąg
Uniwersytet Jagielloński, Wydział Zarządzania i Komunikacji Społecznej
Dynamics from the single orbit point of view: quasicrystals, invariant measures, complexity
Call: OPUS 15 , Panel: ST1
Principal investigator: dr hab. Dominik Kwietniak
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Call: OPUS 14 , Panel: ST1
Principal investigator: dr hab. Leszek Aleksander Kołodziejczyk
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Around optimality of dynamic programming algorithms
Call: PRELUDIUM 14 , Panel: ST6
Principal investigator: dr Adam Polak
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Robust optimization algorithms for problems with uncertain data
Call: SONATA 13 , Panel: ST6
Principal investigator: dr Maciej Drwal
Politechnika Wrocławska