Projects search

• Keywords: informatyka teoretyczna ×

Change search criteria ↓

Search results

928 projects found matching your search criteria:

51. 51. 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

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

    Principal investigator: Marta Piecyk

    Politechnika Warszawska

    Call: PRELUDIUM 21, Panel: ST6

53. 53. 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

54. 54. 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

55. 55. 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

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

57. 57. 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

58. 58. H-graphs - recognition, isomorphism, and related problems

    Principal investigator: Jan Kazimierz Derbisz

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

    Call: PRELUDIUM 20, Panel: ST6

59. 59. Modular circuits - algorithms and lower bounds

    Principal investigator: Piotr Kawałek

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

    Call: PRELUDIUM 20, Panel: ST6

60. 60. 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

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

62. 62. 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

63. 63. Leveraging Randomization: From Scheduling to AdWords

    Principal investigator: dr Łukasz Jeż

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

    Call: OPUS 20, Panel: ST6

64. 64. Robust Formalisms for Quantitative Reasoning

    Principal investigator: dr Jakub Dawid Michaliszyn

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

    Call: OPUS 20, Panel: ST6

65. 65. 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

66. 66. 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

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

68. 68. Data-enriched models of computation

    Principal investigator: prof. Sławomir Grzegorz Lasota

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: OPUS 18, Panel: ST6

69. 69. 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

70. 70. 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

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

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

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

74. 74. Algebraic effects: composition and coinduction

    Principal investigator: dr Maciej Adam Piróg

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

    Call: SONATA 14, Panel: ST6

75. 75. 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

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

77. 77. Optimality program in graph homomorphism problems

    Principal investigator: dr Paweł Rzążewski

    Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych

    Call: SONATA 14, Panel: ST6

78. 78. 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

79. 79. Machine learning and automatic theorem proving

    Principal investigator: dr hab. Henryk Michalewski

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: OPUS 15, Panel: ST6

80. 80. Deep Neural Architectures for Automated Theorem Proving

    Principal investigator: Bartosz Paweł Piotrowski

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: PRELUDIUM 15, Panel: ST6

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

82. 82. Programowanie dynamiczne z gwarancjami

    Principal investigator: Karol Zbigniew Węgrzycki

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: ETIUDA 6, Panel: ST6

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

84. 84. Efficient algorithms and conditional lower bounds for problems on trees

    Principal investigator: Bartłomiej Dudek

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

    Call: PRELUDIUM 14, Panel: ST6

85. 85. Automatic analysis of concurrent systems

    Principal investigator: prof. Sławomir Grzegorz Lasota

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: OPUS 14, Panel: ST6

86. 86. Quantitative specifications: learning, algorithms and applications

    Principal investigator: dr Jan Otop

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

    Call: OPUS 14, Panel: ST6

87. 87. Around optimality of dynamic programming algorithms

    Principal investigator: dr Adam Polak

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

    Call: PRELUDIUM 14, Panel: ST6

88. 88. Understanding recursion

    Principal investigator: dr Lorenzo Clemente

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: SONATA 13, Panel: ST6

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

    Principal investigator: dr Maciej Drwal

    Politechnika Wrocławska

    Call: SONATA 13, Panel: ST6

90. 90. Dynamic graphs; connectivity, flows and coloring.

    Principal investigator: dr Anna Zych-Pawlewicz

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: SONATA 13, Panel: ST6

91. 91. Aspects of grammar compression

    Principal investigator: dr hab. Artur Jeż

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

    Call: SONATA BIS 7, Panel: ST6

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

    Principal investigator: prof. Paweł Zieliński

    Politechnika Wrocławska

    Call: OPUS 13, Panel: ST6

93. 93. Design of Distributed Algorithms in Highly Congested Networks

    Principal investigator: prof. Tomasz Jurdziński

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

    Call: OPUS 13, Panel: ST6

94. 94. Algebraic Effects and Continuations

    Principal investigator: dr Maciej Adam Piróg

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

    Call: POLONEZ 3, Panel: ST6

95. 95. Scalable reasoning about concurrent imperative programs

    Principal investigator: dr Filip Sieczkowski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

    Call: SONATA 12, Panel: ST6

96. 96. One Step From the Relational Model. A Couple of Database Theory Puzzles.

    Principal investigator: prof. Jerzy Marcinkowski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

    Call: OPUS 12, Panel: ST6

97. 97. Entropy in complex networks

    Principal investigator: dr hab. Mikołaj Aleksander Morzy

    Politechnika Poznańska, Wydział Informatyki i Telekomunikacji

    Call: OPUS 12, Panel: ST6

98. 98. Online learning algorithms for complex prediction problems

    Principal investigator: dr Wojciech Kotłowski

    Politechnika Poznańska, Wydział Informatyki i Telekomunikacji

    Call: SONATA BIS 6, Panel: ST6

99. 99. Quantitative properties for higher-order recursion schemes

    Principal investigator: dr hab. Paweł Parys

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: SONATA BIS 6, Panel: ST6

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