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

266 projects found matching your search criteria :

  1. Invariant equivalence relations

    Call: PRELUDIUM 9 , Panel: ST1

    Principal investigator: Tomasz Rzepecki

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

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

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

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

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

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

  8. What is a population? A Darwinian perspective

    Call: PRELUDIUM 8 , Panel: HS1

    Principal investigator: Adrian Stencel

    Uniwersytet Jagielloński, Wydział Filozoficzny

  9. Logics for data analysis and verification

    Call: SONATA 8 , Panel: ST6

    Principal investigator: dr Jakub Michaliszyn

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  10. The empirical sources of mathematical knowledge

    Call: OPUS 1 , Panel: HS1

    Principal investigator: prof. Krzysztof Wójtowicz

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

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

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

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

  14. Formal theories of truth and nonstandard models of arithmetic

    Call: PRELUDIUM 7 , Panel: HS1

    Principal investigator: Michał Godziszewski

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

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

  16. Definable topological dynamics and o-minimality

    Call: PRELUDIUM 7 , Panel: ST1

    Principal investigator: dr Grzegorz Jagiella

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

  18. Formal truth theories

    Call: OPUS 7 , Panel: HS1

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

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

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

  20. Networks: a Multidisciplinary Approach

    Call: OPUS 7 , Panel: ST6

    Principal investigator: prof. Krzysztof Apt

    UNIWERSYTET WARSZAWSKI, WYDZIAŁ MATEMATYKI, INFORMATYKI I MECHANIKI

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

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

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

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

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

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

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

  28. Branching time and the semantics of future contingents

    Call: PRELUDIUM 6 , Panel: HS1

    Principal investigator: dr Jacek Wawer

    Uniwersytet Jagielloński, Wydział Filozoficzny

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

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

  31. Specification development and software verification

    Call: OPUS 6 , Panel: ST6

    Principal investigator: prof. Andrzej Tarlecki

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

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

  34. Ontologism of the Russian transcendentalist from the "Logos" circle (Boris V. Jakovenko, Vasily E. Sesemann)

    Call: PRELUDIUM 6 , Panel: HS1

    Principal investigator: dr Barbara Czardybon

    Uniwersytet Jagielloński, Wydział Filozoficzny

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

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

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

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

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

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

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

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

  43. Theory of Judgment in Lvov School of Philosophy

    Call: SONATA 5 , Panel: HS1

    Principal investigator: dr Stepan Ivanyk

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

  44. Attributive Use of Definite Descriptions

    Call: PRELUDIUM 5 , Panel: HS1

    Principal investigator: Wojciech Rostworowski

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

  45. Frontiers of tractability for recursive queries

    Call: PRELUDIUM 5 , Panel: ST6

    Principal investigator: dr Filip Mazowiecki

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

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

    Call: OPUS 5 , Panel: ST6

    Principal investigator: dr hab. Lidia Tendera

    Uniwersytet Opolski

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

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

  50. Ideals and group actions on Polish spaces

    Call: OPUS 1 , Panel: ST1

    Principal investigator: prof. Michał Morayne

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

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy