753 projects found matching your search criteria :
Quantitative properties for higher-order recursion schemes
Call: SONATA BIS 6 , Panel: ST6
Principal investigator: dr hab. Paweł Parys
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Algorithmic online optimization for graph problems
Call: SONATA BIS 6 , Panel: ST6
Principal investigator: dr hab. Marcin Bieńkowski
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Classification based on high-dimensional open-set data - with applications in Text Mining
Call: OPUS 11 , Panel: ST6
Principal investigator: dr hab. Henryk Józef Maciejewski
Politechnika Wrocławska, Wydział Elektroniki
Grammatical inference methods in classification of amyloidogenic proteins
Call: OPUS 11 , Panel: ST6
Principal investigator: dr hab. Olgierd Ryszard Unold
Politechnika Wrocławska
Learning and inference methods for dynamic complex networks
Call: SONATA 11 , Panel: ST6
Principal investigator: dr Tomasz Kajdanowicz
Politechnika Wrocławska
Efficient similarity search in high dimensional spaces
Call: PRELUDIUM 11 , Panel: ST6
Principal investigator: Karol Zbigniew Węgrzycki
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: SONATA 11 , Panel: ST6
Principal investigator: dr Adam Gudyś
Politechnika Śląska, Wydział Automatyki, Elektroniki i Informatyki
Call: OPUS 11 , Panel: ST6
Principal investigator: dr hab. Jerzy Konorski
Politechnika Gdańska, Wydział Elektroniki, Telekomunikacji i Informatyki
Semantic comparison of quantitative datasets
Call: PRELUDIUM 11 , Panel: ST6
Principal investigator: Hanna Ćwiek-Kupczyńska
Instytut Genetyki Roślin Polskiej Akademii Nauk
Incorporating genomic variation information into DNA sequencing data analysis
Call: OPUS 11 , Panel: ST6
Principal investigator: dr hab. Norbert Artemi Dojer
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Augmented reality as a support of fencing training
Call: PRELUDIUM 11 , Panel: ST6
Principal investigator: Filip Malawski
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji
Call: SONATA 11 , Panel: ST6
Principal investigator: dr Tomasz Trzciński
Politechnika Warszawska, Wydział Elektroniki i Technik Informacyjnych
MLGenSig: Machine Learning Methods for building of Integrated Genetic Signatures
Call: OPUS 11 , Panel: ST6
Principal investigator: dr hab. Przemysław Biecek
Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych
Symbolic computations on first-order definable objects
Call: OPUS 11 , Panel: ST6
Principal investigator: prof. Sławomir Grzegorz Lasota
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Algorithmic and Axiomatic Analysis of Committee Scoring Rules
Call: OPUS 11 , Panel: ST6
Principal investigator: dr hab. Piotr Faliszewski
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji
Call: SONATA 11 , Panel: ST6
Principal investigator: dr Szymon Abram Toruńczyk
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: OPUS 11 , Panel: ST6
Principal investigator: prof. Bogusław Cyganek
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji
Intelligent design of 2D nanostructures based on molybdenum
Call: OPUS 11 , Panel: ST8
Principal investigator: prof. Tadeusz Burczyński
Instytut Podstawowych Problemów Techniki Polskiej Akademii Nauk
Call: PRELUDIUM 11 , Panel: ST6
Principal investigator: Magdalena Katarzyna Wiercioch
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Bayesian analysis of bladder cancer subtypes based on high-throughput data
Call: PRELUDIUM 11 , Panel: ST6
Principal investigator: Krzysztof Kamil Gogolewski
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Separability problem in automata theory
Call: SONATA 11 , Panel: ST6
Principal investigator: dr Wojciech Karol Czerwiński
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Credibility of Horizontal Gene Transfer Models
Call: PRELUDIUM 11 , Panel: ST6
Principal investigator: Agnieszka Anna Mykowiecka
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Throughput maximization problems.
Call: SONATA 11 , Panel: ST6
Principal investigator: dr Łukasz Jeż
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
A quest for new computer logics
Call: OPUS 11 , Panel: ST6
Principal investigator: dr hab. Emanuel Grzegorz Kieroński
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Call: OPUS 11 , Panel: ST6
Principal investigator: dr hab. Przemysław Maciej Klęsk
Zachodniopomorski Uniwersytet Technologiczny w Szczecinie, Wydział Informatyki
Quantitative aspects of computational complexity in lambda calculus
Call: PRELUDIUM 11 , Panel: ST6
Principal investigator: dr Maciej Maria Bendkowski
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Call: OPUS 11 , Panel: ST6
Principal investigator: prof. Andrzej Polański
Politechnika Śląska, Wydział Automatyki, Elektroniki i Informatyki
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
Resource management for scientific applications on highly-elastic cloud infrastructures
Call: OPUS 11 , Panel: ST6
Principal investigator: dr hab. Maciej Malawski
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji
Efficient parsing algorithms for free word order languages
Call: PRELUDIUM 1 , Panel: ST6
Principal investigator: Paweł Marek Skórzewski
Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Matematyki i Informatyki
Efficient algorithms for weak forms of non-determinism
Call: SONATA 11 , Panel: ST6
Principal investigator: dr hab. Michał Paweł Skrzypczak
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Spread of influence in multilayer networks
Call: SONATA 11 , Panel: ST6
Principal investigator: dr Piotr Bródka
Politechnika Wrocławska
Computational method of rhetorical analysis for textual data using graphs
Call: PRELUDIUM 11 , Panel: ST6
Principal investigator: Lukasz Marcin Augustyniak
Politechnika Wrocławska
Forecasting of electricity usage using smart metering systems
Call: PRELUDIUM 11 , Panel: ST8
Principal investigator: Krzysztof Gajowniczek
Szkoła Główna Gospodarstwa Wiejskiego w Warszawie, Wydział Zastosowań Informatyki i Matematyki
The topology of solution spaces of combinatorial problems
Call: PRELUDIUM 11 , Panel: ST6
Principal investigator: Marcin Wrochna
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: PRELUDIUM 11 , Panel: ST6
Principal investigator: Bartosz Michał Kopczyński
Politechnika Łódzka, Wydział Elektrotechniki, Elektroniki, Informatyki i Automatyki
Random greedy algorithms for hypergraph coloring.
Call: OPUS 11 , Panel: ST6
Principal investigator: dr hab. Jakub Kozik
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Approximation algorithms under data uncertainty
Call: PRELUDIUM 11 , Panel: ST6
Principal investigator: Michał Włodarczyk
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Additional information in data clustering and related areas
Call: SONATA 11 , Panel: ST6
Principal investigator: dr Marek Śmieja
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Call: SONATA 1 , Panel: ST6
Principal investigator: dr Piotr Tomasz Wasilewski
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: OPUS 11 , Panel: ST6
Principal investigator: dr hab. Maciej Paszyński
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji
Algebraic invariants of Data Petri Nets.
Call: SONATA 11 , Panel: ST6
Principal investigator: dr Piotr Hofman
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Models, methods and algorithms of computational network science
Call: OPUS 11 , Panel: ST6
Principal investigator: prof. Przemysław Ryszard Kazienko
Politechnika Wrocławska
Application of Hesitant Fuzzy Sets to classification of uncertain data
Call: PRELUDIUM 11 , Panel: ST6
Principal investigator: dr Patryk Piotr Żywica
Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Matematyki i Informatyki
Semantyczne modelowanie kontekstowych środowisk wzbogaconej rzeczywistości.
Call: ETIUDA 4 , Panel: ST6
Principal investigator: Dariusz Marek Rumiński
Uniwersytet Ekonomiczny w Poznaniu, Wydział Informatyki i Gospodarki Elektronicznej
Research on fusion of tensor and soft computing methods for pattern recognition.
Call: OPUS 1 , Panel: ST6
Principal investigator: dr hab. Bogusław Antoni Cyganek
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji
Bioinformatyczne metody modelowania i weryfikacji hipotezy Świata RNA.
Call: ETIUDA 4 , Panel: ST6
Principal investigator: Natalia Maria Szóstak
Politechnika Poznańska, Wydział Informatyki
Algorithms And Methods For Next-Generation Crowdsourcing Platforms
Call: OPUS 10 , Panel: ST6
Principal investigator: dr hab. Adam Wierzbicki
Polsko-Japońska Akademia Technik Komputerowych, Wydział Informatyki
Call: OPUS 10 , Panel: ST4
Principal investigator: dr Krzysztof Robert Noworyta
Instytut Chemii Fizycznej Polskiej Akademii Nauk
Graph separation problems from the perspective of parameterized complexity.
Call: PRELUDIUM 10 , Panel: ST6
Principal investigator: Paweł Komosa
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki