633 projects found matching your search criteria :
Polynomial finite state computation
Call: MAESTRO 14 , Panel: ST6
Principal investigator: prof. Mikołaj Bojańczyk
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
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
Real-world super-resolution reconstruction of digital images based on self-supervised learning
Call: OPUS 24 , Panel: ST6
Principal investigator: dr hab. Michał Kawulok
Politechnika Śląska, Wydział Automatyki, Elektroniki i Informatyki
Dimension and Boolean dimension of partial orders
Call: OPUS 24 , Panel: ST6
Principal investigator: dr hab. Piotr Micek
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Interpretable and sustainable artificial intelligence with intuitive explanations
Call: OPUS 24 , Panel: ST6
Principal investigator: dr hab. Bartosz Zieliński
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Automation of the Problem of Unification in Description Logics
Call: POLONEZ BIS 3 , Panel: ST6
Principal investigator: dr hab. Barbara Morawska
Uniwersytet Opolski, Wydział Matematyki, Fizyki i Informatyki
The power of branching and learning for online scheduling and bin packingproblems
Call: SONATA 18 , Panel: ST6
Principal investigator: dr Martin Böhm
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Modern tools for complex network analysis
Call: OPUS 25 , Panel: ST6
Principal investigator: dr Małgorzata Sulkowska
Politechnika Wrocławska
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
Augmented orientations and effective constructions for Alon-Tarsi method
Call: OPUS 25 , Panel: ST6
Principal investigator: dr hab. Jakub Kozik
Uniwersytet Jagielloński, 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
Computationally efficient dynamic neural networks
Call: PRELUDIUM 22 , Panel: ST6
Principal investigator: Bartosz Wójcik
IDEAS NCBR sp. z o.o.
XAICancer: Explainable Artificial Intelligence for Cancer Imaging
Call: SONATA BIS 13 , Panel: ST6
Principal investigator: dr Neo Christopher Chung
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
DeMeTeR: Interpreting Diffusion Models Through Representations
Call: PRELUDIUM BIS 5 , Panel: ST6
Principal investigator: prof. Przemysław Biecek
Uniwersytet Warszawski
High-Dimensional Data Processing using Sample Compression and Dimensionality Reduction
Call: OPUS 26 , Panel: ST6
Principal investigator: dr Kunal Dutta
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Algebraic techniques for parallelising algorithms
Call: OPUS 17 , Panel: ST6
Principal investigator: dr Przemysław Uznański
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Call: OPUS 17 , Panel: ST6
Principal investigator: dr hab. Jarosław Miszczak
Instytut Informatyki Teoretycznej i Stosowanej Polskiej Akademii Nauk
Spatial network model of sequence and structure diversity of Human genome at a population scale
Call: PRELUDIUM BIS 1 , Panel: ST6
Principal investigator: dr hab. Dariusz Plewczyński
Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych
Call: SONATA 15 , Panel: ST6
Principal investigator: dr Kunal Dutta
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Transformer-based methods for novel active chemical compounds
Call: PRELUDIUM 18 , Panel: ST6
Principal investigator: Łukasz Maziarka
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Computational aspects of non-Euclidean geometries
Call: OPUS 18 , Panel: ST6
Principal investigator: dr Eryk Kopczyński
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Alignment Of Large Language Models Via Debate And Reinforcement Learning
Call: OPUS 26 , Panel: ST6
Principal investigator: dr Łukasz Kuciński
IDEAS NCBR sp. z o.o.
MLAdapt - Self-Adapting Machine Learning
Call: SONATA 19 , Panel: ST6
Principal investigator: dr Bartłomiej Twardowski
IDEAS NCBR sp. z o.o.
Metody geometryczne w informatyce kwantowej
Call: FUGA 1 , Panel: ST6
Principal investigator: dr Zbigniew Puchała
Uniwersytet Jagielloński, Wydział Fizyki, Astronomii i Informatyki Stosowanej
Nonlinear methods of noise reduction in color images and video sequences
Call: OPUS 3 , Panel: ST6
Principal investigator: dr hab. Bogdan Smołka
Politechnika Śląska, Wydział Automatyki, Elektroniki i Informatyki
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
Granularity and bipolarity in fuzzy modeling of decision making and reasoning processes
Call: OPUS 3 , Panel: ST6
Principal investigator: prof. Janusz Kacprzyk
Instytut Badań Systemowych PAN
Call: OPUS 3 , Panel: ST6
Principal investigator: dr hab. Ryszard Buczkowski
Akademia Morska w Szczecinie, Wydział Inżynieryjno-Ekonomiczny Transportu
Evolutionary shaping algorithms for reinforcement learning.
Call: PRELUDIUM 3 , Panel: ST6
Principal investigator: dr Marcin Szubert
Politechnika Poznańska, Wydział Informatyki
Virtual views synthesis: preparation of input data and synthesis algorithms.
Call: PRELUDIUM 3 , Panel: ST6
Principal investigator: Krzysztof Wegner
Politechnika Poznańska, Wydział Elektroniki i Telekomunikacji
Identification of post-transcriptional modifications in RNA sequences through mass spectrometry
Call: SONATA 3 , Panel: ST6
Principal investigator: dr Bogusław Kluge
Międzynarodowy Instytut Biologii Molekularnej i Komórkowej
Call: OPUS 3 , Panel: ST6
Principal investigator: dr hab. Krzysztof Fujarewicz
Politechnika Śląska, Wydział Automatyki, Elektroniki i Informatyki
The rough set theory in a hybrid decision systems for cases of interval and incomplete input data
Call: OPUS 3 , Panel: ST6
Principal investigator: dr hab. Robert Nowicki
Politechnika Częstochowska, Wydział Inżynierii Mechanicznej i Informatyki
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
Automated, high-throughput modeling of RNA three-dimensional structures
Call: MAESTRO 3 , Panel: ST6
Principal investigator: prof. Ryszard Adamiak
Politechnika Poznańska, Wydział Informatyki
Concurrency control and fault tolerance for distributed software transactional memory
Call: HARMONIA 3 , Panel: ST6
Principal investigator: dr hab. Paweł Wojciechowski
Politechnika Poznańska, Wydział Informatyki
Distributed Computing in Dynamic Networks
Call: HARMONIA 3 , Panel: ST6
Principal investigator: dr hab. Tomasz Jurdziński
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Application of backward stochastic differential equations to reconstruction of digital images
Call: SONATA 4 , Panel: ST6
Principal investigator: dr Dariusz Borkowski
Uniwersytet Mikołaja Kopernika, Wydział Matematyki i Informatyki
Knowledge retrieval from very large geospatial databases
Call: OPUS 4 , Panel: ST6
Principal investigator: dr Jarosław Jasiewicz
Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Nauk Geograficznych i Geologicznych
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
Estimation of temporally consistent dtereoscopic depth maps
Call: PRELUDIUM 4 , Panel: ST6
Principal investigator: dr Olgierd Stankiewicz
Politechnika Poznańska, Wydział Elektroniki i Telekomunikacji
Stochastic characteristics of single-server queues with limited access to the server
Call: OPUS 4 , Panel: ST6
Principal investigator: dr hab. Wojciech Kempa
Politechnika Śląska, Wydział Matematyki Stosowanej
New methods in parametric model checking
Call: PRELUDIUM 4 , Panel: ST6
Principal investigator: Michał Knapik
Instytut Podstaw Informatyki PAN
Call: SONATA 4 , Panel: ST6
Principal investigator: dr Michał Chlebiej
Uniwersytet Mikołaja Kopernika, Wydział Matematyki i Informatyki
Algorithm for identification of probabilistic graphical model for multisensor input data
Call: PRELUDIUM 4 , Panel: ST6
Principal investigator: dr Michał Cholewa
Instytut Informatyki Teoretycznej i Stosowanej PAN
Study of interaction and signal passing in complexes of GPCRs with arrestin
Call: HARMONIA 4 , Panel: ST6
Principal investigator: prof. Sławomir Filipek
Uniwersytet Warszawski, Wydział Chemii
EvoSN: evolution of spiking neural networks for fundamental computational tasks and robot control
Call: HARMONIA 4 , Panel: ST6
Principal investigator: prof. Borys Wróbel
Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Biologii
Adversary immune data processing algorithms for ad hoc systems
Call: HARMONIA 4 , Panel: ST6
Principal investigator: prof. Mirosław Kutyłowski
Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki
Call: PRELUDIUM 5 , Panel: ST6
Principal investigator: dr Przemysław Spurek
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki