Projects search

• Keywords: obliczenia teoretyczne ×

Change search criteria ↓

Search results

295 projects found matching your search criteria:

151. 151. Deep Neural Architectures for Automated Theorem Proving

     Principal investigator: Bartosz Paweł Piotrowski

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: PRELUDIUM 15, Panel: ST6

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

153. 153. Programowanie dynamiczne z gwarancjami

     Principal investigator: Karol Zbigniew Węgrzycki

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: ETIUDA 6, Panel: ST6

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

155. 155. Mapping NARES-2P coarse-grained model of nucleic acids to all-atom representation

     Principal investigator: Łukasz Golon

     Uniwersytet Gdański, Wydział Chemii

     Call: PRELUDIUM 14, Panel: ST4

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

157. 157. Automatic analysis of concurrent systems

     Principal investigator: prof. Sławomir Grzegorz Lasota

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: OPUS 14, Panel: ST6

158. 158. Properties and reactivity of molecules and molecular complexes under partial spatial confinement

     Principal investigator: dr hab. Tatiana Danuta Korona

     Uniwersytet Warszawski, Wydział Chemii

     Call: OPUS 14, Panel: ST4

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

     Principal investigator: dr Jan Otop

     Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

     Call: OPUS 14, Panel: ST6

160. 160. Around optimality of dynamic programming algorithms

     Principal investigator: dr Adam Polak

     Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

     Call: PRELUDIUM 14, Panel: ST6

161. 161. Understanding recursion

     Principal investigator: dr Lorenzo Clemente

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: SONATA 13, Panel: ST6

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

     Principal investigator: dr Anna Zych-Pawlewicz

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: SONATA 13, Panel: ST6

163. 163. An integrated approach to modeling protein structure and dynamics based on the UNRES coarse-grained force field and bioi…

     Principal investigator: dr hab. Cezary Ryszard Czaplewski

     Uniwersytet Gdański, Wydział Chemii

     Call: HARMONIA 9, Panel: ST4

164. 164. Aspects of grammar compression

     Principal investigator: dr hab. Artur Jeż

     Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

     Call: SONATA BIS 7, Panel: ST6

165. 165. Efficiency, robustness and security of distributed systems with more realistic adversarial models.

     Principal investigator: prof. Marek Dariusz Klonowski

     Politechnika Wrocławska

     Call: OPUS 13, Panel: ST6

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

     Principal investigator: prof. Paweł Zieliński

     Politechnika Wrocławska

     Call: OPUS 13, Panel: ST6

167. 167. Classical problems in the theory of finite automata: new approaches, variants, and applications

     Principal investigator: dr Marek Szykuła

     Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

     Call: OPUS 13, Panel: ST6

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

169. 169. Algebraic Effects and Continuations

     Principal investigator: dr Maciej Adam Piróg

     Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

     Call: POLONEZ 3, Panel: ST6

170. 170. Scalable reasoning about concurrent imperative programs

     Principal investigator: dr Filip Sieczkowski

     Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

     Call: SONATA 12, Panel: ST6

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

172. 172. Entropy in complex networks

     Principal investigator: dr hab. Mikołaj Aleksander Morzy

     Politechnika Poznańska, Wydział Informatyki i Telekomunikacji

     Call: OPUS 12, Panel: ST6

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

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

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

176. 176. Limits of Databases

     Principal investigator: dr Szymon Abram Toruńczyk

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: SONATA 11, Panel: ST6

177. 177. Separability problem in automata theory

     Principal investigator: dr Wojciech Karol Czerwiński

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: SONATA 11, Panel: ST6

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

179. 179. Quantitative aspects of computational complexity in lambda calculus

     Principal investigator: dr Maciej Maria Bendkowski

     Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

     Call: PRELUDIUM 11, Panel: ST6

180. 180. Efficient algorithms for weak forms of non-determinism

     Principal investigator: dr hab. Michał Paweł Skrzypczak

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: SONATA 11, Panel: ST6

181. 181. The topology of solution spaces of combinatorial problems

     Principal investigator: Marcin Wrochna

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: PRELUDIUM 11, Panel: ST6

182. 182. Approximation algorithms under data uncertainty

     Principal investigator: Michał Włodarczyk

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: PRELUDIUM 11, Panel: ST6

183. 183. Algebraic invariants of Data Petri Nets.

     Principal investigator: dr Piotr Hofman

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: SONATA 11, Panel: ST6

184. 184. Coarse-grained modeling of the calcium, sodium, magnesium and potassium cations with proteins

     Principal investigator: dr Agnieszka Gabriela Lipska

     Uniwersytet Gdański, Wydział Chemii

     Call: PRELUDIUM 11, Panel: ST4

185. 185. Graph separation problems from the perspective of parameterized complexity.

     Principal investigator: Paweł Komosa

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: PRELUDIUM 10, Panel: ST6

186. 186. Modelling of interactions in intermolecular chiral complexes

     Principal investigator: dr hab. Tatiana Danuta Korona

     Uniwersytet Warszawski, Wydział Chemii

     Call: OPUS 10, Panel: ST4

187. 187. Isabelle Emulator for Mizar: Environment for Mizar Mathematical Library Reverificationa

     Principal investigator: dr Karol Pąk

     Uniwersytet w Białymstoku, Instytut Informatyki

     Call: SONATA 10, Panel: ST6

188. 188. Algorithmic Structure Theory for Sparse Graphs

     Principal investigator: Dipl. Inform. Sebastian Siebertz

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: POLONEZ 1, Panel: ST6

189. 189. Dimension and representations of partially ordered sets: computational complexity, bounds and structural properties

     Principal investigator: dr Piotr Micek

     Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

     Call: SONATA BIS 5, Panel: ST6

190. 190. Finding Applications for Logic with Partial Functions

     Principal investigator: dr hab. Jean Marie de Nivelle

     Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

     Call: OPUS 9, Panel: ST6

191. 191. Immune and efficient protocols for distributed systems of constrained devices

     Principal investigator: dr hab. Marek Dariusz Klonowski

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

     Call: OPUS 9, Panel: ST6

192. 192. Algorithmic aspects of synchronization

     Principal investigator: dr Adam Roman

     Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

     Call: OPUS 9, Panel: ST6

193. 193. Searching graph structures

     Principal investigator: dr hab. Dariusz Piotr Dereniowski

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

     Call: OPUS 9, Panel: ST6

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

195. 195. Entropic uncertainty relations and quantum cryptography

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

     Instytut Informatyki Teoretycznej i Stosowanej PAN

     Call: OPUS 9, Panel: ST6

196. 196. Stoping methods in analysis of chosen algorithms

     Principal investigator: prof. Michał Aleksander Morayne

     Politechnika Wrocławska

     Call: OPUS 9, Panel: ST6

197. 197. DNA repair mechanisms: from coarse-grained to atomistic description

     Principal investigator: dr Adam Kazimierz Sieradzan

     Uniwersytet Gdański, Wydział Chemii

     Call: SONATA 9, Panel: ST4

198. 198. Development of Models and Methods for Incorporating Knowledge to Support Vector Machines

     Principal investigator: dr Marcin Orchel

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

     Call: SONATA 9, Panel: ST6

199. 199. Strategies of teaching for classfiers operating with reaction-diffusion processes.

     Principal investigator: prof. Jerzy Górecki

     Instytut Chemii Fizycznej Polskiej Akademii Nauk

     Call: OPUS 8, Panel: ST4

200. 200. Blind signatures and electronic identity documents

     Principal investigator: Lucjan Piotr Hanzlik

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

     Call: PRELUDIUM 8, Panel: ST6