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

69 projects found matching your search criteria :

  1. Weighted automata for quantitative properties

    Call: SONATA 8 , Panel: ST6

    Principal investigator: dr Jan Otop

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

  3. Construction of multi-state DNA computer working with more than one restriction enzymes

    Call: OPUS 1 , Panel: NZ2

    Principal investigator: dr hab. Tomasz Popławski

    Uniwersytet Łódzki, Wydział Biologii i Ochrony Środowiska

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

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

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

  7. Development of three-dimensional model and software based on frontal cellular automata for modeling microstructure evolu...

    Call: PRELUDIUM 1 , 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

  8. Efficient algorithms and representations in formal languages and automata theory.

    Call: SONATA 1 , Panel: ST6

    Principal investigator: dr Artur Jeż

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  9. Modeling of consumer behavior dynamics in oligopoly markets by cellular automata

    Call: OPUS 1 , Panel: HS4

    Principal investigator: dr Agnieszka Kowalska-Styczeń

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

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

  11. Development and implementation of model checking methods for real-time and multi-agent systems

    Call: OPUS 1 , Panel: ST6

    Principal investigator: dr hab. Bożena Woźna-Szcześniak

    Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie, Wydział Matematyczno-Przyrodniczy

  12. Development of the mathematical model for the phase transformation research of the peritectic systems on the base of cel...

    Call: OPUS 1 , Panel: ST8

    Principal investigator: dr hab. Andriy Burbelko

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

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

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

  15. Limits of decidability in automata theory

    Call: SONATA 4 , Panel: ST6

    Principal investigator: dr Paweł Parys

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  16. Theoretical fundamentals of automation of design processes of machine elements and assemblies using artificial intellige...

    Call: OPUS 3 , Panel: ST8

    Principal investigator: prof. Wojciech Kacalak

    Politechnika Koszalińska, Wydział Mechaniczny

  17. Simulation and bisimulation for context-free and pushdown systems

    Call: PRELUDIUM 3 , Panel: ST6

    Principal investigator: dr Piotr Hofman

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  18. Development of multi- scale model of recrystallization, that occurs in fine wires from biocompatible Mg alloys during dr...

    Call: OPUS 3 , Panel: ST8

    Principal investigator: prof. Andriy Milenin

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

  19. Hierarchy-type Problems for Automata on Infinite Words and Trees

    Call: PRELUDIUM 3 , Panel: ST6

    Principal investigator: dr Michał Paweł Skrzypczak

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  20. Innovative methods of nonlinear stochastic modeling of time series generated by complex systems - application to geophys...

    Call: OPUS 3 , Panel: ST10

    Principal investigator: prof. Zbigniew Edward Czechowski

    Instytut Geofizyki Polskiej Akademii Nauk

  21. Development of complex multi scale model for microstructure evolution under hot deformation conditions

    Call: HARMONIA 2 , Panel: ST8

    Principal investigator: prof. Maciej Pietrzyk

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

  22. Automatic calculations for low energetic electron-positron annihilation into hadrons

    Call: OPUS 2 , Panel: ST6

    Principal investigator: prof. Karol Maksymilian Kołodziej

    Uniwersytet Śląski w Katowicach, Wydział Matematyki, Fizyki i Chemii

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

  24. Formal verification in data-enriched models of computation

    Call: OPUS 28 , Panel: ST6

    Principal investigator: prof. Sławomir Grzegorz Lasota

    Uniwersytet Warszawski

  25. On the border of impossible in classical automata theory

    Call: OPUS 28 , Panel: ST6

    Principal investigator: dr hab. Paweł Parys

    Uniwersytet Warszawski

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

  27. Selective autophagy-mediated protein degradation as a potential therapeutic strategy for the treatment of inflammatory c...

    Call: OPUS 28 , Panel: NZ7

    Principal investigator: dr hab. Monika Emilia Marcinkowska

    Uniwersytet Jagielloński

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

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

    Call: PRELUDIUM 23 , Panel: HS4

    Principal investigator: Satia Rożynek

    Uniwersytet Warszawski

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

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

  32. Synthesis via active learning: theory and applications

    Call: OPUS 27 , Panel: ST6

    Principal investigator: dr hab. Jan Otop

    Uniwersytet Wrocławski

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

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

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

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

  37. Counting models in formal verification

    Call: SONATA BIS 12 , Panel: ST6

    Principal investigator: dr Filip Aleksander Mazowiecki

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  38. Polynomial finite state computation

    Call: MAESTRO 14 , Panel: ST6

    Principal investigator: prof. Mikołaj Bojańczyk

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  39. 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 Polskiej Akademii Nauk

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

    Call: CHIST-ERA2020 , Panel: HS5

    Principal investigator: dr Karolina Sztandar-Sztanderska

    Uniwersytet Warszawski

  41. 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 Polskiej Akademii Nauk

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

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

  44. Robust Formalisms for Quantitative Reasoning

    Call: OPUS 20 , Panel: ST6

    Principal investigator: dr Jakub Dawid Michaliszyn

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  45. Algorithms for text data processing

    Call: OPUS 2 , Panel: ST6

    Principal investigator: dr hab. Sebastian Deorowicz

    Politechnika Śląska, Wydział Automatyki, Elektroniki i Informatyki

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

  47. The multiscale 3D methodology of mechanical properties prediction for steels deformed at extra-high temperatures

    Call: SONATA 2 , Panel: ST8

    Principal investigator: dr Marcin Hojny

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

  48. Data-enriched models of computation

    Call: OPUS 18 , Panel: ST6

    Principal investigator: prof. Sławomir Grzegorz Lasota

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

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

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy