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

77 projects found matching your search criteria :

  1. The role of AMPK, FOXN1 and vitamin D in the regulation of fibrosis, woundhealing and skin regenaration.

    Call: OPUS 29 , Panel: NZ4

    Principal investigator: prof. Michał Aleksander Żmijewski

    Gdański Uniwersytet Medyczny

  2. Formal verification in data-enriched models of computation

    Call: OPUS 28 , Panel: ST6

    Principal investigator: prof. Sławomir Grzegorz Lasota

    Uniwersytet Warszawski

  3. On the border of impossible in classical automata theory

    Call: OPUS 28 , Panel: ST6

    Principal investigator: dr hab. Paweł Parys

    Uniwersytet Warszawski

  4. Decision Problems for Logics with Weak Forms of Recursion

    Call: PRELUDIUM 23 , Panel: ST6

    Principal investigator: Bartosz Jan Bednarczyk

    Uniwersytet Wrocławski

  5. Dual Catalytic System Based on Combination of MHAT and SH2 Mechanisms: A Novel Platform for Formal Cross-Coupling of Tra...

    Call: SONATA 18 , Panel: ST4

    Principal investigator: dr Michał Piotr Ociepa

    Instytut Chemii Organicznej Polska Akademia Nauk

  6. Counting models in formal verification

    Call: SONATA BIS 12 , Panel: ST6

    Principal investigator: dr Filip Aleksander Mazowiecki

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  7. Syntactic-semantic analysis of the lexemes TO

    Call: PRELUDIUM 21 , Panel: HS2

    Principal investigator: Sebastian Jakub Zawada

    Instytut Podstaw Informatyki PAN

  8. A formal treatment of epistemic injustice

    Call: POLONEZ BIS 2 , Panel: HS1

    Principal investigator: dr Christoph Merdes

    Uniwersytet Jagielloński, Wydział Filozoficzny

  9. Algebraic spectral gaps in group cohomology

    Call: SONATINA 6 , Panel: ST1

    Principal investigator: dr Piotr Mizerka

    Instytut Matematyczny Polskiej Akademii Nauk

  10. Genetic basis of vocal communication and its importance in dog domestication

    Call: OPUS 22 , Panel: NZ8

    Principal investigator: prof. Wiesław Zbigniew Bogdanowicz

    Muzeum i Instytut Zoologii PAN

  11. From a multilingual parallel corpus to the micro-typology of the PERFECT in Baltic and Slavic

    Call: SONATA BIS 11 , Panel: HS2

    Principal investigator: dr Dorota Emilia Klimek-Jankowska

    Uniwersytet Wrocławski, Wydział Neofilologii

  12. Reinterpreting anaphora: towards ambiguity-first approach

    Call: PRELUDIUM 20 , Panel: HS1

    Principal investigator: Antonina Weronika Jamrozik

    Uniwersytet Warszawski, Wydział Filozofii

  13. Frontiers of automatic analysis of concurrent systems

    Call: OPUS 21 , Panel: ST6

    Principal investigator: prof. Sławomir Grzegorz Lasota

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  14. Rethinking legal probabilism

    Call: OPUS 21 , Panel: HS1

    Principal investigator: dr hab. Rafał Urbaniak

    Uniwersytet Gdański, Wydział Nauk Społecznych

  15. Amplification of synbiotic formulas with phenolic compounds as a factor modulating bioaccessibility in the context of po...

    Call: PRELUDIUM 20 , Panel: NZ9

    Principal investigator: dr Karolina Tkacz

    Uniwersytet Przyrodniczy we Wrocławiu, Wydział Biotechnologii i Nauk o Żywności

  16. The role of vitamin D receptor in 5-fluorouracil responsiveness of colorectal cancer cells

    Call: SONATA 16 , Panel: NZ5

    Principal investigator: dr Magdalena - Milczarek

    Instytut Immunologii i Terapii Doświadczalnej im. Ludwika Hirszfelda Polskiej Akademii Nauk

  17. Organizational Ethnography of Festivals of Street Performers

    Call: PRELUDIUM 19 , Panel: HS4

    Principal investigator: dr Marta Katarzyna Połeć

    Akademia Leona Koźmińskiego

  18. Data-enriched models of computation

    Call: OPUS 18 , Panel: ST6

    Principal investigator: prof. Sławomir Grzegorz Lasota

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  19. Role of wild animals as a zoonotic reservoir of Cryptosporidium and Giardia protozoa with particular focus on Warsaw urb...

    Call: PRELUDIUM 18 , Panel: NZ7

    Principal investigator: Dorota Dwużnik-Szarek

    Uniwersytet Warszawski, Wydział Biologii

  20. Analysis and decomposition of a control part of a cyber-physical system specified by an interpreted Petri net.

    Call: OPUS 18 , Panel: ST6

    Principal investigator: dr hab. Remigiusz Grzegorz Wiśniewski

    Uniwersytet Zielonogórski

  21. Epistemic inaccuracy and foundational issues in formal epistemology

    Call: SONATA BIS 9 , Panel: HS1

    Principal investigator: dr hab. Leszek Jerzy Wroński

    Uniwersytet Jagielloński, Wydział Filozoficzny

  22. Abstract Machines for Programming Languages: Investigations in Formal Interderivations

    Call: OPUS 17 , Panel: ST6

    Principal investigator: prof. Witold Charatonik

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

    Call: OPUS 16 , Panel: HS1

    Principal investigator: dr Dariusz Kalociński

    Instytut Podstaw Informatyki PAN

  24. Role of epidermally expressed transcription factor Foxn1 in regulation and modulation of dermal white adipose tissue (dW...

    Call: PRELUDIUM 16 , Panel: NZ5

    Principal investigator: Katarzyna Anna Walendzik

    Instytut Rozrodu Zwierząt i Badań Żywności PAN

  25. Hypoxia inducible factor alpha (Hif-1 alpha) and transcription factor Foxn1 guide regenerative vs reparative skin wound ...

    Call: OPUS 14 , Panel: NZ5

    Principal investigator: dr hab. Barbara Gawrońska-Kozak

    Instytut Rozrodu Zwierząt i Badań Żywności PAN

  26. Automatic analysis of concurrent systems

    Call: OPUS 14 , Panel: ST6

    Principal investigator: prof. Sławomir Grzegorz Lasota

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  27. Atom. Substance. System. Investigations into Topological Ontology

    Call: OPUS 14 , Panel: HS1

    Principal investigator: dr hab. Janusz Kaczmarek

    Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

  28. Provability, computation and combinatorics at the lower and intermediate levels of the Gödel hierarchy

    Call: OPUS 14 , Panel: ST1

    Principal investigator: dr hab. Leszek Aleksander Kołodziejczyk

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  29. Quantitative specifications: learning, algorithms and applications

    Call: OPUS 14 , Panel: ST6

    Principal investigator: dr Jan Otop

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  30. Deontic logic for autonomous vehicles

    Call: HARMONIA 9 , Panel: HS1

    Principal investigator: prof. Piotr Wojciech Kulicki

    Katolicki Uniwersytet Lubelski Jana Pawła II, Wydział Filozofii

  31. Philosophical and formal analysis of qualitative spatial logics

    Call: SONATA 13 , Panel: HS1

    Principal investigator: dr Adam Trybus

    Uniwersytet Zielonogórski, Wydział Humanistyczny

  32. Robotic system design methodology based on a formal specification

    Call: PRELUDIUM 13 , Panel: ST7

    Principal investigator: Maksym Figat

    Politechnika Warszawska, Wydział Elektroniki i Technik Informacyjnych

  33. Formal features of conscious representations

    Call: PRELUDIUM 13 , Panel: HS6

    Principal investigator: Simon Hviid Del Pin

    Uniwersytet Jagielloński, Wydział Filozoficzny

  34. Projections of demand for care among the elderly in Poland including health status and family situation

    Call: PRELUDIUM 12 , Panel: HS4

    Principal investigator: Wojciech Andrzej Łątkowski

    Szkoła Główna Handlowa w Warszawie, Kolegium Analiz Ekonomicznych

  35. Scalable reasoning about concurrent imperative programs

    Call: SONATA 12 , Panel: ST6

    Principal investigator: dr Filip Sieczkowski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  36. Does ecotourism have ability to empower residents to overcome environmental discrimination due to Natura 2000 in Poland ...

    Call: POLONEZ 3 , Panel: HS6

    Principal investigator: dr Marianna Strzelecka

    Uniwersytet Jagielloński, Wydział Biologii

  37. Conceptual, formal and practical aspects of forensic and judicial applications of probabilistic tools.

    Call: SONATA BIS 6 , Panel: HS1

    Principal investigator: dr hab. Rafał Urbaniak

    Uniwersytet Gdański, Wydział Nauk Społecznych

  38. Arithmetic properties of formal groups

    Call: OPUS 11 , Panel: ST1

    Principal investigator: dr Mariia Vlasenko

    Instytut Matematyczny Polskiej Akademii Nauk

  39. Grammatical inference methods in classification of amyloidogenic proteins

    Call: OPUS 11 , Panel: ST6

    Principal investigator: dr hab. Olgierd Ryszard Unold

    Politechnika Wrocławska

  40. Symbolic computations on first-order definable objects

    Call: OPUS 11 , Panel: ST6

    Principal investigator: prof. Sławomir Grzegorz Lasota

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  41. Phenomenological mechanisms of prefabricating mental spaces

    Call: OPUS 11 , Panel: HS1

    Principal investigator: dr hab. Wojciech Sławomir Krysztofiak

    Uniwersytet Szczeciński, Instytut Filozofii i Kognitywistyki

  42. European Council in the process of shaping its formal and informal powers within the scope of EU external actions

    Call: OPUS 10 , Panel: HS5

    Principal investigator: dr hab. Beata Przybylska-Maszner

    Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Nauk Politycznych i Dziennikarstwa

  43. Formal linguistics for proteomics - modeling, analysis and hypotheses testing

    Call: SONATA 9 , Panel: ST6

    Principal investigator: dr Witold Dyrka

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

  44. Epistemological aspects of the application of content implication as instrument of formalization of the expressions of n...

    Call: OPUS 9 , Panel: HS1

    Principal investigator: dr hab. Piotr Łukowski

    Uniwersytet Łódzki, Wydział Nauk o Wychowaniu

  45. Direct Democracy in Central and Eastern Europe after 1989: Formal-Legal and Practical Aspects. The Political Analysis

    Call: OPUS 8 , Panel: HS5

    Principal investigator: prof. Maria Marczewska-Rytko

    Uniwersytet Marii Curie-Skłodowskiej w Lublinie, Wydział Politologii

  46. A diachronic formal model of Polish inflection and its implementation

    Call: OPUS 8 , Panel: HS2

    Principal investigator: dr Marcin Marian Woliński

    Instytut Podstaw Informatyki PAN

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

  48. New trends in the architecture of transparent facades - formal experiments, technological innovations

    Call: OPUS 8 , Panel: ST8

    Principal investigator: dr hab. Marcin Michał Brzezicki

    Politechnika Wrocławska, Wydział Architektury

  49. SYNAMET - Microcorpus of Synaesthetic Metaphors. Towards a Formal Description and Efficient Methods of Analysis of Metap...

    Call: OPUS 8 , Panel: HS2

    Principal investigator: dr hab. Magdalena Anna Zawisławska

    Uniwersytet Warszawski, Wydział Polonistyki

  50. Formal theories of truth and nonstandard models of arithmetic

    Call: PRELUDIUM 7 , Panel: HS1

    Principal investigator: Michał Tomasz Godziszewski

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy