308 projects found matching your search criteria :
Neural Environment Model and Motion Constraints in Robot Motion Planning
Call: OPUS 26 , Panel: ST6
Principal investigator: dr hab. Dominik Belter
Politechnika Poznańska, Wydział Automatyki, Robotyki i Elektrotechniki
Unifying Macro-Evolutionary Models and Phylogenetic Networks
Call: OPUS 26 , Panel: ST6
Principal investigator: dr hab. Paweł Górecki
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: OPUS 2 , Panel: ST7
Principal investigator: dr hab. Maciej Trojnacki
Przemysłowy Instytut Automatyki i Pomiarów "PIAP"
ASEP and other models of integrable probability
Call: OPUS 26 , Panel: ST1
Principal investigator: prof. Jacek Wesołowski
Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych
Call: OPUS 1 , Panel: ST1
Principal investigator: prof. Wojciech Kucharz
Uniwersytet Jagielloński
Modeling and simulation of thermal behaviour of many-core processors using FPGA
Call: OPUS 2 , Panel: ST6
Principal investigator: dr Krzysztof Berezowski
Politechnika Wrocławska, Wydział Elektroniki
Complex models in scheduling problems and methods of their solution
Call: OPUS 2 , Panel: ST6
Principal investigator: prof. Adam Janiak
Instytut Badań Systemowych PAN
New problems and algorithms for Mathematical Programming model Mining (MathProM)
Call: SONATA BIS 13 , Panel: ST6
Principal investigator: dr hab. Tomasz Pawlak
Politechnika Poznańska, Wydział Informatyki i Telekomunikacji
Forcing axioms, inner models and determinacy
Call: MAESTRO 15 , Panel: ST1
Principal investigator: dr Grigor Sargsyan
Instytut Matematyczny Polskiej Akademii Nauk
DeMeTeR: Interpreting Diffusion Models Through Representations
Call: PRELUDIUM BIS 5 , Panel: ST6
Principal investigator: prof. Przemysław Biecek
Uniwersytet Warszawski
Geometric structures behind tensors
Call: SONATA BIS 13 , Panel: ST1
Principal investigator: dr hab. Joachim Jelisiejew
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
3D generative models based on NeRF representation
Call: SONATA BIS 13 , Panel: ST6
Principal investigator: dr hab. Przemysław Spurek
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Call: SONATA BIS 13 , Panel: ST1
Principal investigator: dr hab. Piotr Pokora
Uniwersytet Pedagogiczny im. Komisji Edukacji Narodowej w Krakowie
Call: ForestValue2 Call 2023 , Panel: ST8
Principal investigator: dr Jan Pełczyński
Politechnika Warszawska
Free and iterative operators on fields
Call: PRELUDIUM 22 , Panel: ST1
Principal investigator: Jakub Gogolok
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Acceleration and compression of deep neural networks using low-rank approximation methods
Call: PRELUDIUM 22 , Panel: ST6
Principal investigator: Mateusz Gabor
Politechnika Wrocławska
Uncovering structure in neural network representations
Call: OPUS 25 , Panel: ST6
Principal investigator: dr hab. Marcin Kurdziel
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji
Behavior of properties of rings and modules under specified constructions
Call: OPUS 2 , Panel: ST1
Principal investigator: dr hab. Jerzy Matczuk
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Improving the transferability of self-supervised learning models
Call: PRELUDIUM 22 , Panel: ST6
Principal investigator: Marcin Przewięźlikowski
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Computable structure theory, and philosophy of mathematical structuralism
Call: OPUS 25 , Panel: HS1
Principal investigator: dr Dariusz Kalociński
Instytut Podstaw Informatyki Polskiej Akademii Nauk
Where to look next - guiding active visual exploration with internal model uncertainty
Call: PRELUDIUM 22 , Panel: ST6
Principal investigator: Adam Pardyl
IDEAS NCBR sp. z o.o.
Between proof theory, reverse mathematics, and the model theory of arithmetic
Call: OPUS 25 , Panel: ST1
Principal investigator: dr hab. Leszek Kołodziejczyk
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: PRELUDIUM 22 , Panel: ST8
Principal investigator: Yang Zhang
Instytut Maszyn Przepływowych im. Roberta Szewalskiego Polskiej Akademii Nauk
Precise and reusable models of flow and flowlet properties in the Internet
Call: PRELUDIUM 22 , Panel: ST7
Principal investigator: Piotr Jurkiewicz
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji
Data ownership and privacy meet generative neural networks
Call: OPUS 25 , Panel: ST6
Principal investigator: dr hab. Paweł Morawiecki
Instytut Podstaw Informatyki Polskiej Akademii Nauk
Establishing a universal pangenome model
Call: OPUS 24 , Panel: ST6
Principal investigator: dr hab. Norbert Dojer
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: SONATA 18 , Panel: ST8
Principal investigator: dr Hossein Darban
Instytut Podstawowych Problemów Techniki Polskiej Akademii Nauk
Call: SONATA 18 , Panel: ST8
Principal investigator: dr Anna Al Sabouni-Zawadzka
Politechnika Warszawska
Call: OPUS 24 (LAP) , Panel: ST8
Principal investigator: dr hab. Joanna Ferdyn-Grygierek
Politechnika Śląska, Wydział Inżynierii Środowiska i Energetyki
Call: PRELUDIUM BIS 4 , Panel: ST8
Principal investigator: prof. Anna Trusek
Politechnika Wrocławska
Side Conditions and the Saturation of the Non-stationary Ideal
Call: POLONEZ BIS 3 , Panel: ST1
Principal investigator: dr Rahman Mohammadpour
Instytut Matematyczny Polskiej Akademii Nauk
Structure and algorithms for graph classes defined by transduction-closed properties
Call: SONATA 18 , Panel: ST6
Principal investigator: dr Jakub Gajarský
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
Polynomial finite state computation
Call: MAESTRO 14 , Panel: ST6
Principal investigator: prof. Mikołaj Bojańczyk
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Dark Gray Box Optimization - developing of the new class of highly effective optimizers
Call: OPUS 23 , Panel: ST6
Principal investigator: dr hab. Michał Przewoźniczek
Politechnika Wrocławska
Large Deviations and RuinProbabilities for Multivariate Random Iterative Mappings
Call: HARMONIA 1 , Panel: ST1
Principal investigator: prof. Ewa Damek
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Call: OPUS 23 , Panel: ST1
Principal investigator: prof. Piotr Mucha
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Yang-Baxter maps and their role in discrete nonlinear integrable systems theory.
Call: POLONEZ BIS 2 , Panel: ST1
Principal investigator: dr Pavlos Kassotakis
Uniwersytet Warszawski, Wydział Fizyki
Call: PRELUDIUM 21 , Panel: ST8
Principal investigator: Paulina Stempin
Politechnika Poznańska, Wydział Inżynierii Lądowej i Transportu
Representation of dynamic 3D scenes using the Atomic Shapes Network model
Call: SONATA 2 , Panel: ST6
Principal investigator: dr Przemysław Głomb
INSTYTUT INFORMATYKI TEORETYCZNEJ I STOSOWANEJ PAN
First Order Logic and Beyond. Some Puzzles in Database Theory.
Call: OPUS 23 , Panel: ST6
Principal investigator: prof. Jerzy Marcinkowski
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Model selection in colored graphical Gaussian models - Bayesian and frequentist perspectives
Call: OPUS 23 , Panel: ST1
Principal investigator: dr hab. Bartosz Kołodziejek
Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych
Deep conditional generative models
Call: OPUS 23 , Panel: ST6
Principal investigator: dr Marek Śmieja
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Generalized Markov decision models and games
Call: OPUS 2 , Panel: ST1
Principal investigator: dr hab. Anna Jaśkiewicz
Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki
A methodology for designing hierarchical Business Processes integrated with Business Rules
Call: PRELUDIUM 2 , Panel: ST6
Principal investigator: Krzysztof Kluza
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej
Regularity and existence problems for topological solitons
Call: Polskie Powroty NAWA 2021 , Panel: ST1
Principal investigator: dr Katarzyna Ewa Mazowiecka
Uniwersytet Warszawski
Classifying Derived Models of the Axiom of Determinacy
Call: WEAVE-UNISONO , Panel: ST1
Principal investigator: dr Grigor Sargsyan
Instytut Matematyczny Polskiej Akademii Nauk
Geometry of finite dimensional modules
Call: OPUS 2 , Panel: ST1
Principal investigator: prof. Grzegorz Zwara
Uniwersytet Mikołaja Kopernika, Wydział Matematyki i Informatyki
Video generation using deep learning
Call: SONATA 17 , Panel: ST6
Principal investigator: dr Piotr Biliński
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: OPUS 22 , Panel: ST8
Principal investigator: dr hab. Piotr Łapka
Politechnika Warszawska, Wydział Mechaniczny Energetyki i Lotnictwa