Zmiana języka

Projects search

Change search criteria ↓

Search results

1 512 projects found matching your search criteria:

  1. 51. Foundations of Cryptocurrencies

    Principal investigator: dr hab. Stefan Dziembowski

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: OPUS 7, Panel: ST6

  2. 52. From nonuniform disk data to leakage-resilient authentication schemes

    Principal investigator: Michał Paweł Zając

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: PRELUDIUM 7, Panel: ST6

  3. 53. Asymptotic methods in lambda calculus and combinatory logic

    Principal investigator: prof. Marek Zaionc

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

    Call: OPUS 6, Panel: ST6

  4. 54. Theoretical aspects of voting protocols

    Principal investigator: dr Filip Tomasz Zagórski

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

    Call: SONATA 5, Panel: ST6

  5. 55. Formal approach to practical problems of information hiding

    Principal investigator: dr hab. Marek Dariusz Klonowski

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

    Call: OPUS 5, Panel: ST6

  6. 56. Synchronization of automata and the Cerny conjecture

    Principal investigator: dr Marek Szykuła

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

    Call: PRELUDIUM 5, Panel: ST6

  7. 57. Theoretical foundations of interactive theorem provers with unrestricted recursive definitions

    Principal investigator: Łukasz Tadeusz Czajka

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: PRELUDIUM 4, Panel: ST6

  8. 58. Coloring games on graphs and partially ordered sets

    Principal investigator: prof. Jarosław Andrzej Grytczuk

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

    Call: OPUS 2, Panel: ST6

  9. 59. Research on properties of alliances and secure sets seen as a subset of vertices which satisfies a certain conditions.

    Principal investigator: Katarzyna Jesse-Józefczyk

    Uniwersytet Zielonogórski, Wydział Matematyki, Informatyki i Ekonometrii

    Call: PRELUDIUM 1, Panel: ST6

  10. 60. DATALOG in Constraint Satisfaction Problem

    Principal investigator: dr hab. Marcin Andrzej Kozik

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

    Call: OPUS 1, Panel: ST6

  11. 61. Geometric structures behind tensors

    Principal investigator: dr hab. Joachim Jelisiejew

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: SONATA BIS 13, Panel: ST1

  12. 62. Automation of the Problem of Unification in Description Logics

    Principal investigator: dr hab. Barbara Joanna Morawska

    Uniwersytet Opolski, Instytut Informatyki

    Call: POLONEZ BIS 3, Panel: ST6

  13. 63. Dimension and Boolean dimension of partial orders

    Principal investigator: dr hab. Piotr Micek

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

    Call: OPUS 24, Panel: ST6

  14. 64. Structure and algorithms for graph classes defined by transduction-closed properties

    Principal investigator: dr Jakub Gajarský

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: SONATA 18, Panel: ST6

  15. 65. Counting models in formal verification

    Principal investigator: dr Filip Aleksander Mazowiecki

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: SONATA BIS 12, Panel: ST6

  16. 66. Polynomial finite state computation

    Principal investigator: prof. Mikołaj Bojańczyk

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: MAESTRO 14, Panel: ST6

  17. 67. Linear algebra in orbit-finite dimension

    Principal investigator: Arka Ghosh

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: PRELUDIUM 21, Panel: ST6

  18. 68. Satsifiability and equivalence problems for finite algebras

    Principal investigator: dr Jacek Krzaczkowski

    Uniwersytet Marii Curie-Skłodowskiej w Lublinie, Wydział Matematyki, Fizyki i Informatyki

    Call: OPUS 23, Panel: ST6

  19. 69. The graph homomorphism problem in structurally restricted classes

    Principal investigator: Marta Piecyk

    Politechnika Warszawska

    Call: PRELUDIUM 21, Panel: ST6

  20. 70. First Order Logic and Beyond. Some Puzzles in Database Theory.

    Principal investigator: prof. Jerzy Marcinkowski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

    Call: OPUS 23, Panel: ST6

  21. 71. 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

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

  23. 73. 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

  24. 74. Frontiers of automatic analysis of concurrent systems

    Principal investigator: prof. Sławomir Grzegorz Lasota

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: OPUS 21, Panel: ST6

  25. 75. H-graphs - recognition, isomorphism, and related problems

    Principal investigator: Jan Kazimierz Derbisz

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

    Call: PRELUDIUM 20, Panel: ST6

  26. 76. Modular circuits - algorithms and lower bounds

    Principal investigator: Piotr Kawałek

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

    Call: PRELUDIUM 20, Panel: ST6

  27. 77. From expressive description logics to mulit-variable fragments of first-order logic: resoning in finite structures

    Principal investigator: dr hab. Emanuel Grzegorz Kieroński

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

    Call: OPUS 21, Panel: ST6

  28. 78. Computational aspects of infinite-duration games

    Principal investigator: dr hab. Paweł Czesław Parys

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: OPUS 21, Panel: ST6

  29. 79. 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

  30. 80. Leveraging Randomization: From Scheduling to AdWords

    Principal investigator: dr Łukasz Jeż

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

    Call: OPUS 20, Panel: ST6

  31. 81. Robust Formalisms for Quantitative Reasoning

    Principal investigator: dr Jakub Dawid Michaliszyn

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

    Call: OPUS 20, Panel: ST6

  32. 82. Towards Estimation of Information Content for Graph Structures

    Principal investigator: dr Krzysztof Szymon Turowski

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

    Call: SONATA 16, Panel: ST6

  33. 83. Space-efficient encodings of combinatorial problems for variational quantum computing

    Principal investigator: dr Adam Piotr Glos

    Instytut Informatyki Teoretycznej i Stosowanej PAN

    Call: PRELUDIUM 19, Panel: ST6

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

  35. 85. Data-enriched models of computation

    Principal investigator: prof. Sławomir Grzegorz Lasota

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: OPUS 18, Panel: ST6

  36. 86. Combinatorial optimization under uncertainty: matroids,matchings and submodular functions

    Principal investigator: dr Marek Piotr Adamczyk

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

    Call: SONATA 15, Panel: ST6

  37. 87. Analysis and decomposition of a control part of a cyber-physical system specified by an interpreted Petri net.

    Principal investigator: dr hab. Remigiusz Grzegorz Wiśniewski

    Uniwersytet Zielonogórski

    Call: OPUS 18, Panel: ST6

  38. 88. Colorings, cliques, and independent sets in graph classes

    Principal investigator: dr hab. Bartosz Maria Walczak

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

    Call: SONATA BIS 9, Panel: ST6

  39. 89. 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

  40. 90. Abstract Machines for Programming Languages: Investigations in Formal Interderivations

    Principal investigator: prof. Witold Charatonik

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

    Call: OPUS 17, Panel: ST6

  41. 91. Algebraic effects: composition and coinduction

    Principal investigator: dr Maciej Adam Piróg

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

    Call: SONATA 14, Panel: ST6

  42. 92. Quantitative study of set theory. Are ZF and ZFC asymptotically equivalent?

    Principal investigator: prof. Marek Zaionc

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

    Call: OPUS 16, Panel: ST6

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

  44. 94. Optimality program in graph homomorphism problems

    Principal investigator: dr Paweł Rzążewski

    Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych

    Call: SONATA 14, Panel: ST6

  45. 95. 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

  46. 96. Machine learning and automatic theorem proving

    Principal investigator: dr hab. Henryk Michalewski

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: OPUS 15, Panel: ST6

  47. 97. Deep Neural Architectures for Automated Theorem Proving

    Principal investigator: Bartosz Paweł Piotrowski

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: PRELUDIUM 15, Panel: ST6

  48. 98. Zastosowanie algorytmiki w kontekście wybranych zagadnień społecznych i ekonomicznych.

    Principal investigator: Krzysztof Sornat

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

    Call: ETIUDA 6, Panel: ST6

  49. 99. Programowanie dynamiczne z gwarancjami

    Principal investigator: Karol Zbigniew Węgrzycki

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: ETIUDA 6, Panel: ST6

  50. 100. 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

Graphic design and implementation: Jakub Piotrowski