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

253 projects found matching your search criteria :

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

  2. Towards a cognitively plausible compositional model for natural language quantification

    Call: OPUS 18 , Panel: HS1

    Principal investigator: dr hab. Justyna Grudzińska-Zawadowska

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

  3. Sāṁkhya Epistemology: Perception and Inference in Classical and Postclassical Sāṁkhya

    Call: OPUS 18 , Panel: HS1

    Principal investigator: dr Ołena Łucyszyna

    Akademia Humanistyczno-Ekonomiczna w Łodzi

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

  5. Continuous logic and its algebraic applications

    Call: OPUS 1 , Panel: ST1

    Principal investigator: prof. Aleksander Iwanow

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  6. Truth: Between Disquotation and Compositionality.

    Call: SONATA 15 , Panel: HS1

    Principal investigator: dr Mateusz Łełyk

    Uniwersytet Warszawski

  7. Scientific Progress in Jurisprudence

    Call: OPUS 18 , Panel: HS5

    Principal investigator: dr Mateusz Klinowski

    Uniwersytet Jagielloński, Wydział Prawa i Administracji

  8. Logics for qualitative reasoning

    Call: MAESTRO 1 , Panel: HS1

    Principal investigator: dr hab. Joanna Golińska-Pilarek

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

  9. Classification problems in topological dynamics and ergodic theory

    Call: PRELUDIUM BIS 1 , Panel: ST1

    Principal investigator: dr hab. Dominik Kwietniak

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  10. Set theoretic methods in dynamics and number theory

    Call: SONATA BIS 9 , Panel: ST1

    Principal investigator: dr hab. William Mance

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

  11. Epistemic inaccuracy and foundational issues in formal epistemology

    Call: SONATA BIS 9 , Panel: HS1

    Principal investigator: dr hab. Leszek Wroński

    Uniwersytet Jagielloński, Wydział Filozoficzny

  12. Epistemic and semantic commitments of foundational theories

    Call: MAESTRO 11 , Panel: HS1

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

    Uniwersytet Warszawski

  13. Self-subsisting structures in quantum gravity

    Call: OPUS 17 , Panel: HS1

    Principal investigator: dr Antonio Vassallo

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

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

    Call: PRELUDIUM 17 , Panel: ST3

    Principal investigator: Rafał Mirek

    Uniwersytet Warszawski, Wydział Fizyki

  15. Bernard Bolzano and cognitive science

    Call: PRELUDIUM 17 , Panel: HS1

    Principal investigator: Marlena Fila

    Uniwersytet Pedagogiczny im. Komisji Edukacji Narodowej w Krakowie, Wydział Matematyczno-Fizyczno-Techniczny

  16. Vitalism in Early Modern Medical Philosophy - Thomas Willis and Material Soul

    Call: PRELUDIUM 16 , Panel: HS1

    Principal investigator: dr Marcin Leszczyński

    Uniwersytet Łódzki, Centrum Filozofii Przyrody

  17. Infinity and infinitesimals

    Call: OPUS 16 , Panel: HS1

    Principal investigator: dr hab. Piotr Błaszczyk

    Uniwersytet Komisji Edukacji Narodowej w Krakowie

  18. Algorithmic models of prediction: formal properties and philosophical implications

    Call: OPUS 16 , Panel: HS1

    Principal investigator: dr Dariusz Kalociński

    Instytut Podstaw Informatyki Polskiej Akademii Nauk

  19. Ethnography as personal experiance. Generation ground of methodology and fieldwork practice transformation

    Call: PRELUDIUM 1 , Panel: HS3

    Principal investigator: Filip Wróblewski

    Uniwersytet Jagielloński, Wydział Historyczny

  20. Group actions and model theory

    Call: OPUS 16 , Panel: ST1

    Principal investigator: prof. Piotr Kowalski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  21. Critical Study and Edition from Latin Manuscripts Richard Kilvington's Commentary on the "Physics" of Aristotle

    Call: OPUS 16 , Panel: HS1

    Principal investigator: prof. Elżbieta Jung

    Uniwersytet Łódzki, Centrum Filozofii Przyrody

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

    Uniwersytet Opolski, Wydział Matematyki, Fizyki i Informatyki

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

  24. Geometric and Measured Group Theory 2

    Call: HARMONIA 10 , Panel: ST1

    Principal investigator: dr Damian Osajda

    Instytut Matematyczny Polskiej Akademii Nauk

  25. Semantic and epistemological aspects of ostension: from demonstrating procedures to exploitation of the context of utter...

    Call: OPUS 15 , Panel: HS1

    Principal investigator: dr hab. Tadeusz Ciecierski

    Uniwersytet Warszawski, Wydział Filozofii

  26. Machine learning and automatic theorem proving

    Call: OPUS 15 , Panel: ST6

    Principal investigator: dr hab. Henryk Michalewski

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

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

  29. Abstract methods in Banach space theory.

    Call: OPUS 15 , Panel: ST1

    Principal investigator: prof. Grzegorz Plebanek

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

    Call: OPUS 15 , Panel: ST8

    Principal investigator: dr hab. Jarosław Krzywański

    Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie, Wydział Nauk Ścisłych, Przyrodniczych i Technicznych

  31. Eksperymenty myślowe w filozofii: geneza, struktura, funkcje

    Call: ETIUDA 6 , Panel: HS1

    Principal investigator: Piotr Biłgorajski

    Katolicki Uniwersytet Lubelski Jana Pawła II, Wydział Filozofii

  32. Effective computations in predicative mathematics

    Call: SONATINA 2 , Panel: ST6

    Principal investigator: dr Michał Przybyłek

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  33. Rekonceptualizacja podstaw biologii populacyjnej; przypadek interakcji zwierząt z mikroorganizmami

    Call: ETIUDA 6 , Panel: HS1

    Principal investigator: Adrian Stencel

    Uniwersytet Jagielloński, Wydział Filozoficzny

  34. Positivity of line bundles on algebraic surfaces

    Call: SONATINA 2 , Panel: ST1

    Principal investigator: dr Łucja Farnik

    Uniwersytet Komisji Edukacji Narodowej w Krakowie

  35. Badania przyczynowości we współczesnej ekonomii

    Call: ETIUDA 6 , Panel: HS1

    Principal investigator: Mariusz Maziarz

    Uniwersytet Ekonomiczny we Wrocławiu, Wydział Ekonomii i Finansów

  36. Solving the paradoxes of naive validity and informal provability through non-deterministic and truth-maker semantics

    Call: SONATINA 2 , Panel: HS1

    Principal investigator: Paweł Pawłowski

    Uniwersytet Gdański, Wydział Nauk Społecznych

  37. Deductive systems and decidability problem for hybrid logics

    Call: PRELUDIUM 1 , Panel: HS1

    Principal investigator: dr Michał Zawidzki

    Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

  38. Methodological renewal of dogamtic theology.

    Call: OPUS 14 , Panel: HS1

    Principal investigator: dr hab. Robert Woźniak

    Uniwersytet Papieski Jana Pawła II w Krakowie, Wydział Teologiczny

  39. Atom. Substance. System. Investigations into Topological Ontology

    Call: OPUS 14 , Panel: HS1

    Principal investigator: dr hab. Janusz Kaczmarek

    Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

  40. Provability, computation and combinatorics at the lower and intermediate levels of the Gödel hierarchy

    Call: OPUS 14 , Panel: ST1

    Principal investigator: dr hab. Leszek Kołodziejczyk

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  41. A Philosophical Analysis of Fitness Commensurability. Case study: Evolutionary Transitions in Individuality

    Call: OPUS 14 , Panel: HS1

    Principal investigator: Adrian Stencel

    Uniwersytet Jagielloński, Wydział Filozoficzny

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

  43. Towards theoretical integration of naturalised phenomenology and mechanistic explanations in cognitive sciences

    Call: OPUS 14 , Panel: HS1

    Principal investigator: dr hab. Marek Pokropski

    Uniwersytet Warszawski, Wydział Filozofii

  44. Truth theories and their strength

    Call: OPUS 14 , Panel: HS1

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

    Uniwersytet Warszawski, Wydział Filozofii

  45. The pragmatic and epistemic value of information. Decision-theoretic, probabilistic, and empirical aspects

    Call: SONATA 13 , Panel: HS1

    Principal investigator: dr Patryk Dziurosz-Serafinowicz

    Uniwersytet Gdański, Wydział Nauk Społecznych

  46. Deontic logic for autonomous vehicles

    Call: HARMONIA 9 , Panel: HS1

    Principal investigator: prof. Piotr Kulicki

    Katolicki Uniwersytet Lubelski Jana Pawła II, Wydział Filozofii

  47. Philosophical and formal analysis of qualitative spatial logics

    Call: SONATA 13 , Panel: HS1

    Principal investigator: dr Adam Trybus

    Uniwersytet Zielonogórski, Wydział Humanistyczny

  48. Distributed deductive systems for classical and non-classical logics. Proof theory supported with computational methods

    Call: SONATA BIS 7 , Panel: HS1

    Principal investigator: dr hab. Dorota Leszczyńska-Jasion

    Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Psychologii i Kognitywistyki

  49. Thought experiments in philosophy: orgin, structure, functions

    Call: PRELUDIUM 13 , Panel: HS1

    Principal investigator: Piotr Biłgorajski

    Towarzystwo Naukowe Katolickiego Uniwersytetu Lubelskiego Jana Pawła II

  50. Sequent- and tableau-based proof systems for nonclassical logics

    Call: OPUS 13 , Panel: HS1

    Principal investigator: prof. Andrzej Indrzejczak

    Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy