120 projects found matching your search criteria :
Methods of Ontology Alignment Utilizing Semantics and Valuations of Attributes.
Call: PRELUDIUM 1 , Panel: ST6
Principal investigator: Marcin Pietranik
Politechnika Wrocławska, Wydział Informatyki i Zarządzania
Development of Models and Methods for Incorporating Knowledge to Support Vector Machines
Call: SONATA 9 , Panel: ST6
Principal investigator: dr Marcin Orchel
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji
Compression, logic, formal langauges: new approaches unifying different areas.
Call: OPUS 8 , Panel: ST6
Principal investigator: dr hab. Artur Jeż
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Quantum information processing with severely limited memory and communication
Call: SONATA BIS 4 , Panel: ST2
Principal investigator: dr hab. Marcin Pawłowski
Uniwersytet Gdański, Wydział Matematyki, Fizyki i Informatyki
Communication Problems in Wireless Sensor Networks
Call: PRELUDIUM 7 , Panel: ST6
Principal investigator: Michał Różański
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Algebraic theory for CSP (tractability, approximation and optimization)
Call: OPUS 7 , Panel: ST6
Principal investigator: dr hab. Marcin Kozik
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Foundations of Cryptocurrencies
Call: OPUS 7 , Panel: ST6
Principal investigator: dr hab. Stefan Dziembowski
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Languages and Learning in General Game Playing
Call: PRELUDIUM 7 , Panel: ST6
Principal investigator: Jakub Kowalski
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Complexity of algorithms on compressed data
Call: OPUS 7 , Panel: ST6
Principal investigator: prof. Wojciech Rytter
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: PRELUDIUM 1 , Panel: ST8
Principal investigator: dr Andrzej Kurek
Politechnika Opolska, Wydział Mechaniczny
Algorithmic Learning Theory and Computational Models of Cognitive Capabilities Acquisition
Call: OPUS 6 , Panel: HS1
Principal investigator: dr hab. Marcin Mostowski
Uniwersytet Warszawski, Wydział Filozofii i Socjologii
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
New methods of comprehensive analysis of concurrent computing systems
Call: SONATA 5 , Panel: ST6
Principal investigator: dr Łukasz Mikulski
Uniwersytet Mikołaja Kopernika, Wydział Matematyki 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
Call: OPUS 5 , Panel: HS4
Principal investigator: dr Piotr Maćkowiak
Uniwersytet Ekonomiczny w Poznaniu, Wydział Informatyki i Gospodarki Elektronicznej
Formal approach to practical problems of information hiding
Call: OPUS 5 , Panel: ST6
Principal investigator: dr hab. Marek Klonowski
Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki
Novel Methods of Multimedia Content Distribution in the Next Generation Cellular Networks
Call: SONATA 1 , Panel: ST6
Principal investigator: dr Arkadiusz Biernacki
Politechnika Śląska, Wydział Automatyki, Elektroniki i Informatyki
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
Call: OPUS 5 , Panel: ST6
Principal investigator: prof. Witold Dzwinel
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji
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
Optymalizacja wydajności obliczeniowej metody elementów skończonych w architekturze CUDA
Call: ETIUDA 1 , Panel: ST7
Principal investigator: Adam Dziekoński
Politechnika Gdańska, Wydział Elektroniki, Telekomunikacji i Informatyki
Call: PRELUDIUM 1 , Panel: ST6
Principal investigator: dr Zbigniew Paszkiewicz
Uniwersytet Ekonomiczny w Poznaniu, Wydział Informatyki i Gospodarki Elektronicznej
Call: OPUS 4 , Panel: ST7
Principal investigator: dr Adam Styk
Politechnika Warszawska, Wydział Mechatroniki
LP rounding approximation algorithms
Call: PRELUDIUM 4 , Panel: ST6
Principal investigator: Bartosz Rybicki
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Monte Carlo simulations of the ABA triblock mixtures with selective solvents and homopolymers
Call: OPUS 4 , Panel: ST5
Principal investigator: dr hab. Michał Banaszak
Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Fizyki
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
Call: SONATA 4 , Panel: ST6
Principal investigator: dr Eryk Kopczyński
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: PRELUDIUM 4 , Panel: ST7
Principal investigator: Dariusz Stando
Instytut Elektrotechniki
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
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
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
Call: OPUS 2 , Panel: ST8
Principal investigator: dr hab. Janusz Lelito
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Odlewnictwa
Call: PRELUDIUM 2 , Panel: ST6
Principal investigator: dr Jarosław Bąk
Politechnika Poznańska, Wydział Elektryczny
Allocation of tasks in computer networks
Call: PRELUDIUM 2 , Panel: ST6
Principal investigator: dr Marcin Krzywkowski
POLITECHNIKA GDAŃSKA
Fair Division of Indivisible Goods under Incomplete Information
Call: OPUS 26 , Panel: HS4
Principal investigator: dr hab. Marcin Anholcer
Uniwersytet Ekonomiczny w Poznaniu, Instytut Informatyki i Ekonomii Ilościowej
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
Complex models in scheduling problems and methods of their solution
Call: OPUS 2 , Panel: ST6
Principal investigator: prof. Adam Janiak
Instytut Badań Systemowych PAN
Geometric structures behind tensors
Call: SONATA BIS 13 , Panel: ST1
Principal investigator: dr hab. Joachim Jelisiejew
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
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
Computable structure theory, and philosophy of mathematical structuralism
Call: OPUS 25 , Panel: HS1
Principal investigator: dr Dariusz Kalociński
Instytut Podstaw Informatyki Polskiej Akademii Nauk
Modern tools for complex network analysis
Call: OPUS 25 , Panel: ST6
Principal investigator: dr Małgorzata Sulkowska
Politechnika Wrocławska
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
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
Call: CHANSE Call 2021 , Panel: HS6
Principal investigator: dr hab. Dorota Merecz-Kot
Uniwersytet Łódzki
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
Fluctuations of Bose-Einstein condensate-the next step
Call: OPUS 22 , Panel: ST2
Principal investigator: prof. Kazimierz Rzążewski
Centrum Fizyki Teoretycznej Polskiej Akademii Nauk