687 projects found matching your search criteria :
Automatic reasoning about specifications in simple logics - decidability and complexity issues
Call: OPUS 5 , Panel: ST6
Principal investigator: dr hab. Lidia Zofia Tendera
Uniwersytet Opolski
Gaze-dependent image synthesis
Call: OPUS 5 , Panel: ST6
Principal investigator: dr hab. Radosław Mantiuk
Zachodniopomorski Uniwersytet Technologiczny w Szczecinie, Wydział Informatyki
Frontiers of automatic verification: new methods of analysis of infinite-state systems
Call: OPUS 5 , Panel: ST6
Principal investigator: dr hab. Sławomir Grzegorz Lasota
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Multi-criteria methods for designing algorithms that learn combinatorial games strategies
Call: SONATA 5 , Panel: ST6
Principal investigator: dr Wojciech Maria Jaśkowski
Politechnika Poznańska, Wydział Informatyki
Tractable Game-Theoretic Network Centrality Measures
Call: SONATA 5 , Panel: ST6
Principal investigator: dr Tomasz Paweł Michalak
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Formal approach to practical problems of information hiding
Call: OPUS 5 , Panel: ST6
Principal investigator: dr hab. Marek Dariusz Klonowski
Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki
Cryptanalysis of a family of Keccak hash functions
Call: SONATA 5 , Panel: ST6
Principal investigator: dr Paweł Kacper Morawiecki
Instytut Podstaw Informatyki Polskiej Akademii Nauk
Theoretical aspects of voting protocols
Call: SONATA 5 , Panel: ST6
Principal investigator: dr Filip Tomasz Zagórski
Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki
Call: PRELUDIUM 5 , Panel: ST6
Principal investigator: Łukasz Faber
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji
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
Call: OPUS 6 , Panel: ST6
Principal investigator: prof. Pavel Sevastsyanau
Politechnika Częstochowska, Wydział Inżynierii Mechanicznej i Informatyki
Application of ensemble algorithms for data stream mining
Call: PRELUDIUM 6 , Panel: ST6
Principal investigator: dr Lena Anna Pietruczuk
Politechnika Częstochowska, Wydział Inżynierii Mechanicznej i Informatyki
Call: PRELUDIUM 7 , Panel: ST6
Principal investigator: Marek Stanisław Wiewiórka
Politechnika Warszawska, Wydział Elektroniki i Technik Informacyjnych
Minimal Memory Clustering Paradigm
Call: OPUS 7 , Panel: ST6
Principal investigator: dr hab. Jacek Tabor
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
New and efficient methods for the flexible molecular docking of proteins.
Call: MAESTRO 6 , Panel: ST6
Principal investigator: prof. Andrzej Koliński
Uniwersytet Warszawski, Wydział Chemii
Modeling cellular metabolism using telecommunication approach
Call: OPUS 17 , Panel: ST6
Principal investigator: prof. Tadeusz Antoni Wysocki
Uniwersytet Technologiczno-Przyrodniczy im. Jana i Jędrzeja Śniadeckich w Bydgoszczy, Wydział Telekomunikacji, Informatyki i Elektrotechniki
Call: PRELUDIUM 18 , Panel: ST6
Principal investigator: Sylwia Monika Ciesielska
Politechnika Śląska, Wydział Automatyki, Elektroniki i Informatyki
Multiobjective Classifier Learning for Chosen Decision Tasks
Call: OPUS 18 , Panel: ST6
Principal investigator: prof. Michał Wojciech Woźniak
Politechnika Wrocławska
Development of CNV detection methods based on depth of coverage
Call: PRELUDIUM 18 , Panel: ST6
Principal investigator: dr Wiktor Tomasz Kuśmirek
Politechnika Warszawska
Spatial network model of sequence and structure diversity of Human genome at a population scale
Call: PRELUDIUM BIS 1 , Panel: ST6
Principal investigator: prof. Dariusz Michał Plewczyński
Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych
Detecting and overcoming bias in data with explainable artificial intelligence
Call: PRELUDIUM 18 , Panel: ST6
Principal investigator: dr Agnieszka Mikołajczyk-Bareła
Politechnika Gdańska
Parallelization of metaheuristics with desynchronization
Call: PRELUDIUM BIS 1 , Panel: ST6
Principal investigator: prof. Aleksander Byrski
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki
Learning Latent Data Structure from Observations
Call: OPUS 18 , Panel: ST6
Principal investigator: dr hab. Piotr Wnuk-Lipiński
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Constraint Satisfaction Problems for infinite homogeneous structures: towards algorithms
Call: OPUS 19 , Panel: ST6
Principal investigator: dr hab. Michał Maria Wrona
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Deep generative models for 3D representations
Call: OPUS 19 , Panel: ST6
Principal investigator: dr Maciej Mateusz Zięba
Politechnika Wrocławska
Deep Generative View on Continual Learning
Call: OPUS 20 , Panel: ST6
Principal investigator: dr hab. Tomasz Trzciński
Politechnika Warszawska, Wydział Elektroniki i Technik Informacyjnych
Robust Formalisms for Quantitative Reasoning
Call: OPUS 20 , Panel: ST6
Principal investigator: dr Jakub Dawid Michaliszyn
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Analysis and reduction of group packet losses in the Internet
Call: OPUS 20 , Panel: ST6
Principal investigator: prof. Andrzej Marek Chydziński
Politechnika Śląska, Wydział Automatyki, Elektroniki i Informatyki
Brain Integrated Tagging for Socially Curated Online Personalised Experiences
Call: CHIST-ERA2020 , Panel: ST6
Principal investigator: dr hab. Veslava Osińska
Uniwersytet Mikołaja Kopernika w Toruniu
Modular circuits - algorithms and lower bounds
Call: PRELUDIUM 20 , Panel: ST6
Principal investigator: Piotr Kawałek
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Call: PRELUDIUM 20 , Panel: ST6
Principal investigator: Marcin Paweł Kowalczyk
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej
Deep neural architectures for unsupervised graph representation learning
Call: PRELUDIUM 20 , Panel: ST6
Principal investigator: Piotr Bielak
Politechnika Wrocławska
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
The graph homomorphism problem in structurally restricted classes
Call: PRELUDIUM 21 , Panel: ST6
Principal investigator: Marta Piecyk
Politechnika Warszawska
Improving interpretability properties of prototypical parts-based deep neural networks.
Call: PRELUDIUM 21 , Panel: ST6
Principal investigator: Dawid Damian Rymarczyk
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Conditional computation in deep neural networks
Call: PRELUDIUM 21 , Panel: ST6
Principal investigator: Sebastian Dariusz Jaszczur
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Linear algebra in orbit-finite dimension
Call: PRELUDIUM 21 , Panel: ST6
Principal investigator: Arka Ghosh
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Control and spreading processes in multilayer networks
Call: OPUS 23 , Panel: ST6
Principal investigator: dr hab. Piotr Bródka
Politechnika Wrocławska
Structural and algorithmic properties of hereditary graph classes
Call: SONATA BIS 12 , Panel: ST6
Principal investigator: dr hab. Marcin Łukasz Pilipczuk
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
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
EAGER IMPRESS-U: Exploratory Research on Generative Compression for Compressive Lidar
Call: WEAVE-UNISONO , Panel: ST6
Principal investigator: dr hab. Krzysztof Okarma
Zachodniopomorski Uniwersytet Technologiczny w Szczecinie
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
Call: WEAVE-UNISONO , Panel: ST6
Principal investigator: dr hab. doc. Sergiy Yakovlev
Politechnika Łódzka
EdgeCR: Efficient and Efficacious Cellular Reprogramming with Edgetic Perturbations
Call: OPUS 26 (LAP) , Panel: ST6
Principal investigator: dr Andrzej Marek Mizera
IDEAS NCBR Sp. z o.o.
Processing massive string data and beyond: algorithms and conditional lower bounds
Call: OPUS 26 , Panel: ST6
Principal investigator: dr Paweł Maciej Gawrychowski
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Synthesis via active learning: theory and applications
Call: OPUS 27 , Panel: ST6
Principal investigator: dr hab. Jan Otop
Uniwersytet Wrocławski
Call: OPUS 27 , Panel: ST6
Principal investigator: dr hab. Agnieszka Jastrzębska
Politechnika Warszawska
Addressing Data-Centric AI Challenges in Machine Learning with Advanced Sample-Selection Techniques
Call: PRELUDIUM 23 , Panel: ST6
Principal investigator: Mateusz Wojtulewicz
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie
Overcoming forgetting in continual learning with an ensemble of experts
Call: PRELUDIUM 23 , Panel: ST6
Principal investigator: Grzegorz Rypeść
IDEAS NCBR Sp. z o.o.
Geospatially-oriented language models
Call: PRELUDIUM 23 , Panel: ST6
Principal investigator: Piotr Łukasz Gramacki
Politechnika Wrocławska