248 projects found matching your search criteria :
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 Polskiej Akademii Nauk
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: WEAVE-UNISONO , Panel: ST8
Principal investigator: dr Jan Pełczyński
Politechnika Warszawska
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
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
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
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 Polskiej Akademii Nauk
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 Polskiej Akademii Nauk
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 Polskiej Akademii Nauk
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: CHIST-ERA2020 , 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 w Toruniu, 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
Geometry and differential operators on algebraic varieties
Call: OPUS 21 , Panel: ST1
Principal investigator: prof. Adrian Langer
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Effective methods in affine and birational geometry
Call: OPUS 21 , Panel: ST1
Principal investigator: dr hab. Karol Andrzej Palka
Instytut Matematyczny Polskiej Akademii Nauk
Call: PRELUDIUM 20 , Panel: ST6
Principal investigator: Agnieszka Izabela Geras
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki