286 projects found matching your search criteria :
Parameterized algorithms in graph problems and permutation pattern matching.
Call: SONATA 3 , Panel: ST6
Principal investigator: dr Marek Adam Cygan
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Comprehensive mammalian enhancer annotation from sequence and functional data
Call: OPUS 3 , Panel: NZ2
Principal investigator: prof. Jerzy Tiuryn
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Simulation and bisimulation for context-free and pushdown systems
Call: PRELUDIUM 3 , Panel: ST6
Principal investigator: dr Piotr Hofman
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Analysis of structured population models in metric spaces
Call: PRELUDIUM 3 , Panel: ST1
Principal investigator: dr Agnieszka Patrycja Ulikowska
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: OPUS 4 , Panel: ST1
Principal investigator: prof. Paweł Strzelecki
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Automatisation of constructive logic
Call: OPUS 4 , Panel: ST6
Principal investigator: dr hab. Aleksy Andrzej Schubert
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Algebraic varieties: arithmetic and geometry
Call: OPUS 4 , Panel: ST1
Principal investigator: prof. Adrian Langer
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Modular operational semantics: a bialgebraic approach
Call: SONATA BIS 2 , Panel: ST6
Principal investigator: dr hab. Bartosz Klin
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Effective computations in predicative mathematics
Call: SONATINA 2 , Panel: ST6
Principal investigator: dr Michał Roman Przybyłek
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Algorithmic challenges of mass spectrometry.
Call: OPUS 15 , Panel: ST6
Principal investigator: prof. Anna Barbara Gambin
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Conflicts with multiple battlefields and discrete resources
Call: OPUS 15 , Panel: ST6
Principal investigator: dr hab. Marcin Dziubiński
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Geometry and variation of geometric structures on algebraic varieties
Call: OPUS 15 , Panel: ST1
Principal investigator: prof. Adrian Langer
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Deep Neural Architectures for Automated Theorem Proving
Call: PRELUDIUM 15 , Panel: ST6
Principal investigator: Bartosz Paweł Piotrowski
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Change of time for Markov processes and its influence on Markov structures
Call: PRELUDIUM 15 , Panel: ST1
Principal investigator: Zofia Aldona Miśkiewicz
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Two-sided bounds for random chaoses.
Call: PRELUDIUM 15 , Panel: ST1
Principal investigator: dr Rafał Meller
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Optimal concentration inequalities
Call: SONATA 14 , Panel: ST1
Principal investigator: dr Piotr Amit Nayar
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: PRELUDIUM 16 , Panel: ST6
Principal investigator: Marek Kosma Grzegorowski
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Exact, abelian and triangulated categories in algebra and geometry
Call: SONATA 14 , Panel: ST1
Principal investigator: dr Agnieszka Maria Bodzenta-Skibińska
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Study of Bernoulli processes and Gaussian chaos
Call: PRELUDIUM 16 , Panel: ST1
Principal investigator: Rafał Józef Martynek
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: PRELUDIUM 17 , Panel: ST6
Principal investigator: Grzegorz Marek Skoraczyński
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Measure oriented approach to nonlinear PDE's and variational problems
Call: OPUS 17 , Panel: ST1
Principal investigator: dr hab. Anna Maria Zatorska-Goldstein
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: PRELUDIUM 17 , Panel: ST1
Principal investigator: Tomasz Piotr Mańdziuk
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Employing multiphoton quantum interference for selected quantum information processing tasks
Call: SONATA BIS 9 , Panel: ST2
Principal investigator: dr hab. Magdalena Stobińska - Moretto
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Topological methods of geometric analysis
Call: OPUS 18 , Panel: ST1
Principal investigator: dr hab. Paweł Stefan Goldstein
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Thinking Far Ahead: Long-horizon planning using deep model-based reinforcement learning
Call: PRELUDIUM 19 , Panel: ST6
Principal investigator: Piotr Józef Kozakowski
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Integrative analysis of single-cell genomics data
Call: SONATA 16 , Panel: NZ2
Principal investigator: dr Aleksander Albert Jankowski
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Phylogenetic models to infer cancer evolution
Call: SONATA 16 , Panel: ST6
Principal investigator: dr Jarosław Andrzej Paszek
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Development of rule-based query languages applied in intelligent systems
Call: OPUS 1 , Panel: ST6
Principal investigator: prof. Andrzej Piotr Szałas
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Strict polynomial functors and the Lusztig Conjecture.
Call: OPUS 1 , Panel: ST1
Principal investigator: dr Marcin Jan Chałupnik
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Analysis and Development of Process Mining Methods Based on Skeletal Algorithms
Call: PRELUDIUM 1 , Panel: ST6
Principal investigator: dr Adam Paweł Przybyłek
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Hybrid securities: contingent convertible bonds and bail-in bonds.
Call: OPUS 9 , Panel: HS4
Principal investigator: dr hab. Piotr Władysław Jaworski
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Monte Carlo methods for Markov jump processes.
Call: SONATA 9 , Panel: ST1
Principal investigator: dr Błażej Grzegorz Miasojedow
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Tractable dialogues in multi-agent systems.
Call: PRELUDIUM 9 , Panel: ST6
Principal investigator: Alina Powała
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: PRELUDIUM 9 , Panel: ST6
Principal investigator: Maciej Skórski
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Modelling of fragmentation of biomolecules induced by electron transfer in mass spectrometry
Call: PRELUDIUM 9 , Panel: ST6
Principal investigator: Mateusz Krzysztof Łącki
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: PRELUDIUM 9 , Panel: ST6
Principal investigator: dr Marcin Jan Waniek
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki