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. Z^2 codes: decidability and verification algorithms, defect effect, asymptotic density, tilings, weak codes

    Call: OPUS 2 , Panel: ST6

    Principal investigator: dr Włodzimierz Moczurad

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  2. Augmented orientations and effective constructions for Alon-Tarsi method

    Call: OPUS 25 , Panel: ST6

    Principal investigator: dr hab. Jakub Kozik

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  3. Rigorous numerical methods for Functional Differential Equations

    Call: OPUS 25 , Panel: ST6

    Principal investigator: dr Robert Szczelina

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  4. Improving the transferability of self-supervised learning models

    Call: PRELUDIUM 22 , Panel: ST6

    Principal investigator: Marcin Przewięźlikowski

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  5. Development of weak supervision methods for multispectral image processing in the field of precision agriculture

    Call: PRELUDIUM 22 , Panel: ST6

    Principal investigator: Przemysław Aszkowski

    Politechnika Poznańska, Wydział Automatyki, Robotyki i Elektrotechniki

  6. Modern tools for complex network analysis

    Call: OPUS 25 , Panel: ST6

    Principal investigator: dr Małgorzata Sulkowska

    Politechnika Wrocławska

  7. Multimodal Deep Learning for Noninvasive Pulmonary Hypertension Diagnosis from Magnetic Resonance Imaging

    Call: PRELUDIUM 22 , Panel: ST6

    Principal investigator: Michał Grzeszczyk

    Sano - Centrum Zindywidualizowanej Medycyny Obliczeniowej - Międzynarodowa Fundacja Badawcza

  8. Toxicity prediction for Novichoks: estimation of selected toxicological parameters for Novichoks as organophosphorus com...

    Call: PRELUDIUM 22 , Panel: NZ7

    Principal investigator: dr Maciej Noga

    Instytut Ekspertyz Medycznych w Łodzi

  9. Optimal and probabilistic learning of quantum devices

    Call: OPUS 24 , Panel: ST6

    Principal investigator: dr hab. Zbigniew Puchała

    Instytut Informatyki Teoretycznej i Stosowanej Polskiej Akademii Nauk

  10. Automation of the Problem of Unification in Description Logics

    Call: POLONEZ BIS 3 , Panel: ST6

    Principal investigator: dr hab. Barbara Morawska

    Uniwersytet Opolski, Wydział Matematyki, Fizyki i Informatyki

  11. Interpretable and sustainable artificial intelligence with intuitive explanations

    Call: OPUS 24 , Panel: ST6

    Principal investigator: dr hab. Bartosz Zieliński

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  12. Digital human-building avatar for energy efficient building design and operation with advanced thermal occupant model

    Call: OPUS 24 (LAP) , Panel: ST8

    Principal investigator: dr hab. Joanna Ferdyn-Grygierek

    Politechnika Śląska, Wydział Inżynierii Środowiska i Energetyki

  13. Shrinking, cracking and flowing of porous media undergoing thermal and chemical conversion. Design and implementation of...

    Call: SONATA 18 , Panel: ST3

    Principal investigator: dr Paweł Żuk

    Instytut Chemii Fizycznej Polskiej Akademii Nauk

  14. Dimension and Boolean dimension of partial orders

    Call: OPUS 24 , Panel: ST6

    Principal investigator: dr hab. Piotr Micek

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  15. Structure and algorithms for graph classes defined by transduction-closed properties

    Call: SONATA 18 , Panel: ST6

    Principal investigator: dr Jakub Gajarský

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

  17. Counting models in formal verification

    Call: SONATA BIS 12 , Panel: ST6

    Principal investigator: dr Filip Mazowiecki

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  18. Polynomial finite state computation

    Call: MAESTRO 14 , Panel: ST6

    Principal investigator: prof. Mikołaj Bojańczyk

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  19. Dark Gray Box Optimization - developing of the new class of highly effective optimizers

    Call: OPUS 23 , Panel: ST6

    Principal investigator: dr hab. Michał Przewoźniczek

    Politechnika Wrocławska

  20. Advanced methods of numerical modeling supported by machine learning tools for predicting water adsorption in MOF materi...

    Call: PRELUDIUM 21 , Panel: ST4

    Principal investigator: Bartosz Mazur

    Politechnika Wrocławska

  21. Linear algebra in orbit-finite dimension

    Call: PRELUDIUM 21 , Panel: ST6

    Principal investigator: Arka Ghosh

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  22. Texture analysis and recognition for computer-aided diagnostics of skin lesions digital images

    Call: PRELUDIUM 2 , Panel: ST6

    Principal investigator: Leszek Nowak

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

  23. Satsifiability and equivalence problems for finite algebras

    Call: OPUS 23 , Panel: ST6

    Principal investigator: dr Jacek Krzaczkowski

    Uniwersytet Marii Curie-Skłodowskiej w Lublinie, Wydział Matematyki, Fizyki i Informatyki

  24. The graph homomorphism problem in structurally restricted classes

    Call: PRELUDIUM 21 , Panel: ST6

    Principal investigator: Marta Piecyk

    Politechnika Warszawska

  25. Representation of dynamic 3D scenes using the Atomic Shapes Network model

    Call: SONATA 2 , Panel: ST6

    Principal investigator: dr Przemysław Głomb

    INSTYTUT INFORMATYKI TEORETYCZNEJ I STOSOWANEJ PAN

  26. First Order Logic and Beyond. Some Puzzles in Database Theory.

    Call: OPUS 23 , Panel: ST6

    Principal investigator: prof. Jerzy Marcinkowski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  27. Formulation and experimental validation of computationally efficient methods for modeling of hybrid – rigid-flexible mul...

    Call: OPUS 23 , Panel: ST8

    Principal investigator: dr hab. Marek Wojtyra

    Politechnika Warszawska, Wydział Mechaniczny Energetyki i Lotnictwa

  28. Semantic Method for Unified Rules Interoperability in Knowledge-Based Systems. (SaMURaI)

    Call: PRELUDIUM 2 , Panel: ST6

    Principal investigator: Krzysztof Kaczor

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

  29. Fair Problems and Diverse Solutions in Parameterized Complexity

    Call: SONATA 17 , Panel: ST6

    Principal investigator: dr Tomáš Masařík

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  30. A framework for de novo modeling of RNA structures using restraints derived from experimental data

    Call: SONATA 17 , Panel: NZ1

    Principal investigator: dr Sunandan Mukherjee

    Międzynarodowy Instytut Biologii Molekularnej i Komórkowej w Warszawie

  31. Hypernetworks methods in Meta-Learning

    Call: OPUS 22 , Panel: ST6

    Principal investigator: dr Przemysław Spurek

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  32. A new tool for studying the coelectrolysis process in Solid Oxide Electrolysis Cells using carbon dioxide isotopologue

    Call: OPUS 22 , Panel: ST8

    Principal investigator: prof. Piotr Jasiński

    Politechnika Gdańska

  33. A novel two-component method for augmenting gait cycles in biometric personal identification systems

    Call: PRELUDIUM 20 , Panel: ST6

    Principal investigator: Aleksander Sawicki

    Politechnika Białostocka

  34. Generalizations of the graph coloring problem in graphs with forbidden structures

    Call: PRELUDIUM 20 , Panel: ST6

    Principal investigator: Karolina Okrasa

    Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych

  35. Frontiers of automatic analysis of concurrent systems

    Call: OPUS 21 , Panel: ST6

    Principal investigator: prof. Sławomir Lasota

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  36. H-graphs - recognition, isomorphism, and related problems

    Call: PRELUDIUM 20 , Panel: ST6

    Principal investigator: Jan Derbisz

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  37. Source-code-representations for machine-learning-based identification of defective code fragments

    Call: OPUS 21 , Panel: ST6

    Principal investigator: dr Mirosław Ochodek

    Politechnika Poznańska, Wydział Informatyki i Telekomunikacji

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

  39. Modular circuits - algorithms and lower bounds

    Call: PRELUDIUM 20 , Panel: ST6

    Principal investigator: Piotr Kawałek

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  40. Model of the material behavior for the promising new Chopin apple variety, based on the Finite Element Method (FEM)

    Call: PRELUDIUM 20 , Panel: NZ9

    Principal investigator: Monika Słupska

    Uniwersytet Przyrodniczy we Wrocławiu

  41. From expressive description logics to mulit-variable fragments of first-order logic: resoning in finite structures

    Call: OPUS 21 , Panel: ST6

    Principal investigator: dr hab. Emanuel Kieroński

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  42. Methods for the similarity analysis of low complexity regions in proteins

    Call: PRELUDIUM 20 , Panel: ST6

    Principal investigator: Patryk Jarnot

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

  43. Computational aspects of infinite-duration games

    Call: OPUS 21 , Panel: ST6

    Principal investigator: dr hab. Paweł Parys

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

  45. LCRPlatform: new algorithms and methods for the comprehensive identification, categorization, and annotation of protein ...

    Call: OPUS 20 , Panel: ST6

    Principal investigator: dr hab. Marcin Grynberg

    Instytut Biochemii i Biofizyki Polskiej Akademii Nauk

  46. Leveraging Randomization: From Scheduling to AdWords

    Call: OPUS 20 , Panel: ST6

    Principal investigator: dr Łukasz Jeż

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  47. Modelling isotopic signatures in precipitation using particle-based cloud microphysics

    Call: SONATA 16 , Panel: ST10

    Principal investigator: dr Sylwester Arabas

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  48. Robust Formalisms for Quantitative Reasoning

    Call: OPUS 20 , Panel: ST6

    Principal investigator: dr Jakub Michaliszyn

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

  50. Towards Estimation of Information Content for Graph Structures

    Call: SONATA 16 , Panel: ST6

    Principal investigator: dr Krzysztof Turowski

    Uniwersytet Jagielloński, 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