Projects search

• Keywords: obliczenia teoretyczne ×

Change search criteria ↓

Search results

295 projects found matching your search criteria:

201. 201. COGRIMEN - coarse-grained method for modeling of large biological systems in explicit environments

     Principal investigator: prof. Sławomir Hubert Filipek

     Uniwersytet Warszawski, Wydział Chemii

     Call: OPUS 8, Panel: ST4

202. 202. Compression, logic, formal langauges: new approaches unifying different areas.

     Principal investigator: dr hab. Artur Jeż

     Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

     Call: OPUS 8, Panel: ST6

203. 203. Selected SMT-based model checking methods

     Principal investigator: Agnieszka Małgorzata Zbrzezny

     Akademia im. Jana Długosza w Częstochowie, Wydział Matematyczno-Przyrodniczy

     Call: PRELUDIUM 8, Panel: ST6

204. 204. Weighted automata for quantitative properties

     Principal investigator: dr Jan Otop

     Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

     Call: SONATA 8, Panel: ST6

205. 205. Reasoning about programs in higher-order languages

     Principal investigator: prof. Witold Charatonik

     Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

     Call: OPUS 8, Panel: ST6

206. 206. Logics for data analysis and verification

     Principal investigator: dr Jakub Dawid Michaliszyn

     Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

     Call: SONATA 8, Panel: ST6

207. 207. Numerical and structural invariants in algebra, logic and constraint satisfaction problems

     Principal investigator: prof. Paweł Maria Idziak

     Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

     Call: MAESTRO 6, Panel: ST6

208. 208. Communication Problems in Wireless Sensor Networks

     Principal investigator: Michał Andrzej Różański

     Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

     Call: PRELUDIUM 7, Panel: ST6

209. 209. Algebraic theory for CSP (tractability, approximation and optimization)

     Principal investigator: dr hab. Marcin Andrzej Kozik

     Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

     Call: OPUS 7, Panel: ST6

210. 210. Cryptography without trusted parties

     Principal investigator: dr Tomasz Piotr Kazana

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: SONATA 7, Panel: ST6

211. 211. Decidability issues for automata on infinite structures

     Principal investigator: prof. Damian Tadeusz Niwiński

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: OPUS 7, Panel: ST6

212. 212. Foundations of Cryptocurrencies

     Principal investigator: dr hab. Stefan Dziembowski

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: OPUS 7, Panel: ST6

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

214. 214. Languages and Learning in General Game Playing

     Principal investigator: Jakub Kowalski

     Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

     Call: PRELUDIUM 7, Panel: ST6

215. 215. Complexity of algorithms on compressed data

     Principal investigator: prof. Wojciech Rytter

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: OPUS 7, Panel: ST6

216. 216. Specification development and software verification

     Principal investigator: prof. Andrzej Tarlecki

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: OPUS 6, Panel: ST6

217. 217. Online learning of matrices

     Principal investigator: dr Wojciech Kotłowski

     Politechnika Poznańska, Wydział Informatyki

     Call: SONATA 6, Panel: ST6

218. 218. Challenges in semistructural data management

     Principal investigator: dr Filip Marek Murlak

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: SONATA 6, Panel: ST6

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

220. 220. An integrated approach to the prediction of the structures of proteins and protein complexes with the use of the coarse-…

     Principal investigator: prof. Józef Adam Liwo

     Uniwersytet Gdański, Wydział Chemii

     Call: HARMONIA 5, Panel: ST4

221. 221. Combinatorial and information theory aspects of communication in distributed systems.

     Principal investigator: dr Marcin Kardas

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

     Call: PRELUDIUM 5, Panel: ST6

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

223. 223. Frontiers of tractability for recursive queries

     Principal investigator: dr Filip Aleksander Mazowiecki

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: PRELUDIUM 5, Panel: ST6

224. 224. Frontiers of automatic verification: new methods of analysis of infinite-state systems

     Principal investigator: dr hab. Sławomir Grzegorz Lasota

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: OPUS 5, Panel: ST6

225. 225. Algorithms for robust discrete optimization

     Principal investigator: dr hab. Adam Andrzej Kasperski

     Politechnika Wrocławska, Wydział Informatyki i Zarządzania

     Call: OPUS 5, Panel: ST6

226. 226. Automatic reasoning about specifications in simple logics - decidability and complexity issues

     Principal investigator: dr hab. Lidia Zofia Tendera

     Uniwersytet Opolski

     Call: OPUS 5, Panel: ST6

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

228. 228. The BDD/FC Conjecture and beyond

     Principal investigator: Tomasz Mirosław Gogacz

     Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

     Call: PRELUDIUM 5, Panel: ST6

229. 229. New methods in parametric model checking

     Principal investigator: Michał Józef Knapik

     Instytut Podstaw Informatyki PAN

     Call: PRELUDIUM 4, Panel: ST6

230. 230. Algorithms concerning the legibility of natural deduction proofs

     Principal investigator: dr Karol Pąk

     Uniwersytet w Białymstoku, Wydział Matematyki i Informatyki

     Call: PRELUDIUM 4, Panel: ST6

231. 231. Modular operational semantics: a bialgebraic approach

     Principal investigator: dr hab. Bartosz Klin

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: SONATA BIS 2, Panel: ST6

232. 232. Automatisation of constructive logic

     Principal investigator: dr hab. Aleksy Andrzej Schubert

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: OPUS 4, Panel: ST6

233. 233. parameters of finite models

     Principal investigator: dr Eryk Kopczyński

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: SONATA 4, Panel: ST6

234. 234. Limits of decidability in automata theory

     Principal investigator: dr Paweł Parys

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: SONATA 4, Panel: ST6

235. 235. Simulation and bisimulation for context-free and pushdown systems

     Principal investigator: dr Piotr Hofman

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: PRELUDIUM 3, Panel: ST6

236. 236. Hierarchy-type Problems for Automata on Infinite Words and Trees

     Principal investigator: dr Michał Paweł Skrzypczak

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: PRELUDIUM 3, Panel: ST6

237. 237. Business process discovery methods and process calculus for RESTful systems.

     Principal investigator: Andrzej Marek Stroiński

     Politechnika Poznańska, Wydział Informatyki

     Call: PRELUDIUM 3, Panel: ST6

238. 238. Ramsey numbers containing C_4

     Principal investigator: Janusz Dybizbański

     Uniwersytet Gdański, Wydział Matematyki, Fizyki i Informatyki

     Call: PRELUDIUM 3, Panel: ST6

239. 239. Combinatorial multivalued dynamics for finite topological spaces.

     Principal investigator: Michał Stanisław Lipiński

     Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

     Call: PRELUDIUM 15, Panel: ST1

240. 240. Analytic approach in conformal dynamics

     Principal investigator: prof. Grzegorz Świątek

     Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych

     Call: OPUS 15, Panel: ST1

241. 241. The role of solvation water in shaping the activity of antifreeze proteins.

     Principal investigator: Joanna Grabowska

     Politechnika Gdańska, Wydział Chemiczny

     Call: PRELUDIUM 14, Panel: ST4

242. 242. New computational paradigm Isogeometric Residual Minimization method (iGRM) and its application for solution of paraboli…

     Principal investigator: prof. Maciej Paszyński

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

     Call: HARMONIA 9, Panel: ST1

243. 243. Computational aspects of property (T)

     Principal investigator: dr Marek Stanisław Kaluba

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

     Call: SONATA 13, Panel: ST1

244. 244. New challanges for IBC

     Principal investigator: prof. Henryk Woźniakowski

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: OPUS 13, Panel: ST1

245. 245. Mathematical Analysis of Complex Contact Models in Solid and Fluid Mechanics

     Principal investigator: dr Shengda Zeng

     Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

     Call: PRELUDIUM 13, Panel: ST1

246. 246. Particle Methods in Mathematical Biology

     Principal investigator: dr hab. Karolina Kropielnicka

     Instytut Matematyczny Polskiej Akademii Nauk

     Call: SONATA 12, Panel: ST1

247. 247. Diffusion of proteins near model biological membranes.

     Principal investigator: dr hab. Maciej Jan Długosz

     Uniwersytet Warszawski, Wydział Fizyki

     Call: OPUS 12, Panel: ST4

248. 248. Modern Numerical Methodologies in Quantum Mechanics

     Principal investigator: dr Karolina Kropielnicka

     Uniwersytet Gdański, Wydział Matematyki, Fizyki i Informatyki

     Call: HARMONIA 8, Panel: ST1

249. 249. Effectiveness of infection control strategies against intra- and inter-hospital transmission of multidrug resistant Ente…

     Principal investigator: dr hab. Monika Piotrowska

     Uniwersytet Warszawski

     Call: UNISONO, Panel: ST1

250. 250. Geometric methods and computer assisted proofs in dynamics of partial diffential equations

     Principal investigator: prof. Piotr Zgliczyński

     Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

     Call: MAESTRO 8, Panel: ST1