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

127 projects found matching your search criteria :

  1. Weighted automata for quantitative properties

    Call: SONATA 8 , Panel: ST6

    Principal investigator: dr Jan Otop

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  2. Compression, logic, formal langauges: new approaches unifying different areas.

    Call: OPUS 8 , Panel: ST6

    Principal investigator: dr hab. Artur Jeż

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  3. Parisian fluctuation theory for Lévy processes

    Call: SONATA 10 , Panel: ST1

    Principal investigator: dr Irmina Czarna

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  4. Noncommutative probability with applicationjs

    Call: OPUS 11 , Panel: ST1

    Principal investigator: prof. Marek Bożejko

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  5. Interactions between model theory, topology and algebra

    Call: OPUS 4 , Panel: ST1

    Principal investigator: dr hab. Krzysztof Krupiński

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  6. Communication Problems in Wireless Sensor Networks

    Call: PRELUDIUM 7 , Panel: ST6

    Principal investigator: Michał Różański

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

  8. Stochastic models based on the smoothing transform

    Call: SONATA BIS 4 , Panel: ST1

    Principal investigator: prof. Dariusz Buraczewski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  9. Around Modal Logics - Decidability and Complexity

    Call: PRELUDIUM 2 , Panel: ST6

    Principal investigator: Jakub Michaliszyn

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

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

  12. Free and iterative operators on fields

    Call: PRELUDIUM 22 , Panel: ST1

    Principal investigator: Jakub Gogolok

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  13. Combinatorial optimization under uncertainty: matroids,matchings and submodular functions

    Call: SONATA 15 , Panel: ST6

    Principal investigator: dr Marek Adamczyk

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

  15. Robust Formalisms for Quantitative Reasoning

    Call: OPUS 20 , Panel: ST6

    Principal investigator: dr Jakub Michaliszyn

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  16. Random processes in random environment

    Call: OPUS 20 , Panel: ST1

    Principal investigator: prof. Dariusz Buraczewski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

  18. Algebraic structure of combinatorial objects

    Call: OPUS 11 , Panel: ST1

    Principal investigator: prof. Andrzej Kisielewicz

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

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

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

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

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

    Call: OPUS 20 , Panel: ST6

    Principal investigator: prof. Tomasz Jurdziński

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  24. Finite automata: selected problems and applications connecting different areas

    Call: OPUS 21 , Panel: ST6

    Principal investigator: dr Marek Szykuła

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

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

  27. Arithmetic and geometry of fields with operators

    Call: OPUS 22 , Panel: ST1

    Principal investigator: prof. Piotr Kowalski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  28. Biautomatic and non-positively curved groups

    Call: SONATA 18 , Panel: ST1

    Principal investigator: dr Motiejus Valiunas

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  29. Singularities and asymptotic profiles in nonlocal models

    Call: OPUS 5 , Panel: ST1

    Principal investigator: prof. Grzegorz Karch

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

  31. Extremes and risk theory for Gaussian and Levy processes

    Call: OPUS 5 , Panel: ST1

    Principal investigator: prof. Krzysztof Dębicki

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  32. Optimal investments and dividend policies

    Call: OPUS 5 , Panel: HS4

    Principal investigator: prof. Zbigniew Palmowski

    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. Essential selfadjointness of Jacobi matrices on trees

    Call: OPUS 6 , Panel: ST1

    Principal investigator: prof. Ryszard Szwarc

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  35. Stochastic recursions modeled on the smoothing transform

    Call: OPUS 3 , Panel: ST1

    Principal investigator: prof. Dariusz Buraczewski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  36. Distributed Computing in Dynamic Networks

    Call: HARMONIA 3 , Panel: ST6

    Principal investigator: dr hab. Tomasz Jurdziński

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  37. Schroedinger perturbations of integral kernels

    Call: PRELUDIUM 4 , Panel: ST1

    Principal investigator: dr Sebastian Sydor

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  38. Asymptotic representation theory

    Call: PRELUDIUM 2 , Panel: ST1

    Principal investigator: dr Maciej Dołęga

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

  40. Reasoning about programs in higher-order languages

    Call: OPUS 8 , Panel: ST6

    Principal investigator: prof. Witold Charatonik

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  41. Discrete harmonic analysis

    Call: OPUS 10 , Panel: ST1

    Principal investigator: dr Mariusz Mirek

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  42. Difference algebra and cohomology of groups

    Call: OPUS 10 , Panel: ST1

    Principal investigator: dr hab. Piotr Kowalski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

    Call: OPUS 16 , Panel: ST1

    Principal investigator: prof. Krzysztof Dębicki

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  44. Boundaries of Helly groups

    Call: PRELUDIUM 19 , Panel: ST1

    Principal investigator: Daniel Danielski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

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

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

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

  49. Model theory and topological dynamics

    Call: OPUS 10 , Panel: ST1

    Principal investigator: dr hab. Krzysztof Krupiński

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

    Call: ETIUDA 4 , Panel: ST1

    Principal investigator: Daniel Hoffmann

    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