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. Efficient algorithms and representations in formal languages and automata theory.

    Call: SONATA 1 , Panel: ST6

    Principal investigator: dr Artur Jeż

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  2. Asymptotic properties of extremes of locally self-similar and multidimensional Gaussian processes

    Call: PRELUDIUM 2 , Panel: ST1

    Principal investigator: Kamil Piotr Tabiś

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

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

  5. Problems in algebraic combinatorics concerning permutation groups and transformation semigroups

    Call: OPUS 4 , Panel: ST1

    Principal investigator: prof. Andrzej Marian Kisielewicz

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  6. LP rounding approximation algorithms

    Call: PRELUDIUM 4 , Panel: ST6

    Principal investigator: Bartosz Michał Rybicki

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  7. Schroedinger perturbations of integral kernels

    Call: PRELUDIUM 4 , Panel: ST1

    Principal investigator: dr Sebastian Artur Sydor

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  8. Singularities and asymptotic profiles in nonlocal models

    Call: OPUS 5 , Panel: ST1

    Principal investigator: prof. Grzegorz Karch

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  9. Online algorithms for fundamental network problems

    Call: OPUS 5 , Panel: ST6

    Principal investigator: dr hab. Marcin Bieńkowski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  10. Parisian fluctuation theory for Lévy processes

    Call: SONATA 10 , Panel: ST1

    Principal investigator: dr Irmina Czarna

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  11. Teoria modeli z działaniem grupy skończonej

    Call: ETIUDA 4 , Panel: ST1

    Principal investigator: Daniel Maksymilian Hoffmann

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  12. Noncommutative probability with applicationjs

    Call: OPUS 11 , Panel: ST1

    Principal investigator: prof. Marek Bożejko

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  13. Online algorithms for packing and covering problems

    Call: PRELUDIUM 12 , Panel: ST6

    Principal investigator: Maciej Szymon Pacut

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  14. Ograniczone, niezmiennicze relacje równoważności

    Call: ETIUDA 5 , Panel: ST1

    Principal investigator: Tomasz Rzepecki

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  15. Classical problems in the theory of finite automata: new approaches, variants, and applications

    Call: OPUS 13 , Panel: ST6

    Principal investigator: dr Marek Szykuła

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

  17. Feature screening and model regularization for k-mer representations of biological sequences

    Call: PRELUDIUM BIS 3 , Panel: ST6

    Principal investigator: prof. Małgorzata Bogdan

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

  19. Exit problems and extremes of stochastic processes in view towards stochastic modelling

    Call: OPUS 9 , Panel: ST1

    Principal investigator: prof. Krzysztof Grzegorz Dębicki

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  20. Functional calculi and their applications

    Call: SONATA 8 , Panel: ST1

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

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  21. Reasoning about programs in higher-order languages

    Call: OPUS 8 , Panel: ST6

    Principal investigator: prof. Witold Charatonik

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  22. Continuous logic and its algebraic applications

    Call: OPUS 1 , Panel: ST1

    Principal investigator: prof. Aleksander Iwanow

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  23. Multivariate spectral multipliers

    Call: PRELUDIUM 1 , Panel: ST1

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

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  24. Large Deviations and RuinProbabilities for Multivariate Random Iterative Mappings

    Call: HARMONIA 1 , Panel: ST1

    Principal investigator: prof. Ewa Maria Damek

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  25. Calculus on random integral mappings and their applications.

    Call: OPUS 1 , Panel: ST1

    Principal investigator: prof. Zbigniew Jan Jurek

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

  27. Stochastic recursions modeled on the smoothing transform

    Call: OPUS 3 , Panel: ST1

    Principal investigator: prof. Dariusz Buraczewski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

  29. Invariant equivalence relations

    Call: PRELUDIUM 9 , Panel: ST1

    Principal investigator: Tomasz Rzepecki

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  30. Levy processes and compact quantum groups- examples, properties, classifications

    Call: SONATA 11 , Panel: ST1

    Principal investigator: dr hab. Anna Wysoczańska-Kula

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  31. Nonlocal parabolic problems: regularity, blowup, pattern formation

    Call: OPUS 12 , Panel: ST1

    Principal investigator: prof. Piotr Cezary Biler

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  32. One Step From the Relational Model. A Couple of Database Theory Puzzles.

    Call: OPUS 12 , Panel: ST6

    Principal investigator: prof. Jerzy Marcinkowski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  33. Data-driven tests for censored data

    Call: OPUS 13 , Panel: ST1

    Principal investigator: dr Grzegorz Wyłupek

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  34. Arithmetic and geometry of fields with operators

    Call: OPUS 22 , Panel: ST1

    Principal investigator: prof. Piotr Kowalski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  35. Online algorithms for configuration games

    Call: OPUS 23 , Panel: ST6

    Principal investigator: dr hab. Marcin Bieńkowski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  36. Group actions and model theory

    Call: OPUS 16 , Panel: ST1

    Principal investigator: prof. Piotr Kowalski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  37. Continuous and discrete perspectives in harmonic analysis

    Call: OPUS 16 , Panel: ST1

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

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  38. Abstract Machines for Programming Languages: Investigations in Formal Interderivations

    Call: OPUS 17 , Panel: ST6

    Principal investigator: prof. Witold Charatonik

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  39. Noncommutative universal spaces for groups and quantum groups

    Call: SONATINA 4 , Panel: ST1

    Principal investigator: dr Mariusz Tobolski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  40. Boundaries of Helly groups

    Call: PRELUDIUM 19 , Panel: ST1

    Principal investigator: Daniel Wojciech Danielski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  41. Robust Formalisms for Quantitative Reasoning

    Call: OPUS 20 , Panel: ST6

    Principal investigator: dr Jakub Dawid Michaliszyn

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  42. Efficient distributed and parallel algorithms for big and dynamic data

    Call: OPUS 20 , Panel: ST6

    Principal investigator: prof. Tomasz Arkadiusz Jurdziński

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

  44. Asymptotics of supremum distribution of iterated Gaussian processes

    Call: SONATA 5 , Panel: ST1

    Principal investigator: dr Marek Arendarczyk

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  45. Definable topological dynamics and o-minimality

    Call: PRELUDIUM 7 , Panel: ST1

    Principal investigator: dr Grzegorz Wojciech Jagiella

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  46. Discrete harmonic analysis

    Call: OPUS 10 , Panel: ST1

    Principal investigator: dr Mariusz Mirek

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  47. Model theory and topological dynamics

    Call: OPUS 10 , Panel: ST1

    Principal investigator: dr hab. Krzysztof Cyprian Krupiński

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

  49. Exit problems for reflected Levy processes and its applications

    Call: PRELUDIUM 12 , Panel: ST1

    Principal investigator: Joanna Beata Tumilewicz

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  50. Scalable reasoning about concurrent imperative programs

    Call: SONATA 12 , Panel: ST6

    Principal investigator: dr Filip Sieczkowski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy