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

128 projects found matching your search criteria :

  1. Distributed Computing in Dynamic Networks

    Call: HARMONIA 3 , Panel: ST6

    Principal investigator: dr hab. Tomasz Jurdziński

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  2. Languages and Learning in General Game Playing

    Call: PRELUDIUM 7 , Panel: ST6

    Principal investigator: Jakub Kowalski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  3. Definable topological dynamics and o-minimality

    Call: PRELUDIUM 7 , Panel: ST1

    Principal investigator: dr Grzegorz Jagiella

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  4. Groups definable in valued fields, definable Kneser-Tits problem and metastable theories

    Call: SONATA 7 , Panel: ST1

    Principal investigator: dr Jakub Gismatullin

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  5. Applications of deep and recurrent neural networks in acoustic modeling of speech

    Call: SONATA 8 , Panel: ST6

    Principal investigator: dr Jan Chorowski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  6. Weighted automata for quantitative properties

    Call: SONATA 8 , Panel: ST6

    Principal investigator: dr Jan Otop

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  7. Theories without the tree property of the first kind

    Call: SONATA 10 , Panel: ST1

    Principal investigator: dr Jan Dobrowolski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  8. Correlation inequalities for point processes

    Call: OPUS 10 , Panel: ST1

    Principal investigator: prof. Ryszard Szekli

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  9. Algorithmic online optimization for graph problems

    Call: SONATA BIS 6 , Panel: ST6

    Principal investigator: dr hab. Marcin Bieńkowski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  10. How lifetime is changing? Detection of drift changes in mortality models

    Call: PRELUDIUM 12 , Panel: HS4

    Principal investigator: Michał Krawiec

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  11. Scalable reasoning about concurrent imperative programs

    Call: SONATA 12 , Panel: ST6

    Principal investigator: dr Filip Sieczkowski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  12. Online algorithms for packing and covering problems

    Call: PRELUDIUM 12 , Panel: ST6

    Principal investigator: Maciej Pacut

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  13. Data-driven tests for censored data

    Call: OPUS 13 , Panel: ST1

    Principal investigator: dr Grzegorz Wyłupek

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  14. Calculus on random integral mappings and their applications.

    Call: OPUS 1 , Panel: ST1

    Principal investigator: prof. Zbigniew Jurek

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  15. Online algorithms for configuration games

    Call: OPUS 23 , Panel: ST6

    Principal investigator: dr hab. Marcin Bieńkowski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  16. Boundaries of Helly groups

    Call: PRELUDIUM 19 , Panel: ST1

    Principal investigator: Daniel Danielski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  17. Robust Formalisms for Quantitative Reasoning

    Call: OPUS 20 , Panel: ST6

    Principal investigator: dr Jakub Michaliszyn

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  18. Efficient algorithms and conditional lower bounds for problems on trees

    Call: PRELUDIUM 14 , Panel: ST6

    Principal investigator: Bartłomiej Dudek

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  19. Algebraic effects: composition and coinduction

    Call: SONATA 14 , Panel: ST6

    Principal investigator: dr Maciej Piróg

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  20. Application of modern algorithmic methods for solving NP-hard clustering problems.

    Call: PRELUDIUM 9 , Panel: ST6

    Principal investigator: Krzysztof Sornat

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  21. Functionals of reflected Gaussian and Lévy processes: asymptotic properties

    Call: OPUS 1 , Panel: ST1

    Principal investigator: prof. Krzysztof Dębicki

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  22. Structure and interpretation of programming languages in the "proofs-as-programs" paradigm

    Call: OPUS 2 , Panel: ST6

    Principal investigator: dr Małgorzata Biernacka

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  23. Harmonic analysis associated with semigroups of linear operators.

    Call: OPUS 3 , Panel: ST1

    Principal investigator: prof. Jacek Dziubański

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  24. Harmonic functions and diffusions on treebolic spaces, trees and their boundaries.

    Call: OPUS 3 , Panel: ST1

    Principal investigator: prof. Alexander Bendikov

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  25. Nonlinear evolution equations with Lévy diffusion.

    Call: SONATA 4 , Panel: ST1

    Principal investigator: dr Dominika Pilarczyk

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  26. Mathematical properties of solutions to model of bacterial colony formation

    Call: PRELUDIUM 5 , Panel: ST1

    Principal investigator: dr Rafał Celiński

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  27. Reccurent sets for random walk driven by low moment measures.

    Call: PRELUDIUM 6 , Panel: ST1

    Principal investigator: dr Wojciech Cygan

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  28. Efficient algorithms for finding optiml tours of a traveling salesman and related problems

    Call: OPUS 6 , Panel: ST6

    Principal investigator: dr Katarzyna Paluch

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  29. Model theory and topological dynamics

    Call: OPUS 10 , Panel: ST1

    Principal investigator: dr hab. Krzysztof Krupiński

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  30. Algebraic structure of combinatorial objects

    Call: OPUS 11 , Panel: ST1

    Principal investigator: prof. Andrzej Kisielewicz

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  31. Harmonic analysis related to differential, difference, and differential-difference operators

    Call: OPUS 13 , Panel: ST1

    Principal investigator: dr Marcin Preisner

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  32. Biautomatic and non-positively curved groups

    Call: SONATA 18 , Panel: ST1

    Principal investigator: dr Motiejus Valiunas

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  33. Aspects of grammar compression

    Call: SONATA BIS 7 , Panel: ST6

    Principal investigator: dr hab. Artur Jeż

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  34. Quantitative specifications: learning, algorithms and applications

    Call: OPUS 14 , Panel: ST6

    Principal investigator: dr Jan Otop

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  35. Biinvariant metrics on groups: geometry and dynamics

    Call: OPUS 14 , Panel: ST1

    Principal investigator: dr hab. Światosław Gal

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  36. Dynamics and bounded cohomoogy

    Call: SONATINA 2 , Panel: ST1

    Principal investigator: dr Michał Marcinkowski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  37. Combinatorial optimization through the lens of the traveling salesman route and matchings

    Call: OPUS 15 , Panel: ST6

    Principal investigator: dr hab. Katarzyna Paluch

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  38. Continuous and discrete perspectives in harmonic analysis

    Call: OPUS 16 , Panel: ST1

    Principal investigator: dr Błażej Wróbel

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  39. Algorytmy grafowe w różnych modelach obliczeń rozproszonych i równoległych.

    Call: ETIUDA 7 , Panel: ST6

    Principal investigator: Krzysztof Nowicki

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  40. Algebraic techniques for parallelising algorithms

    Call: OPUS 17 , Panel: ST6

    Principal investigator: dr Przemysław Uznański

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  41. From expressive description logics to mulit-variable fragments of first-order logic: resoning in finite structures

    Call: OPUS 21 , Panel: ST6

    Principal investigator: dr hab. Emanuel Kieroński

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  42. Functional calculi and their applications

    Call: SONATA 8 , Panel: ST1

    Principal investigator: dr Błażej Wróbel

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  43. Dual B-spline functions: construction and applications

    Call: OPUS 1 , Panel: ST1

    Principal investigator: dr hab. Paweł Woźny

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  44. Stochastic models based on stochastically monotone Markov processes: analysis of stationary conditions.

    Call: OPUS 1 , Panel: ST1

    Principal investigator: prof. Ryszard Szekli

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  45. Decision procedures in verification

    Call: OPUS 2 , Panel: ST6

    Principal investigator: prof. Witold Charatonik

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  46. Zwarte grupy kwantowe i nieprzemienne procesy stochastyczne

    Call: FUGA 1 , Panel: ST1

    Principal investigator: dr Anna Wysoczańska-Kula

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  47. Small Polish structures

    Call: PRELUDIUM 3 , Panel: ST1

    Principal investigator: dr Jan Dobrowolski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  48. Noncommutative probability and harmonic analysis with applications

    Call: OPUS 3 , Panel: ST1

    Principal investigator: prof. Marek Bożejko

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  49. Actions of Coxeter groups on non-positively and negatively curved spaces

    Call: PRELUDIUM 3 , Panel: ST1

    Principal investigator: Kamil Duszenko

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  50. LP rounding approximation algorithms

    Call: PRELUDIUM 4 , Panel: ST6

    Principal investigator: Bartosz Rybicki

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki