267 projects found matching your search criteria :
Call: OPUS 14 , Panel: ST1
Principal investigator: dr hab. Leszek Kołodziejczyk
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Automatic analysis of concurrent systems
Call: OPUS 14 , Panel: ST6
Principal investigator: prof. Sławomir Lasota
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
Weighted inequalities for maximal operators
Call: PRELUDIUM 15 , Panel: ST1
Principal investigator: Mateusz Rapicki
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Infinity in reasoning about data and knowledge
Call: SONATA BIS 8 , Panel: ST6
Principal investigator: dr hab. Filip Murlak
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Computational methods for high dimensional statistical learning
Call: OPUS 16 , Panel: ST1
Principal investigator: dr hab. Błażej Miasojedow
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Deterministic and random phenomena in dynamical systems
Call: OPUS 16 , Panel: ST1
Principal investigator: dr hab. Krzysztof Barański
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: PRELUDIUM 16 , Panel: ST6
Principal investigator: Marek Grzegorowski
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Genome assembly algorithms for genetic disorders diagnosis
Call: PRELUDIUM 17 , Panel: ST6
Principal investigator: Barbara Poszewiecka
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 Jaworski
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Inferring genomic duplication events.
Call: PRELUDIUM 10 , Panel: ST6
Principal investigator: Jarosław Paszek
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Martingale and concentration inequalities
Call: PRELUDIUM 10 , Panel: ST1
Principal investigator: dr Michał Strzelecki
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Computational Analysis of Applied Weighted Voting Games
Call: SONATA 10 , Panel: ST6
Principal investigator: dr Oskar Skibski
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Multiscale modeling of ceramide induced nerve cells apoptosis
Call: PRELUDIUM 10 , Panel: ST6
Principal investigator: Weronika Wronowska
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Predicting synthetic lethality in cancer
Call: POLONEZ 1 , Panel: NZ2
Principal investigator: dr Ewa Szczurek
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Ekwiwariantne homologie Khovanova splotów periodycznych - ich struktura oraz zastosowania
Call: FUGA 5 , Panel: ST1
Principal investigator: dr Wojciech Politarczyk
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Selected topics on the borderline of nonlinear PDEs and geometric measure theory
Call: OPUS 11 , Panel: ST1
Principal investigator: prof. Paweł Strzelecki
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Incorporating genomic variation information into DNA sequencing data analysis
Call: OPUS 11 , Panel: ST6
Principal investigator: dr hab. Norbert Dojer
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Algebraic Geometry: varieties and structures
Call: MAESTRO 4 , Panel: ST1
Principal investigator: prof. Jarosław Wiśniewski
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Induction for bounded formulas and its relativizations
Call: OPUS 5 , Panel: ST1
Principal investigator: dr hab. Leszek Kołodziejczyk
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Frontiers of tractability for recursive queries
Call: PRELUDIUM 5 , Panel: ST6
Principal investigator: dr Filip Mazowiecki
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Low-dimensional affine algebraic geometry.
Call: OPUS 6 , Panel: ST1
Principal investigator: prof. Mariusz Koras
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Specification development and software verification
Call: OPUS 6 , Panel: ST6
Principal investigator: prof. Andrzej Tarlecki
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Regresja rangowa i U-procesy z karą LASSO - selekcja cech, estymacja i nierówności z wyrocznią
Call: FUGA 3 , Panel: ST1
Principal investigator: dr Wojciech Rejchel
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Complexity of algorithms on compressed data
Call: OPUS 7 , Panel: ST6
Principal investigator: prof. Wojciech Rytter
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Cryptography without trusted parties
Call: SONATA 7 , Panel: ST6
Principal investigator: dr Tomasz Kazana
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Geometric methods and problems in nonlinear elliptic PDE's
Call: SONATA BIS 1 , Panel: ST1
Principal investigator: dr Anna Zatorska-Goldstein
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
SocSenSys: Social feedback systems based on body sensor networks
Call: SONATA 3 , Panel: ST6
Principal investigator: dr Konrad Iwanicki
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 Schubert
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Cox rings of resolutions of quotient singularities
Call: PRELUDIUM 4 , Panel: ST1
Principal investigator: dr Maria Donten-Bury
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
A new notion of finiteness in computation theory
Call: OPUS 4 , Panel: ST6
Principal investigator: dr hab. Mikołaj Bojańczyk
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Models, languages and systems for reliable and scalable distributed computing
Call: SONATA 4 , Panel: ST6
Principal investigator: dr Jacek Sroka
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Numerical simulations of severe plastic deformations by fluid models of crystal plsticity
Call: PRELUDIUM 4 , Panel: ST1
Principal investigator: Piotr Minakowski
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 Gambin
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Incentives: A Multidisciplinary Approach
Call: SONATA BIS 11 , Panel: HS4
Principal investigator: dr hab. Marcin Dziubiński
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Video generation using deep learning
Call: SONATA 17 , Panel: ST6
Principal investigator: dr Piotr Biliński
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Conditional computation in deep neural networks
Call: PRELUDIUM 21 , Panel: ST6
Principal investigator: Sebastian Jaszczur
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Linear algebra in orbit-finite dimension
Call: PRELUDIUM 21 , Panel: ST6
Principal investigator: Arka Ghosh
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Establishing a universal pangenome model
Call: OPUS 24 , Panel: ST6
Principal investigator: dr hab. Norbert Dojer
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: OPUS 19 , Panel: ST1
Principal investigator: prof. Witold Marciszewski
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
Effective parallel algorithms for solving partial differential equations
Call: OPUS 1 , Panel: ST1
Principal investigator: prof. Maksymilian Dryja
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Approximation algorithms under data uncertainty
Call: PRELUDIUM 11 , Panel: ST6
Principal investigator: Michał Włodarczyk
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Effective parallel algorithms for solving partial differential equations
Call: OPUS 11 , Panel: ST1
Principal investigator: dr hab. Leszek Marcinkowski
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Dynamic games modelling "the tragedy of the commons"
Call: PRELUDIUM 11 , Panel: HS4
Principal investigator: Rajani Singh
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Non-obvious aspects of modelling common resources and markets using dynamic games
Call: OPUS 11 , Panel: HS4
Principal investigator: dr hab. Agnieszka Wiszniewska-Matyszkiel
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Efficient algorithms for weak forms of non-determinism
Call: SONATA 11 , Panel: ST6
Principal investigator: dr hab. Michał Skrzypczak
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Mathematical models of quasicrystals
Call: HARMONIA 8 , Panel: ST1
Principal investigator: prof. Jacek Miękisz
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: UNISONO , Panel: ST1
Principal investigator: dr hab. Monika Piotrowska
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki