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

68 projects found matching your search criteria :

  1. Design automation and simulation-driven optimization of high-frequency systems using machine learning

    Call: OPUS 28 , Panel: ST7

    Principal investigator: dr hab. Anna Pietrenko-Dąbrowska

    Politechnika Gdańska

  2. Formal verification in data-enriched models of computation

    Call: OPUS 28 , Panel: ST6

    Principal investigator: prof. Sławomir Grzegorz Lasota

    Uniwersytet Warszawski

  3. On the border of impossible in classical automata theory

    Call: OPUS 28 , Panel: ST6

    Principal investigator: dr hab. Paweł Parys

    Uniwersytet Warszawski

  4. High-performance full-field 3D model of microstructure evolution based on GPU and physics-informed neural cellular autom...

    Call: OPUS 28 , Panel: ST8

    Principal investigator: prof. Łukasz Karol Madej

    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie

  5. Adaptive hybrid parallelization of full-field microstructure evolution models with massive domains based on graph cellul...

    Call: SONATA 20 , Panel: ST8

    Principal investigator: dr Mateusz Sitko

    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie

  6. Automation exposure and human capital investments in European Union countries

    Call: PRELUDIUM 23 , Panel: HS4

    Principal investigator: Satia Rożynek

    Uniwersytet Warszawski

  7. Incorporation of local TiN thin films heterogeneities into the full-field hybrid fracture model based on the digital mat...

    Call: OPUS 27 , Panel: ST8

    Principal investigator: dr Konrad Perzyński

    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie

  8. The impact of artificial intelligence on the administration of justice and the principle of effective legal protection i...

    Call: PRELUDIUM 23 , Panel: HS5

    Principal investigator: Aleksandra Maria Wisławska

    Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie

  9. Synthesis via active learning: theory and applications

    Call: OPUS 27 , Panel: ST6

    Principal investigator: dr hab. Jan Otop

    Uniwersytet Wrocławski

  10. Will Artificial General Intelligence Bring Extinction or Cornucopia? Modeling the Economy at Technological Singularity

    Call: OPUS 26 , Panel: HS4

    Principal investigator: prof. Jakub Marek Growiec

    Szkoła Główna Handlowa w Warszawie, Kolegium Analiz Ekonomicznych

  11. Automation of the Problem of Unification in Description Logics

    Call: POLONEZ BIS 3 , Panel: ST6

    Principal investigator: dr hab. Barbara Joanna Morawska

    Uniwersytet Opolski, Instytut Informatyki

  12. The parity problem for cellular automata.

    Call: SONATA 18 , Panel: ST6

    Principal investigator: dr Anna Katarzyna Nenca

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

  13. Unsupervised specification-driven design of antenna structures using artificial intelligence and machine learning

    Call: OPUS 24 , Panel: ST7

    Principal investigator: prof. Sławomir Kozieł

    Politechnika Gdańska, Wydział Elektroniki, Telekomunikacji i Informatyki

  14. Counting models in formal verification

    Call: SONATA BIS 12 , Panel: ST6

    Principal investigator: dr Filip Aleksander Mazowiecki

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  15. Polynomial finite state computation

    Call: MAESTRO 14 , Panel: ST6

    Principal investigator: prof. Mikołaj Bojańczyk

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  16. The phenomenon of engulfment and pushing of nanoparticles by solidifying interfaces: moddelling and experimental validat...

    Call: OPUS 22 , Panel: ST8

    Principal investigator: dr hab. Wojciech Olgierd Maziarz

    Instytut Metalurgii i Inżynierii Materiałowej im. Aleksandra Krupkowskiego PAN

  17. Automating Welfare - Algorithmic Infrastructures for Human Flourishing in Europe

    Call: CHANSE Call 2021 , Panel: HS5

    Principal investigator: dr Karolina Urszula Sztandar-Sztanderska

    Uniwersytet Warszawski

  18. Autonomous discovery, development and optimization of organocatalytic reactions through intelligent chemical robots

    Call: SONATA 17 , Panel: ST4

    Principal investigator: dr Jarosław Marek Granda

    Instytut Chemii Organicznej Polska Akademia Nauk

  19. The impact of robots adoption on wage polarization in Europe

    Call: PRELUDIUM 20 , Panel: HS4

    Principal investigator: Karol Rafał Madoń

    Fundacja Naukowa Instytut Badań Strukturalnych

  20. Finite automata: selected problems and applications connecting different areas

    Call: OPUS 21 , Panel: ST6

    Principal investigator: dr Marek Szykuła

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  21. Robust Formalisms for Quantitative Reasoning

    Call: OPUS 20 , Panel: ST6

    Principal investigator: dr Jakub Dawid Michaliszyn

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  22. Technological specialisation and productivity divergence in the age of digitalisation, automation and AI

    Call: OPUS 19 , Panel: HS4

    Principal investigator: dr hab. Aleksandra Barbara Parteka

    Politechnika Gdańska

  23. Data-enriched models of computation

    Call: OPUS 18 , Panel: ST6

    Principal investigator: prof. Sławomir Grzegorz Lasota

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  24. Development of the full field model of dynamic recrystallization based on the hybrid random cellular automata and finite...

    Call: OPUS 18 , Panel: ST8

    Principal investigator: prof. Łukasz Karol Madej

    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Inżynierii Metali i Informatyki Przemysłowej

  25. Fundamental problems and implementations of dissipative quantum engineering

    Call: MAESTRO 11 , Panel: ST2

    Principal investigator: prof. Adam Jacek Miranowicz

    Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Fizyki

  26. Development of LBM-based platform for modeling of advanced additive manufacturing characterized by the changes of state ...

    Call: OPUS 16 , Panel: ST8

    Principal investigator: prof. Dmytro Svyetlichnyy

    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Inżynierii Metali i Informatyki Przemysłowej

  27. Mechanistic explanation of a generation of (and deviations from) the universal curve of the Earthquake Recurrence Time D...

    Call: OPUS 14 , Panel: ST10

    Principal investigator: dr hab. Mariusz Jacek Białecki

    Instytut Geofizyki PAN

  28. Quantitative specifications: learning, algorithms and applications

    Call: OPUS 14 , Panel: ST6

    Principal investigator: dr Jan Otop

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  29. Understanding recursion

    Call: SONATA 13 , Panel: ST6

    Principal investigator: dr Lorenzo Clemente

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  30. Automation landslide identification by means of airborne laser scanning, object based analysis and machine learning.

    Call: PRELUDIUM 13 , Panel: ST10

    Principal investigator: dr Kamila Teresa Pawłuszek-Filipiak

    Uniwersytet Przyrodniczy we Wrocławiu, Wydział Inżynierii Kształtowania Środowiska i Geodezji

  31. Classical problems in the theory of finite automata: new approaches, variants, and applications

    Call: OPUS 13 , Panel: ST6

    Principal investigator: dr Marek Szykuła

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  32. Quantitative properties for higher-order recursion schemes

    Call: SONATA BIS 6 , Panel: ST6

    Principal investigator: dr hab. Paweł Parys

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  33. Grammatical inference methods in classification of amyloidogenic proteins

    Call: OPUS 11 , Panel: ST6

    Principal investigator: dr hab. Olgierd Ryszard Unold

    Politechnika Wrocławska

  34. Algebraic structure of combinatorial objects

    Call: OPUS 11 , Panel: ST1

    Principal investigator: prof. Andrzej Marian Kisielewicz

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

  36. Separability problem in automata theory

    Call: SONATA 11 , Panel: ST6

    Principal investigator: dr Wojciech Karol Czerwiński

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  37. Evaluation of high performance computing capabilities during modelling of microstructure evolution based on cellular aut...

    Call: PRELUDIUM 11 , Panel: ST8

    Principal investigator: Mateusz Sitko

    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Inżynierii Metali i Informatyki Przemysłowej

  38. Efficient algorithms for weak forms of non-determinism

    Call: SONATA 11 , Panel: ST6

    Principal investigator: dr hab. Michał Paweł Skrzypczak

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  39. Study and modeling of diffusion phase transformations with use of hybrid model based on cellular automata and Lattice Bo...

    Call: SONATA 11 , Panel: ST8

    Principal investigator: dr Łukasz Rafał Łach

    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Inżynierii Metali i Informatyki Przemysłowej

  40. Numerical simulations of passive layer morphology at the metal electrode.

    Call: OPUS 10 , Panel: ST4

    Principal investigator: dr hab. Janusz Wojciech Stafiej

    Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie, Wydział Matematyczno-Przyrodniczy. Szkoła Nauk Ścisłych

  41. Mathematical models and methods in description of tumour growth and its therapies.

    Call: OPUS 10 , Panel: ST1

    Principal investigator: dr hab. Marek Bodnar

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  42. Algorithmic aspects of synchronization

    Call: OPUS 9 , Panel: ST6

    Principal investigator: dr Adam Roman

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  43. Weighted automata for quantitative properties

    Call: SONATA 8 , Panel: ST6

    Principal investigator: dr Jan Otop

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  44. Using cellular automata to model leadership in organization

    Call: OPUS 8 , Panel: HS4

    Principal investigator: dr hab. Agnieszka Kowalska-Styczeń

    Politechnika Śląska, Wydział Organizacji i Zarządzania

  45. Development and validation of concurent random cellular automata - finite element (RCAFE) model with virtual microstruct...

    Call: SONATA BIS 4 , Panel: ST8

    Principal investigator: dr hab. Łukasz Madej

    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Inżynierii Metali i Informatyki Przemysłowej

  46. Decidability issues for automata on infinite structures

    Call: OPUS 7 , Panel: ST6

    Principal investigator: prof. Damian Tadeusz Niwiński

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  47. Development of algorithms for 3D buildings modeling using point clouds from dense image matching.

    Call: PRELUDIUM 7 , Panel: ST10

    Principal investigator: Małgorzata Jarząbek-Rychard

    Uniwersytet Przyrodniczy we Wrocławiu, Wydział Inżynierii Kształtowania Środowiska i Geodezji

  48. Multi-scale model of tumor dynamics as a key component of the system for optimal anti-cancer therapy

    Call: HARMONIA 5 , Panel: ST6

    Principal investigator: prof. Witold Dzwinel

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

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

  50. Problems in algebraic combinatorics concerning permutation groups and transformation semigroups

    Call: OPUS 4 , Panel: ST1

    Principal investigator: prof. Andrzej Marian Kisielewicz

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy