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

275 projects found matching your search criteria :

  1. The problem of explanation in mathematics

    Call: OPUS 11 , Panel: HS1

    Principal investigator: prof. Krzysztof Piotr Wójtowicz

    Uniwersytet Warszawski, Wydział Filozofii

  2. Model-theoretic and algebraic properties of separably closed G-fields.

    Call: PRELUDIUM 11 , Panel: ST1

    Principal investigator: Daniel Maksymilian Hoffmann

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  3. Symbolic computations on first-order definable objects

    Call: OPUS 11 , Panel: ST6

    Principal investigator: prof. Sławomir Grzegorz Lasota

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  4. Hybrid materials on the verge of fuzzy logic systems and neuromorphic computing devices

    Call: PRELUDIUM 11 , Panel: ST3

    Principal investigator: Kacper Krzysztof Pilarczyk

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

  5. Separability problem in automata theory

    Call: SONATA 11 , Panel: ST6

    Principal investigator: dr Wojciech Karol Czerwiński

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  6. Phenomenological mechanisms of prefabricating mental spaces

    Call: OPUS 11 , Panel: HS1

    Principal investigator: dr hab. Wojciech Sławomir Krysztofiak

    Uniwersytet Szczeciński, Instytut Filozofii i Kognitywistyki

  7. A quest for new computer logics

    Call: OPUS 11 , Panel: ST6

    Principal investigator: dr hab. Emanuel Grzegorz Kieroński

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  8. Quantitative aspects of computational complexity in lambda calculus

    Call: PRELUDIUM 11 , Panel: ST6

    Principal investigator: dr Maciej Maria Bendkowski

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  9. Definition and analysis of absolute structures with regards to the problem of background independence of physical theori...

    Call: PRELUDIUM 11 , Panel: HS1

    Principal investigator: Kamil Łacina

    Uniwersytet Jagielloński, Wydział Filozoficzny

  10. Presentism and the Notion of Existence

    Call: OPUS 11 , Panel: HS1

    Principal investigator: dr hab. Jerzy Gołosz

    Uniwersytet Jagielloński, Wydział Filozoficzny

  11. Teoria modeli z działaniem grupy skończonej

    Call: ETIUDA 4 , Panel: ST1

    Principal investigator: Daniel Maksymilian Hoffmann

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  12. Rozumowania hipotetyczne i okresy warunkowe

    Call: FUGA 5 , Panel: HS1

    Principal investigator: dr Maciej Dawid Sendłak

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

  13. Model theory and topological dynamics

    Call: OPUS 10 , Panel: ST1

    Principal investigator: dr hab. Krzysztof Cyprian Krupiński

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  14. Causal investigations in the current economic research

    Call: PRELUDIUM 10 , Panel: HS1

    Principal investigator: Mariusz Łukasz Maziarz

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

  15. Theories without the tree property of the first kind

    Call: SONATA 10 , Panel: ST1

    Principal investigator: dr Jan Dobrowolski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  16. Fuzzy Implications and Their Impact on Various Methods Used in Intelligent Systems.

    Call: OPUS 10 , Panel: ST6

    Principal investigator: dr hab. Michał Krzysztof Baczyński

    UNIWERSYTET ŚLĄSKI, Wydział Nauk Ścisłych i Technicznych

  17. Scientific laws in evolutionary biology

    Call: OPUS 10 , Panel: HS1

    Principal investigator: dr Krzysztof Chodasewicz

    Instytut Filozofii i Socjologii Polskiej Akademii Nauk

  18. Mechanisms of geometric cognition

    Call: OPUS 10 , Panel: HS1

    Principal investigator: dr Mateusz Leszek Hohol

    Instytut Filozofii i Socjologii Polskiej Akademii Nauk

  19. Tableau systems of relating logics motivated by philosophical interpretations of natural language connectives

    Call: PRELUDIUM 10 , Panel: HS1

    Principal investigator: Mateusz Klonowski

    Uniwersytet Mikołaja Kopernika, Wydział Humanistyczny

  20. Metatheory of Tableau Systems

    Call: OPUS 10 , Panel: HS1

    Principal investigator: dr hab. Tomasz Dariusz Jarmużek

    Uniwersytet Mikołaja Kopernika, Wydział Humanistyczny

  21. Philosophy from Methodological Point of View. Condition and Prospect of Philosophical Disciplines in View of the Paradig...

    Call: SONATA BIS 5 , Panel: HS1

    Principal investigator: prof. Anna Magdalena Brożek

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

  22. Finding Applications for Logic with Partial Functions

    Call: OPUS 9 , Panel: ST6

    Principal investigator: dr hab. Jean Marie de Nivelle

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  23. Jerzy Neyman's Conception of Scientific Inference

    Call: PRELUDIUM 9 , Panel: HS1

    Principal investigator: Adam Paweł Kubiak

    TOWARZYSTWO NAUKOWE KATOLICKIEGO UNIWERSYTETU LUBELSKIEGO JANA PAWŁA II

  24. Extremal axioms: logical, mathematical and cognitive aspects

    Call: OPUS 9 , Panel: HS1

    Principal investigator: prof. Jerzy Pogonowski

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

  25. Epistemological aspects of the application of content implication as instrument of formalization of the expressions of n...

    Call: OPUS 9 , Panel: HS1

    Principal investigator: dr hab. Piotr Łukowski

    Uniwersytet Łódzki, Wydział Nauk o Wychowaniu

  26. Invariant equivalence relations

    Call: PRELUDIUM 9 , Panel: ST1

    Principal investigator: Tomasz Rzepecki

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  27. A unified logical framework for reasoning about deontic properties of actions and states of affairs

    Call: OPUS 9 , Panel: HS1

    Principal investigator: dr Robert Trypuz

    TOWARZYSTWO NAUKOWE KATOLICKIEGO UNIWERSYTETU LUBELSKIEGO JANA PAWŁA II

  28. Methodological principles of inferences in mixed-methods research

    Call: OPUS 8 , Panel: HS1

    Principal investigator: dr hab. Paweł Stanisław Kawalec

    TOWARZYSTWO NAUKOWE KATOLICKIEGO UNIWERSYTETU LUBELSKIEGO JANA PAWŁA II

  29. A proposed model of the upward movement voids to the surface, causing discontinuous deformations

    Call: OPUS 8 , Panel: ST10

    Principal investigator: dr Agnieszka Malinowska

    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Geodezji Górniczej i Inżynierii Środowiska

  30. Compression, logic, formal langauges: new approaches unifying different areas.

    Call: OPUS 8 , Panel: ST6

    Principal investigator: dr hab. Artur Jeż

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  31. New Perspectives on Aristotle's "Prior and Posterior Analytics". A new Polish Translation of the "Analytics" with Introd...

    Call: OPUS 8 , Panel: HS1

    Principal investigator: prof. Marian Wesoły

    Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Filozoficzny

  32. Selected SMT-based model checking methods

    Call: PRELUDIUM 8 , Panel: ST6

    Principal investigator: Agnieszka Małgorzata Zbrzezny

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

  33. What is a population? A Darwinian perspective

    Call: PRELUDIUM 8 , Panel: HS1

    Principal investigator: Adrian Krzysztof Stencel

    Uniwersytet Jagielloński, Wydział Filozoficzny

  34. Logics for data analysis and verification

    Call: SONATA 8 , Panel: ST6

    Principal investigator: dr Jakub Dawid Michaliszyn

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  35. Permissions, Information and Institutional Dynamics, Obligations, and Rights

    Call: BEETHOVEN 1 , Panel: HS1

    Principal investigator: dr hab. Piotr Wojciech Kulicki

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

  36. Numerical and structural invariants in algebra, logic and constraint satisfaction problems

    Call: MAESTRO 6 , Panel: ST6

    Principal investigator: prof. Paweł Maria Idziak

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  37. Cognitive Science in Search of Unity: Unification and Integration of Interdisciplinary Research

    Call: SONATA BIS 4 , Panel: HS1

    Principal investigator: dr hab. Marcin Tomasz Miłkowski

    Instytut Filozofii i Socjologii Polskiej Akademii Nauk

  38. Formal theories of truth and nonstandard models of arithmetic

    Call: PRELUDIUM 7 , Panel: HS1

    Principal investigator: Michał Tomasz Godziszewski

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

  39. Groups definable in valued fields, definable Kneser-Tits problem and metastable theories

    Call: SONATA 7 , Panel: ST1

    Principal investigator: dr Jakub Gismatullin

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  40. Definable topological dynamics and o-minimality

    Call: PRELUDIUM 7 , Panel: ST1

    Principal investigator: dr Grzegorz Wojciech Jagiella

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

  42. Formal truth theories

    Call: OPUS 7 , Panel: HS1

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

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

  43. Development of the rating methodology of real estate markets.

    Call: OPUS 7 , Panel: HS4

    Principal investigator: dr hab. Małgorzata Beata Renigier-Biłozor

    Uniwersytet Warmińsko-Mazurski w Olsztynie, Wydział Geodezji, Inżynierii Przestrzennej i Budownictwa

  44. Networks: a Multidisciplinary Approach

    Call: OPUS 7 , Panel: ST6

    Principal investigator: prof. Krzysztof Rafał Apt

    Uniwersytet Warszawski, WYDZIAŁ MATEMATYKI, INFORMATYKI I MECHANIKI

  45. Poznawanie jako wewnętrzne modelowanie. Rola pojęcia modeli i symulacji wewnętrznych w filozoficznych i kognitywistyczny...

    Call: FUGA 3 , Panel: HS1

    Principal investigator: dr Paweł Gładziejewski

    Instytut Filozofii i Socjologii Polskiej Akademii Nauk

  46. 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 Polskiej Akademii Nauk

  47. Methodological framework for the ivestigation of the role of responsibility and other values in socially oriented design...

    Call: PRELUDIUM 6 , Panel: HS1

    Principal investigator: dr Rafał Robert Wodzisz

    TOWARZYSTWO NAUKOWE KATOLICKIEGO UNIWERSYTETU LUBELSKIEGO JANA PAWŁA II

  48. Reception of French conventionalism in Polish philosophical tradition

    Call: OPUS 6 , Panel: HS1

    Principal investigator: dr hab. Krzysztof Henryk Szlachcic

    Uniwersytet Wrocławski, Wydział Nauk Społecznych

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

  50. Branching time and the semantics of future contingents

    Call: PRELUDIUM 6 , Panel: HS1

    Principal investigator: dr Jacek Marcin Wawer

    Uniwersytet Jagielloński, Wydział Filozoficzny

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy