286 projects found matching your search criteria :
Generalizations and applications of Bialynicki-Birula decomposition
Call: SONATA 16 , Panel: ST1
Principal investigator: dr Joachim Jelisiejew
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: OPUS 20 , Panel: NZ8
Principal investigator: dr Krzysztof Andrzej Argasiński
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: OPUS 1 , Panel: ST6
Principal investigator: dr hab. Anh Linh Nguyen
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Tools, algorithms and models in the study of common evolution of species, genes and proteins
Call: OPUS 1 , Panel: ST6
Principal investigator: dr hab. Paweł Piotr Górecki
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
Call: OPUS 7 , Panel: ST1
Principal investigator: prof. Piotr Andrzej Gwiazda
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Analysis of parabolic equations exhibiting facets
Call: PRELUDIUM 7 , Panel: ST1
Principal investigator: Michał Łasica
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: OPUS 19 , Panel: HS1
Principal investigator: dr hab. Maciej Malicki
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Computational aspects of infinite-duration games
Call: OPUS 21 , Panel: ST6
Principal investigator: dr hab. Paweł Czesław Parys
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: PRELUDIUM 20 , Panel: ST1
Principal investigator: Robert Śmiech
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Frontiers of automatic analysis of concurrent systems
Call: OPUS 21 , Panel: ST6
Principal investigator: prof. Sławomir Grzegorz Lasota
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
Structural and algorithmic properties of hereditary graph classes
Call: SONATA BIS 12 , Panel: ST6
Principal investigator: dr hab. Marcin Łukasz Pilipczuk
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Polynomial finite state computation
Call: MAESTRO 14 , Panel: ST6
Principal investigator: prof. Mikołaj Bojańczyk
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
Non-random equivalent characterizations of sample boundedness
Call: OPUS 24 , Panel: ST1
Principal investigator: prof. Witold Marek Bednorz
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
Exploring the influence of genomic features on mutational signatures across tumors
Call: OPUS 26 , Panel: NZ2
Principal investigator: dr Damian Michał Wójtowicz
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
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
Probabilistic aspects of the Takens embedding theorem
Call: PRELUDIUM 17 , Panel: ST1
Principal investigator: dr Adam Marek Śpiewak
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki