Search results
215 projects found matching your search criteria:
-
201. Optymalizacja wydajności obliczeniowej metody elementów skończonych w architekturze CUDA
Principal investigator: Adam Kazimierz Dziekoński
Politechnika Gdańska, Wydział Elektroniki, Telekomunikacji i Informatyki
Call: ETIUDA 1, Panel: ST7
-
202. New methods in parametric model checking
Principal investigator: Michał Józef Knapik
Instytut Podstaw Informatyki PAN
Call: PRELUDIUM 4, Panel: ST6
-
203. Algorithms concerning the legibility of natural deduction proofs
Principal investigator: dr Karol Pąk
Uniwersytet w Białymstoku, Wydział Matematyki i Informatyki
Call: PRELUDIUM 4, Panel: ST6
-
204. Computational complexity of some connectivity problems
Principal investigator: dr hab. Marcin Jakub Kamiński
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: SONATA 4, Panel: ST6
-
205. Scalability and adaptability in the Data Farming methodology
Principal investigator: dr Dariusz Piotr Król
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji
Call: PRELUDIUM 3, Panel: ST6
-
206. Memory efficient algorithms for processing and analysis of genome sequencing data
Principal investigator: dr hab. Sebastian Deorowicz
Politechnika Śląska, Wydział Automatyki, Elektroniki i Informatyki
Call: OPUS 3, Panel: ST6
-
207. Ramsey numbers containing C_4
Principal investigator: Janusz Dybizbański
Uniwersytet Gdański, Wydział Matematyki, Fizyki i Informatyki
Call: PRELUDIUM 3, Panel: ST6
-
208. Design and validation of control algorithms in networked dynamical systems
Principal investigator: dr hab. Przemysław Ignaciuk
Politechnika Łódzka, Wydział Fizyki Technicznej, Informatyki i Matematyki Stosowanej
Call: SONATA 3, Panel: ST6
-
209. Modeling cooperation of agents by multivalued logics and parallel processing
Principal investigator: prof. Adam Borkowski
Instytut Podstawowych Problemów Techniki Polska Akademia Nauk
Call: OPUS 3, Panel: ST6
-
210. Parameterized algorithms in graph problems and permutation pattern matching.
Principal investigator: dr Marek Adam Cygan
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: SONATA 3, Panel: ST6
-
211. Methodology of semantic models building based on mobile robot's observations
Principal investigator: dr Janusz Będkowski
Instytut Maszyn Matematycznych
Call: SONATA 2, Panel: ST6
-
Principal investigator: Michał Fularz
Politechnika Poznańska, Wydział Elektryczny
Call: PRELUDIUM 2, Panel: ST6
-
213. Algorithms for text data processing
Principal investigator: dr hab. Sebastian Deorowicz
Politechnika Śląska, Wydział Automatyki, Elektroniki i Informatyki
Call: OPUS 2, Panel: ST6
-
214. Methods and tools of future document engineering - MENAID
Principal investigator: prof. Bogdan Wojciech Wiszniewski
Politechnika Gdańska, Wydział Elektroniki, Telekomunikacji i Informatyki
Call: OPUS 1, Panel: ST6
-
Principal investigator: dr Michał Matuszak
Uniwersytet Mikołaja Kopernika, Wydział Matematyki i Informatyki
Call: PRELUDIUM 1, Panel: ST6