357 projects found matching your search criteria :
Rigorous numerical methods for Functional Differential Equations
Call: OPUS 25 , Panel: ST6
Principal investigator: dr Robert Szczelina
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
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
Modern tools for complex network analysis
Call: OPUS 25 , Panel: ST6
Principal investigator: dr Małgorzata Sulkowska
Politechnika Wrocławska
Call: PRELUDIUM 22 , Panel: ST6
Principal investigator: Michał Grzeszczyk
Sano - Centrum Zindywidualizowanej Medycyny Obliczeniowej - Międzynarodowa Fundacja Badawcza
Optimal and probabilistic learning of quantum devices
Call: OPUS 24 , Panel: ST6
Principal investigator: dr hab. Zbigniew Puchała
Instytut Informatyki Teoretycznej i Stosowanej Polskiej Akademii Nauk
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
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
Call: OPUS 24 (LAP) , Panel: ST8
Principal investigator: dr hab. Joanna Ferdyn-Grygierek
Politechnika Śląska, Wydział Inżynierii Środowiska i Energetyki
Call: SONATA 18 , Panel: ST3
Principal investigator: dr Paweł Żuk
Instytut Chemii Fizycznej Polskiej Akademii Nauk
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
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
Call: OPUS 24 , Panel: ST7
Principal investigator: prof. Sławomir Kozieł
Politechnika Gdańska, Wydział Elektroniki, Telekomunikacji i Informatyki
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
Call: PRELUDIUM 21 , Panel: ST4
Principal investigator: Bartosz Mazur
Politechnika Wrocławska
Linear algebra in orbit-finite dimension
Call: PRELUDIUM 21 , Panel: ST6
Principal investigator: Arka Ghosh
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Development of rule-based query languages applied in intelligent systems
Call: OPUS 1 , Panel: ST6
Principal investigator: prof. Andrzej Szałas
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Satsifiability and equivalence problems for finite algebras
Call: OPUS 23 , Panel: ST6
Principal investigator: dr Jacek Krzaczkowski
Uniwersytet Marii Curie-Skłodowskiej w Lublinie, Wydział Matematyki, Fizyki i Informatyki
Texture analysis and recognition for computer-aided diagnostics of skin lesions digital images
Call: PRELUDIUM 2 , Panel: ST6
Principal investigator: Leszek Nowak
Uniwersytet Jagielloński, Wydział Fizyki, Astronomii i Informatyki Stosowanej
The graph homomorphism problem in structurally restricted classes
Call: PRELUDIUM 21 , Panel: ST6
Principal investigator: Marta Piecyk
Politechnika Warszawska
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
Call: OPUS 23 , Panel: ST8
Principal investigator: dr hab. Marek Wojtyra
Politechnika Warszawska, Wydział Mechaniczny Energetyki i Lotnictwa
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
Fair Problems and Diverse Solutions in Parameterized Complexity
Call: SONATA 17 , Panel: ST6
Principal investigator: dr Tomáš Masařík
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Semantic Method for Unified Rules Interoperability in Knowledge-Based Systems. (SaMURaI)
Call: PRELUDIUM 2 , Panel: ST6
Principal investigator: Krzysztof Kaczor
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej
A framework for de novo modeling of RNA structures using restraints derived from experimental data
Call: SONATA 17 , Panel: NZ1
Principal investigator: dr Sunandan Mukherjee
Międzynarodowy Instytut Biologii Molekularnej i Komórkowej w Warszawie
Hypernetworks methods in Meta-Learning
Call: OPUS 22 , Panel: ST6
Principal investigator: dr Przemysław Spurek
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Call: OPUS 22 , Panel: ST8
Principal investigator: prof. Piotr Jasiński
Politechnika Gdańska
A novel two-component method for augmenting gait cycles in biometric personal identification systems
Call: PRELUDIUM 20 , Panel: ST6
Principal investigator: Aleksander Sawicki
Politechnika Białostocka
Generalizations of the graph coloring problem in graphs with forbidden structures
Call: PRELUDIUM 20 , Panel: ST6
Principal investigator: Karolina Okrasa
Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych
Frontiers of automatic analysis of concurrent systems
Call: OPUS 21 , Panel: ST6
Principal investigator: prof. Sławomir Lasota
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
H-graphs - recognition, isomorphism, and related problems
Call: PRELUDIUM 20 , Panel: ST6
Principal investigator: Jan Derbisz
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Source-code-representations for machine-learning-based identification of defective code fragments
Call: OPUS 21 , Panel: ST6
Principal investigator: dr Mirosław Ochodek
Politechnika Poznańska, Wydział Informatyki i Telekomunikacji
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: NZ9
Principal investigator: Monika Słupska
Uniwersytet Przyrodniczy we Wrocławiu
Call: OPUS 21 , Panel: ST6
Principal investigator: dr hab. Emanuel Kieroński
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Call: PRELUDIUM 2 , Panel: ST6
Principal investigator: Michał Fularz
Politechnika Poznańska, Wydział Elektryczny
Methods for the similarity analysis of low complexity regions in proteins
Call: PRELUDIUM 20 , Panel: ST6
Principal investigator: Patryk Jarnot
Politechnika Śląska, Wydział Automatyki, Elektroniki i Informatyki
Computational aspects of infinite-duration games
Call: OPUS 21 , Panel: ST6
Principal investigator: dr hab. Paweł Parys
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Finite automata: selected problems and applications connecting different areas
Call: OPUS 21 , Panel: ST6
Principal investigator: dr Marek Szykuła
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Call: OPUS 20 , Panel: ST6
Principal investigator: dr hab. Marcin Grynberg
Instytut Biochemii i Biofizyki Polskiej Akademii Nauk
Leveraging Randomization: From Scheduling to AdWords
Call: OPUS 20 , Panel: ST6
Principal investigator: dr Łukasz Jeż
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Modelling isotopic signatures in precipitation using particle-based cloud microphysics
Call: SONATA 16 , Panel: ST10
Principal investigator: dr Sylwester Arabas
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Robust Formalisms for Quantitative Reasoning
Call: OPUS 20 , Panel: ST6
Principal investigator: dr Jakub Michaliszyn
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Towards Estimation of Information Content for Graph Structures
Call: SONATA 16 , Panel: ST6
Principal investigator: dr Krzysztof Turowski
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Call: OPUS 2 , Panel: ST6
Principal investigator: prof. Roman Wyrzykowski
Politechnika Częstochowska, Wydział Inżynierii Mechanicznej i Informatyki
Call: SONATA BIS 10 , Panel: ST6
Principal investigator: dr Michał Przewoźniczek
Politechnika Wrocławska
Space-efficient encodings of combinatorial problems for variational quantum computing
Call: PRELUDIUM 19 , Panel: ST6
Principal investigator: Adam Glos
Instytut Informatyki Teoretycznej i Stosowanej Polskiej Akademii Nauk
Advanced Methods for Modeling Viral Processes
Call: OPUS 19 , Panel: ST6
Principal investigator: dr hab. Piotr Sankowski
MIM Solutions Sp. z o. o.