286 projects found matching your search criteria :
Concentration of measure and functional inequalities
Call: PRELUDIUM 19 , Panel: ST1
Principal investigator: Bartłomiej Łukasz Polaczyk
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Ulam stability in operator algebras
Call: OPUS 19 , Panel: ST1
Principal investigator: dr hab. Tomasz Kochanek
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Time delays in stochastic models in biological sciences
Call: OPUS 9 , Panel: ST1
Principal investigator: prof. Jacek Miękisz
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Singularities of minimizing biharmonic maps
Call: PRELUDIUM 9 , Panel: ST1
Principal investigator: Katarzyna Ewa Mazowiecka
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Terminalizations of symplectic quotient singularities and their Cox rings
Call: PRELUDIUM 9 , Panel: ST1
Principal investigator: Maksymilian Rafał Grab
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Estimates of random vectors and processes
Call: MAESTRO 7 , Panel: ST1
Principal investigator: prof. Rafał Latała
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Metody słabej zbieżności dla równań fizyki i biologii matematycznej
Call: ETIUDA 7 , Panel: ST1
Principal investigator: Tomasz Michał Dębiec
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Integrative systems biology: inferring from massive heterogeneous data
Call: OPUS 1 , Panel: NZ2
Principal investigator: dr hab. Anna Barbara Gambin
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Singularities and global properties of nonlinear differential equations
Call: OPUS 2 , Panel: ST1
Principal investigator: dr hab. Marcin Bobieński
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: OPUS 3 , Panel: ST1
Principal investigator: prof. Rafał Latała
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: OPUS 4 , Panel: ST1
Principal investigator: dr hab. Anna Dorota Talarczyk-Noble
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Tractability of non-homogenous multivariate problems
Call: PRELUDIUM 4 , Panel: ST1
Principal investigator: dr Paweł Siedlecki
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Theoretical foundations of interactive theorem provers with unrestricted recursive definitions
Call: PRELUDIUM 4 , Panel: ST6
Principal investigator: Łukasz Tadeusz Czajka
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Current trends in parameterized and exponential-time algorithms
Call: OPUS 5 , Panel: ST6
Principal investigator: dr hab. Łukasz Kowalik
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Frontiers of automatic verification: new methods of analysis of infinite-state systems
Call: OPUS 5 , Panel: ST6
Principal investigator: dr hab. Sławomir Grzegorz Lasota
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Tractable Game-Theoretic Network Centrality Measures
Call: SONATA 5 , Panel: ST6
Principal investigator: dr Tomasz Paweł Michalak
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Derived categories and birational geometry
Call: PRELUDIUM 6 , Panel: ST1
Principal investigator: dr Agnieszka Maria Bodzenta-Skibińska
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
The concentration of measure phenomenon
Call: SONATA BIS 5 , Panel: ST1
Principal investigator: dr hab. Radosław Adamczak
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Inferring genomic duplication events.
Call: PRELUDIUM 10 , Panel: ST6
Principal investigator: Jarosław Andrzej Paszek
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Algorithmic Structure Theory for Sparse Graphs
Call: POLONEZ 1 , Panel: ST6
Principal investigator: Dipl. Inform. Sebastian Siebertz
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Paraconsistent Reasoning in Autonomous Systems Situated in Informationally-Complex Environments
Call: OPUS 10 , Panel: ST6
Principal investigator: prof. Barbara Maria Dunin-Kęplicz
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Credibility of Horizontal Gene Transfer Models
Call: PRELUDIUM 11 , Panel: ST6
Principal investigator: Agnieszka Anna Mykowiecka
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Efficient similarity search in high dimensional spaces
Call: PRELUDIUM 11 , Panel: ST6
Principal investigator: Karol Zbigniew Węgrzycki
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: SONATA BIS 6 , Panel: ST1
Principal investigator: dr hab. Maciej Edward Borodzik
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Pointwise regularity theory for sets, measures, and varifolds
Call: SONATA 12 , Panel: ST1
Principal investigator: dr Sławomir Grzegorz Kolasiński
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Algebraic Torus Actions: Geometry and Combinatorics
Call: BEETHOVEN 2 , Panel: ST1
Principal investigator: prof. Jarosław Antoni Wiśniewski
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Heat convection in incompressible fluids
Call: OPUS 13 , Panel: ST1
Principal investigator: prof. Grzegorz Leszek Łukaszewicz
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Multi-scale approaches in Life and Social Sciences
Call: OPUS 13 , Panel: ST1
Principal investigator: prof. Mirosław Andrzej Lachowicz
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: OPUS 13 , Panel: ST1
Principal investigator: prof. Henryk Woźniakowski
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Dynamic graphs; connectivity, flows and coloring.
Call: SONATA 13 , Panel: ST6
Principal investigator: dr Anna Zych-Pawlewicz
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Algebraic varieties related to combinatorial structures
Call: SONATA 13 , Panel: ST1
Principal investigator: dr Maria Donten-Bury
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Optimal-transport based algorithms for Mass Spectrometry and NMR
Call: OPUS 21 , Panel: ST6
Principal investigator: prof. Anna Barbara Gambin
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Singularities in calculus of variations and partial differential equations
Call: POLONEZ BIS 1 , Panel: ST1
Principal investigator: dr Rémy Rodiac
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Proportional Participatory Budgeting
Call: PRELUDIUM 21 , Panel: ST6
Principal investigator: Grzegorz Pierczyński
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Elliptic geometric variational problems
Call: SONATA BIS 12 , Panel: ST1
Principal investigator: dr hab. Sławomir Grzegorz Kolasiński
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Counting models in formal verification
Call: SONATA BIS 12 , Panel: ST6
Principal investigator: dr Filip Aleksander Mazowiecki
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: PRELUDIUM BIS 4 , Panel: ST6
Principal investigator: prof. Anna Barbara Gambin
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Between proof theory, reverse mathematics, and the model theory of arithmetic
Call: OPUS 25 , Panel: ST1
Principal investigator: dr hab. Leszek Aleksander Kołodziejczyk
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Various notions of convergence in partial differential equations
Call: PRELUDIUM 22 , Panel: ST1
Principal investigator: Jakub Wacław Woźnicki
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Beyond classical hydrodynamics - new mathematical description of physical phenomena.
Call: MAESTRO 15 , Panel: ST1
Principal investigator: prof. Agnieszka Katarzyna Świerczewska-Gwiazda
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
XAICancer: Explainable Artificial Intelligence for Cancer Imaging
Call: SONATA BIS 13 , Panel: ST6
Principal investigator: dr Neo Christopher Chung
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Topological, geometric and ergodic problems of complex dynamics
Call: OPUS 26 , Panel: ST1
Principal investigator: prof. Krzysztof Barański
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Oszacowania momentów wektorów losowych
Call: ETIUDA 6 , Panel: ST1
Principal investigator: dr Marta Strzelecka
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Programowanie dynamiczne z gwarancjami
Call: ETIUDA 6 , Panel: ST6
Principal investigator: Karol Zbigniew Węgrzycki
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Machine learning and automatic theorem proving
Call: OPUS 15 , Panel: ST6
Principal investigator: dr hab. Henryk Michalewski
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: OPUS 15 , Panel: ST1
Principal investigator: prof. Piotr Bogusław Mucha
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Computational methods for genomic structural variants interpretation
Call: HARMONIA 10 , Panel: NZ2
Principal investigator: prof. Anna Barbara Gambin
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Inequalities for noncommutative martingales
Call: SHENG 1 , Panel: ST1
Principal investigator: dr hab. Adam Osękowski
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Weak and measure-valued solutions for equations of mathematical physics
Call: PRELUDIUM 16 , Panel: ST1
Principal investigator: Tomasz Michał Dębiec
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: SONATA 14 , Panel: ST6
Principal investigator: dr hab. Jakub Jan Radoszewski
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki