Projects search

• Keywords: obliczenia teoretyczne ×

Change search criteria ↓

Search results

295 projects found matching your search criteria:

101. 101. Studies of molecularly imprinted polymers application for analysis of pharmaceuticals in biological systems

     Principal investigator: dr Krzysztof Robert Noworyta

     Instytut Chemii Fizycznej Polskiej Akademii Nauk

     Call: OPUS 10, Panel: ST4

102. 102. Analysis of quinoline alkaloids using vibrational spectroscopy methods

     Principal investigator: Maciej Wojciech Roman

     Uniwersytet Jagielloński, Wydział Chemii

     Call: PRELUDIUM 3, Panel: ST4

103. 103. Blockchain wallets -- cryptographic theory and applications

     Principal investigator: prof. Stefan Michał Dziembowski

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: OPUS 18, Panel: ST6

104. 104. Product structure of graphs

     Principal investigator: dr hab. Piotr Micek

     Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

     Call: WEAVE-UNISONO, Panel: ST6

105. 105. Processing massive string data and beyond: algorithms and conditional lower bounds

     Principal investigator: dr Paweł Maciej Gawrychowski

     Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

     Call: OPUS 26, Panel: ST6

106. 106. Global protein docking algorithms based on the UNRES coarse-grained model

     Principal investigator: dr Paweł Krupa

     Uniwersytet Gdański, Wydział Chemii

     Call: PRELUDIUM 9, Panel: ST4

107. 107. LP rounding approximation algorithms

     Principal investigator: Bartosz Michał Rybicki

     Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

     Call: PRELUDIUM 4, Panel: ST6

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

     Principal investigator: dr hab. Barbara Morawska

     Uniwersytet Opolski

     Call: OPUS 29, Panel: ST6

109. 109. Everything I know: a syntactical approach to only-knowing

     Principal investigator: dr hab. Lidia Zofia Tendera

     Uniwersytet Opolski

     Call: OPUS 29, Panel: ST6

110. 110. New automated verification methods of open real-time multi-agent systems

     Principal investigator: dr hab. Bożena Woźna-Szcześniak

     Akademia im. Jana Długosza w Częstochowie

     Call: OPUS 29, Panel: ST6

111. 111. On the border of impossible in classical automata theory

     Principal investigator: dr hab. Paweł Parys

     Uniwersytet Warszawski

     Call: OPUS 28, Panel: ST6

112. 112. Analysis of quantitative models of computation

     Principal investigator: dr hab. Lorenzo Clemente

     Uniwersytet Warszawski

     Call: SONATA BIS 14, Panel: ST6

113. 113. Beyond Worst-Case Analysis: Online Problems with Delays and Stochastic Arrival Times

     Principal investigator: Michał Łukasz Pawłowski

     IDEAS NCBR Sp. z o.o.

     Call: PRELUDIUM 23, Panel: ST6

114. 114. Decision Problems for Logics with Weak Forms of Recursion

     Principal investigator: Bartosz Jan Bednarczyk

     Uniwersytet Wrocławski

     Call: PRELUDIUM 23, Panel: ST6

115. 115. Advancing Petri Net Theory: Deeper understanding to Classical Problems and Integration into Workflow Applications

     Principal investigator: dr Piotr Hofman

     Uniwersytet Warszawski

     Call: OPUS 27, Panel: ST6

116. 116. Synthesis via active learning: theory and applications

     Principal investigator: dr hab. Jan Otop

     Uniwersytet Wrocławski

     Call: OPUS 27, Panel: ST6

117. 117. Modern tools for complex network analysis

     Principal investigator: dr Małgorzata Sulkowska

     Politechnika Wrocławska

     Call: OPUS 25, Panel: ST6

118. 118. Optimal and probabilistic learning of quantum devices

     Principal investigator: dr hab. Zbigniew Włodzimierz Puchała

     Instytut Informatyki Teoretycznej i Stosowanej PAN

     Call: OPUS 24, Panel: ST6

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

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

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

122. 122. Counting models in formal verification

     Principal investigator: dr Filip Aleksander Mazowiecki

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: SONATA BIS 12, Panel: ST6

123. 123. Advanced methods of numerical modeling supported by machine learning tools for predicting water adsorption in MOF materi…

     Principal investigator: Bartosz Mazur

     Politechnika Wrocławska

     Call: PRELUDIUM 21, Panel: ST4

124. 124. Linear algebra in orbit-finite dimension

     Principal investigator: Arka Ghosh

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: PRELUDIUM 21, Panel: ST6

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

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

     Principal investigator: Marta Piecyk

     Politechnika Warszawska

     Call: PRELUDIUM 21, Panel: ST6

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

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

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

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

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

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

     Principal investigator: Jan Kazimierz Derbisz

     Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

     Call: PRELUDIUM 20, Panel: ST6

133. 133. Modular circuits - algorithms and lower bounds

     Principal investigator: Piotr Kawałek

     Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

     Call: PRELUDIUM 20, Panel: ST6

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

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

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

137. 137. Leveraging Randomization: From Scheduling to AdWords

     Principal investigator: dr Łukasz Jeż

     Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

     Call: OPUS 20, Panel: ST6

138. 138. Robust Formalisms for Quantitative Reasoning

     Principal investigator: dr Jakub Dawid Michaliszyn

     Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

     Call: OPUS 20, Panel: ST6

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

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

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

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

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

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

145. 145. Algebraic effects: composition and coinduction

     Principal investigator: dr Maciej Adam Piróg

     Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

     Call: SONATA 14, Panel: ST6

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

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

148. 148. Optimality program in graph homomorphism problems

     Principal investigator: dr Paweł Rzążewski

     Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych

     Call: SONATA 14, Panel: ST6

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

150. 150. Machine learning and automatic theorem proving

     Principal investigator: dr hab. Henryk Michalewski

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: OPUS 15, Panel: ST6