266 projects found matching your search criteria :
Parameterized algorithms in graph problems and permutation pattern matching.
Call: SONATA 3 , Panel: ST6
Principal investigator: dr Marek Cygan
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Simulation and bisimulation for context-free and pushdown systems
Call: PRELUDIUM 3 , Panel: ST6
Principal investigator: dr Piotr Hofman
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Topological structure of function spaces
Call: OPUS 4 , Panel: ST1
Principal investigator: prof. Witold Marciszewski
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Computational complexity of some connectivity problems
Call: SONATA 4 , Panel: ST6
Principal investigator: dr hab. Marcin Kamiński
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Resource management in selfish and cooperative distributed systems
Call: PRELUDIUM 5 , Panel: ST6
Principal investigator: dr Piotr Skowron
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Challenges in semistructural data management
Call: SONATA 6 , Panel: ST6
Principal investigator: dr Filip Murlak
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
From nonuniform disk data to leakage-resilient authentication schemes
Call: PRELUDIUM 7 , Panel: ST6
Principal investigator: Michał Zając
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: PRELUDIUM 8 , Panel: NZ2
Principal investigator: Paweł Bednarz
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Energetic constraints on information processing and storing in the nervous system.
Call: OPUS 9 , Panel: NZ4
Principal investigator: dr hab. Jan Karbowski
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Jeffrey-Kirwan residues in applications to equivariant Gysin homomorphism
Call: PRELUDIUM 9 , Panel: ST1
Principal investigator: Magdalena Zielenkiewicz
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: PRELUDIUM 9 , Panel: ST6
Principal investigator: dr Marcin Waniek
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Paraconsistent Reasoning in Autonomous Systems Situated in Informationally-Complex Environments
Call: OPUS 10 , Panel: ST6
Principal investigator: prof. Barbara Dunin-Kęplicz
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
The topology of solution spaces of combinatorial problems
Call: PRELUDIUM 11 , Panel: ST6
Principal investigator: Marcin Wrochna
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Separability problem in automata theory
Call: SONATA 11 , Panel: ST6
Principal investigator: dr Wojciech Czerwiński
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Efficient similarity search in high dimensional spaces
Call: PRELUDIUM 11 , Panel: ST6
Principal investigator: Karol Węgrzycki
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: PRELUDIUM 13 , Panel: ST1
Principal investigator: dr Aleksandra Puchalska
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Geometric and analytic properties of ordinary differential equations
Call: OPUS 13 , Panel: ST1
Principal investigator: prof. Henryk Żołądek
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Particle systems, occupation times and self-similar processes
Call: PRELUDIUM 13 , Panel: ST1
Principal investigator: Łukasz Treszczotko
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Nonlocal problems of interface evolution
Call: HARMONIA 9 , Panel: ST1
Principal investigator: prof. Piotr Rybka
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Algebraic varieties related to combinatorial structures
Call: SONATA 13 , Panel: ST1
Principal investigator: dr Maria Donten-Bury
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Many-valued and probabilistic extensions of rule-based languages
Call: OPUS 14 , Panel: ST6
Principal investigator: prof. Andrzej Szałas
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Anisotropic least gradient problem
Call: PRELUDIUM 14 , Panel: ST1
Principal investigator: dr Wojciech Górny
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Osobliwości przekształceń harmonicznych
Call: ETIUDA 6 , Panel: ST1
Principal investigator: Michał Miśkiewicz
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Effective computations in predicative mathematics
Call: SONATINA 2 , Panel: ST6
Principal investigator: dr Michał Przybyłek
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Prediction of protein and peptide isoelectric point based on sequence and structure features
Call: OPUS 15 , Panel: NZ2
Principal investigator: dr Łukasz Kozłowski
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Dynamic algorithms for directed graphs under weak assumptions about the adversary.
Call: PRELUDIUM 15 , Panel: ST6
Principal investigator: dr Adam Karczmarz
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Transport phenomena in mathematical biology
Call: HARMONIA 10 , Panel: ST1
Principal investigator: prof. Agnieszka Świerczewska-Gwiazda
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Measure oriented approach to nonlinear PDE's and variational problems
Call: OPUS 17 , Panel: ST1
Principal investigator: dr hab. Anna Zatorska-Goldstein
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
The tragedy of the commons in dynamic context - modelling, methodology and prevention
Call: OPUS 17 , Panel: HS4
Principal investigator: dr hab. Agnieszka Wiszniewska-Matyszkiel
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Combined genomic, phenotypic and spatial analysis of intra-tumor heterogeneity
Call: OPUS 17 , Panel: NZ2
Principal investigator: dr Ewa Szczurek
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Transport equation in the modern theory of partial differential equations
Call: PRELUDIUM 18 , Panel: ST1
Principal investigator: Jakub Skrzeczkowski
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Selected topics in knot theory
Call: OPUS 18 , Panel: ST1
Principal investigator: dr hab. Maciej Borodzik
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Multiwinner Election Rules: Beyond Scoring Protocols
Call: OPUS 18 , Panel: ST6
Principal investigator: dr Piotr Skowron
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Generic chaining approach to the regularity of stochastic processes
Call: OPUS 18 , Panel: ST1
Principal investigator: dr hab. Witold Bednorz
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: SONATA BIS 10 , Panel: NZ2
Principal investigator: dr hab. Ewa Szczurek
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Integrative analysis of single-cell genomics data
Call: SONATA 16 , Panel: NZ2
Principal investigator: dr Aleksander Jankowski
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Efficient and stable encoding of information in stochastic synapses from a physical point of view
Call: OPUS 21 , Panel: ST3
Principal investigator: dr hab. Jan Karbowski
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Incentives: A Multidisciplinary Approach
Call: SONATA BIS 11 , Panel: HS4
Principal investigator: dr hab. Marcin Dziubiński
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Video generation using deep learning
Call: SONATA 17 , Panel: ST6
Principal investigator: dr Piotr Biliński
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Selected aspects of modelling multicomponent fluids
Call: PRELUDIUM 21 , Panel: ST1
Principal investigator: Maja Szlenk
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Elliptic geometric variational problems
Call: SONATA BIS 12 , Panel: ST1
Principal investigator: dr hab. Sławomir Kolasiński
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Counting models in formal verification
Call: SONATA BIS 12 , Panel: ST6
Principal investigator: dr Filip Mazowiecki
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Birational geometry and elliptic cohomology invariants
Call: OPUS 24 , Panel: ST1
Principal investigator: prof. Jarosław Wiśniewski
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Effective parallel algorithms for solving partial differential equations
Call: OPUS 1 , Panel: ST1
Principal investigator: prof. Maksymilian Dryja
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Geometric methods and problems in nonlinear elliptic PDE's
Call: SONATA BIS 1 , Panel: ST1
Principal investigator: dr Anna Zatorska-Goldstein
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
SocSenSys: Social feedback systems based on body sensor networks
Call: SONATA 3 , Panel: ST6
Principal investigator: dr Konrad Iwanicki
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: OPUS 4 , Panel: ST1
Principal investigator: prof. Paweł Strzelecki
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Automatisation of constructive logic
Call: OPUS 4 , Panel: ST6
Principal investigator: dr hab. Aleksy Schubert
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Cox rings of resolutions of quotient singularities
Call: PRELUDIUM 4 , Panel: ST1
Principal investigator: dr Maria Donten-Bury
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
A new notion of finiteness in computation theory
Call: OPUS 4 , Panel: ST6
Principal investigator: dr hab. Mikołaj Bojańczyk
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki