Zmiana języka

Projects search

Change search criteria ↓

Search results

102 projects found matching your search criteria:

  1. 51. Counting models in formal verification

    Principal investigator: dr Filip Aleksander Mazowiecki

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: SONATA BIS 12, Panel: ST6

  2. 52. 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

  3. 53. Alien rule: Unveiling the mechanisms used by invasive ants to adapt to current and future environmental conditions

    Principal investigator: dr Iago Sanmartín-Villar

    Muzeum i Instytut Zoologii PAN

    Call: POLONEZ BIS 1, Panel: NZ8

  4. 54. Constraint Satisfaction Problems: beyond the finite case

    Principal investigator: dr hab. Marcin Andrzej Kozik

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

    Call: WEAVE-UNISONO, Panel: ST6

  5. 55. The keystone structure concept: multilevel significance of bird nests as the proof of the existence of critical ecosyste…

    Principal investigator: dr hab. Michał Adam Ciach

    Uniwersytet Rolniczy im. Hugona Kołłątaja w Krakowie, Wydział Leśny

    Call: OPUS 21, Panel: NZ8

  6. 56. 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

  7. 57. Finite automata: selected problems and applications connecting different areas

    Principal investigator: dr Marek Szykuła

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

    Call: OPUS 21, Panel: ST6

  8. 58. Promoting Order at The Edge od Turbulence (POET)

    Principal investigator: prof. Emilian Kavalski

    Uniwersytet Jagielloński

    Call: Profesura Gościnna NAWA 2020, Panel: HS5

  9. 59. Constraint Satisfaction Problems for infinite homogeneous structures: towards algorithms

    Principal investigator: dr hab. Michał Maria Wrona

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

    Call: OPUS 19, Panel: ST6

  10. 60. Cantor dynamical systems and their classification

    Principal investigator: dr Olena Karpel

    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Matematyki Stosowanej

    Call: SONATA 15, Panel: ST1

  11. 61. 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

  12. 62. Impact of input data alteration and modification of the algorithm parameters on the efficiency of quantum programs

    Principal investigator: dr hab. Jarosław Adam Miszczak

    Instytut Informatyki Teoretycznej i Stosowanej PAN

    Call: OPUS 17, Panel: ST6

  13. 63. 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

  14. 64. 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

  15. 65. Challenges to automated reasoning in decidable fragments of first-order logic: trees, orders and numerals

    Principal investigator: dr hab. Lidia Zofia Tendera

    Uniwersytet Opolski, Wydział Matematyki, Fizyki i Informatyki

    Call: OPUS 16, Panel: ST6

  16. 66. Optimality program in graph homomorphism problems

    Principal investigator: dr Paweł Rzążewski

    Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych

    Call: SONATA 14, Panel: ST6

  17. 67. 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

  18. 68. Advanced humanistic management as a research field on the massive technosocial phenmena

    Principal investigator: dr hab. Rafał Jan Maciąg

    Uniwersytet Jagielloński, Wydział Zarządzania i Komunikacji Społecznej

    Call: OPUS 15, Panel: HS1

  19. 69. Provability, computation and combinatorics at the lower and intermediate levels of the Gödel hierarchy

    Principal investigator: dr hab. Leszek Aleksander Kołodziejczyk

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: OPUS 14, Panel: ST1

  20. 70. Around optimality of dynamic programming algorithms

    Principal investigator: dr Adam Polak

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

    Call: PRELUDIUM 14, Panel: ST6

  21. 71. Robust optimization algorithms for problems with uncertain data

    Principal investigator: dr Maciej Drwal

    Politechnika Wrocławska

    Call: SONATA 13, Panel: ST6

  22. 72. 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

  23. 73. Discrete optimization problems under uncertainty - models and algorithms

    Principal investigator: prof. Paweł Zieliński

    Politechnika Wrocławska

    Call: OPUS 13, Panel: ST6

  24. 74. New challanges for IBC

    Principal investigator: prof. Henryk Woźniakowski

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: OPUS 13, Panel: ST1

  25. 75. Hybridizing Fragments of Halpern-Shoham Logic

    Principal investigator: Przemysław Andrzej Wałęga

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

    Call: PRELUDIUM 12, Panel: HS1

  26. 76. 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

  27. 77. Algorithmic and Axiomatic Analysis of Committee Scoring Rules

    Principal investigator: dr hab. Piotr Faliszewski

    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji

    Call: OPUS 11, Panel: ST6

  28. 78. A quest for new computer logics

    Principal investigator: dr hab. Emanuel Grzegorz Kieroński

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

    Call: OPUS 11, Panel: ST6

  29. 79. INVARIANTS AND METHODS OF APPLIED TOPOLOGY

    Principal investigator: prof. Wacław Bolesław Marzantowicz

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

    Call: OPUS 10, Panel: ST1

  30. 80. Algorithmic aspects of synchronization

    Principal investigator: dr Adam Roman

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

    Call: OPUS 9, Panel: ST6

  31. 81. 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

  32. 82. Searching graph structures

    Principal investigator: dr hab. Dariusz Piotr Dereniowski

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

    Call: OPUS 9, Panel: ST6

  33. 83. 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

  34. 84. 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

  35. 85. Complexity of algorithms on compressed data

    Principal investigator: prof. Wojciech Rytter

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: OPUS 7, Panel: ST6

  36. 86. 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

  37. 87. Energy-Aware and Computationally-Intelligent Cooperative Wireless Networks: EcoNets

    Principal investigator: prof. Hanna Bogucka

    Politechnika Poznańska, Wydział Elektroniki i Telekomunikacji

    Call: OPUS 6, Panel: ST7

  38. 88. Morphisms and diagonals of Mori Dream Spaces, phylogenetics, and applications of Cox rings

    Principal investigator: dr hab. Jarosław Buczyński

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: SONATA 6, Panel: ST1

  39. 89. Large Scale Geometry

    Principal investigator: dr Piotr Wojciech Nowak

    Instytut Matematyczny Polskiej Akademii Nauk

    Call: SONATA BIS 3, Panel: ST1

  40. 90. 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

  41. 91. Frontiers of tractability for recursive queries

    Principal investigator: dr Filip Aleksander Mazowiecki

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: PRELUDIUM 5, Panel: ST6

  42. 92. Algorithms for robust discrete optimization

    Principal investigator: dr hab. Adam Andrzej Kasperski

    Politechnika Wrocławska, Wydział Informatyki i Zarządzania

    Call: OPUS 5, Panel: ST6

  43. 93. 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

  44. 94. parameters of finite models

    Principal investigator: dr Eryk Kopczyński

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: SONATA 4, Panel: ST6

  45. 95. Tractability of non-homogenous multivariate problems

    Principal investigator: dr Paweł Siedlecki

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: PRELUDIUM 4, Panel: ST1

  46. 96. Algorithmic Aspects of Elections within Parliaments

    Principal investigator: dr hab. Piotr Faliszewski

    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji

    Call: HARMONIA 3, Panel: ST1

  47. 97. Hierarchy-type Problems for Automata on Infinite Words and Trees

    Principal investigator: dr Michał Paweł Skrzypczak

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: PRELUDIUM 3, Panel: ST6

  48. 98. Complex models in scheduling problems and methods of their solution

    Principal investigator: prof. Adam Antoni Janiak

    Instytut Badań Systemowych PAN

    Call: OPUS 2, Panel: ST6

  49. 99. Development of graph-theoretical methods of discrete optimization in technological and biological applications

    Principal investigator: prof. Marek Kubale

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

    Call: MAESTRO 1, Panel: ST6

  50. 100. Deductive systems and decidability problem for hybrid logics

    Principal investigator: dr Michał Ksawery Zawidzki

    Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

    Call: PRELUDIUM 1, Panel: HS1

Graphic design and implementation: Jakub Piotrowski