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

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

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

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

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

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

  7. Formal theories of truth and nonstandard models of arithmetic

    Call: PRELUDIUM 7 , Panel: HS1

    Principal investigator: Michał Godziszewski

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

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

  9. Definable topological dynamics and o-minimality

    Call: PRELUDIUM 7 , Panel: ST1

    Principal investigator: dr Grzegorz Jagiella

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

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

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

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

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

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

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

  17. parameters of finite models

    Call: SONATA 4 , Panel: ST6

    Principal investigator: dr Eryk Kopczyński

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  18. Indefinites. Two-dimensional system with types

    Call: OPUS 4 , Panel: HS1

    Principal investigator: dr Justyna Grudzińska-Zawadowska

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

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

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

  21. Forcing axioms, inner models and determinacy

    Call: MAESTRO 15 , Panel: ST1

    Principal investigator: dr Grigor Sargsyan

    Instytut Matematyczny Polskiej Akademii Nauk

  22. Logical and Philosophical Aspects of Pluralism and Potentialism in Set-Theory and Arithmetic

    Call: OPUS 25 , Panel: HS1

    Principal investigator: dr Michał Godziszewski

    Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

  23. Free and iterative operators on fields

    Call: PRELUDIUM 22 , Panel: ST1

    Principal investigator: Jakub Gogolok

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  24. Sustainable Business Model (SBM) for Small and Medium-Sized Enterprises (SMEs): South Asian Perspective

    Call: PRELUDIUM 22 , Panel: HS4

    Principal investigator: Binayak Malla

    Uniwersytet Warszawski, Wydział Zarządzania

  25. Post completeness vs neighborhood completeness in classical modal logics

    Call: PRELUDIUM 22 , Panel: HS1

    Principal investigator: Krzysztof Krawczyk

    Uniwersytet Jagielloński, Wydział Filozoficzny

  26. Computable structure theory, and philosophy of mathematical structuralism

    Call: OPUS 25 , Panel: HS1

    Principal investigator: dr Dariusz Kalociński

    Instytut Podstaw Informatyki Polskiej Akademii Nauk

  27. Between proof theory, reverse mathematics, and the model theory of arithmetic

    Call: OPUS 25 , Panel: ST1

    Principal investigator: dr hab. Leszek Kołodziejczyk

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  28. Side Conditions and the Saturation of the Non-stationary Ideal

    Call: POLONEZ BIS 3 , Panel: ST1

    Principal investigator: dr Rahman Mohammadpour

    Instytut Matematyczny Polskiej Akademii Nauk

  29. Structure and algorithms for graph classes defined by transduction-closed properties

    Call: SONATA 18 , Panel: ST6

    Principal investigator: dr Jakub Gajarský

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  30. Polynomial finite state computation

    Call: MAESTRO 14 , Panel: ST6

    Principal investigator: prof. Mikołaj Bojańczyk

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  31. Dynamic epistemic logic and the problem of logical omniscience

    Call: PRELUDIUM 21 , Panel: HS1

    Principal investigator: Arkadiusz Wójcik

    Uniwersytet w Białymstoku, Instytut Filozofii

  32. First Order Logic and Beyond. Some Puzzles in Database Theory.

    Call: OPUS 23 , Panel: ST6

    Principal investigator: prof. Jerzy Marcinkowski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  33. Transcendental Arguments. Models and Applications

    Call: PRELUDIUM 21 , Panel: HS1

    Principal investigator: Stanisław Jędrczak

    Uniwersytet Warszawski, Wydział Filozofii

  34. Philosophical and metalogical foundations of logic of names: semantics, tableaumethods and axiomatization

    Call: OPUS 22 , Panel: HS1

    Principal investigator: prof. Andrzej Pietruszczak

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

  35. Continuous logic and its algebraic applications

    Call: OPUS 1 , Panel: ST1

    Principal investigator: prof. Aleksander Iwanow

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  36. Relationships between algebraic, modal and many-valued quantum logics

    Call: PRELUDIUM 20 , Panel: HS1

    Principal investigator: Elżbieta Drozdowska

    Katolicki Uniwersytet Lubelski Jana Pawła II

  37. Extensional Ontology and Philosophical Logic

    Call: OPUS 2 , Panel: HS1

    Principal investigator: dr hab. Andrzej Biłat

    Wyższa Szkoła Przedsiębiorczości i Administracji w Lublinie

  38. Towards a Modelling-Based Account of Legal Institutions

    Call: PRELUDIUM 20 , Panel: HS1

    Principal investigator: Wojciech Graboń

    Uniwersytet Warszawski, Wydział Prawa i Administracji

  39. Probability of conditionals - a stochastic graph model

    Call: OPUS 20 , Panel: HS1

    Principal investigator: dr hab. Anna Wójtowicz

    Uniwersytet Warszawski, Wydział Filozofii

  40. Time, Truth and modality

    Call: SONATA 16 , Panel: HS1

    Principal investigator: dr Jacek Wawer

    Uniwersytet Jagielloński, Wydział Filozoficzny

  41. Logico-philosophical foundations of geometry and topology

    Call: OPUS 20 , Panel: HS1

    Principal investigator: dr hab. Rafał Gruszczyński

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

  42. Hybrid models of reasoning

    Call: OPUS 19 , Panel: HS1

    Principal investigator: dr hab. Maciej Malicki

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  43. Turing, Ashby, and "the Action of the Brain"

    Call: OPUS 19 , Panel: HS1

    Principal investigator: dr Hans-Joachim Greif

    Politechnika Warszawska, Wydział Administracji i Nauk Społecznych

  44. Around Modal Logics - Decidability and Complexity

    Call: PRELUDIUM 2 , Panel: ST6

    Principal investigator: Jakub Michaliszyn

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  45. Towards a cognitively plausible compositional model for natural language quantification

    Call: OPUS 18 , Panel: HS1

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

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

  46. Algorithmic models of prediction: formal properties and philosophical implications

    Call: OPUS 16 , Panel: HS1

    Principal investigator: dr Dariusz Kalociński

    Instytut Podstaw Informatyki Polskiej Akademii Nauk

  47. Group actions and model theory

    Call: OPUS 16 , Panel: ST1

    Principal investigator: prof. Piotr Kowalski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  48. Model-theoretic methods in logic and the foundations of mathematics and science

    Call: OPUS 15 , Panel: HS1

    Principal investigator: dr Jeffrey Ketland

    Uniwersytet Warszawski, Wydział Filozofii

  49. Deductive systems and decidability problem for hybrid logics

    Call: PRELUDIUM 1 , Panel: HS1

    Principal investigator: dr Michał Zawidzki

    Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

  50. Process-aware Analytics Support based on Conceptual Models for Event Logs

    Call: UNISONO , Panel: ST6

    Principal investigator: prof. Grzegorz Nalepa

    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy