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

149 projects found matching your search criteria :

  1. Formal verification in data-enriched models of computation

    Call: OPUS 28 , Panel: ST6

    Principal investigator: prof. Sławomir Grzegorz Lasota

    Uniwersytet Warszawski

  2. On the border of impossible in classical automata theory

    Call: OPUS 28 , Panel: ST6

    Principal investigator: dr hab. Paweł Parys

    Uniwersytet Warszawski

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

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

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

    Call: PRELUDIUM 23 , Panel: HS4

    Principal investigator: Satia Rożynek

    Uniwersytet Warszawski

  6. Automatic detection and spatial modeling of allergenic pollen at urban scale

    Call: PRELUDIUM 23 , Panel: ST10

    Principal investigator: Szymon Tomczyk

    Uniwersytet Wrocławski

  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. Allergenic pollen concentrations in the air – a novel approach based on modelling and measurements

    Call: OPUS 26 , Panel: ST10

    Principal investigator: dr hab. Małgorzata Werner

    Uniwersytet Wrocławski, Wydział Nauk o Ziemi i Kształtowania Środowiska

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

  12. Framework for smart condition reassessment of reclaimed timber to extend the service life of long-lived wood products wi...

    Call: WEAVE-UNISONO , Panel: ST8

    Principal investigator: dr Jan Pełczyński

    Politechnika Warszawska

  13. AI-powered interpreting: The impact of automatic speech recognition (ASR) on the work of simultaneous interpreters

    Call: PRELUDIUM 22 , Panel: HS2

    Principal investigator: Paulina Justyna Rozkrut

    Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Anglistyki

  14. Identification loci responsible for maize adaptation to cold condition at early stages of development

    Call: OPUS 25 , Panel: NZ9

    Principal investigator: dr Marcin Włodzimierz Grzybowski

    Uniwersytet Warszawski, Wydział Biologii

  15. Role of astrocyte mitochondrial metabolism in chronic stress.

    Call: WEAVE-UNISONO , Panel: NZ4

    Principal investigator: dr Michał Ślęzak

    Sieć Badawcza ŁUKASIEWICZ - PORT Polski Ośrodek Rozwoju Technologii

  16. Innovating transnational aquatic biodiversity monitoring using high-throughput DNA tools and automated image recognition

    Call: WEAVE-UNISONO , Panel: NZ9

    Principal investigator: dr hab. Karolina Bącela-Spychalska

    Uniwersytet Łódzki

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

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

  19. AUTOMATIC: Analysis of the relationship between the AUTOnoMic nervous system and cerebral AutoregulaTIon using maChine l...

    Call: SONATA 18 , Panel: ST7

    Principal investigator: dr Agnieszka Małgorzata Uryga

    Politechnika Wrocławska

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

  21. Counting models in formal verification

    Call: SONATA BIS 12 , Panel: ST6

    Principal investigator: dr Filip Aleksander Mazowiecki

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  22. Polynomial finite state computation

    Call: MAESTRO 14 , Panel: ST6

    Principal investigator: prof. Mikołaj Bojańczyk

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  23. Control of automated decision-making systems employed in administrative proceedings

    Call: PRELUDIUM 21 , Panel: HS5

    Principal investigator: Igor Antoni Gontarz

    Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Prawa i Administracji

  24. Model averaging for vector autoregression - automatic model selection and forecasting procedure

    Call: OPUS 23 , Panel: HS4

    Principal investigator: dr Paweł Kufel

    Wyższa Szkoła Bankowa w Toruniu

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

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

    Call: CHIST-ERA2020 , Panel: HS5

    Principal investigator: dr Karolina Sztandar-Sztanderska

    Uniwersytet Warszawski

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

  28. Efficient unsupervised synthesis and prototype-augmented modeling of microwave structures

    Call: OPUS 22 , Panel: ST7

    Principal investigator: dr hab. Adrian Kajetan Bekasiewicz

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

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

  30. Frontiers of automatic analysis of concurrent systems

    Call: OPUS 21 , Panel: ST6

    Principal investigator: prof. Sławomir Grzegorz Lasota

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

    Call: PRELUDIUM 2 , Panel: ST6

    Principal investigator: Michał Fularz

    Politechnika Poznańska, Wydział Elektryczny

  32. Arithmetical and dynamical properties of sequences given by substitutions.

    Call: PRELUDIUM 20 , Panel: ST1

    Principal investigator: Elżbieta Anna Krawczyk

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

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

  34. Decision procedures in verification

    Call: OPUS 2 , Panel: ST6

    Principal investigator: prof. Witold Charatonik

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  35. Hate speech: From automatic classification to understanding emotional dynamics

    Call: BEETHOVEN CLASSIC 4 , Panel: HS6

    Principal investigator: dr Aleksandra Teresa Świderska

    Uniwersytet Warszawski, Wydział Psychologii

  36. Automatic generation of user's manual for web applications

    Call: PRELUDIUM 2 , Panel: ST6

    Principal investigator: Bartosz Alchimowicz

    Politechnika Poznańska, Wydział Informatyki

  37. Robust Formalisms for Quantitative Reasoning

    Call: OPUS 20 , Panel: ST6

    Principal investigator: dr Jakub Dawid Michaliszyn

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  38. In search for new mechanisms of maize adaptation to cool spring conditions

    Call: OPUS 20 , Panel: NZ9

    Principal investigator: prof. Paweł Mieczysław Sowiński

    Uniwersytet Warszawski, Wydział Biologii

  39. Automatic hp adaptive algorithms for processing of MRI scan data

    Call: PRELUDIUM 2 , Panel: ST6

    Principal investigator: Marcin Tomasz Sieniek

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

  40. Coming together - neural dynamics of transition from out-group reserve to in-group fellowship

    Call: SONATA 16 , Panel: NZ4

    Principal investigator: dr Alicja Puścian

    Instytut Biologii Doświadczalnej im. Marcelego Nenckiego Polskiej Akademii Nauk

  41. Automatic procedure to determine the optimal working point of the upgraded LHCb pixel vertex detector and development of...

    Call: PRELUDIUM 19 , Panel: ST2

    Principal investigator: Paweł Kopciewicz

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

  42. Algorithms for text data processing

    Call: OPUS 2 , Panel: ST6

    Principal investigator: dr hab. Sebastian Deorowicz

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

  43. Towards automatic derivation of geometry-based descriptors as surrogates for complex structural approaches in enzyme-sub...

    Call: PRELUDIUM 19 , Panel: NZ2

    Principal investigator: Carlos Eduardo Sequeiros Borja

    Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Biologii

  44. Artificial intelligence in integrated archaeological landscape research. Development and application of automated data c...

    Call: OPUS 19 , Panel: HS3

    Principal investigator: Piotr Paweł Wroniecki

    Uniwersytet Warszawski, Wydział Archeologii

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

  46. On various properties of special block-additive functions

    Call: PRELUDIUM 19 , Panel: ST1

    Principal investigator: dr Bartosz Grzegorz Sobolewski

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  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 algorithms for automated detection of inflammation lesions in patients with axial spondyloarthritis.

    Call: PRELUDIUM BIS 1 , Panel: NZ5

    Principal investigator: prof. Zbisław Tabor

    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej

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