253 projects found matching your search criteria :
Call: OPUS 2 , Panel: ST7
Principal investigator: dr hab. Maciej Tomasz Trojnacki
Przemysłowy Instytut Automatyki i Pomiarów PIAP
Call: OPUS 1 , Panel: ST1
Principal investigator: prof. Wojciech Janusz Kucharz
Uniwersytet Jagielloński
Protecting Creativity: Towards Safe Generative Models
Call: OPUS 26 (LAP) , Panel: ST6
Principal investigator: dr hab. Tomasz Trzciński
Politechnika Warszawska
Modeling and simulation of thermal behaviour of many-core processors using FPGA
Call: OPUS 2 , Panel: ST6
Principal investigator: dr Krzysztof Sebastian 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 Antoni 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 Paweł 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 Stanisław Pokora
Uniwersytet Pedagogiczny im. Komisji Edukacji Narodowej w Krakowie
Call: ForestValue2 Call 2023 , Panel: ST8
Principal investigator: dr Jan Maria Pełczyński
Politechnika Warszawska, Wydział Inżynierii Lądowej
Free and iterative operators on fields
Call: PRELUDIUM 22 , Panel: ST1
Principal investigator: dr 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
Behavior of properties of rings and modules under specified constructions
Call: OPUS 2 , Panel: ST1
Principal investigator: dr hab. Jerzy Stanisław Matczuk
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Uncovering structure in neural network representations
Call: OPUS 25 , Panel: ST6
Principal investigator: dr hab. Marcin Michał Kurdziel
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki
Improving the transferability of self-supervised learning models
Call: PRELUDIUM 22 , Panel: ST6
Principal investigator: Marcin Paweł 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 PAN
Where to look next - guiding active visual exploration with internal model uncertainty
Call: PRELUDIUM 22 , Panel: ST6
Principal investigator: Adam Jacek 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 Aleksander Kołodziejczyk
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
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ł Kacper Morawiecki
Instytut Podstaw Informatyki PAN
Establishing a universal pangenome model
Call: OPUS 24 , Panel: ST6
Principal investigator: dr hab. Norbert Artemi Dojer
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
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 Aleksander 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ł Witold Przewoźniczek
Politechnika Wrocławska
Large Deviations and RuinProbabilities for Multivariate Random Iterative Mappings
Call: HARMONIA 1 , Panel: ST1
Principal investigator: prof. Ewa Maria Damek
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Call: OPUS 23 , Panel: ST1
Principal investigator: prof. Piotr Bogusław 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
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 Wojciech 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 2020 , 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 Stanisław Zwara
Uniwersytet Mikołaja Kopernika, Wydział Matematyki i Informatyki
Video generation using deep learning
Call: SONATA 17 , Panel: ST6
Principal investigator: dr Piotr Tadeusz Biliński
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Continuous logic and its algebraic applications
Call: OPUS 1 , Panel: ST1
Principal investigator: prof. Aleksander Iwanow
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Singularities in calculus of variations and partial differential equations
Call: POLONEZ BIS 1 , Panel: ST1
Principal investigator: dr Rémy Rodiac
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Generative flow-based models in application to uncertainty modeling for machine learning tasks
Call: OPUS 22 , Panel: ST6
Principal investigator: dr hab. Maciej Mateusz Zięba
Politechnika Wrocławska
ARES: Attack-Resistant Explanations toward Secure and trustworthy AI
Call: PRELUDIUM BIS 3 , Panel: ST6
Principal investigator: dr hab. Przemysław Biecek
Uniwersytet Warszawski
Efficient unsupervised synthesis and prototype-augmented modeling of microwave structures
Call: OPUS 22 , Panel: ST7
Principal investigator: dr hab. Adrian Kajetan Bekasiewicz
Politechnika Gdańska, Wydział Elektroniki, Telekomunikacji 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
Products of experts for robotic manipulation.
Call: POLONEZ BIS 1 , Panel: ST6
Principal investigator: dr Marek Kopicki
Politechnika Poznańska
Deep neural architectures for unsupervised graph representation learning
Call: PRELUDIUM 20 , Panel: ST6
Principal investigator: Piotr Bielak
Politechnika Wrocławska
A Lie system approach to resolve compartmental epidemic systems
Call: PRELUDIUM 20 , Panel: ST1
Principal investigator: dr Marcin Zając
Uniwersytet Warszawski, Wydział Fizyki