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

248 projects found matching your search criteria :

  1. Constraint Satisfaction Problems and Quantified Constraint Satisfaction Problems in the context of Temporal Reasoning.

    Call: SONATA 1 , Panel: ST6

    Principal investigator: dr Michał Wrona

    Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki

  2. Invariant equivalence relations

    Call: PRELUDIUM 9 , Panel: ST1

    Principal investigator: Tomasz Rzepecki

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  3. How innocent is the concept of truth? Philosophical and logical analysis of deflationism

    Call: OPUS 1 , Panel: HS1

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

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

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

  5. Methodological principles of inferences in mixed-methods research

    Call: OPUS 8 , Panel: HS1

    Principal investigator: dr hab. Paweł Kawalec

    Towarzystwo Naukowe Katolickiego Uniwersytetu Lubelskiego Jana Pawła II

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

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

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

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

  10. What is a population? A Darwinian perspective

    Call: PRELUDIUM 8 , Panel: HS1

    Principal investigator: Adrian Stencel

    Uniwersytet Jagielloński, Wydział Filozoficzny

  11. Logics for data analysis and verification

    Call: SONATA 8 , Panel: ST6

    Principal investigator: dr Jakub Michaliszyn

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

    Call: BEETHOVEN 1 , Panel: HS1

    Principal investigator: dr hab. Piotr Kulicki

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

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

    Call: MAESTRO 6 , Panel: ST6

    Principal investigator: prof. Paweł Idziak

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

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

    Call: SONATA BIS 4 , Panel: HS1

    Principal investigator: dr hab. Marcin Miłkowski

    Instytut Filozofii i Socjologii PAN

  15. Formal theories of truth and nonstandard models of arithmetic

    Call: PRELUDIUM 7 , Panel: HS1

    Principal investigator: Michał Godziszewski

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

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

  17. The empirical sources of mathematical knowledge

    Call: OPUS 1 , Panel: HS1

    Principal investigator: prof. Krzysztof Wójtowicz

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

  18. Definable topological dynamics and o-minimality

    Call: PRELUDIUM 7 , Panel: ST1

    Principal investigator: dr Grzegorz Jagiella

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

  20. Formal truth theories

    Call: OPUS 7 , Panel: HS1

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

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

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

    Call: OPUS 7 , Panel: HS4

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

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

  22. Networks: a Multidisciplinary Approach

    Call: OPUS 7 , Panel: ST6

    Principal investigator: prof. Krzysztof Apt

    UNIWERSYTET WARSZAWSKI, WYDZIAŁ MATEMATYKI, INFORMATYKI I MECHANIKI

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

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

  25. Integrated optical circuits in novel liquid crystalline structures and materials

    Call: OPUS 6 , Panel: ST7

    Principal investigator: dr hab. Katarzyna Rutkowska

    POLITECHNIKA WARSZAWSKA, Wydział Fizyki

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

    Towarzystwo Naukowe Katolickiego Uniwersytetu Lubelskiego Jana Pawła II

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

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

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

  30. Branching time and the semantics of future contingents

    Call: PRELUDIUM 6 , Panel: HS1

    Principal investigator: dr Jacek Wawer

    Uniwersytet Jagielloński, Wydział Filozoficzny

  31. Algorithmic Learning Theory and Computational Models of Cognitive Capabilities Acquisition

    Call: OPUS 6 , Panel: HS1

    Principal investigator: dr hab. Marcin Mostowski

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

  32. The implications of the selected elements of theory of evolution for defining life

    Call: SONATA 6 , Panel: HS1

    Principal investigator: dr Krzysztof Chodasewicz

    Instytut Filozofii i Socjologii PAN

  33. Specification development and software verification

    Call: OPUS 6 , Panel: ST6

    Principal investigator: prof. Andrzej Tarlecki

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

  35. True but not (always) universal. On the nature of economic laws

    Call: OPUS 6 , Panel: HS4

    Principal investigator: dr hab. Łukasz Hardt

    Uniwersytet Warszawski, Wydział Nauk Ekonomicznych

  36. On new techniques for matching and flow problems

    Call: SONATA 6 , Panel: ST6

    Principal investigator: dr Bartłomiej Bosek

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  37. Asymptotic methods in lambda calculus and combinatory logic

    Call: OPUS 6 , Panel: ST6

    Principal investigator: prof. Marek Zaionc

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  38. Modeling of abductive reasoning

    Call: SONATA BIS 3 , Panel: HS1

    Principal investigator: dr hab. Mariusz Urbański

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

  39. Optimal design of composite materials and structures subjected to fatigue loading conditions

    Call: OPUS 5 , Panel: ST8

    Principal investigator: prof. Aleksander Muc

    Politechnika Krakowska im. Tadeusza Kościuszki, Wydział Mechaniczny

  40. Tolerance relations in lattices and their applications

    Call: OPUS 1 , Panel: HS1

    Principal investigator: dr hab. Joanna Grygiel

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

  41. Development and implementation of model checking methods for real-time and multi-agent systems

    Call: OPUS 1 , Panel: ST6

    Principal investigator: dr hab. Bożena Woźna-Szcześniak

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

  42. Decision-making in the European Union in the Framework of Ordinary and Special Legislative Procedures: An Empirical Anal...

    Call: PRELUDIUM 5 , Panel: HS5

    Principal investigator: dr Adam Kirpsza

    Uniwersytet Jagielloński, Wydział Studiów Międzynarodowych i Politycznych

  43. On finitely branching Kripke frames in modal logics

    Call: OPUS 5 , Panel: HS1

    Principal investigator: dr hab. Zofia Kostrzycka

    Politechnika Opolska, Wydział Inżynierii Produkcji i Logistyki

  44. Theory of Judgment in Lvov School of Philosophy

    Call: SONATA 5 , Panel: HS1

    Principal investigator: dr Stepan Ivanyk

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

  45. Attributive Use of Definite Descriptions

    Call: PRELUDIUM 5 , Panel: HS1

    Principal investigator: Wojciech Rostworowski

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

  46. Frontiers of tractability for recursive queries

    Call: PRELUDIUM 5 , Panel: ST6

    Principal investigator: dr Filip Mazowiecki

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  47. Organizational means of dealing with tension between gift economy and market logic based on the example of CouchSurfing.

    Call: PRELUDIUM 5 , Panel: HS4

    Principal investigator: Karolina Mikołajewska-Zając

    Akademia Leona Koźmińskiego

  48. Automatic reasoning about specifications in simple logics - decidability and complexity issues

    Call: OPUS 5 , Panel: ST6

    Principal investigator: dr hab. Lidia Tendera

    Uniwersytet Opolski

  49. The application of the model of levels of analysis in the studies of the contemporary naturalistic theism on the relatio...

    Call: OPUS 5 , Panel: HS1

    Principal investigator: dr Piotr Bylica

    Uniwersytet Zielonogórski, Wydział Humanistyczny

  50. Induction for bounded formulas and its relativizations

    Call: OPUS 5 , Panel: ST1

    Principal investigator: dr hab. Leszek Kołodziejczyk

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy