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. Robust Formalisms for Quantitative Reasoning

    Call: OPUS 20 , Panel: ST6

    Principal investigator: dr Jakub Dawid Michaliszyn

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  2. The power of branching and learning for online scheduling and bin packingproblems

    Call: SONATA 18 , Panel: ST6

    Principal investigator: dr Martin Böhm

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  3. Processing massive string data and beyond: algorithms and conditional lower bounds

    Call: OPUS 26 , Panel: ST6

    Principal investigator: dr Paweł Maciej Gawrychowski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  4. Randomly perturbated Hierarchical Laplacian and Poisson statistics of its spectrum

    Call: OPUS 9 , Panel: ST1

    Principal investigator: prof. Alexander Bendikov

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  5. Finding Applications for Logic with Partial Functions

    Call: OPUS 9 , Panel: ST6

    Principal investigator: dr hab. Jean Marie de Nivelle

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

  7. Correlation inequalities for point processes

    Call: OPUS 10 , Panel: ST1

    Principal investigator: prof. Ryszard Jacek Szekli

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  8. Throughput maximization problems.

    Call: SONATA 11 , Panel: ST6

    Principal investigator: dr Łukasz Jeż

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  9. High dimensional model selection with SLOPE - theoretical properties and applications

    Call: OPUS 12 , Panel: ST1

    Principal investigator: dr hab. Małgorzata Bogdan

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  10. Design of Distributed Algorithms in Highly Congested Networks

    Call: OPUS 13 , Panel: ST6

    Principal investigator: prof. Tomasz Jurdziński

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  11. Aspects of grammar compression

    Call: SONATA BIS 7 , Panel: ST6

    Principal investigator: dr hab. Artur Jeż

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  12. Dual B-spline functions: construction and applications

    Call: OPUS 1 , Panel: ST1

    Principal investigator: dr hab. Paweł Marcin Woźny

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  13. Asymptotic representation theory

    Call: PRELUDIUM 2 , Panel: ST1

    Principal investigator: dr Maciej Wojciech Dołęga

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

    Call: OPUS 15 , Panel: ST6

    Principal investigator: dr hab. Katarzyna Ewa Paluch

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  15. Geometry and topology of Artin groups

    Call: BEETHOVEN 3 , Panel: ST1

    Principal investigator: dr Damian Osajda

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  16. Excursions of vector-valued Gaussian stochastic processes: exact asymptotics

    Call: OPUS 16 , Panel: ST1

    Principal investigator: prof. Krzysztof Grzegorz Dębicki

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  17. Algebraic effects: composition and coinduction

    Call: SONATA 14 , Panel: ST6

    Principal investigator: dr Maciej Adam Piróg

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  18. Random branching and affine structures

    Call: OPUS 17 , Panel: ST1

    Principal investigator: prof. Ewa Maria Damek

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  19. Leveraging Randomization: From Scheduling to AdWords

    Call: OPUS 20 , Panel: ST6

    Principal investigator: dr Łukasz Jeż

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  20. 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 Grzegorz Kieroński

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  21. Online algorithms for configuration games

    Call: OPUS 23 , Panel: ST6

    Principal investigator: dr hab. Marcin Bieńkowski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  22. First Order Logic and Beyond. Some Puzzles in Database Theory.

    Call: OPUS 23 , Panel: ST6

    Principal investigator: prof. Jerzy Marcinkowski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  23. Mathematical modelling of risk measures and optimal strategies

    Call: OPUS 1 , Panel: HS4

    Principal investigator: prof. Zbigniew Palmowski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  24. Maximal functions and singular integral operators in continuous and discrete settings

    Call: SONATA 3 , Panel: ST1

    Principal investigator: dr Mariusz Mirek

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

  26. The BDD/FC Conjecture and beyond

    Call: PRELUDIUM 5 , Panel: ST6

    Principal investigator: Tomasz Mirosław Gogacz

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  27. A quest for new computer logics

    Call: OPUS 11 , Panel: ST6

    Principal investigator: dr hab. Emanuel Grzegorz Kieroński

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  28. Algebraic structure of combinatorial objects

    Call: OPUS 11 , Panel: ST1

    Principal investigator: prof. Andrzej Marian Kisielewicz

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  29. Algebraic and topological methods in model theory

    Call: SONATA BIS 6 , Panel: ST1

    Principal investigator: prof. Krzysztof Cyprian Krupiński

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  30. Descriptive set theory: structure and dynamics of Polish groups

    Call: SONATA 12 , Panel: ST1

    Principal investigator: dr Aleksandra Kwiatkowska

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

    Call: PRELUDIUM 12 , Panel: HS4

    Principal investigator: Michał Krzysztof Krawiec

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  32. Algebraic Effects and Continuations

    Call: POLONEZ 3 , Panel: ST6

    Principal investigator: dr Maciej Adam Piróg

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

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

  35. Set theoretic methods in topology and in Banach space theory.

    Call: OPUS 6 , Panel: ST1

    Principal investigator: prof. Grzegorz Plebanek

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  36. Languages and Learning in General Game Playing

    Call: PRELUDIUM 7 , Panel: ST6

    Principal investigator: Jakub Kowalski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  37. Communication Problems in Wireless Sensor Networks

    Call: PRELUDIUM 7 , Panel: ST6

    Principal investigator: Michał Andrzej Różański

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  38. Random iterations, stationary measures and Poisson kernels

    Call: OPUS 8 , Panel: ST1

    Principal investigator: prof. Ewa Maria Damek

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  39. Logics for data analysis and verification

    Call: SONATA 8 , Panel: ST6

    Principal investigator: dr Jakub Dawid Michaliszyn

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  40. Weighted automata for quantitative properties

    Call: SONATA 8 , Panel: ST6

    Principal investigator: dr Jan Otop

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  41. Quantitative specifications: learning, algorithms and applications

    Call: OPUS 14 , Panel: ST6

    Principal investigator: dr Jan Otop

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  42. Biinvariant metrics on groups: geometry and dynamics

    Call: OPUS 14 , Panel: ST1

    Principal investigator: dr hab. Światosław Roman Gal

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

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

  45. Difference algebra and cohomology of groups

    Call: OPUS 10 , Panel: ST1

    Principal investigator: dr hab. Piotr Kowalski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

    Call: OPUS 1 , Panel: ST1

    Principal investigator: prof. Krzysztof Grzegorz Dębicki

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

    Call: OPUS 1 , Panel: ST1

    Principal investigator: prof. Ryszard Jacek Szekli

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

  49. Distributed Computing in Dynamic Networks

    Call: HARMONIA 3 , Panel: ST6

    Principal investigator: dr hab. Tomasz Jurdziński

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  50. Nonlinear evolution equations with Lévy diffusion.

    Call: SONATA 4 , Panel: ST1

    Principal investigator: dr Dominika Pilarczyk

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki