620 projects found matching your search criteria :
Synchronization of automata and the Cerny conjecture
Call: PRELUDIUM 5 , Panel: ST6
Principal investigator: dr Marek Szykuła
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Frontiers of automatic verification: new methods of analysis of infinite-state systems
Call: OPUS 5 , Panel: ST6
Principal investigator: dr hab. Sławomir Lasota
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Novel active learning querying strategy for the machine learning models
Call: PRELUDIUM 5 , Panel: ST6
Principal investigator: dr Wojciech Czarnecki
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Tractable Game-Theoretic Network Centrality Measures
Call: SONATA 5 , Panel: ST6
Principal investigator: dr Tomasz Michalak
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Theoretical aspects of voting protocols
Call: SONATA 5 , Panel: ST6
Principal investigator: dr Filip Zagórski
Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki
Consistent and scalable learning algorithms for structured output prediction
Call: SONATA 5 , Panel: ST6
Principal investigator: dr Krzysztof Dembczyński
Politechnika Poznańska, Wydział Informatyki
A parallel memetic algorithm for solving complex transportation problems.
Call: PRELUDIUM 5 , Panel: ST6
Principal investigator: Jakub Nalepa
Politechnika Śląska, Wydział Automatyki, Elektroniki i Informatyki
Combinatorial and information theory aspects of communication in distributed systems.
Call: PRELUDIUM 5 , Panel: ST6
Principal investigator: dr Marcin Kardas
Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki
Methods for combining one-class classifiers
Call: PRELUDIUM 5 , Panel: ST6
Principal investigator: Bartosz Krawczyk
Politechnika Wrocławska, Wydział Elektroniki
Graphs within graphs: from well-quasi-orders to algorithms
Call: PRELUDIUM 6 , Panel: ST6
Principal investigator: dr Jean-Florent Raymond
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: SONATA 6 , Panel: ST6
Principal investigator: dr Wojciech Kotłowski
Politechnika Poznańska, Wydział Informatyki
Application of ensemble algorithms for data stream mining
Call: PRELUDIUM 6 , Panel: ST6
Principal investigator: dr Lena Pietruczuk
Politechnika Częstochowska, Wydział Inżynierii Mechanicznej i Informatyki
Intelligent nonlinear systems with shallow and deep architectures
Call: OPUS 6 , Panel: ST6
Principal investigator: prof. Bogdan Wilamowski
Wyższa Szkoła Informatyki i Zarządzania w Rzeszowie
Minimization of disturbance in quantum walk based algorithms and protocols.
Call: PRELUDIUM 6 , Panel: ST6
Principal investigator: Przemysław Sadowski
Instytut Informatyki Teoretycznej i Stosowanej PAN
Metody wyboru klasyfikatorów jednoklasowych na potrzeby klasyfikacji kombinowanej
Call: ETIUDA 2 , Panel: ST6
Principal investigator: Bartosz Krawczyk
Politechnika Wrocławska, Wydział Elektroniki
Decidability issues for automata on infinite structures
Call: OPUS 7 , Panel: ST6
Principal investigator: prof. Damian Niwiński
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
ARISTOTELES: Methodology and algorithms for Automatic RevISion of onTOlogies in TAsk basEd scEnarioS
Call: SONATA 7 , Panel: ST6
Principal investigator: dr Agnieszka Ławrynowicz
Politechnika Poznańska, Wydział Informatyki
Call: PRELUDIUM 8 , Panel: ST6
Principal investigator: Agnieszka Stankiewicz
Politechnika Poznańska, Wydział Informatyki
Heuristic Discovery of Underlying Objectives for Test-based Problems.
Call: PRELUDIUM 8 , Panel: ST6
Principal investigator: Paweł Liskowski
Politechnika Poznańska, Wydział Informatyki
Call: OPUS 8 , Panel: ST6
Principal investigator: dr hab. Bogdan Kwolek
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji
Secure domain signature and anonymous credential schemes for smart cards
Call: OPUS 8 , Panel: ST6
Principal investigator: prof. Mirosław Kutyłowski
Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki
ALOFON - Methodology and technology for the polymodal allophonic speech transcription
Call: OPUS 9 , Panel: ST6
Principal investigator: prof. Andrzej Czyżewski
Politechnika Gdańska, Wydział Elektroniki, Telekomunikacji i Informatyki
Compression and analysis of genomic data
Call: OPUS 9 , Panel: ST6
Principal investigator: dr hab. Sebastian Deorowicz
Politechnika Śląska, Wydział Automatyki, Elektroniki i Informatyki
Formal linguistics for proteomics - modeling, analysis and hypotheses testing
Call: SONATA 9 , Panel: ST6
Principal investigator: dr Witold Dyrka
Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki
Call: SONATA BIS 5 , Panel: ST6
Principal investigator: dr Piotr Micek
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Reverse engineering of interacting signals in complex networks
Call: OPUS 10 , Panel: ST6
Principal investigator: prof. Janusz Hołyst
Politechnika Warszawska, Wydział Fizyki
Algorithmic Structure Theory for Sparse Graphs
Call: POLONEZ 1 , Panel: ST6
Principal investigator: Dipl. Inform. Sebastian Siebertz
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Fuzzy Implications and Their Impact on Various Methods Used in Intelligent Systems.
Call: OPUS 10 , Panel: ST6
Principal investigator: dr hab. Michał Baczyński
Uniwersytet Śląski w Katowicach, Wydział Nauk Ścisłych i Technicznych
Isabelle Emulator for Mizar: Environment for Mizar Mathematical Library Reverificationa
Call: SONATA 10 , Panel: ST6
Principal investigator: dr Karol Pąk
Uniwersytet w Białymstoku, Instytut Informatyki
Call: SONATA 10 , Panel: ST6
Principal investigator: dr Michał Przewoźniczek
Politechnika Wrocławska
Algebraic invariants of Data Petri Nets.
Call: SONATA 11 , Panel: ST6
Principal investigator: dr Piotr Hofman
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Data-driven label space division methods for multi-label classification
Call: PRELUDIUM 11 , Panel: ST6
Principal investigator: Piotr Szymański
Politechnika Wrocławska, Wydział Informatyki i Zarządzania
Call: OPUS 11 , Panel: ST6
Principal investigator: prof. Andrzej Polański
Politechnika Śląska, Wydział Automatyki, Elektroniki i Informatyki
Call: OPUS 11 , Panel: ST6
Principal investigator: dr hab. Przemysław Klęsk
Zachodniopomorski Uniwersytet Technologiczny w Szczecinie, Wydział Informatyki
Bayesian analysis of bladder cancer subtypes based on high-throughput data
Call: PRELUDIUM 11 , Panel: ST6
Principal investigator: Krzysztof Gogolewski
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: SONATA 11 , Panel: ST6
Principal investigator: dr Szymon Toruńczyk
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
Call: SONATA BIS 10 , Panel: ST6
Principal investigator: dr Michał Przewoźniczek
Politechnika Wrocławska
Phylogenetic models to infer cancer evolution
Call: SONATA 16 , Panel: ST6
Principal investigator: dr Jarosław Paszek
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Leveraging Randomization: From Scheduling to AdWords
Call: OPUS 20 , Panel: ST6
Principal investigator: dr Łukasz Jeż
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Deep Self-Organizing Neural Graphs
Call: OPUS 21 , Panel: ST6
Principal investigator: prof. Jacek Tabor
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Call: PRELUDIUM 20 , Panel: ST6
Principal investigator: Marcin Kowalczyk
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej
REIWork: Reconfigurable Environments for Interactive Workspaces
Call: PRELUDIUM 20 , Panel: ST6
Principal investigator: Julia Dominiak
Politechnika Łódzka
Generative flow-based models in application to uncertainty modeling for machine learning tasks
Call: OPUS 22 , Panel: ST6
Principal investigator: dr hab. Maciej Zięba
Politechnika Wrocławska
Proportional Participatory Budgeting
Call: PRELUDIUM 21 , Panel: ST6
Principal investigator: Grzegorz Pierczyński
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
How to learn faster: towards better adaptation in Meta-Learning.
Call: PRELUDIUM 21 , Panel: ST6
Principal investigator: Marcin Sendera
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
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