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

367 projects found matching your search criteria :

  1. Eventually consistent replication: Algorithms and methods

    Call: OPUS 4 , Panel: ST6

    Principal investigator: dr hab. Paweł Wojciechowski

    Politechnika Poznańska, Wydział Informatyki

  2. Adaptive and isogeometric parallel strategies for efficient accurate solution of difficult non-stationary problems

    Call: OPUS 4 , Panel: ST6

    Principal investigator: dr hab. Maciej Paszyński

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

  3. Analysis of selected viscous fluid flow problem by the combination of the Homotopy Analysis Methods with the Method of F...

    Call: OPUS 4 , Panel: ST8

    Principal investigator: prof. Jan Kołodziej

    Politechnika Poznańska, Wydział Budowy Maszyn i Zarządzania

  4. Accurate and approximate algorithms for large-scale stochastic simulation

    Call: SONATA 4 , Panel: ST6

    Principal investigator: dr Anna Wawrzyńczak-Szaban

    Uniwersytet Przyrodniczo-Humanistyczny w Siedlcach, Wydział Nauk Ścisłych

  5. Models, languages and systems for reliable and scalable distributed computing

    Call: SONATA 4 , Panel: ST6

    Principal investigator: dr Jacek Sroka

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

  7. Theoretical foundations of interactive theorem provers with unrestricted recursive definitions

    Call: PRELUDIUM 4 , Panel: ST6

    Principal investigator: Łukasz Czajka

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  8. The rejection issue in pattern recognition: concepts, methods, analyses

    Call: OPUS 4 , Panel: ST6

    Principal investigator: prof. Witold Pedrycz

    Instytut Badań Systemowych PAN

  9. Modular operational semantics: a bialgebraic approach

    Call: SONATA BIS 2 , Panel: ST6

    Principal investigator: dr hab. Bartosz Klin

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  10. Automatisation of constructive logic

    Call: OPUS 4 , Panel: ST6

    Principal investigator: dr hab. Aleksy Schubert

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  11. parameters of finite models

    Call: SONATA 4 , Panel: ST6

    Principal investigator: dr Eryk Kopczyński

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  12. Limits of decidability in automata theory

    Call: SONATA 4 , Panel: ST6

    Principal investigator: dr Paweł Parys

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  13. Elastic wave propagation in periodic structures

    Call: OPUS 4 , Panel: ST8

    Principal investigator: prof. Marek Krawczuk

    Politechnika Gdańska, Wydział Elektrotechniki i Automatyki

  14. Methods of automatic programming involving semantic approaches

    Call: PRELUDIUM 4 , Panel: ST6

    Principal investigator: dr Tomasz Pawlak

    Politechnika Poznańska, Wydział Informatyki

  15. GROSHEC - Toward processor for rough set methods

    Call: OPUS 4 , Panel: ST6

    Principal investigator: prof. Jarosław Stepaniuk

    Politechnika Białostocka, Wydział Informatyki

  16. Distributed Computing in Dynamic Networks

    Call: HARMONIA 3 , Panel: ST6

    Principal investigator: dr hab. Tomasz Jurdziński

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  17. Concurrency control and fault tolerance for distributed software transactional memory

    Call: HARMONIA 3 , Panel: ST6

    Principal investigator: dr hab. Paweł Wojciechowski

    Politechnika Poznańska, Wydział Informatyki

  18. Aerosol processing by clouds - development of a multifaceted object-oriented numerical simulation framework.

    Call: HARMONIA 3 , Panel: ST10

    Principal investigator: prof. Hanna Pawłowska

    Uniwersytet Warszawski, Wydział Fizyki

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

  20. The application of modern scientific methods and digital image analysis in documentation, investigation and conservation...

    Call: SONATA BIS 1 , Panel: HS2

    Principal investigator: dr Małgorzata Walczak

    Akademia Sztuk Pięknych im. Jana Matejki w Krakowie, Wydział Konserwacji i Restauracji Dzieł Sztuki

  21. Establishment of a novel scientific workshop enabling complex analysis of RNA degradome - elaboration of innovative meth...

    Call: SONATA 3 , Panel: NZ2

    Principal investigator: dr Paulina Jackowiak

    Instytut Chemii Bioorganicznej PAN

  22. Computational methods for identyfiing drug resistance associated mutations in bacterial strains

    Call: PRELUDIUM 3 , Panel: ST6

    Principal investigator: Michał Woźniak

    Uniwersytet Warszawski

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

    Call: PRELUDIUM 3 , Panel: ST6

    Principal investigator: dr Michał Skrzypczak

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  24. 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 Czechowski

    Instytut Geofizyki PAN

  25. Business process discovery methods and process calculus for RESTful systems.

    Call: PRELUDIUM 3 , Panel: ST6

    Principal investigator: Andrzej Stroiński

    Politechnika Poznańska, Wydział Informatyki

  26. Ramsey numbers containing C_4

    Call: PRELUDIUM 3 , Panel: ST6

    Principal investigator: Janusz Dybizbański

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

  27. Advanced Reasoning Methods and Optimization Techniques for the Problems of Ontology Classification and Consistency Check...

    Call: OPUS 1 , Panel: ST6

    Principal investigator: dr hab. Anh Linh Nguyen

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  28. Static and dynamic finite element analysis of layered structures on elastic nonhomogeneous foundation

    Call: OPUS 3 , Panel: ST6

    Principal investigator: dr hab. Ryszard Buczkowski

    Akademia Morska w Szczecinie, Wydział Inżynieryjno-Ekonomiczny Transportu

  29. Nonlinear methods of noise reduction in color images and video sequences

    Call: OPUS 3 , Panel: ST6

    Principal investigator: dr hab. Bogdan Smołka

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

  30. Models and methods of computer science in cell biology

    Call: OPUS 3 , Panel: ST6

    Principal investigator: dr hab. Marta Kasprzak

    Politechnika Poznańska, Wydział Informatyki

  31. Metody geometryczne w informatyce kwantowej

    Call: FUGA 1 , Panel: ST6

    Principal investigator: dr Zbigniew Puchała

    Uniwersytet Jagielloński, Wydział Fizyki, Astronomii i Informatyki Stosowanej

  32. Multi-Physics, Multi-Objective, Multi-Adaptive Strategies for Solving Inverse Problems

    Call: OPUS 2 , Panel: ST6

    Principal investigator: prof. Robert Schaefer

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

  33. The development of effective computational methods for analysis of optical properties of optically turbid media

    Call: SONATA 2 , Panel: ST6

    Principal investigator: dr Norbert Żołek

    Instytut Biocybernetyki i Inżynierii Biomedycznej im. Macieja Nałęcza PAN

  34. Rule-based query answering method for a relational database with the use of an ontology-based knowledge

    Call: PRELUDIUM 2 , Panel: ST6

    Principal investigator: dr Jarosław Bąk

    Politechnika Poznańska, Wydział Elektryczny

  35. Parallel algorithms for creation and simulation three-dimensional vascular network

    Call: OPUS 2 , Panel: ST6

    Principal investigator: dr Krzysztof Psiuk-Maksymowicz

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

  36. Methodology of semantic models building based on mobile robot's observations

    Call: SONATA 2 , Panel: ST6

    Principal investigator: dr Janusz Będkowski

    Instytut Maszyn Matematycznych

  37. Sudden Cardiac Death risk stratification based on functional assessment of autonomic nervous system with the use of Holt...

    Call: OPUS 2 , Panel: ST6

    Principal investigator: dr Marek Kamiński

    Politechnika Łódzka, Wydział Elektrotechniki, Elektroniki, Informatyki i Automatyki

  38. Structure and interpretation of programming languages in the "proofs-as-programs" paradigm

    Call: OPUS 2 , Panel: ST6

    Principal investigator: dr Małgorzata Biernacka

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  39. New methods for the automatic synthesis and exploration of sequential data

    Call: SONATA 2 , Panel: ST6

    Principal investigator: dr Radosław Ziembiński

    Politechnika Poznańska, Wydział Informatyki

  40. New computer architectures and the finite element method

    Call: OPUS 1 , Panel: ST6

    Principal investigator: dr hab. Krzysztof Banaś

    Politechnika Krakowska im. Tadeusza Kościuszki, Wydział Fizyki, Matematyki i Informatyki

  41. Allocation of tasks in computer networks

    Call: PRELUDIUM 2 , Panel: ST6

    Principal investigator: dr Marcin Krzywkowski

    POLITECHNIKA GDAŃSKA

  42. Development of rule-based query languages applied in intelligent systems

    Call: OPUS 1 , Panel: ST6

    Principal investigator: prof. Andrzej Szałas

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  43. Processing massive string data and beyond: algorithms and conditional lower bounds

    Call: OPUS 26 , Panel: ST6

    Principal investigator: dr Paweł Gawrychowski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  44. Explainability methods for machine learning models in static and evolving data

    Call: OPUS 26 , Panel: ST6

    Principal investigator: prof. Jerzy Stefanowski

    Politechnika Poznańska, Wydział Informatyki i Telekomunikacji

  45. Learning the Physics of Dendrite Growth in Lithium-Ion Batteries: An Attention Mechanism Approach for Prevention and Mit...

    Call: OPUS 26 (LAP) , Panel: ST11

    Principal investigator: dr Anil Kunwar

    Politechnika Śląska, Wydział Mechaniczny Technologiczny

  46. Vibrations suppression and energy harvesting of nonlinear oscillators: novel ideas, modelling, control and experimental ...

    Call: OPUS 26 , Panel: ST8

    Principal investigator: prof. Jan Awrejcewicz

    Politechnika Łódzka, Wydział Mechaniczny

  47. Complex models in scheduling problems and methods of their solution

    Call: OPUS 2 , Panel: ST6

    Principal investigator: prof. Adam Janiak

    Instytut Badań Systemowych PAN

  48. New problems and algorithms for Mathematical Programming model Mining (MathProM)

    Call: SONATA BIS 13 , Panel: ST6

    Principal investigator: dr hab. Tomasz Pawlak

    Politechnika Poznańska, Wydział Informatyki i Telekomunikacji

  49. Towards superhuman performance in solving complex reasoning problems with Advanced Subgoal Search

    Call: PRELUDIUM 22 , Panel: ST6

    Principal investigator: Michał Zawalski

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  50. Acceleration and compression of deep neural networks using low-rank approximation methods

    Call: PRELUDIUM 22 , Panel: ST6

    Principal investigator: Mateusz Gabor

    Politechnika Wrocławska

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy