Projects search

• Keywords: technologie kwantowe ×

Change search criteria ↓

Search results

113 projects found matching your search criteria:

101. 101. On-line choosability

     Principal investigator: dr Piotr Micek

     Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

     Call: SONATA 2, Panel: ST6

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

103. 103. Decision procedures in verification

     Principal investigator: prof. Witold Charatonik

     Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

     Call: OPUS 2, Panel: ST6

104. 104. Graph sharing games: strategies and algorithms

     Principal investigator: dr Bartosz Maria Walczak

     Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

     Call: PRELUDIUM 2, Panel: ST6

105. 105. Around Modal Logics - Decidability and Complexity

     Principal investigator: Jakub Dawid Michaliszyn

     Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

     Call: PRELUDIUM 2, Panel: ST6

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

107. 107. Efficient parsing algorithms for free word order languages

     Principal investigator: Paweł Marek Skórzewski

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

     Call: PRELUDIUM 1, Panel: ST6

108. 108. Perception Based Computing

     Principal investigator: dr Piotr Tomasz Wasilewski

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: SONATA 1, Panel: ST6

109. 109. Constraint Satisfaction Problems and Quantified Constraint Satisfaction Problems in the context of Temporal Reasoning.

     Principal investigator: dr Michał Wrona

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

     Call: SONATA 1, Panel: ST6

110. 110. Generalisation of the entropy and entropy dimension and their applications

     Principal investigator: dr hab. Jacek Tabor

     Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

     Call: OPUS 1, Panel: ST6

111. 111. Efficient algorithms and representations in formal languages and automata theory.

     Principal investigator: dr Artur Jeż

     Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

     Call: SONATA 1, Panel: ST6

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

113. 113. DATALOG in Constraint Satisfaction Problem

     Principal investigator: dr hab. Marcin Andrzej Kozik

     Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

     Call: OPUS 1, Panel: ST6