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

73 projects found matching your search criteria :

  1. Model-theoretic and algebraic properties of separably closed G-fields.

    Call: PRELUDIUM 11 , Panel: ST1

    Principal investigator: Daniel Hoffmann

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  2. Spatiotemporal histories: theory and applications

    Call: HARMONIA 8 , Panel: HS1

    Principal investigator: prof. Tomasz Placek

    Uniwersytet Jagielloński, Wydział Filozoficzny

  3. Data-driven tests for censored data

    Call: OPUS 13 , Panel: ST1

    Principal investigator: dr Grzegorz Wyłupek

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  4. Fundamental ontological issues and contemporary physics

    Call: OPUS 13 , Panel: HS1

    Principal investigator: dr hab. Tomasz Bigaj

    Uniwersytet Warszawski, Wydział Filozofii

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

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

  8. Polynomial finite state computation

    Call: MAESTRO 14 , Panel: ST6

    Principal investigator: prof. Mikołaj Bojańczyk

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  9. Causality and Social Determinants of Health and Illness

    Call: OPUS 25 , Panel: HS1

    Principal investigator: dr Elena Popa

    Uniwersytet Jagielloński, Wydział Filozoficzny

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

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

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

  13. Continuous logic and its algebraic applications

    Call: OPUS 1 , Panel: ST1

    Principal investigator: prof. Aleksander Iwanow

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

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

    Call: OPUS 18 , Panel: HS1

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

    Uniwersytet Warszawski, Wydział Filozofii

  16. Hybrid models of reasoning

    Call: OPUS 19 , Panel: HS1

    Principal investigator: dr hab. Maciej Malicki

    Instytut Matematyczny Polskiej Akademii Nauk, Wydział Matematyki, Informatyki i Mechaniki

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

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

  19. New methods of parametric modelling of consumer's preferences

    Call: SONATA 10 , Panel: HS4

    Principal investigator: prof. Mikołaj Czajkowski

    Uniwersytet Warszawski, Wydział Nauk Ekonomicznych

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

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

  23. Post completeness vs neighborhood completeness in classical modal logics

    Call: PRELUDIUM 22 , Panel: HS1

    Principal investigator: Krzysztof Aleksander Krawczyk

    Uniwersytet Jagielloński, Wydział Filozoficzny

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

  25. Geometry of contractible low-dimensional affine varieties.

    Call: SONATA 3 , Panel: ST1

    Principal investigator: dr Karol Palka

    Instytut Matematyczny PAN

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

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

  28. Modern methods in complex affine geometry.

    Call: SONATA BIS 5 , Panel: ST1

    Principal investigator: dr Karol Palka

    Instytut Matematyczny Polskiej Akademii Nauk

  29. Probability of conditionals - a stochastic graph model

    Call: OPUS 20 , Panel: HS1

    Principal investigator: dr hab. Anna Maria Wójtowicz

    Uniwersytet Warszawski, Wydział Filozofii

  30. Transcendental Arguments. Models and Applications

    Call: PRELUDIUM 21 , Panel: HS1

    Principal investigator: Stanisław Jędrczak

    Uniwersytet Warszawski, Wydział Filozofii

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

  32. Dynamic epistemic logic and the problem of logical omniscience

    Call: PRELUDIUM 21 , Panel: HS1

    Principal investigator: Arkadiusz Jerzy Wójcik

    Uniwersytet w Białymstoku, Wydział Filozofii i Kognitywistyki

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

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

  35. Forcing axioms, inner models and determinacy

    Call: MAESTRO 15 , Panel: ST1

    Principal investigator: dr Grigor Sargsyan

    Instytut Matematyczny Polskiej Akademii Nauk

  36. Decision Problems for Logics with Weak Forms of Recursion

    Call: PRELUDIUM 23 , Panel: ST6

    Principal investigator: Bartosz Bednarczyk

    Uniwersytet Wrocławski

  37. Deductive systems and decidability problem for hybrid logics

    Call: PRELUDIUM 1 , Panel: HS1

    Principal investigator: dr Michał Zawidzki

    Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

  38. Around Modal Logics - Decidability and Complexity

    Call: PRELUDIUM 2 , Panel: ST6

    Principal investigator: Jakub Michaliszyn

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  39. Indefinites. Two-dimensional system with types

    Call: OPUS 4 , Panel: HS1

    Principal investigator: dr Justyna Grudzińska-Zawadowska

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

  40. parameters of finite models

    Call: SONATA 4 , Panel: ST6

    Principal investigator: dr Eryk Kopczyński

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  41. Formal theories of truth and nonstandard models of arithmetic

    Call: PRELUDIUM 7 , Panel: HS1

    Principal investigator: Michał Godziszewski

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

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

    Call: PRELUDIUM 20 , Panel: HS1

    Principal investigator: Elżbieta Jennifer Drozdowska

    Katolicki Uniwersytet Lubelski Jana Pawła II

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

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

  45. Algebraic and topological methods in model theory

    Call: SONATA BIS 6 , Panel: ST1

    Principal investigator: prof. Krzysztof Krupiński

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  46. Hybridizing Fragments of Halpern-Shoham Logic

    Call: PRELUDIUM 12 , Panel: HS1

    Principal investigator: Przemysław Wałęga

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

  47. Reminiscences on Jaśkowski - logico-philosophical investigations inspired by works on discussive logic

    Call: OPUS 12 , Panel: HS1

    Principal investigator: dr hab. Marek Nasieniewski

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

  48. Niestandardowe modele arytmetyki i formalne teorie prawdy

    Call: ETIUDA 5 , Panel: HS1

    Principal investigator: Michał Godziszewski

    Uniwersytet Warszawski, Wydział Filozofii

  49. Truth theories and their strength

    Call: OPUS 14 , Panel: HS1

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

    Uniwersytet Warszawski, Wydział Filozofii

  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