Change search criteria ↓

Search results

215 projects found matching your search criteria:

  1. 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

  2. 202. New methods in parametric model checking

    Principal investigator: Michał Józef Knapik

    Instytut Podstaw Informatyki PAN

    Call: PRELUDIUM 4, Panel: ST6

  3. 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

  4. 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

  5. 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

  6. 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

  7. 207. Ramsey numbers containing C_4

    Principal investigator: Janusz Dybizbański

    Uniwersytet Gdański, Wydział Matematyki, Fizyki i Informatyki

    Call: PRELUDIUM 3, Panel: ST6

  8. 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

  9. 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

  10. 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

  11. 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

  12. 212. New concept of the network of smart cameras with enchanced autonomy for automatic surveillance system.

    Principal investigator: Michał Fularz

    Politechnika Poznańska, Wydział Elektryczny

    Call: PRELUDIUM 2, Panel: ST6

  13. 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

  14. 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

  15. 215. Gaussian and Belief Networks in Bayesian Adaptation and Optimization of Behavioral Patterns [javascript:void(0);]

    Principal investigator: dr Michał Matuszak

    Uniwersytet Mikołaja Kopernika, Wydział Matematyki i Informatyki

    Call: PRELUDIUM 1, Panel: ST6

Graphic design and implementation: Jakub Piotrowski