Projects search

• Keywords: obliczenia teoretyczne ×

Change search criteria ↓

Search results

295 projects found matching your search criteria:

251. 251. Arnold diffusion in the restricted three-body problem

     Principal investigator: dr hab. Maciej Capiński

     Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Matematyki Stosowanej

     Call: OPUS 11, Panel: ST1

252. 252. Effective parallel algorithms for solving partial differential equations

     Principal investigator: dr hab. Leszek Marcinkowski

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: OPUS 11, Panel: ST1

253. 253. Geometry of Banach spaces in analysis of high dimensional numerical problems

     Principal investigator: prof. Przemysław Wojtaszczyk

     Instytut Matematyczny Polskiej Akademii Nauk

     Call: OPUS 11, Panel: ST1

254. 254. Geometric methods and rigorous numerics in Hamiltonian dynamics

     Principal investigator: prof. Piotr Zgliczyński

     Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

     Call: OPUS 10, Panel: ST1

255. 255. Nonlinear anomalous diffusion equation. Existence, uniqueness, asymptotics and numerical methods

     Principal investigator: dr Łukasz Stefan Płociniczak

     Politechnika Wrocławska, Wydział Matematyki

     Call: SONATA 9, Panel: ST1

256. 256. Computational topological dynamics

     Principal investigator: prof. Marian Mrozek

     Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

     Call: MAESTRO 6, Panel: ST1

257. 257. Mathematical analysis of thermo-visco-elasticity

     Principal investigator: dr Filip Zdzisław Klawe

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: PRELUDIUM 7, Panel: ST1

258. 258. Sparse regularization in NMR Relaxometry

     Principal investigator: Mateusz Urbańczyk

     Uniwersytet Warszawski, Centrum Nowych Technologii Uniwersytetu Warszawskiego

     Call: PRELUDIUM 7, Panel: ST4

259. 259. Singularities, noise, and IBC

     Principal investigator: Paweł Marek Morkisz

     Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Matematyki Stosowanej

     Call: PRELUDIUM 7, Panel: ST1

260. 260. Searching for hydrodynamic interactions orientational effects in the kinetics of bio-molecular association

     Principal investigator: prof. Jan Antosiewicz

     Uniwersytet Warszawski, Wydział Fizyki

     Call: OPUS 7, Panel: ST4

261. 261. Hydration effects in protein kinases

     Principal investigator: dr Piotr Mikołaj Setny

     Uniwersytet Warszawski, Centrum Nowych Technologii Uniwersytetu Warszawskiego

     Call: SONATA 6, Panel: ST4

262. 262. Analysis of size-structured population dynamics with selective mortality

     Principal investigator: Jędrzej Bartłomiej Jabłoński

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: PRELUDIUM 5, Panel: ST1

263. 263. Continuous problems: optimality, complexity, tractability

     Principal investigator: prof. Leszek Plaskota

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: OPUS 5, Panel: ST1

264. 264. Nierówności wariacyjne dla problemów punktów stałych operatorów quasi-nieoddalających

     Principal investigator: Rafał Piotr Zalas

     Uniwersytet Zielonogórski, Wydział Matematyki, Informatyki i Ekonometrii

     Call: ETIUDA 1, Panel: ST1

265. 265. Sparse and approximately-sparse representations in problems of NMR spectroscopy

     Principal investigator: dr hab. Krzysztof Kazimierczuk

     Uniwersytet Warszawski, Centrum Nowych Technologii Uniwersytetu Warszawskiego

     Call: SONATA BIS 2, Panel: ST4

266. 266. Numerical simulations of severe plastic deformations by fluid models of crystal plsticity

     Principal investigator: Piotr Minakowski

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: PRELUDIUM 4, Panel: ST1

267. 267. Tractability of non-homogenous multivariate problems

     Principal investigator: dr Paweł Siedlecki

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: PRELUDIUM 4, Panel: ST1

268. 268. Nonsmooth Systems in Mathematical Theory of Contact Mechanics

     Principal investigator: prof. Stanisław Henryk Migórski

     Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

     Call: MAESTRO 3, Panel: ST1

269. 269. LINEAR COMPUTATIONAL COST AND MEMORY USAGE HYBRID SOLVERS FOR PROBLEMS OF ELECTROMAGNETIC WAVES PROPAGATION OVER THE HUM…

     Principal investigator: dr hab. Maciej Paszyński

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

     Call: HARMONIA 3, Panel: ST1

270. 270. Analysis of structured population models in metric spaces

     Principal investigator: dr Agnieszka Patrycja Ulikowska

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: PRELUDIUM 3, Panel: ST1

271. 271. Inverse problems in some nonlinear boundary value problem

     Principal investigator: dr Łukasz Stefan Płociniczak

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

     Call: PRELUDIUM 3, Panel: ST1

272. 272. Metody geometryczne w informatyce kwantowej

     Principal investigator: dr Zbigniew Włodzimierz Puchała

     Uniwersytet Jagielloński, Wydział Fizyki, Astronomii i Informatyki Stosowanej

     Call: FUGA 1, Panel: ST6

273. 273. Structure and interpretation of programming languages in the "proofs-as-programs" paradigm

     Principal investigator: dr Małgorzata Biernacka

     Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

     Call: OPUS 2, Panel: ST6

274. 274. Rigorous numerics for dissipative PDEs and delay equations

     Principal investigator: prof. Piotr Zgliczyński

     WYŻSZA SZKOŁA BIZNESU - NATIONAL LOUIS UNIVERSITY NOWY SĄCZ

     Call: OPUS 2, Panel: ST1

275. 275. Fluorescence landscapes and chemometrics as a potential tool for total antioxidant capacity evaluation

     Principal investigator: Joanna Agnieszka Orzeł

     UNIWERSYTET ŚLĄSKI, Wydział Matematyki, Fizyki i Chemii

     Call: PRELUDIUM 2, Panel: ST4

276. 276. On-line choosability

     Principal investigator: dr Piotr Micek

     Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

     Call: SONATA 2, Panel: ST6

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

278. 278. Sparse representations

     Principal investigator: prof. Przemysław Wojtaszczyk

     Uniwersytet Warszawski, Interdyscyplinarne Centrum Modelowania Matematycznego i Komputerowego

     Call: OPUS 2, Panel: ST1

279. 279. Decision procedures in verification

     Principal investigator: prof. Witold Charatonik

     Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

     Call: OPUS 2, Panel: ST6

280. 280. Graph sharing games: strategies and algorithms

     Principal investigator: dr Bartosz Maria Walczak

     Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

     Call: PRELUDIUM 2, Panel: ST6

281. 281. Around Modal Logics - Decidability and Complexity

     Principal investigator: Jakub Dawid Michaliszyn

     Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

     Call: PRELUDIUM 2, Panel: ST6

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

283. 283. Discretizations of dynamical systems preserving first integrals

     Principal investigator: prof. Jan Leszek Cieśliński

     Uniwersytet w Białymstoku, Wydział Fizyki

     Call: OPUS 1, Panel: ST1

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

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

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

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

288. 288. Extremal mappings in a class of Reinhardt domains

     Principal investigator: Przemysław Marcin Kliś

     Uniwersytet Jagielloński

     Call: PRELUDIUM 1, Panel: ST1

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

290. 290. Quantum games: theory and implementation

     Principal investigator: prof. Jan Antoni Sładkowski

     UNIWERSYTET ŚLĄSKI, Wydział Matematyki, Fizyki i Chemii

     Call: OPUS 1, Panel: ST6

291. 291. Effective parallel algorithms for solving partial differential equations

     Principal investigator: prof. Maksymilian Dryja

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: OPUS 1, Panel: ST1

292. 292. Effective linear general methods for ordinary differential equations

     Principal investigator: dr Michał Mariusz Braś

     Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Matematyki Stosowanej

     Call: PRELUDIUM 1, Panel: ST1

293. 293. Dual B-spline functions: construction and applications

     Principal investigator: dr hab. Paweł Marcin Woźny

     Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

     Call: OPUS 1, Panel: ST1

294. 294. DATALOG in Constraint Satisfaction Problem

     Principal investigator: dr hab. Marcin Andrzej Kozik

     Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

     Call: OPUS 1, Panel: ST6

295. 295. Information-theoretic abductive reasoning for context-based recommendation

     Principal investigator: dr Andrzej Michał Szwabe

     Politechnika Poznańska, Wydział Elektryczny

     Call: SONATA 1, Panel: ST6