248 projects found matching your search criteria :
Operator theory and its applications
Call: OPUS 9 , Panel: ST1
Principal investigator: prof. Mieczysław Mastyło
Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Matematyki i Informatyki
Extraction of low-dimensional latent factors from nonnegatively constrained big data
Call: OPUS 9 , Panel: ST6
Principal investigator: dr hab. Rafał Zdunek
Politechnika Wrocławska
Development of Models and Methods for Incorporating Knowledge to Support Vector Machines
Call: SONATA 9 , Panel: ST6
Principal investigator: dr Marcin Orchel
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji
Transformations of compact surfaces
Call: OPUS 9 , Panel: ST1
Principal investigator: prof. Grzegorz Gromadzki
Uniwersytet Gdański, Wydział Matematyki, Fizyki i Informatyki
Invariant equivalence relations
Call: PRELUDIUM 9 , Panel: ST1
Principal investigator: Tomasz Rzepecki
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Geometric and homological problems of the representation theory of algebras
Call: OPUS 9 , Panel: ST1
Principal investigator: dr hab. Grzegorz Andrzej Bobiński
Uniwersytet Mikołaja Kopernika w Toruniu, Wydział Matematyki i Informatyki
Call: OPUS 9 , Panel: ST6
Principal investigator: prof. Sławomir Marcin Kozieł
Politechnika Gdańska, Wydział Elektroniki, Telekomunikacji i Informatyki
Call: ETIUDA 3 , Panel: ST1
Principal investigator: Grzegorz Krzysztof Siudem
Politechnika Warszawska, Wydział Fizyki
Call: OPUS 8 , Panel: ST8
Principal investigator: dr hab. Michał Albin Basista
Instytut Podstawowych Problemów Techniki Polskiej Akademii Nauk
Blind signatures and electronic identity documents
Call: PRELUDIUM 8 , Panel: ST6
Principal investigator: Lucjan Piotr Hanzlik
Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki
Call: OPUS 8 , Panel: ST1
Principal investigator: prof. Irena Lasiecka
Instytut Badań Systemowych Polskiej Akademii Nauk
Call: PRELUDIUM 8 , Panel: ST6
Principal investigator: Karol Lisowski
Politechnika Gdańska, Wydział Elektroniki, Telekomunikacji i Informatyki
Analysis of stochastic geometric models
Call: OPUS 8 , Panel: ST1
Principal investigator: dr Piotr Rafał Miłoś
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Selected SMT-based model checking methods
Call: PRELUDIUM 8 , Panel: ST6
Principal investigator: Agnieszka Małgorzata Zbrzezny
Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie, Wydział Matematyczno-Przyrodniczy
Weighted automata for quantitative properties
Call: SONATA 8 , Panel: ST6
Principal investigator: dr Jan Otop
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Call: PRELUDIUM 8 , Panel: ST6
Principal investigator: Roman Grundkiewicz
Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Matematyki i Informatyki
Call: OPUS 8 , Panel: ST6
Principal investigator: dr hab. Agnieszka Mykowiecka
Instytut Podstaw Informatyki Polskiej Akademii Nauk
Numerical and structural invariants in algebra, logic and constraint satisfaction problems
Call: MAESTRO 6 , Panel: ST6
Principal investigator: prof. Paweł Maria Idziak
Uniwersytet Jagielloński, 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
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
Asymptotic properties of models of population dynamics
Call: OPUS 7 , Panel: ST1
Principal investigator: prof. Ryszard Rudnicki
Instytut Matematyczny Polskiej Akademii Nauk
Structured image analysis via grammars of object adaptive frames
Call: SONATA 7 , Panel: ST7
Principal investigator: dr Anna Maria Węsierska
Instytut Badań Systemowych Polskiej Akademii Nauk
Definable topological dynamics and o-minimality
Call: PRELUDIUM 7 , Panel: ST1
Principal investigator: dr Grzegorz Wojciech Jagiella
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Cryptography without trusted parties
Call: SONATA 7 , Panel: ST6
Principal investigator: dr Tomasz Piotr Kazana
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Mathematical analysis of thermo-visco-elasticity
Call: PRELUDIUM 7 , Panel: ST1
Principal investigator: dr Filip Zdzisław Klawe
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: PRELUDIUM 6 , Panel: ST7
Principal investigator: Marcin Andrzej Gębski
Politechnika Łódzka, Wydział Fizyki Technicznej, Informatyki i Matematyki Stosowanej
Module categories of selfinjective artin algebras
Call: PRELUDIUM 1 , Panel: ST1
Principal investigator: dr Maciej Karpicz
Uniwersytet Mikołaja Kopernika w Toruniu, Wydział Matematyki i Informatyki
Call: PRELUDIUM 1 , Panel: ST6
Principal investigator: dr Jarosław Piersa
Uniwersytet Mikołaja Kopernika w Toruniu, Wydział Matematyki i Informatyki
Call: OPUS 6 , Panel: ST1
Principal investigator: dr Sylwia Kondej
Uniwersytet Zielonogórski, Wydział Fizyki i Astronomii
Models and algorithms for some discrete-continuous project scheduling problems
Call: OPUS 6 , Panel: ST6
Principal investigator: dr hab. Grzegorz Waligóra
Politechnika Poznańska, Wydział Informatyki
Morphisms and diagonals of Mori Dream Spaces, phylogenetics, and applications of Cox rings
Call: SONATA 6 , Panel: ST1
Principal investigator: dr hab. Jarosław Buczyński
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: SONATA 1 , Panel: ST1
Principal investigator: dr Zuzanna Katarzyna Szymańska
Uniwersytet Warszawski, Interdyscyplinarne Centrum Modelowania Matematycznego i Komputerowego
Multi-scale model of tumor dynamics as a key component of the system for optimal anti-cancer therapy
Call: HARMONIA 5 , Panel: ST6
Principal investigator: prof. Witold Dzwinel
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji
Development and implementation of model checking methods for real-time and multi-agent systems
Call: OPUS 1 , Panel: ST6
Principal investigator: dr hab. Bożena Woźna-Szcześniak
Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie, Wydział Matematyczno-Przyrodniczy
Call: OPUS 1 , Panel: ST1
Principal investigator: prof. Ryszard Jacek Szekli
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Call: PRELUDIUM 5 , Panel: ST6
Principal investigator: Łukasz Faber
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji
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
Hybrid Model of Chemical Depth Profiling of Organic Multilayers
Call: OPUS 5 , Panel: ST4
Principal investigator: prof. Zbigniew Postawa
Uniwersytet Jagielloński, Wydział Fizyki, Astronomii i Informatyki Stosowanej
Novel active learning querying strategy for the machine learning models
Call: PRELUDIUM 5 , Panel: ST6
Principal investigator: dr Wojciech Marian Czarnecki
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Call: OPUS 5 , Panel: ST6
Principal investigator: dr hab. Jan Bazan
Uniwersytet Rzeszowski, Wydział Matematyczno-Przyrodniczy
Singularities and asymptotic profiles in nonlocal models
Call: OPUS 5 , Panel: ST1
Principal investigator: prof. Grzegorz Karch
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Evolutionary algorithm in global induction of model trees
Call: PRELUDIUM 5 , Panel: ST6
Principal investigator: dr Marcin Czajkowski
Politechnika Białostocka, Wydział Informatyki
Compound data stream classification methods based on unsupervised and active learning
Call: OPUS 5 , Panel: ST6
Principal investigator: prof. Michał Wojciech Woźniak
Politechnika Wrocławska, Wydział Elektroniki
Methodology for Computer Supported Organizational Creativity
Call: OPUS 5 , Panel: HS4
Principal investigator: prof. Celina Maria Olszak
Uniwersytet Ekonomiczny w Katowicach, Wydział Ekonomii
Color image retrieval system based on the multichannel analysis of spatial information.
Call: SONATA 1 , Panel: ST6
Principal investigator: dr Maria Helena Łuszczkiewicz-Piątek
Uniwersytet Łódzki, Wydział Matematyki i Informatyki
Cucker-Smale's flocking model with a singular communication weight
Call: PRELUDIUM 5 , Panel: ST1
Principal investigator: Jan Paweł Peszek
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
EvoSN: evolution of spiking neural networks for fundamental computational tasks and robot control
Call: HARMONIA 4 , Panel: ST6
Principal investigator: prof. Borys Jakub Wróbel
Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Biologii
Energy-efficient Models and Algorithms for Future Generation Computing and Networking Systems
Call: MAESTRO 4 , Panel: ST6
Principal investigator: prof. Jan Węglarz
Politechnika Poznańska, Wydział Informatyki
Algorithm for identification of probabilistic graphical model for multisensor input data
Call: PRELUDIUM 4 , Panel: ST6
Principal investigator: dr Michał Piotr Cholewa
Instytut Informatyki Teoretycznej i Stosowanej Polskiej Akademii Nauk
New methods in parametric model checking
Call: PRELUDIUM 4 , Panel: ST6
Principal investigator: Michał Józef Knapik
Instytut Podstaw Informatyki Polskiej Akademii Nauk