Zmiana języka

Projects search

Change search criteria ↓

Search results

40 projects found matching your search criteria:

  1. 1. Topological robotics: topological complexity of K(G,1) spaces and effective topological complexity

    Principal investigator: Arturo Espinosa Baro

    Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Matematyki i Informatyki

    Call: PRELUDIUM 21, Panel: ST1

  2. 2. Quantum Information in Quantum Field Theories and Holography: Dynamics and Complexity.

    Principal investigator: dr hab. Paweł Piotr Caputa

    Uniwersytet Warszawski, Wydział Fizyki

    Call: SONATA BIS 9, Panel: ST2

  3. 3. Algebraic theory for CSP (tractability, approximation and optimization)

    Principal investigator: dr hab. Marcin Andrzej Kozik

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

    Call: OPUS 7, Panel: ST6

  4. 4. Structural complexity measures for foundational theories

    Principal investigator: dr Mateusz Zbigniew Łełyk

    Uniwersytet Warszawski

    Call: WEAVE-UNISONO, Panel: HS1

  5. 5. Complexity and fidelity susceptibility in holography

    Principal investigator: dr Mario Rainer Flory

    Uniwersytet Jagielloński, Wydział Fizyki, Astronomii i Informatyki Stosowanej

    Call: SONATINA 1, Panel: ST2

  6. 6. Complexity and describability in Analysis: from freeness to polishness

    Principal investigator: dr hab. Tomasz Marcin Kania

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

    Call: SONATA BIS 13, Panel: ST1

  7. 7. Algorithmic Learning Theory and Computational Models of Cognitive Capabilities Acquisition

    Principal investigator: dr hab. Marcin Mostowski

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

    Call: OPUS 6, Panel: HS1

  8. 8. Combinatorial and information theory aspects of communication in distributed systems.

    Principal investigator: dr Marcin Kardas

    Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki

    Call: PRELUDIUM 5, Panel: ST6

  9. 9. Dynamical systems and descriptive complexity

    Principal investigator: dr Felipe García-Ramos Aguilar

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

    Call: SONATA 18, Panel: ST1

  10. 10. Distributed deductive systems for classical and non-classical logics. Proof theory supported with computational methods

    Principal investigator: dr hab. Dorota Leszczyńska-Jasion

    Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Psychologii i Kognitywistyki

    Call: SONATA BIS 7, Panel: HS1

  11. 11. Fair Problems and Diverse Solutions in Parameterized Complexity

    Principal investigator: dr Tomáš Masařík

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: SONATA 17, Panel: ST6

  12. 12. Graph separation problems from the perspective of parameterized complexity.

    Principal investigator: Paweł Komosa

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: PRELUDIUM 10, Panel: ST6

  13. 13. Acquisition of language complexity in foreign language teaching and learning

    Principal investigator: prof. Urszula Paprocka-Piotrowska

    Katolicki Uniwersytet Lubelski Jana Pawła II, Wydział Nauk Humanistycznych

    Call: HARMONIA 7, Panel: HS2

  14. 14. Optimality in parameterized complexity

    Principal investigator: dr Michał Paweł Pilipczuk

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: SONATA 6, Panel: ST6

  15. 15. Computational complexity of some connectivity problems

    Principal investigator: dr hab. Marcin Jakub Kamiński

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: SONATA 4, Panel: ST6

  16. 16. Dolne ograniczenia złożoności problemów rozwiązywalnych w czasie wielomianowym

    Principal investigator: dr Adam Teodor Polak

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

    Call: ETIUDA 6, Panel: ST6

  17. 17. Dimension and representations of partially ordered sets: computational complexity, bounds and structural properties

    Principal investigator: dr Piotr Micek

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

    Call: SONATA BIS 5, Panel: ST6

  18. 18. parameters of finite models

    Principal investigator: dr Eryk Kopczyński

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: SONATA 4, Panel: ST6

  19. 19. From Games to Algorithms: Exploring Reasoning in Description Logics

    Principal investigator: dr hab. Barbara Morawska

    Uniwersytet Opolski

    Call: OPUS 29, Panel: ST6

  20. 20. Efficient algorithms for NP-hard problems on planar graphs

    Principal investigator: dr Michał Włodarczyk

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: SONATA 19, Panel: ST6

  21. 21. Infinity in reasoning about data and knowledge

    Principal investigator: dr hab. Filip Marek Murlak

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: SONATA BIS 8, Panel: ST6

  22. 22. Deductive systems and decidability problem for hybrid logics

    Principal investigator: dr Michał Ksawery Zawidzki

    Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

    Call: PRELUDIUM 1, Panel: HS1

  23. 23. The graph homomorphism problem in structurally restricted classes

    Principal investigator: Marta Piecyk

    Politechnika Warszawska

    Call: PRELUDIUM 21, Panel: ST6

  24. 24. Forbidding subdivisions and line graphs towards faster algorithms

    Principal investigator: Jana Masaříková

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: PRELUDIUM 21, Panel: ST6

  25. 25. Generalizations of the graph coloring problem in graphs with forbidden structures

    Principal investigator: Karolina Okrasa

    Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych

    Call: PRELUDIUM 20, Panel: ST6

  26. 26. Probabilistic tools for high-dimensional geometric inference, topological data analysis, and large-scale networks.

    Principal investigator: dr Kunal Dutta

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: SONATA 15, Panel: ST6

  27. 27. Algebraic techniques for parallelising algorithms

    Principal investigator: dr Przemysław Konstanty Uznański

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

    Call: OPUS 17, Panel: ST6

  28. 28. Graph modeling of search processes

    Principal investigator: dr hab. Dariusz Piotr Dereniowski

    Politechnika Gdańska, Wydział Elektroniki, Telekomunikacji i Informatyki

    Call: OPUS 16, Panel: ST6

  29. 29. Optimality program in graph homomorphism problems

    Principal investigator: dr Paweł Rzążewski

    Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych

    Call: SONATA 14, Panel: ST6

  30. 30. Around optimality of dynamic programming algorithms

    Principal investigator: dr Adam Polak

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

    Call: PRELUDIUM 14, Panel: ST6

  31. 31. Robust optimization algorithms for problems with uncertain data

    Principal investigator: dr Maciej Drwal

    Politechnika Wrocławska

    Call: SONATA 13, Panel: ST6

  32. 32. Discrete optimization problems under uncertainty - models and algorithms

    Principal investigator: prof. Paweł Zieliński

    Politechnika Wrocławska

    Call: OPUS 13, Panel: ST6

  33. 33. Scheduling in data gathering networks

    Principal investigator: dr Joanna Berlińska

    Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Matematyki i Informatyki

    Call: SONATA 12, Panel: ST6

  34. 34. Algorithmic aspects of synchronization

    Principal investigator: dr Adam Roman

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

    Call: OPUS 9, Panel: ST6

  35. 35. Tight Lower Bounds Under Strong Complexity Assumptions

    Principal investigator: Arkadiusz Aleksander Socała

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: PRELUDIUM 9, Panel: ST6

  36. 36. Searching graph structures

    Principal investigator: dr hab. Dariusz Piotr Dereniowski

    Politechnika Gdańska, Wydział Elektroniki, Telekomunikacji i Informatyki

    Call: OPUS 9, Panel: ST6

  37. 37. Application of modern algorithmic methods for solving NP-hard clustering problems.

    Principal investigator: Krzysztof Sornat

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

    Call: PRELUDIUM 9, Panel: ST6

  38. 38. Quantum information processing with severely limited memory and communication

    Principal investigator: dr hab. Marcin Pawłowski

    Uniwersytet Gdański, Wydział Matematyki, Fizyki i Informatyki

    Call: SONATA BIS 4, Panel: ST2

  39. 39. Complexity of algorithms on compressed data

    Principal investigator: prof. Wojciech Rytter

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: OPUS 7, Panel: ST6

  40. 40. Current trends in parameterized and exponential-time algorithms

    Principal investigator: dr hab. Łukasz Kowalik

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: OPUS 5, Panel: ST6

Graphic design and implementation: Jakub Piotrowski