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

277 projects found matching your search criteria :

  1. Probabilism of Rudolf Carnap.

    Call: PRELUDIUM 5 , Panel: HS1

    Principal investigator: Paweł Pruski

    Uniwersytet Jagielloński, Wydział Filozoficzny

  2. Goedel's ontological argument: history, modifications. extensions, and controversies

    Call: HARMONIA 4 , Panel: HS1

    Principal investigator: dr hab. Kordula Świętorzecka

    Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie, Wydział Filozofii Chrześcijańskiej

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

    Call: PRELUDIUM 4 , Panel: HS1

    Principal investigator: Magdalena Małecka

    Instytut Filozofii i Socjologii PAN

  4. DISQUSS: Diversified Suggestions for Queries on Semi-structured Data Sets

    Call: OPUS 4 , Panel: ST6

    Principal investigator: dr Marcin Sydow

    Instytut Podstaw Informatyki PAN

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

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

  7. Interactions between model theory, topology and algebra

    Call: OPUS 4 , Panel: ST1

    Principal investigator: dr hab. Krzysztof Krupiński

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  8. Topological properties of function spaces

    Call: PRELUDIUM 4 , Panel: ST1

    Principal investigator: dr Mikołaj Krupski

    Instytut Matematyczny PAN

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

  10. Analysis of logical and mathematical assumptions in Piero della Francesca's treatises

    Call: OPUS 4 , Panel: HS1

    Principal investigator: dr hab. Ryszard Mirek

    Uniwersytet Pedagogiczny im. Komisji Edukacji Narodowej w Krakowie, Wydział Humanistyczny

  11. Empirical foundations and fringes of seventeenth-century philosophy

    Call: OPUS 4 , Panel: HS1

    Principal investigator: prof. Adam Grzeliński

    Uniwersytet Mikołaja Kopernika, Wydział Humanistyczny

  12. Existence of God. Research concerning ontological proofs.

    Call: OPUS 4 , Panel: HS1

    Principal investigator: dr hab. Mirosław Szatkowski

    Instytut Filozofii i Socjologii PAN

  13. Automatisation of constructive logic

    Call: OPUS 4 , Panel: ST6

    Principal investigator: dr hab. Aleksy Schubert

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  14. parameters of finite models

    Call: SONATA 4 , Panel: ST6

    Principal investigator: dr Eryk Kopczyński

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  15. Combinatorial and descriptive properties of ideals on countable sets.

    Call: PRELUDIUM 4 , Panel: ST1

    Principal investigator: dr Adam Kwela

    Instytut Matematyczny PAN

  16. Indefinites. Two-dimensional system with types

    Call: OPUS 4 , Panel: HS1

    Principal investigator: dr Justyna Grudzińska-Zawadowska

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

  17. Ontology of metaphysics

    Call: OPUS 4 , Panel: HS1

    Principal investigator: dr hab. Paweł Garbacz

    TOWARZYSTWO NAUKOWE KATOLICKIEGO UNIWERSYTETU LUBELSKIEGO JANA PAWŁA II, Towarzystwo Naukowe Katolickiego Uniwersytetu Lubelskiego Jana Pawla II

  18. Topological structure of function spaces

    Call: OPUS 4 , Panel: ST1

    Principal investigator: prof. Witold Marciszewski

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  19. Literature and Science: dialogue, beyond the metaphors, between the two cultures in Italian contemporary literature

    Call: SONATA 4 , Panel: HS2

    Principal investigator: dr Stefano Redaelli

    Uniwersytet Warszawski, Wydział "Artes Liberales"

  20. New Logical-Mathematical Methods in Applied Sciences and Modelling of Decision Making

    Call: OPUS 4 , Panel: HS1

    Principal investigator: prof. Jan Hertrich-Woleński

    Wyższa Szkoła Informatyki i Zarządzania w Rzeszowie, Wydział Administracji i Nauk Społecznych

  21. Philological analysis of Ludwik Fleck's philosophical works and it's translations in Polish, English and German

    Call: HARMONIA 3 , Panel: HS2

    Principal investigator: dr Paweł Jarnicki

    Projekt Nauka. Fundacja na rzecz promocji nauki polskiej

  22. Re-introducing the Early Byzantine Metaphysics: Leontius of Byzantium, Maximus the Confessor, Anastasius Sinaita, Theodo...

    Call: OPUS 3 , Panel: HS1

    Principal investigator: dr hab. Anna Zhyrkova

    Akademia Ignatianum w Krakowie, Wydział Filozoficzny

  23. Analytic equivalence relations and Polish group actions

    Call: SONATA 3 , Panel: ST1

    Principal investigator: dr Marcin Sabok

    Instytut Matematyczny PAN

  24. Positional logic - metatheory and applications

    Call: SONATA BIS 1 , Panel: HS1

    Principal investigator: dr hab. Marcin Tkaczyk

    TOWARZYSTWO NAUKOWE KATOLICKIEGO UNIWERSYTETU LUBELSKIEGO JANA PAWŁA II

  25. Geometry of contractible low-dimensional affine varieties.

    Call: SONATA 3 , Panel: ST1

    Principal investigator: dr Karol Palka

    Instytut Matematyczny PAN

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

  27. Economy and literature. Relationships between logic of the economy and literary mimesis.

    Call: PRELUDIUM 3 , Panel: HS2

    Principal investigator: Michał Sowiński

    Uniwersytet Jagielloński, Wydział Polonistyki

  28. Hierarchy-type Problems for Automata on Infinite Words and Trees

    Call: PRELUDIUM 3 , Panel: ST6

    Principal investigator: dr Michał Skrzypczak

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  29. Small Polish structures

    Call: PRELUDIUM 3 , Panel: ST1

    Principal investigator: dr Jan Dobrowolski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  30. The methods of formalization and criteria for the rationality of reasoning

    Call: OPUS 3 , Panel: HS1

    Principal investigator: dr hab. Anna Wójtowicz

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

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

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

  33. Basic literature of the discipline and the state of contemporary political science. Political science, Politische Wissen...

    Call: OPUS 3 , Panel: HS5

    Principal investigator: dr hab. Janusz Wiśniewski

    Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Nauk Politycznych i Dziennikarstwa

  34. Modeling cooperation of agents by multivalued logics and parallel processing

    Call: OPUS 3 , Panel: ST6

    Principal investigator: prof. Adam Borkowski

    Instytut Podstawowych Problemów Techniki PAN

  35. Methods of experimental philosophy - analysis, evaluation and recommendations

    Call: PRELUDIUM 3 , Panel: HS1

    Principal investigator: dr Adrian Ziółkowski

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

  36. Log-linear models in categorical data analysis

    Call: PRELUDIUM 3 , Panel: HS4

    Principal investigator: dr Justyna Brzezińska

    Uniwersytet Ekonomiczny w Katowicach, Wydział Zarządzania

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

  38. Erotetic logic in the modeling of ultimate and distributed question processing. Theoretical foundations and applications

    Call: MAESTRO 2 , Panel: HS1

    Principal investigator: prof. Andrzej Wiśniewski

    Uniwersytet im. Adama Mickiewicza, Wydział Nauk Społecznych

  39. Naturalization of law

    Call: MAESTRO 2 , Panel: HS5

    Principal investigator: prof. Jerzy Stelmach

    UNIWERSYTET JAGIELLOŃSKI

  40. Logic of language experience

    Call: OPUS 2 , Panel: HS1

    Principal investigator: dr Konrad Zdanowski

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

  41. Elaboration of inverse algorithm for size distribution reconstruction of nucleant particles for heterogeneous nucleation...

    Call: OPUS 2 , Panel: ST8

    Principal investigator: dr hab. Janusz Lelito

    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Odlewnictwa

  42. Many-valued logic of Jan Łukasiewicz as a basis for a new interpretation of quantum mechanics

    Call: OPUS 2 , Panel: HS1

    Principal investigator: dr hab. Jarosław Pykacz

    Uniwersytet Gdański, Wydział Matematyki, Fizyki i Informatyki

  43. Composite materials for molecular optoelectronics

    Call: OPUS 2 , Panel: ST5

    Principal investigator: prof. Konrad Szaciłowski

    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Metali Nieżelaznych

  44. Flexible algorithms for facility layout problems in production management and logistics

    Call: OPUS 2 , Panel: HS4

    Principal investigator: dr hab. Jerzy Grobelny

    Politechnika Wrocławska, Wydział Informatyki i Zarządzania

  45. Meta-analyses in experimental philosophy

    Call: OPUS 26 , Panel: HS1

    Principal investigator: dr Bartosz Maćkiewicz

    Uniwersytet Warszawski, Wydział Filozofii

  46. Relation based semantics: axiomatic and tableaux proof-calculi

    Call: OPUS 26 , Panel: HS1

    Principal investigator: dr hab. Tomasz Jarmużek

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

  47. Agents in Evolutionary Biology. Case study: the concept of Unity-of-Purpose

    Call: OPUS 26 , Panel: HS1

    Principal investigator: dr Adrian Stencel

    Uniwersytet Jagielloński, Wydział Filozoficzny

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

  49. Dynamics modeling of four-wheeled mobile robot and tracking control of its motion with limitation of wheels slip

    Call: OPUS 2 , Panel: ST7

    Principal investigator: dr hab. Maciej Trojnacki

    Przemysłowy Instytut Automatyki i Pomiarów "PIAP"

  50. The Paradox of Analysis

    Call: OPUS 26 , Panel: HS1

    Principal investigator: dr Maciej Sendłak

    Uniwersytet Warszawski, Wydział Filozofii

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy