127 projects found matching your search criteria :
Distributed Computing in Dynamic Networks
Call: HARMONIA 3 , Panel: ST6
Principal investigator: dr hab. Tomasz Jurdziński
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Schroedinger perturbations of integral kernels
Call: PRELUDIUM 4 , Panel: ST1
Principal investigator: dr Sebastian Sydor
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Singularities and asymptotic profiles in nonlocal models
Call: OPUS 5 , Panel: ST1
Principal investigator: prof. Grzegorz Karch
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
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
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
Optimal investments and dividend policies
Call: OPUS 5 , Panel: HS4
Principal investigator: prof. Zbigniew Palmowski
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
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
Essential selfadjointness of Jacobi matrices on trees
Call: OPUS 6 , Panel: ST1
Principal investigator: prof. Ryszard Szwarc
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Reasoning about programs in higher-order languages
Call: OPUS 8 , Panel: ST6
Principal investigator: prof. Witold Charatonik
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Call: OPUS 10 , Panel: ST1
Principal investigator: dr Mariusz Mirek
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Difference algebra and cohomology of groups
Call: OPUS 10 , Panel: ST1
Principal investigator: dr hab. Piotr Kowalski
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Algebraic structure of combinatorial objects
Call: OPUS 11 , Panel: ST1
Principal investigator: prof. Andrzej Kisielewicz
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
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
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
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
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
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
Call: PRELUDIUM 19 , Panel: ST1
Principal investigator: Daniel Danielski
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
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
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
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
Around Modal Logics - Decidability and Complexity
Call: PRELUDIUM 2 , Panel: ST6
Principal investigator: Jakub Michaliszyn
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
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
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
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
Communication Problems in Wireless Sensor Networks
Call: PRELUDIUM 7 , Panel: ST6
Principal investigator: Michał Różański
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
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
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
Weighted automata for quantitative properties
Call: SONATA 8 , Panel: ST6
Principal investigator: dr Jan Otop
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
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
Parisian fluctuation theory for Lévy processes
Call: SONATA 10 , Panel: ST1
Principal investigator: dr Irmina Czarna
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Noncommutative probability with applicationjs
Call: OPUS 11 , Panel: ST1
Principal investigator: prof. Marek Bożejko
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Online algorithms for packing and covering problems
Call: PRELUDIUM 12 , Panel: ST6
Principal investigator: Maciej Pacut
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Ograniczone, niezmiennicze relacje równoważności
Call: ETIUDA 5 , Panel: ST1
Principal investigator: Tomasz Rzepecki
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Aspects of grammar compression
Call: SONATA BIS 7 , Panel: ST6
Principal investigator: dr hab. Artur Jeż
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Abstract methods in Banach space theory.
Call: OPUS 15 , Panel: ST1
Principal investigator: prof. Grzegorz Plebanek
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
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
Group actions and model theory
Call: OPUS 16 , Panel: ST1
Principal investigator: dr hab. Piotr Kowalski
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
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
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
Random branching and affine structures
Call: OPUS 17 , Panel: ST1
Principal investigator: prof. Ewa Damek
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
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
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
Robust Formalisms for Quantitative Reasoning
Call: OPUS 20 , Panel: ST6
Principal investigator: dr Jakub Michaliszyn
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Random processes in random environment
Call: OPUS 20 , Panel: ST1
Principal investigator: prof. Dariusz Buraczewski
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Biautomatic and non-positively curved groups
Call: SONATA 18 , Panel: ST1
Principal investigator: dr Motiejus Valiunas
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Continuous logic and its algebraic applications
Call: OPUS 1 , Panel: ST1
Principal investigator: prof. Aleksander Iwanow
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
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
Decision procedures in verification
Call: OPUS 2 , Panel: ST6
Principal investigator: prof. Witold Charatonik
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
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