226 projects found matching your search criteria :
LP rounding approximation algorithms
Call: PRELUDIUM 4 , Panel: ST6
Principal investigator: Bartosz Rybicki
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
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
Eventually consistent replication: Algorithms and methods
Call: OPUS 4 , Panel: ST6
Principal investigator: dr hab. Paweł Wojciechowski
Politechnika Poznańska, Wydział Informatyki
Computational complexity of some connectivity problems
Call: SONATA 4 , Panel: ST6
Principal investigator: dr hab. Marcin Kamiński
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: OPUS 4 , Panel: ST6
Principal investigator: dr hab. Maciej Paszyński
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji
Accurate and approximate algorithms for large-scale stochastic simulation
Call: SONATA 4 , Panel: ST6
Principal investigator: dr Anna Wawrzyńczak-Szaban
Uniwersytet Przyrodniczo-Humanistyczny w Siedlcach, Wydział Nauk Ścisłych
Privacy aspects of selected complex systems.
Call: PRELUDIUM 4 , Panel: ST6
Principal investigator: Piotr Syga
Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki
New data intensive algorithms and structures for GPU processors.
Call: SONATA 4 , Panel: ST6
Principal investigator: dr Krzysztof Kaczmarski
Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych
Automatic detection and correction of annotation errors in Polish language corpora
Call: PRELUDIUM 1 , Panel: ST6
Principal investigator: dr Łukasz Kobyliński
Instytut Podstaw Informatyki PAN
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
Distributed Computing in Dynamic Networks
Call: HARMONIA 3 , Panel: ST6
Principal investigator: dr hab. Tomasz Jurdziński
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Concurrency control and fault tolerance for distributed software transactional memory
Call: HARMONIA 3 , Panel: ST6
Principal investigator: dr hab. Paweł Wojciechowski
Politechnika Poznańska, Wydział Informatyki
Algorithms for the multiple sequence alignment problem and its variants
Call: PRELUDIUM 3 , Panel: ST6
Principal investigator: dr Adam Gudyś
Politechnika Śląska, Wydział Automatyki, Elektroniki i Informatyki
Scalability and adaptability in the Data Farming methodology
Call: PRELUDIUM 3 , Panel: ST6
Principal investigator: dr Dariusz Król
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji
Memory efficient algorithms for processing and analysis of genome sequencing data
Call: OPUS 3 , Panel: ST6
Principal investigator: dr hab. Sebastian Deorowicz
Politechnika Śląska, Wydział Automatyki, Elektroniki i Informatyki
SocSenSys: Social feedback systems based on body sensor networks
Call: SONATA 3 , Panel: ST6
Principal investigator: dr Konrad Iwanicki
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Business process discovery methods and process calculus for RESTful systems.
Call: PRELUDIUM 3 , Panel: ST6
Principal investigator: Andrzej Stroiński
Politechnika Poznańska, Wydział Informatyki
Call: PRELUDIUM 3 , Panel: ST6
Principal investigator: Janusz Dybizbański
Uniwersytet Gdański, Wydział Matematyki, Fizyki i Informatyki
Call: OPUS 1 , Panel: ST6
Principal investigator: dr hab. Anh Linh Nguyen
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Design and validation of control algorithms in networked dynamical systems
Call: SONATA 3 , Panel: ST6
Principal investigator: dr hab. Przemysław Ignaciuk
Politechnika Łódzka, Wydział Fizyki Technicznej, Informatyki i Matematyki Stosowanej
Modeling cooperation of agents by multivalued logics and parallel processing
Call: OPUS 3 , Panel: ST6
Principal investigator: prof. Adam Borkowski
Instytut Podstawowych Problemów Techniki PAN
Parameterized algorithms in graph problems and permutation pattern matching.
Call: SONATA 3 , Panel: ST6
Principal investigator: dr Marek Cygan
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Models and methods of computer science in cell biology
Call: OPUS 3 , Panel: ST6
Principal investigator: dr hab. Marta Kasprzak
Politechnika Poznańska, Wydział Informatyki
SN@PUT: Social Network Analysis at Poznan University of Technology
Call: OPUS 2 , Panel: ST6
Principal investigator: dr hab. Mikołaj Morzy
Politechnika Poznańska, Wydział Informatyki
Call: PRELUDIUM 2 , Panel: ST6
Principal investigator: dr Jarosław Bąk
Politechnika Poznańska, Wydział Elektryczny
Parallel algorithms for creation and simulation three-dimensional vascular network
Call: OPUS 2 , Panel: ST6
Principal investigator: dr Krzysztof Psiuk-Maksymowicz
Politechnika Śląska, Wydział Automatyki, Elektroniki i Informatyki
New methods for the automatic synthesis and exploration of sequential data
Call: SONATA 2 , Panel: ST6
Principal investigator: dr Radosław Ziembiński
Politechnika Poznańska, Wydział Informatyki
Allocation of tasks in computer networks
Call: PRELUDIUM 2 , Panel: ST6
Principal investigator: dr Marcin Krzywkowski
POLITECHNIKA GDAŃSKA
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
Call: OPUS 26 , Panel: ST6
Principal investigator: dr Anna Zych-Pawlewicz
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Processing massive string data and beyond: algorithms and conditional lower bounds
Call: OPUS 26 , Panel: ST6
Principal investigator: dr Paweł Gawrychowski
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Unifying Macro-Evolutionary Models and Phylogenetic Networks
Call: OPUS 26 , Panel: ST6
Principal investigator: dr hab. Paweł Górecki
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
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
Efficient algorithms for NP-hard problems on planar graphs
Call: SONATA 19 , Panel: ST6
Principal investigator: dr Michał Włodarczyk
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Complex models in scheduling problems and methods of their solution
Call: OPUS 2 , Panel: ST6
Principal investigator: prof. Adam Janiak
Instytut Badań Systemowych PAN
Efficient algorithms for finding maximum induced acyclic subgraph in directed graphs
Call: PRELUDIUM 22 , Panel: ST6
Principal investigator: Sylwester Swat
Politechnika Poznańska, Wydział Informatyki i Telekomunikacji
Domain-agnostic synergetic combinations of global optimization metaheuristics
Call: OPUS 25 , Panel: ST6
Principal investigator: prof. Jacek Mańdziuk
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji
Augmented orientations and effective constructions for Alon-Tarsi method
Call: OPUS 25 , Panel: ST6
Principal investigator: dr hab. Jakub Kozik
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
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
The parity problem for cellular automata.
Call: SONATA 18 , Panel: ST6
Principal investigator: dr Anna Nenca
Uniwersytet Gdański, Wydział Matematyki, Fizyki 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
Parallel and exact algorithms for path problems in directed graphs
Call: SONATA 18 , Panel: ST6
Principal investigator: dr Adam Karczmarz
IDEAS NCBR Sp. z o.o.
Structural and algorithmic properties of hereditary graph classes
Call: SONATA BIS 12 , Panel: ST6
Principal investigator: dr hab. Marcin Pilipczuk
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Quest for Optimality in Variants of Text Indexing and Related Problems
Call: SONATA BIS 12 , Panel: ST6
Principal investigator: dr hab. Jakub Radoszewski
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Algorithms for processing nucleotide and aminoacid sequences
Call: OPUS 23 , Panel: ST6
Principal investigator: prof. Sebastian Deorowicz
Politechnika Śląska, Wydział Automatyki, Elektroniki i Informatyki
Forbidding subdivisions and line graphs towards faster algorithms
Call: PRELUDIUM 21 , Panel: ST6
Principal investigator: Jana Masaříková
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
The graph homomorphism problem in structurally restricted classes
Call: PRELUDIUM 21 , Panel: ST6
Principal investigator: Marta Piecyk
Politechnika Warszawska
Online algorithms for configuration games
Call: OPUS 23 , Panel: ST6
Principal investigator: dr hab. Marcin Bieńkowski
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki