633 projects found matching your search criteria :
Detecting and overcoming bias in data with explainable artificial intelligence
Call: PRELUDIUM 18 , Panel: ST6
Principal investigator: Agnieszka Mikołajczyk
Politechnika Gdańska
Decision support with use of interactive granular computing
Call: OPUS 3 , Panel: ST6
Principal investigator: dr Marcin Szczuka
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Hierarchy-type Problems for Automata on Infinite Words and Trees
Call: PRELUDIUM 3 , Panel: ST6
Principal investigator: dr Michał Skrzypczak
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Modelling stress-induced transposon activity
Call: HARMONIA 3 , Panel: ST6
Principal investigator: prof. Anna Gambin
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Models and algorithms for managing resources of modern computing systems
Call: SONATA 4 , Panel: ST6
Principal investigator: dr Krzysztof Rządca
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Image and multichannel EEG coding using adaptive prediction of polyphase components
Call: SONATA 4 , Panel: ST6
Principal investigator: dr hab. Marek Parfieniuk
Politechnika Białostocka, Wydział Informatyki
Limits of decidability in automata theory
Call: SONATA 4 , Panel: ST6
Principal investigator: dr Paweł Parys
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Modular operational semantics: a bialgebraic approach
Call: SONATA BIS 2 , Panel: ST6
Principal investigator: dr hab. Bartosz Klin
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Algorithms concerning the legibility of natural deduction proofs
Call: PRELUDIUM 4 , Panel: ST6
Principal investigator: dr Karol Pąk
Uniwersytet w Białymstoku, Wydział Matematyki i Informatyki
Iris recognition in different environmental conditions
Call: PRELUDIUM 4 , Panel: ST6
Principal investigator: dr Krzysztof Misztal
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Fizyki i Informatyki Stosowanej
DISQUSS: Diversified Suggestions for Queries on Semi-structured Data Sets
Call: OPUS 4 , Panel: ST6
Principal investigator: dr Marcin Sydow
Instytut Podstaw Informatyki PAN
Autonomous self-adaptive metaheuristic methods in dynamically changing environments
Call: OPUS 4 , Panel: ST6
Principal investigator: prof. Jacek Mańdziuk
Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych
Game theoretical approach to determining a crucial nodes in the networks.
Call: PRELUDIUM 5 , Panel: ST6
Principal investigator: Piotr Szczepański
Politechnika Warszawska, Wydział Elektroniki i Technik Informacyjnych
Development of algorithms for all relevant feature selevtion using machine learning methods
Call: OPUS 5 , Panel: ST6
Principal investigator: dr hab. Witold Rudnicki
Uniwersytet Warszawski, Interdyscyplinarne Centrum Modelowania Matematycznego i Komputerowego
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