128 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
Languages and Learning in General Game Playing
Call: PRELUDIUM 7 , Panel: ST6
Principal investigator: Jakub Kowalski
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Definable topological dynamics and o-minimality
Call: PRELUDIUM 7 , Panel: ST1
Principal investigator: dr Grzegorz Jagiella
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
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
Weighted automata for quantitative properties
Call: SONATA 8 , Panel: ST6
Principal investigator: dr Jan Otop
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
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
Correlation inequalities for point processes
Call: OPUS 10 , Panel: ST1
Principal investigator: prof. Ryszard Szekli
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
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
Scalable reasoning about concurrent imperative programs
Call: SONATA 12 , Panel: ST6
Principal investigator: dr Filip Sieczkowski
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
Data-driven tests for censored data
Call: OPUS 13 , Panel: ST1
Principal investigator: dr Grzegorz Wyłupek
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
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
Online algorithms for configuration games
Call: OPUS 23 , Panel: ST6
Principal investigator: dr hab. Marcin Bieńkowski
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Call: PRELUDIUM 19 , Panel: ST1
Principal investigator: Daniel Danielski
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
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
Algebraic effects: composition and coinduction
Call: SONATA 14 , Panel: ST6
Principal investigator: dr Maciej Piróg
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
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
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
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
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
Nonlinear evolution equations with Lévy diffusion.
Call: SONATA 4 , Panel: ST1
Principal investigator: dr Dominika Pilarczyk
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
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
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
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
Model theory and topological dynamics
Call: OPUS 10 , Panel: ST1
Principal investigator: dr hab. Krzysztof Krupiński
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
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
Biautomatic and non-positively curved groups
Call: SONATA 18 , Panel: ST1
Principal investigator: dr Motiejus Valiunas
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
Quantitative specifications: learning, algorithms and applications
Call: OPUS 14 , Panel: ST6
Principal investigator: dr Jan Otop
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
Dynamics and bounded cohomoogy
Call: SONATINA 2 , Panel: ST1
Principal investigator: dr Michał Marcinkowski
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
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
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
Algebraic techniques for parallelising algorithms
Call: OPUS 17 , Panel: ST6
Principal investigator: dr Przemysław Uznański
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Call: OPUS 21 , Panel: ST6
Principal investigator: dr hab. Emanuel Kieroński
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
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
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
Call: OPUS 1 , Panel: ST1
Principal investigator: prof. Ryszard Szekli
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
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
Call: PRELUDIUM 3 , Panel: ST1
Principal investigator: dr Jan Dobrowolski
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
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
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
LP rounding approximation algorithms
Call: PRELUDIUM 4 , Panel: ST6
Principal investigator: Bartosz Rybicki
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki