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

31 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. The Method of Thought Experiments and the Epistemology of Essence

    Call: OPUS 26 , Panel: HS1

    Principal investigator: dr Krzysztof Sękowski

    Uniwersytet Warszawski, Wydział Filozofii

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

  8. Post completeness vs neighborhood completeness in classical modal logics

    Call: PRELUDIUM 22 , Panel: HS1

    Principal investigator: Krzysztof Krawczyk

    Uniwersytet Jagielloński, Wydział Filozoficzny

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

  10. Transcendental Arguments. Models and Applications

    Call: PRELUDIUM 21 , Panel: HS1

    Principal investigator: Stanisław Jędrczak

    Uniwersytet Warszawski, Wydział Filozofii

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

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

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

  15. Time, Truth and modality

    Call: SONATA 16 , Panel: HS1

    Principal investigator: dr Jacek Wawer

    Uniwersytet Jagielloński, Wydział Filozoficzny

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

  17. Around Modal Logics - Decidability and Complexity

    Call: PRELUDIUM 2 , Panel: ST6

    Principal investigator: Jakub Michaliszyn

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  18. Spatial scaling in children and adults: The role of perceptual modality, visual experience, and cognitive style

    Call: ALPHORN 1 , Panel: HS6

    Principal investigator: dr Magdalena Marta Szubielska

    Katolicki Uniwersytet Lubelski Jana Pawła II w Lublinie

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

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

  21. Deductive systems and decidability problem for hybrid logics

    Call: PRELUDIUM 1 , Panel: HS1

    Principal investigator: dr Michał Zawidzki

    Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

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

    Call: OPUS 13 , Panel: HS1

    Principal investigator: prof. Andrzej Indrzejczak

    Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

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

  25. Fundamental ontological issues and contemporary physics

    Call: OPUS 13 , Panel: HS1

    Principal investigator: dr hab. Tomasz Bigaj

    Uniwersytet Warszawski, Wydział Filozofii

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

  27. Hybridizing Fragments of Halpern-Shoham Logic

    Call: PRELUDIUM 12 , Panel: HS1

    Principal investigator: Przemysław Wałęga

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

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

  29. Spatiotemporal histories: theory and applications

    Call: HARMONIA 8 , Panel: HS1

    Principal investigator: prof. Tomasz Placek

    Uniwersytet Jagielloński, Wydział Filozoficzny

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

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