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

287 projects found matching your search criteria :

  1. The development and synthesis of modern methods of uncertainty modeling for the solution of multiple-criteria decision m...

    Call: OPUS 6 , Panel: ST6

    Principal investigator: prof. Pavel Sevastsyanau

    Politechnika Częstochowska, Wydział Inżynierii Mechanicznej i Informatyki

  2. Branching time and the semantics of future contingents

    Call: PRELUDIUM 6 , Panel: HS1

    Principal investigator: dr Jacek Wawer

    Uniwersytet Jagielloński, Wydział Filozoficzny

  3. Set theoretic methods in topology and in Banach space theory.

    Call: OPUS 6 , Panel: ST1

    Principal investigator: prof. Grzegorz Plebanek

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  4. Reception of French conventionalism in Polish philosophical tradition

    Call: OPUS 6 , Panel: HS1

    Principal investigator: dr hab. Krzysztof Szlachcic

    Uniwersytet Wrocławski, Wydział Nauk Społecznych

  5. New hybrid materials based on wide band gap semiconductors modified with carbon nanostructures

    Call: SONATA 6 , Panel: ST5

    Principal investigator: dr Agnieszka Podborska

    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Akademickie Centrum Materiałów i Nanotechnologii

  6. Structures of Dialogue in Debate and Financial Discourse: Modelling an 'Ore' for Argument Mining (Struktury dialogowe w ...

    Call: ETIUDA 2 , Panel: HS1

    Principal investigator: Olena Yaskorska

    Instytut Filozofii i Socjologii PAN

  7. Applications of mereology in systems of point-free geometry

    Call: OPUS 7 , Panel: HS1

    Principal investigator: dr Rafał Gruszczyński

    Uniwersytet Mikołaja Kopernika, Wydział Humanistyczny

  8. Formal theories of truth and nonstandard models of arithmetic

    Call: PRELUDIUM 7 , Panel: HS1

    Principal investigator: Michał Godziszewski

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

  9. Epistemic and semantic commitments of foundational theories

    Call: MAESTRO 11 , Panel: HS1

    Principal investigator: dr hab. Cezary Cieśliński

    Uniwersytet Warszawski

  10. Epistemic inaccuracy and foundational issues in formal epistemology

    Call: SONATA BIS 9 , Panel: HS1

    Principal investigator: dr hab. Leszek Jerzy Wroński

    Uniwersytet Jagielloński, Wydział Filozoficzny

  11. Set theoretic methods in dynamics and number theory

    Call: SONATA BIS 9 , Panel: ST1

    Principal investigator: dr hab. William Andrew Mance

    Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Matematyki i Informatyki

  12. Scientific Progress in Jurisprudence

    Call: OPUS 18 , Panel: HS5

    Principal investigator: dr Mateusz Michał Klinowski

    Uniwersytet Jagielloński, Wydział Prawa i Administracji

  13. Truth: Between Disquotation and Compositionality.

    Call: SONATA 15 , Panel: HS1

    Principal investigator: dr Mateusz Zbigniew Łełyk

    Uniwersytet Warszawski

  14. Set theoretic methods in analytic topology: from pointwise convergence and Banach spaces to operator algebras

    Call: OPUS 19 , Panel: ST1

    Principal investigator: prof. Witold Michał Marciszewski

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  15. Critical analysis of existing systems of deontic action logic, their comparison, study of their cognitive and practical ...

    Call: SONATA 1 , Panel: HS1

    Principal investigator: dr Robert Trypuz

    TOWARZYSTWO NAUKOWE KATOLICKIEGO UNIWERSYTETU LUBELSKIEGO JANA PAWŁA II

  16. Applications of infinitary combinatorics and analytic topology in Banach spaces and related structures.

    Call: OPUS 1 , Panel: ST1

    Principal investigator: prof. Piotr Koszmider

    Instytut Matematyczny Polskiej Akademii Nauk

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

  18. The empirical sources of mathematical knowledge

    Call: OPUS 1 , Panel: HS1

    Principal investigator: prof. Krzysztof Wójtowicz

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

  19. Logic of language experience

    Call: OPUS 2 , Panel: HS1

    Principal investigator: dr Konrad Zdanowski

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

  20. Kazimierz Ajdukiewicz - u źródeł systematycznej aksjologii dynamiki wiedzy naukowej

    Call: FUGA 1 , Panel: HS1

    Principal investigator: dr Katarzyna Gan-Krzywoszyńska

    Uniwersytet Jagielloński, Wydział Filozoficzny

  21. Realization of logic gates in chiral nematic liquid crystals in a wedge-shaped cell

    Call: SONATA 3 , Panel: ST7

    Principal investigator: dr Urszula Laudyn

    Politechnika Warszawska, Wydział Fizyki

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

  23. Freedom and independence in algebra and topology

    Call: SONATA 4 , Panel: ST1

    Principal investigator: dr hab. Szymon Głąb

    Politechnika Łódzka, Wydział Fizyki Technicznej, Informatyki i Matematyki Stosowanej

  24. Behavioral sciences in law - applications, philosophical implications, controversies.

    Call: PRELUDIUM 4 , Panel: HS1

    Principal investigator: Magdalena Małecka

    Instytut Filozofii i Socjologii PAN

  25. Network modelling of multispecies systems. Ontological and epistemological implications

    Call: OPUS 18 , Panel: HS1

    Principal investigator: dr Javier Suárez

    Uniwersytet Jagielloński, Wydział Filozoficzny

  26. Theory Construction and the Empirical Social and Behavioral Sciences

    Call: OPUS 18 , Panel: HS1

    Principal investigator: dr hab. Frank Zenker

    Politechnika Warszawska, Wydział Administracji i Nauk Społecznych

  27. Is semantic structuralism necessarily set-theoretic structuralism? Methods of representation in Steven French's ontic st...

    Call: ETIUDA 8 , Panel: HS1

    Principal investigator: dr Agnieszka Maria Proszewska

    Uniwersytet Jagielloński, Wydział Filozoficzny

  28. Mathematicized Scientific Theories and The Foundations of Applied Mathematics

    Call: OPUS 20 , Panel: HS1

    Principal investigator: dr Jeffrey John Ketland

    Uniwersytet Warszawski, Wydział Filozofii

  29. Reinterpreting anaphora: towards ambiguity-first approach

    Call: PRELUDIUM 20 , Panel: HS1

    Principal investigator: Antonina Weronika Jamrozik

    Uniwersytet Warszawski, Wydział Filozofii

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

  31. 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 w Toruniu, Wydział Filozofii i Nauk Społecznych

  32. Epistemic inaccuracy -- what's next?

    Call: OPUS 24 , Panel: HS1

    Principal investigator: dr hab. Leszek Wroński

    Uniwersytet Jagielloński, Wydział Filozoficzny

  33. Philosophical Analysis of the Black Box Problem: Scientific Understanding and Explainable Artificial Intelligence

    Call: PRELUDIUM 22 , Panel: HS1

    Principal investigator: Marcin Rabiza

    Instytut Filozofii i Socjologii Polskiej Akademii Nauk, Szkoła Nauk Społecznych

  34. Philosophy of Science for the Replication Crisis

    Call: OPUS 25 , Panel: HS1

    Principal investigator: dr Mariusz Maziarz

    Uniwersytet Jagielloński, Wydział Filozoficzny

  35. Metaphilosophy of Legal Interpretation

    Call: OPUS 25 , Panel: HS5

    Principal investigator: dr hab. Adam Dyrda

    Uniwersytet Jagielloński, Jagiellońskie Centrum Badawcze "Prawo – Język – Filozofia"

  36. Computable structure theory, and philosophy of mathematical structuralism

    Call: OPUS 25 , Panel: HS1

    Principal investigator: dr Dariusz Kalociński

    Instytut Podstaw Informatyki Polskiej Akademii Nauk

  37. The problem of explanation in mathematics

    Call: OPUS 11 , Panel: HS1

    Principal investigator: prof. Krzysztof Wójtowicz

    Uniwersytet Warszawski, Wydział Filozofii

  38. Algebraic and topological methods in model theory

    Call: SONATA BIS 6 , Panel: ST1

    Principal investigator: prof. Krzysztof Krupiński

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  39. Hybridizing Fragments of Halpern-Shoham Logic

    Call: PRELUDIUM 12 , Panel: HS1

    Principal investigator: Przemysław Wałęga

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

  40. Reminiscences on Jaśkowski - logico-philosophical investigations inspired by works on discussive logic

    Call: OPUS 12 , Panel: HS1

    Principal investigator: dr hab. Marek Nasieniewski

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

  41. Niestandardowe modele arytmetyki i formalne teorie prawdy

    Call: ETIUDA 5 , Panel: HS1

    Principal investigator: Michał Godziszewski

    Uniwersytet Warszawski, Wydział Filozofii

  42. Philosophical and formal analysis of qualitative spatial logics

    Call: SONATA 13 , Panel: HS1

    Principal investigator: dr Adam Trybus

    Uniwersytet Zielonogórski, Wydział Humanistyczny

  43. Truth theories and their strength

    Call: OPUS 14 , Panel: HS1

    Principal investigator: dr hab. Cezary Cieśliński

    Uniwersytet Warszawski, Wydział Filozofii

  44. Process-aware Analytics Support based on Conceptual Models for Event Logs

    Call: UNISONO , Panel: ST6

    Principal investigator: prof. Grzegorz Nalepa

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

  45. Abstract methods in Banach space theory.

    Call: OPUS 15 , Panel: ST1

    Principal investigator: prof. Grzegorz Plebanek

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  46. Comparative analysis of structural representation methods. Case study: Ontic Structural Realism

    Call: PRELUDIUM 15 , Panel: HS1

    Principal investigator: Agnieszka Proszewska

    Uniwersytet Jagielloński, Wydział Filozoficzny

  47. Infinity in reasoning about data and knowledge

    Call: SONATA BIS 8 , Panel: ST6

    Principal investigator: dr hab. Filip Murlak

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  48. Group actions and model theory

    Call: OPUS 16 , Panel: ST1

    Principal investigator: prof. Piotr Kowalski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  49. Self-subsisting structures in quantum gravity

    Call: OPUS 17 , Panel: HS1

    Principal investigator: dr Antonio Vassallo

    Politechnika Warszawska, Wydział Administracji i Nauk Społecznych

  50. Selected SMT-based model checking methods

    Call: PRELUDIUM 8 , Panel: ST6

    Principal investigator: Agnieszka Zbrzezny

    Akademia im. Jana Długosza w Częstochowie, Wydział Matematyczno-Przyrodniczy

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy