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

266 projects found matching your search criteria :

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

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

  3. Algebraic Geometry: varieties and structures

    Call: MAESTRO 4 , Panel: ST1

    Principal investigator: prof. Jarosław Wiśniewski

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

  5. Frontiers of tractability for recursive queries

    Call: PRELUDIUM 5 , Panel: ST6

    Principal investigator: dr Filip Mazowiecki

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  6. Low-dimensional affine algebraic geometry.

    Call: OPUS 6 , Panel: ST1

    Principal investigator: prof. Mariusz Koras

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  7. Specification development and software verification

    Call: OPUS 6 , Panel: ST6

    Principal investigator: prof. Andrzej Tarlecki

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

  9. Complexity of algorithms on compressed data

    Call: OPUS 7 , Panel: ST6

    Principal investigator: prof. Wojciech Rytter

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  10. Cryptography without trusted parties

    Call: SONATA 7 , Panel: ST6

    Principal investigator: dr Tomasz Kazana

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

  12. Inferring genomic duplication events.

    Call: PRELUDIUM 10 , Panel: ST6

    Principal investigator: Jarosław Paszek

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  13. Martingale and concentration inequalities

    Call: PRELUDIUM 10 , Panel: ST1

    Principal investigator: dr Michał Strzelecki

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  14. Computational Analysis of Applied Weighted Voting Games

    Call: SONATA 10 , Panel: ST6

    Principal investigator: dr Oskar Skibski

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  15. Multiscale modeling of ceramide induced nerve cells apoptosis

    Call: PRELUDIUM 10 , Panel: ST6

    Principal investigator: Weronika Wronowska

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  16. Predicting synthetic lethality in cancer

    Call: POLONEZ 1 , Panel: NZ2

    Principal investigator: dr Ewa Szczurek

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

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

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

  20. Knot theory

    Call: SONATA BIS 6 , Panel: ST1

    Principal investigator: dr hab. Maciej Borodzik

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  21. Statistical and machine learning challenges in classification and integration of molecular and genomic data

    Call: SONATA 12 , Panel: ST6

    Principal investigator: dr Neo Christopher Chung

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  22. STABILITY OF BLOW-UP PATTERNS FOR THE FUJITA EQUATION

    Call: SONATA 13 , Panel: ST1

    Principal investigator: dr Mikołaj Sierżęga

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  23. Understanding recursion

    Call: SONATA 13 , Panel: ST6

    Principal investigator: dr Lorenzo Clemente

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

  25. Automatic analysis of concurrent systems

    Call: OPUS 14 , Panel: ST6

    Principal investigator: prof. Sławomir Lasota

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

  27. Weighted inequalities for maximal operators

    Call: PRELUDIUM 15 , Panel: ST1

    Principal investigator: Mateusz Rapicki

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

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

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

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

  32. Genome assembly algorithms for genetic disorders diagnosis

    Call: PRELUDIUM 17 , Panel: ST6

    Principal investigator: Barbara Poszewiecka

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

  34. Hybrid models of reasoning

    Call: OPUS 19 , Panel: HS1

    Principal investigator: dr hab. Maciej Malicki

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  35. Fair Problems and Diverse Solutions in Parameterized Complexity

    Call: SONATA 17 , Panel: ST6

    Principal investigator: dr Tomáš Masařík

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  36. Proportional Participatory Budgeting

    Call: PRELUDIUM 21 , Panel: ST6

    Principal investigator: Grzegorz Pierczyński

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  37. Conditional computation in deep neural networks

    Call: PRELUDIUM 21 , Panel: ST6

    Principal investigator: Sebastian Jaszczur

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  38. Forbidding subdivisions and line graphs towards faster algorithms

    Call: PRELUDIUM 21 , Panel: ST6

    Principal investigator: Jana Masaříková

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  39. Quantum topology and deep learning

    Call: SONATA 18 , Panel: ST2

    Principal investigator: dr Piotr Kucharski

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  40. Group actions, birational geometry and geometric structures

    Call: POLONEZ BIS 3 , Panel: ST1

    Principal investigator: dr Noemie Combe

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  41. Understanding the exaptation of tissue-specific enhancers by modeling the changes of spatial chromatin architecture.

    Call: PRELUDIUM BIS 4 , Panel: ST6

    Principal investigator: prof. Anna Gambin

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  42. Martingales and Multilinear Operators

    Call: SHENG 3 , Panel: ST1

    Principal investigator: prof. Adam Osękowski

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  43. Log-concave Measures and Geometry of Convex Bodies

    Call: PRELUDIUM 1 , Panel: ST1

    Principal investigator: Piotr Nayar

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  44. Variance-based sensitivity analysis for delay differential equations

    Call: PRELUDIUM 2 , Panel: ST1

    Principal investigator: dr Jan Poleszczuk

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  45. Probabilistic inequalities

    Call: OPUS 3 , Panel: ST1

    Principal investigator: prof. Rafał Latała

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  46. Analysis of structured population models in metric spaces

    Call: PRELUDIUM 3 , Panel: ST1

    Principal investigator: dr Agnieszka Ulikowska

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  47. Theoretical foundations of interactive theorem provers with unrestricted recursive definitions

    Call: PRELUDIUM 4 , Panel: ST6

    Principal investigator: Łukasz Czajka

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

  49. Optimality in parameterized complexity

    Call: SONATA 6 , Panel: ST6

    Principal investigator: dr Michał Pilipczuk

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  50. Complex flows

    Call: OPUS 7 , Panel: ST1

    Principal investigator: prof. Piotr Gwiazda

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki