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

29 projects found matching your search criteria :

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

  2. Investigation of neurovascular coupling during the execution and imagination of motor task by means of NIRS/EEG techniqu...

    Call: OPUS 8 , Panel: ST7

    Principal investigator: prof. Katarzyna Cieślak-Blinowska

    Instytut Biocybernetyki i Inżynierii Biomedycznej im. Macieja Nałęcza PAN

  3. Studying neural interactions between tactile and visual reading as a way to verify the standard model of brain organizat...

    Call: PRELUDIUM 8 , Panel: HS6

    Principal investigator: dr Łukasz Bola

    Uniwersytet Jagielloński, Wydział Filozoficzny

  4. Modality-general and modality-specific plastic changes when learning a second language

    Call: HARMONIA 6 , Panel: HS6

    Principal investigator: dr Artur Marchewka

    Instytut Biologii Doświadczalnej im. M. Nenckiego PAN

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

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

  7. Post completeness vs neighborhood completeness in classical modal logics

    Call: PRELUDIUM 22 , Panel: HS1

    Principal investigator: Krzysztof Krawczyk

    Uniwersytet Jagielloński, Wydział Filozoficzny

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

  9. Transcendental Arguments. Models and Applications

    Call: PRELUDIUM 21 , Panel: HS1

    Principal investigator: Stanisław Jędrczak

    Uniwersytet Warszawski, Wydział Filozofii

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

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

  12. Smart support system for the Magnetic Force Induced Vibration Evaluation (M5) - an electromagnetic, non-destructive meth...

    Call: PRELUDIUM 20 , Panel: ST7

    Principal investigator: Paweł Frankowski

    Zachodniopomorski Uniwersytet Technologiczny w Szczecinie, Wydział Elektryczny

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

  14. Time, Truth and modality

    Call: SONATA 16 , Panel: HS1

    Principal investigator: dr Jacek Wawer

    Uniwersytet Jagielloński, Wydział Filozoficzny

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

  16. Around Modal Logics - Decidability and Complexity

    Call: PRELUDIUM 2 , Panel: ST6

    Principal investigator: Jakub Michaliszyn

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  17. Characterization of ocular biomechanics in vivo in age-related eye diseases using novel optical modality

    Call: OPUS 16 , Panel: NZ5

    Principal investigator: dr hab. Ireneusz Grulkowski

    Uniwersytet Mikołaja Kopernika w Toruniu, Wydział Fizyki, Astronomii i Informatyki Stosowanej

  18. Novel method of Physical Modal Basis Generation for Reduced Order Flow Models

    Call: OPUS 1 , Panel: ST8

    Principal investigator: prof. Marek Morzyński

    Politechnika Poznańska, Wydział Maszyn Roboczych i Transportu

  19. Deductive systems and decidability problem for hybrid logics

    Call: PRELUDIUM 1 , Panel: HS1

    Principal investigator: dr Michał Zawidzki

    Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

  20. Sequent- and tableau-based proof systems for nonclassical logics

    Call: OPUS 13 , Panel: HS1

    Principal investigator: prof. Andrzej Indrzejczak

    Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

  21. Comparative analysis of essentialism and haecceitism in the light of their modal and ontological commitments

    Call: PRELUDIUM 13 , Panel: HS1

    Principal investigator: Karol Lenart

    Uniwersytet Jagielloński, Wydział Filozoficzny

  22. Fundamental ontological issues and contemporary physics

    Call: OPUS 13 , Panel: HS1

    Principal investigator: dr hab. Tomasz Bigaj

    Uniwersytet Warszawski, Wydział Filozofii

  23. Diagnosis of selected gait abnormalities based on multi-modal acquisition of motion.

    Call: OPUS 1 , Panel: ST6

    Principal investigator: dr hab. Adam Świtoński

    Polsko-Japońska Akademia Technik Komputerowych, Wydział Zamiejscowy Informatyki w Bytomiu

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

  25. Hybridizing Fragments of Halpern-Shoham Logic

    Call: PRELUDIUM 12 , Panel: HS1

    Principal investigator: Przemysław Wałęga

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

  26. Does processing of unconscious stimuli depend on the type of task and the required response modality?

    Call: PRELUDIUM 12 , Panel: HS6

    Principal investigator: Izabela Szumska

    Instytut Psychologii Polskiej Akademii Nauk

  27. Spatiotemporal histories: theory and applications

    Call: HARMONIA 8 , Panel: HS1

    Principal investigator: prof. Tomasz Placek

    Uniwersytet Jagielloński, Wydział Filozoficzny

  28. Transport infrastructure development and modal split in the Polish space in the years 2000-2010

    Call: SONATA 1 , Panel: HS4

    Principal investigator: dr Piotr Rosik

    Instytut Geografii i Przestrzennego Zagospodarowania im. S. Leszczyckiego PAN

  29. Are neural correlates of consciousness modality-independent? Studying activity and functional connectivity of the brain ...

    Call: SONATA 9 , Panel: HS6

    Principal investigator: dr Michał Bola

    Instytut Biologii Doświadczalnej im. M. Nenckiego PAN

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy