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

130 projects found matching your search criteria :

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

    Call: OPUS 29 , Panel: HS1

    Principal investigator: dr Mateusz Klonowski

    Uniwersytet Mikołaja Kopernika

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

    Call: OPUS 29 , Panel: ST6

    Principal investigator: dr hab. Barbara Morawska

    Uniwersytet Opolski

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

    Call: OPUS 29 , Panel: ST6

    Principal investigator: dr hab. Lidia Zofia Tendera

    Uniwersytet Opolski

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

    Call: PRELUDIUM 24 , Panel: NZ7

    Principal investigator: Gabriela Burda

    Uniwersytet Jagielloński

  5. Insolubilia: The First Medieval Discussions of Logical Antinomies

    Call: OPUS 29 , Panel: HS1

    Principal investigator: dr hab. Magdalena Ewa Bieniak-Nowak

    Uniwersytet Warszawski

  6. Integrated perovskite-polariton circuits for spin logic

    Call: OPUS 28 , Panel: ST3

    Principal investigator: dr Helgi Sigurdsson

    Uniwersytet Warszawski

  7. Structural complexity measures for foundational theories

    Call: WEAVE-UNISONO , Panel: HS1

    Principal investigator: dr Mateusz Zbigniew Łełyk

    Uniwersytet Warszawski

  8. Analysis of quantitative models of computation

    Call: SONATA BIS 14 , Panel: ST6

    Principal investigator: dr hab. Lorenzo Clemente

    Uniwersytet Warszawski

  9. Decision Problems for Logics with Weak Forms of Recursion

    Call: PRELUDIUM 23 , Panel: ST6

    Principal investigator: Bartosz Jan Bednarczyk

    Uniwersytet Wrocławski

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

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

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

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

  14. Post completeness vs neighborhood completeness in classical modal logics

    Call: PRELUDIUM 22 , Panel: HS1

    Principal investigator: Krzysztof Aleksander Krawczyk

    Uniwersytet Jagielloński, Wydział Filozoficzny

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

  16. Representations of algebraic semantics for substructural logics

    Call: OPUS 24 (LAP) , Panel: HS1

    Principal investigator: dr hab. Tomasz Stanisław Kowalski

    Uniwersytet Jagielloński, Wydział Filozoficzny

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

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

  19. Polynomial finite state computation

    Call: MAESTRO 14 , Panel: ST6

    Principal investigator: prof. Mikołaj Bojańczyk

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

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

  22. Equivalence in Substructural Logics

    Call: OPUS 23 , Panel: HS1

    Principal investigator: dr hab. Tomasz Stanisław Kowalski

    Uniwersytet Jagielloński, Wydział Filozoficzny

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

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

  25. Transcendental Arguments. Models and Applications

    Call: PRELUDIUM 21 , Panel: HS1

    Principal investigator: Stanisław Jędrczak

    Uniwersytet Warszawski, Wydział Filozofii

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

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

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

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

  30. Quantitative Phenomenology of Disordered Temporalities

    Call: SONATA BIS 11 , Panel: HS1

    Principal investigator: dr hab. Marcin Moskalewicz

    Uniwersytet Medyczny im. Karola Marcinkowskiego w Poznaniu

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

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

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

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

  35. Mathematicized Scientific Theories and The Foundations of Applied Mathematics

    Call: OPUS 20 , Panel: HS1

    Principal investigator: dr Jeffrey John Ketland

    Uniwersytet Warszawski, Wydział Filozofii

  36. Robust Formalisms for Quantitative Reasoning

    Call: OPUS 20 , Panel: ST6

    Principal investigator: dr Jakub Dawid Michaliszyn

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

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

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

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

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

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

  43. 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ł Nauk Społecznych, Wydział Matematyki, Fizyki i Informatyki

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

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

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

    Call: PRELUDIUM 15 , Panel: ST5

    Principal investigator: Katarzyna Maria Reczyńska

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

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

  48. Machine learning and automatic theorem proving

    Call: OPUS 15 , Panel: ST6

    Principal investigator: dr hab. Henryk Michalewski

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  49. Model-theoretic methods in logic and the foundations of mathematics and science

    Call: OPUS 15 , Panel: HS1

    Principal investigator: dr Jeffrey Ketland

    Uniwersytet Warszawski, Wydział Filozofii

  50. Research on sorption processes intensification methods in modified constructions of adsorbent beds

    Call: OPUS 15 , Panel: ST8

    Principal investigator: prof. Jarosław Marek Krzywański

    Akademia im. Jana Długosza w Częstochowie, Wydział Nauk Ścisłych, Przyrodniczych i Technicznych

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy