Projects funded by the NCN


Information on the principal investigator and host institution

Information of the project and the call

Keywords

Equipment

Delete all

Search results

267 projects found matching your search criteria :

  1. Provability, computation and combinatorics at the lower and intermediate levels of the Gödel hierarchy

    Call: OPUS 14 , Panel: ST1

    Principal investigator: dr hab. Leszek Kołodziejczyk

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  2. Automatic analysis of concurrent systems

    Call: OPUS 14 , Panel: ST6

    Principal investigator: prof. Sławomir Lasota

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

  4. Weighted inequalities for maximal operators

    Call: PRELUDIUM 15 , Panel: ST1

    Principal investigator: Mateusz Rapicki

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

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

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

  8. Theoretical foundation of resilient feature selection methods that ensure predictive model operation in case of partial ...

    Call: PRELUDIUM 16 , Panel: ST6

    Principal investigator: Marek Grzegorowski

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  9. Genome assembly algorithms for genetic disorders diagnosis

    Call: PRELUDIUM 17 , Panel: ST6

    Principal investigator: Barbara Poszewiecka

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

  11. Inferring genomic duplication events.

    Call: PRELUDIUM 10 , Panel: ST6

    Principal investigator: Jarosław Paszek

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  12. Martingale and concentration inequalities

    Call: PRELUDIUM 10 , Panel: ST1

    Principal investigator: dr Michał Strzelecki

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  13. Computational Analysis of Applied Weighted Voting Games

    Call: SONATA 10 , Panel: ST6

    Principal investigator: dr Oskar Skibski

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  14. Multiscale modeling of ceramide induced nerve cells apoptosis

    Call: PRELUDIUM 10 , Panel: ST6

    Principal investigator: Weronika Wronowska

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  15. Predicting synthetic lethality in cancer

    Call: POLONEZ 1 , Panel: NZ2

    Principal investigator: dr Ewa Szczurek

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

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

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

  19. Algebraic Geometry: varieties and structures

    Call: MAESTRO 4 , Panel: ST1

    Principal investigator: prof. Jarosław Wiśniewski

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

  21. Frontiers of tractability for recursive queries

    Call: PRELUDIUM 5 , Panel: ST6

    Principal investigator: dr Filip Mazowiecki

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  22. Low-dimensional affine algebraic geometry.

    Call: OPUS 6 , Panel: ST1

    Principal investigator: prof. Mariusz Koras

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  23. Specification development and software verification

    Call: OPUS 6 , Panel: ST6

    Principal investigator: prof. Andrzej Tarlecki

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

  25. Complexity of algorithms on compressed data

    Call: OPUS 7 , Panel: ST6

    Principal investigator: prof. Wojciech Rytter

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  26. Cryptography without trusted parties

    Call: SONATA 7 , Panel: ST6

    Principal investigator: dr Tomasz Kazana

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

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

  29. Systems of nonlinear elliptic equations: regularity of solutions, structure of singularities and related topics

    Call: OPUS 4 , Panel: ST1

    Principal investigator: prof. Paweł Strzelecki

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  30. Automatisation of constructive logic

    Call: OPUS 4 , Panel: ST6

    Principal investigator: dr hab. Aleksy Schubert

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

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

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

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

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

  36. Incentives: A Multidisciplinary Approach

    Call: SONATA BIS 11 , Panel: HS4

    Principal investigator: dr hab. Marcin Dziubiński

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  37. Video generation using deep learning

    Call: SONATA 17 , Panel: ST6

    Principal investigator: dr Piotr Biliński

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  38. Conditional computation in deep neural networks

    Call: PRELUDIUM 21 , Panel: ST6

    Principal investigator: Sebastian Jaszczur

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  39. Linear algebra in orbit-finite dimension

    Call: PRELUDIUM 21 , Panel: ST6

    Principal investigator: Arka Ghosh

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  40. Establishing a universal pangenome model

    Call: OPUS 24 , Panel: ST6

    Principal investigator: dr hab. Norbert Dojer

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  41. Set theoretic methods in analytic topology: from pointwise convergence and Banach spaces to operator algebras

    Call: OPUS 19 , Panel: ST1

    Principal investigator: prof. Witold Marciszewski

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  42. Hybrid models of reasoning

    Call: OPUS 19 , Panel: HS1

    Principal investigator: dr hab. Maciej Malicki

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

  44. Approximation algorithms under data uncertainty

    Call: PRELUDIUM 11 , Panel: ST6

    Principal investigator: Michał Włodarczyk

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

  46. Dynamic games modelling "the tragedy of the commons"

    Call: PRELUDIUM 11 , Panel: HS4

    Principal investigator: Rajani Singh

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

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

  49. Mathematical models of quasicrystals

    Call: HARMONIA 8 , Panel: ST1

    Principal investigator: prof. Jacek Miękisz

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  50. Effectiveness of infection control strategies against intra- and inter-hospital transmission of multidrug resistant Ente...

    Call: UNISONO , Panel: ST1

    Principal investigator: dr hab. Monika Piotrowska

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki