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

132 projects found matching your search criteria :

  1. Machine Learning Platform for Personalized Intravitreal Anti-VEGF Therapy Using Drug-Loaded Polymeric Nanoparticles

    Call: M-ERA.NET 3 Call 2025 , Panel: ST11

    Principal investigator: dr Marcin Krzysztof Heljak

    Politechnika Warszawska

  2. Non-Fregean approach to Dunn-Epstein's content relationship logic

    Call: OPUS 29 , Panel: HS1

    Principal investigator: dr Mateusz Klonowski

    Uniwersytet Mikołaja Kopernika

  3. From Games to Algorithms: Exploring Reasoning in Description Logics

    Call: OPUS 29 , Panel: ST6

    Principal investigator: dr hab. Barbara Morawska

    Uniwersytet Opolski

  4. Everything I know: a syntactical approach to only-knowing

    Call: OPUS 29 , Panel: ST6

    Principal investigator: dr hab. Lidia Zofia Tendera

    Uniwersytet Opolski

  5. Targeting endothelial cell senescence in diabetic retinopathy with rapamycin-loaded nanoparticles

    Call: PRELUDIUM 24 , Panel: NZ7

    Principal investigator: Gabriela Burda

    Uniwersytet Jagielloński

  6. Insolubilia: The First Medieval Discussions of Logical Antinomies

    Call: OPUS 29 , Panel: HS1

    Principal investigator: dr hab. Magdalena Ewa Bieniak-Nowak

    Uniwersytet Warszawski

  7. Integrated perovskite-polariton circuits for spin logic

    Call: OPUS 28 , Panel: ST3

    Principal investigator: dr Helgi Sigurdsson

    Uniwersytet Warszawski

  8. Structural complexity measures for foundational theories

    Call: WEAVE-UNISONO , Panel: HS1

    Principal investigator: dr Mateusz Zbigniew Łełyk

    Uniwersytet Warszawski

  9. Analysis of quantitative models of computation

    Call: SONATA BIS 14 , Panel: ST6

    Principal investigator: dr hab. Lorenzo Clemente

    Uniwersytet Warszawski

  10. Decision Problems for Logics with Weak Forms of Recursion

    Call: PRELUDIUM 23 , Panel: ST6

    Principal investigator: Bartosz Jan Bednarczyk

    Uniwersytet Wrocławski

  11. Robert Halifax's Theory of the Will and Its Impact on Vienna's Voluntarism in the 15th Century

    Call: WEAVE-UNISONO , Panel: HS1

    Principal investigator: dr hab. Monika Izabela Michałowska

    Uniwersytet Medyczny w Łodzi

  12. Relation based semantics: axiomatic and tableaux proof-calculi

    Call: OPUS 26 , Panel: HS1

    Principal investigator: dr hab. Tomasz Dariusz Jarmużek

    Uniwersytet Mikołaja Kopernika, Wydział Filozofii i Nauk Społecznych

  13. Higher-order logic and absoluteness phenomena in set theory

    Call: SONATA 19 , Panel: HS1

    Principal investigator: dr Bartosz Wcisło

    Uniwersytet Gdański, Wydział Nauk Społecznych

  14. Logical and Philosophical Aspects of Pluralism and Potentialism in Set-Theory and Arithmetic

    Call: OPUS 25 , Panel: HS1

    Principal investigator: dr Michał Tomasz Godziszewski

    Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

  15. Temporal Logic and Philosophy of Cyclic Non-deterministic World

    Call: OPUS 25 , Panel: HS1

    Principal investigator: dr Marcin Łyczak

    Uniwersytet Warmińsko-Mazurski w Olsztynie, Wydział Humanistyczny

  16. Post completeness vs neighborhood completeness in classical modal logics

    Call: PRELUDIUM 22 , Panel: HS1

    Principal investigator: Krzysztof Aleksander Krawczyk

    Uniwersytet Jagielloński, Wydział Filozoficzny

  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. Representations of algebraic semantics for substructural logics

    Call: OPUS 24 (LAP) , Panel: HS1

    Principal investigator: prof. Tomasz Stanisław Kowalski

    Uniwersytet Jagielloński, Wydział Filozoficzny

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

  20. At the Intersections of Ethics, Philosophy of Nature, and Logic. Richard FitzRalph's and Richard Kilvington's Voluntaris...

    Call: OPUS 24 , Panel: HS1

    Principal investigator: dr hab. Monika Izabela Michałowska

    Uniwersytet Medyczny w Łodzi, Wydział Nauk o Zdrowiu

  21. Polynomial finite state computation

    Call: MAESTRO 14 , Panel: ST6

    Principal investigator: prof. Mikołaj Bojańczyk

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  22. Degradation processes of mechanically loaded structures in hydrogen environment

    Call: OPUS 23 , Panel: ST8

    Principal investigator: dr hab. Magdalena Maria Mieloszyk

    Instytut Maszyn Przepływowych im. Roberta Szewalskiego PAN

  23. Dynamic epistemic logic and the problem of logical omniscience

    Call: PRELUDIUM 21 , Panel: HS1

    Principal investigator: Arkadiusz Jerzy Wójcik

    Uniwersytet w Białymstoku, Wydział Filozofii i Kognitywistyki

  24. Equivalence in Substructural Logics

    Call: OPUS 23 , Panel: HS1

    Principal investigator: prof. Tomasz Stanisław Kowalski

    Uniwersytet Jagielloński, Wydział Filozoficzny

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

  26. The development of a simultaneous message-passing protocol with structured light

    Call: OPUS 23 , Panel: ST7

    Principal investigator: dr Mateusz Michał Szatkowski

    Politechnika Wrocławska

  27. Transcendental Arguments. Models and Applications

    Call: PRELUDIUM 21 , Panel: HS1

    Principal investigator: Stanisław Jędrczak

    Uniwersytet Warszawski, Wydział Filozofii

  28. Calcium Carbonate encapsulated Casein Nanocarriers loaded with plant Nutrients as Novel nanocomposite fertilizer

    Call: POLONEZ BIS 2 , Panel: NZ9

    Principal investigator: dr Aniketkumar K Gade

    Uniwersytet Mikołaja Kopernika, Wydział Nauk Biologicznych i Weterynaryjnych

  29. How to understand nonsense? The role of imagination in Ludwig Wittgenstein's Tractatus Logico-Philosophicus

    Call: SONATINA 6 , Panel: HS1

    Principal investigator: dr Krystian Bogucki

    Instytut Filozofii i Socjologii Polskiej Akademii Nauk

  30. Philosophical and metalogical foundations of logic of names: semantics, tableaumethods and axiomatization

    Call: OPUS 22 , Panel: HS1

    Principal investigator: prof. Andrzej Pietruszczak

    Uniwersytet Mikołaja Kopernika, Wydział Filozofii i Nauk Społecznych

  31. The categories of qualitativeness and individuality in logic, ontology and physics

    Call: OPUS 22 , Panel: HS1

    Principal investigator: prof. Tomasz Franciszek Bigaj

    Uniwersytet Warszawski, Wydział Filozofii

  32. Quantitative Phenomenology of Disordered Temporalities

    Call: SONATA BIS 11 , Panel: HS1

    Principal investigator: dr hab. Marcin Moskalewicz

    Uniwersytet Medyczny im. Karola Marcinkowskiego w Poznaniu

  33. RE-SENSE: Dual-loaded lipid nanoparticles to overcome the resistance of non-small cell lung cancer cells to personalized...

    Call: PRELUDIUM 20 , Panel: NZ7

    Principal investigator: Mikołaj Czajkowski

    Uniwersytet Medyczny im. Karola Marcinkowskiego w Poznaniu

  34. Relationships between algebraic, modal and many-valued quantum logics

    Call: PRELUDIUM 20 , Panel: HS1

    Principal investigator: Elżbieta Jennifer Drozdowska

    Katolicki Uniwersytet Lubelski Jana Pawła II

  35. 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 Grzegorz Kieroński

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  36. Reasoning in Biblical Exegesis: from Stephen Langton to Thomas Aquinas

    Call: SONATA 16 , Panel: HS1

    Principal investigator: dr Marcin Lech Trepczyński

    Uniwersytet Warszawski, Wydział Filozofii

  37. Mathematicized Scientific Theories and The Foundations of Applied Mathematics

    Call: OPUS 20 , Panel: HS1

    Principal investigator: dr Jeffrey John Ketland

    Uniwersytet Warszawski, Wydział Filozofii

  38. Robust Formalisms for Quantitative Reasoning

    Call: OPUS 20 , Panel: ST6

    Principal investigator: dr Jakub Dawid Michaliszyn

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  39. Logico-philosophical foundations of geometry and topology

    Call: OPUS 20 , Panel: HS1

    Principal investigator: dr hab. Rafał Gruszczyński

    Uniwersytet Mikołaja Kopernika, Wydział Filozofii i Nauk Społecznych

  40. Constraint Satisfaction Problems for infinite homogeneous structures: towards algorithms

    Call: OPUS 19 , Panel: ST6

    Principal investigator: dr hab. Michał Maria Wrona

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  41. Structural characterization of metallothionein zinc-loaded states and their role in regulation of p53 tumor supressor ac...

    Call: ETIUDA 8 , Panel: ST4

    Principal investigator: Manuel David Peris Diaz

    Uniwersytet Wrocławski, Wydział Biotechnologii

  42. Intelligent approaches for facility layout problems in management, production, and logistics

    Call: OPUS 18 , Panel: HS4

    Principal investigator: dr hab. Rafał Michalski

    Politechnika Wrocławska

  43. The role of simultaneous interpreting in mitigating ideologically-loaded political discourse

    Call: PRELUDIUM 18 , Panel: HS2

    Principal investigator: Patryk Dobkiewicz

    Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Anglistyki

  44. Logic operations in spin-polarized semi-magnetic exciton-polariton condensates

    Call: PRELUDIUM 17 , Panel: ST3

    Principal investigator: Rafał Wiesław Mirek

    Uniwersytet Warszawski, Wydział Fizyki

  45. Challenges to automated reasoning in decidable fragments of first-order logic: trees, orders and numerals

    Call: OPUS 16 , Panel: ST6

    Principal investigator: dr hab. Lidia Zofia Tendera

    Uniwersytet Opolski, Wydział Matematyki, Fizyki i Informatyki

  46. Infinity in reasoning about data and knowledge

    Call: SONATA BIS 8 , Panel: ST6

    Principal investigator: dr hab. Filip Marek Murlak

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  47. Development and study of photodynamic and Ga loaded high efficient and dual-functional antimicrobial agents

    Call: SHENG 1 , Panel: NZ7

    Principal investigator: dr hab. Mariusz Stanisław Grinholc

    Uniwersytet Gdański, Międzyuczelniany Wydział Biotechnologii Uniwersytetu Gdańskiego i Gdańskiego Uniwersytetu Medycznego

  48. Lipid nanoparticles loaded with antibacterial peptides as an alternative treatment for bacterial infections

    Call: PRELUDIUM 15 , Panel: ST5

    Principal investigator: dr Katarzyna Maria Reczyńska-Kolman

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

  49. Structure dynamics of surface of catalytic systems based on nanocrystalline gold loaded on oxide supports in chemoselect...

    Call: PRELUDIUM 15 , Panel: ST4

    Principal investigator: dr Maciej Zieliński

    Instytut Chemii Fizycznej Polskiej Akademii Nauk

  50. Machine learning and automatic theorem proving

    Call: OPUS 15 , Panel: ST6

    Principal investigator: dr hab. Henryk Michalewski

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy