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

279 projects found matching your search criteria :

  1. Semantics with continuations and dependent types: exploring mechanisms of natural language quantification

    Call: OPUS 12 , Panel: HS1

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

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

  2. Algebraic and topological methods in model theory

    Call: SONATA BIS 6 , Panel: ST1

    Principal investigator: prof. Krzysztof Cyprian Krupiński

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  3. Conceptual, formal and practical aspects of forensic and judicial applications of probabilistic tools.

    Call: SONATA BIS 6 , Panel: HS1

    Principal investigator: dr hab. Rafał Urbaniak

    Uniwersytet Gdański, Wydział Nauk Społecznych

  4. Spatiotemporal histories: theory and applications

    Call: HARMONIA 8 , Panel: HS1

    Principal investigator: prof. Tomasz Grzegorz Placek

    Uniwersytet Jagielloński, Wydział Filozoficzny

  5. The problem of explanation in mathematics

    Call: OPUS 11 , Panel: HS1

    Principal investigator: prof. Krzysztof Piotr Wójtowicz

    Uniwersytet Warszawski, Wydział Filozofii

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

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

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

  9. Separability problem in automata theory

    Call: SONATA 11 , Panel: ST6

    Principal investigator: dr Wojciech Karol Czerwiński

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

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

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

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

  14. Presentism and the Notion of Existence

    Call: OPUS 11 , Panel: HS1

    Principal investigator: dr hab. Jerzy Gołosz

    Uniwersytet Jagielloński, Wydział Filozoficzny

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

  16. Rozumowania hipotetyczne i okresy warunkowe

    Call: FUGA 5 , Panel: HS1

    Principal investigator: dr Maciej Dawid Sendłak

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

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

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

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

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

  21. Scientific laws in evolutionary biology

    Call: OPUS 10 , Panel: HS1

    Principal investigator: dr Krzysztof Chodasewicz

    Instytut Filozofii i Socjologii Polskiej Akademii Nauk

  22. Mechanisms of geometric cognition

    Call: OPUS 10 , Panel: HS1

    Principal investigator: dr Mateusz Leszek Hohol

    Instytut Filozofii i Socjologii Polskiej Akademii Nauk

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

  24. Metatheory of Tableau Systems

    Call: OPUS 10 , Panel: HS1

    Principal investigator: dr hab. Tomasz Dariusz Jarmużek

    Uniwersytet Mikołaja Kopernika, Wydział Humanistyczny

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

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

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

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

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

  30. Invariant equivalence relations

    Call: PRELUDIUM 9 , Panel: ST1

    Principal investigator: Tomasz Rzepecki

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

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

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

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

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

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

  37. What is a population? A Darwinian perspective

    Call: PRELUDIUM 8 , Panel: HS1

    Principal investigator: Adrian Krzysztof Stencel

    Uniwersytet Jagielloński, Wydział Filozoficzny

  38. Logics for data analysis and verification

    Call: SONATA 8 , Panel: ST6

    Principal investigator: dr Jakub Dawid Michaliszyn

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

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

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

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

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

  44. Definable topological dynamics and o-minimality

    Call: PRELUDIUM 7 , Panel: ST1

    Principal investigator: dr Grzegorz Wojciech Jagiella

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

  46. Formal truth theories

    Call: OPUS 7 , Panel: HS1

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

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

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

  48. Networks: a Multidisciplinary Approach

    Call: OPUS 7 , Panel: ST6

    Principal investigator: prof. Krzysztof Rafał Apt

    Uniwersytet Warszawski, WYDZIAŁ MATEMATYKI, INFORMATYKI I MECHANIKI

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

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

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy