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

284 projects found matching your search criteria :

  1. Advanced Reasoning Methods and Optimization Techniques for the Problems of Ontology Classification and Consistency Check...

    Call: OPUS 1 , Panel: ST6

    Principal investigator: dr hab. Anh Linh Nguyen

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  2. Perception Based Computing

    Call: SONATA 1 , Panel: ST6

    Principal investigator: dr Piotr Wasilewski

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  3. Analysis and Development of Process Mining Methods Based on Skeletal Algorithms

    Call: PRELUDIUM 1 , Panel: ST6

    Principal investigator: dr Adam Przybyłek

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  4. Log-concave Measures and Geometry of Convex Bodies

    Call: PRELUDIUM 1 , Panel: ST1

    Principal investigator: Piotr Nayar

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  5. Skokowe procesy Markowa i ich zaburzenia schroedingerowskie

    Call: FUGA 1 , Panel: ST1

    Principal investigator: dr Kamil Kaleta

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  6. Comprehensive mammalian enhancer annotation from sequence and functional data

    Call: OPUS 3 , Panel: NZ2

    Principal investigator: prof. Jerzy Tiuryn

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  7. Simulation and bisimulation for context-free and pushdown systems

    Call: PRELUDIUM 3 , Panel: ST6

    Principal investigator: dr Piotr Hofman

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

  9. Dynamics of random systems

    Call: OPUS 4 , Panel: ST1

    Principal investigator: dr hab. Anna Talarczyk-Noble

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  10. Tractability of non-homogenous multivariate problems

    Call: PRELUDIUM 4 , Panel: ST1

    Principal investigator: dr Paweł Siedlecki

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  11. Automatisation of constructive logic

    Call: OPUS 4 , Panel: ST6

    Principal investigator: dr hab. Aleksy Schubert

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

  13. Inferring genomic duplication events.

    Call: PRELUDIUM 10 , Panel: ST6

    Principal investigator: Jarosław Paszek

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  14. Algorithmic Structure Theory for Sparse Graphs

    Call: POLONEZ 1 , Panel: ST6

    Principal investigator: Dipl. Inform. Sebastian Siebertz

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  15. Computational Analysis of Applied Weighted Voting Games

    Call: SONATA 10 , Panel: ST6

    Principal investigator: dr Oskar Skibski

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  16. Approximation algorithms under data uncertainty

    Call: PRELUDIUM 11 , Panel: ST6

    Principal investigator: Michał Włodarczyk

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  17. The topology of solution spaces of combinatorial problems

    Call: PRELUDIUM 11 , Panel: ST6

    Principal investigator: Marcin Wrochna

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  18. Upper and lower bounds for stochastic processes

    Call: OPUS 11 , Panel: ST1

    Principal investigator: dr hab. Witold Bednorz

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  19. Pointwise regularity theory for sets, measures, and varifolds

    Call: SONATA 12 , Panel: ST1

    Principal investigator: dr Sławomir Kolasiński

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  20. Algebraic Torus Actions: Geometry and Combinatorics

    Call: BEETHOVEN 2 , Panel: ST1

    Principal investigator: prof. Jarosław Wiśniewski

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  21. Geometric and analytic properties of ordinary differential equations

    Call: OPUS 13 , Panel: ST1

    Principal investigator: prof. Henryk Żołądek

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  22. Nonlocal problems of interface evolution

    Call: HARMONIA 9 , Panel: ST1

    Principal investigator: prof. Piotr Rybka

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  23. Algebraic structures related to set theoretic solutions of the quantum Yang-Baxter equation

    Call: OPUS 5 , Panel: ST1

    Principal investigator: prof. Jan Okniński

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  24. Frontiers of automatic verification: new methods of analysis of infinite-state systems

    Call: OPUS 5 , Panel: ST6

    Principal investigator: dr hab. Sławomir Lasota

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  25. Low-dimensional affine algebraic geometry.

    Call: OPUS 6 , Panel: ST1

    Principal investigator: prof. Mariusz Koras

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  26. Stochastic methods in the theory of smooth dynamical systems

    Call: OPUS 7 , Panel: ST1

    Principal investigator: prof. Anna Zdunik

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  27. Analysis of stochastic geometric models

    Call: OPUS 8 , Panel: ST1

    Principal investigator: dr Piotr Miłoś

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  28. Video generation using deep learning

    Call: SONATA 17 , Panel: ST6

    Principal investigator: dr Piotr Biliński

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  29. Proportional Participatory Budgeting

    Call: PRELUDIUM 21 , Panel: ST6

    Principal investigator: Grzegorz Pierczyński

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  30. Geometric properties of sequences of Sobolev homeomorphisms and homeomorphisms of bounded variation

    Call: PRELUDIUM 21 , Panel: ST1

    Principal investigator: Zofia Grochulska

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  31. Linear algebra in orbit-finite dimension

    Call: PRELUDIUM 21 , Panel: ST6

    Principal investigator: Arka Ghosh

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  32. Quest for Optimality in Variants of Text Indexing and Related Problems

    Call: SONATA BIS 12 , Panel: ST6

    Principal investigator: dr hab. Jakub Radoszewski

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  33. Multiscale modelling of fluids and tissues

    Call: SONATA 19 , Panel: ST1

    Principal investigator: dr Tomasz Dębiec

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

  35. Data-enriched models of computation

    Call: OPUS 18 , Panel: ST6

    Principal investigator: prof. Sławomir Lasota

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  36. Thinking Far Ahead: Long-horizon planning using deep model-based reinforcement learning

    Call: PRELUDIUM 19 , Panel: ST6

    Principal investigator: Piotr Kozakowski

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  37. Differential Harnack Inequalities - Nonlinear and Nonlocal

    Call: SONATA BIS 10 , Panel: ST1

    Principal investigator: dr Mikołaj Sierżęga

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  38. Integrative analysis of single-cell genomics data

    Call: SONATA 16 , Panel: NZ2

    Principal investigator: dr Aleksander Jankowski

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  39. Solutions of the quantum Yang-Baxter equation and associated algebraic structures: (semi)groups, associative algebras an...

    Call: SONATA 16 , Panel: ST1

    Principal investigator: dr Łukasz Kubat

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  40. Algebraic varieties related to combinatorial structures

    Call: SONATA 13 , Panel: ST1

    Principal investigator: dr Maria Donten-Bury

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  41. Consistent Models and Efficient Algorithms for Genomic Duplications

    Call: OPUS 14 , Panel: ST6

    Principal investigator: dr hab. Paweł Górecki

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  42. Machine learning and automatic theorem proving

    Call: OPUS 15 , Panel: ST6

    Principal investigator: dr hab. Henryk Michalewski

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  43. Change of time for Markov processes and its influence on Markov structures

    Call: PRELUDIUM 15 , Panel: ST1

    Principal investigator: Zofia Miśkiewicz

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  44. Collective behavior -- a mathematician's perspective

    Call: HARMONIA 10 , Panel: ST1

    Principal investigator: prof. Piotr Mucha

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  45. New Trends in Text Algorithms

    Call: SONATA 14 , Panel: ST6

    Principal investigator: dr hab. Jakub Radoszewski

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  46. Probabilistic aspects of the Takens embedding theorem

    Call: PRELUDIUM 17 , Panel: ST1

    Principal investigator: Adam Śpiewak

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  47. Tractable dialogues in multi-agent systems.

    Call: PRELUDIUM 9 , Panel: ST6

    Principal investigator: Alina Powała

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  48. Tight Lower Bounds Under Strong Complexity Assumptions

    Call: PRELUDIUM 9 , Panel: ST6

    Principal investigator: Arkadiusz Socała

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  49. Hierarchy-type Problems for Automata on Infinite Words and Trees

    Call: PRELUDIUM 3 , Panel: ST6

    Principal investigator: dr Michał Skrzypczak

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  50. Limits of decidability in automata theory

    Call: SONATA 4 , Panel: ST6

    Principal investigator: dr Paweł Parys

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki