Projects funded by the NCN

Information on the principal investigator and host institution

Information of the project and the call

Keywords

Equipment

Delete all

Search results

21 projects found matching your search criteria :

  1. Reasoning about programs in higher-order languages

    Call: OPUS 8 , Panel: ST6

    Principal investigator: prof. Witold Charatonik

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  2. Scalable metaheuristics for automated program synthesis

    Call: OPUS 8 , Panel: ST6

    Principal investigator: dr hab. Krzysztof Krawiec

    Politechnika Poznańska, Wydział Informatyki

  3. EvoSN: evolution of spiking neural networks for fundamental computational tasks and robot control

    Call: HARMONIA 4 , Panel: ST6

    Principal investigator: prof. Borys Jakub Wróbel

    Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Biologii

  4. A new notion of finiteness in computation theory

    Call: OPUS 4 , Panel: ST6

    Principal investigator: dr hab. Mikołaj Bojańczyk

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  5. Theoretical and practical homology computation for big data sets.

    Call: PRELUDIUM 3 , Panel: ST6

    Principal investigator: dr Mateusz Grzegorz Juda

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  6. Scalability and adaptability in the Data Farming methodology

    Call: PRELUDIUM 3 , Panel: ST6

    Principal investigator: dr Dariusz Piotr Król

    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji

  7. Formal verification in data-enriched models of computation

    Call: OPUS 28 , Panel: ST6

    Principal investigator: prof. Sławomir Grzegorz Lasota

    Uniwersytet Warszawski

  8. Analysis of quantitative models of computation

    Call: SONATA BIS 14 , Panel: ST6

    Principal investigator: dr hab. Lorenzo Clemente

    Uniwersytet Warszawski

  9. Continual learning with conditional computation networks

    Call: PRELUDIUM 23 , Panel: ST6

    Principal investigator: Filip Maciej Szatkowski

    IDEAS NCBR Sp. z o.o.

  10. Computationally efficient dynamic neural networks

    Call: PRELUDIUM 22 , Panel: ST6

    Principal investigator: Bartosz Wójcik

    IDEAS NCBR Sp. z o.o.

  11. Parallel and exact algorithms for path problems in directed graphs

    Call: SONATA 18 , Panel: ST6

    Principal investigator: dr Adam Karol Karczmarz

    IDEAS NCBR Sp. z o.o.

  12. Polynomial finite state computation

    Call: MAESTRO 14 , Panel: ST6

    Principal investigator: prof. Mikołaj Bojańczyk

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  13. Conditional computation in deep neural networks

    Call: PRELUDIUM 21 , Panel: ST6

    Principal investigator: Sebastian Dariusz Jaszczur

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  14. Efficient distributed and parallel algorithms for big and dynamic data

    Call: OPUS 20 , Panel: ST6

    Principal investigator: prof. Tomasz Arkadiusz Jurdziński

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  15. Methods and algorithms for organization of computations in the class of anelastic numerical models for geophysical flows...

    Call: OPUS 2 , Panel: ST6

    Principal investigator: prof. Roman Wyrzykowski

    Politechnika Częstochowska, Wydział Inżynierii Mechanicznej i Informatyki

  16. Data-enriched models of computation

    Call: OPUS 18 , Panel: ST6

    Principal investigator: prof. Sławomir Grzegorz Lasota

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  17. Abstract Machines for Programming Languages: Investigations in Formal Interderivations

    Call: OPUS 17 , Panel: ST6

    Principal investigator: prof. Witold Charatonik

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  18. New Computational Paradigms for Explanatory Modelling of Complex Systems

    Call: OPUS 1 , Panel: ST6

    Principal investigator: dr hab. Krzysztof Krawiec

    Politechnika Poznańska, Wydział Informatyki

  19. Rigorous computation in Circular Restricted Three Body Problem

    Call: PRELUDIUM 12 , Panel: ST6

    Principal investigator: Irmina Małgorzata Walawska

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

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

  21. Object segmentation in cytological microscopic images using stochastic geometry

    Call: OPUS 9 , Panel: ST7

    Principal investigator: prof. Józef Korbicz

    Uniwersytet Zielonogórski, Wydział Informatyki, Elektrotechniki i Automatyki

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy