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

63 projects found matching your search criteria :

  1. Women in intimate relationships. Empirical and critical study

    Call: SONATA 1 , Panel: HS6

    Principal investigator: dr Monika Grochalska

    Uniwersytet Warmińsko-Mazurski w Olsztynie, Wydział Nauk Społecznych

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

  3. 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 Polskiej Akademii Nauk

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

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

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

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

  8. The influence of formal and informal institutional factors on the survival of newly created companies from the example o...

    Call: PRELUDIUM 1 , Panel: HS4

    Principal investigator: dr Hanna Halina Nowak

    Uniwersytet Ekonomiczny w Poznaniu, Wydział Zarządzania

  9. Elder neglect and self-neglect - challenges for formal and informal caregivers and medical and social professional care ...

    Call: OPUS 7 , Panel: NZ7

    Principal investigator: prof. Tomasz Kazimierz Grodzicki

    Uniwersytet Jagielloński- Collegium Medicum, Collegium Medicum; Wydział Lekarski

  10. Formal versus De Facto Rules in Economic Studies of Postsocialist Countries' Constitutions

    Call: OPUS 7 , Panel: HS4

    Principal investigator: dr hab. Katarzyna Emilia Metelska-Szaniawska

    Uniwersytet Warszawski, Wydział Nauk Ekonomicznych

  11. Formal truth theories

    Call: OPUS 7 , Panel: HS1

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

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

  12. Efficient algorithms and representations in formal languages and automata theory.

    Call: SONATA 1 , Panel: ST6

    Principal investigator: dr Artur Jeż

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  13. Formal approach to practical problems of information hiding

    Call: OPUS 5 , Panel: ST6

    Principal investigator: dr hab. Marek Dariusz Klonowski

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

  14. Goedel's ontological argument: history, modifications. extensions, and controversies

    Call: HARMONIA 4 , Panel: HS1

    Principal investigator: dr hab. Kordula Świętorzecka

    Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie, Wydział Filozofii Chrześcijańskiej

  15. Unfinished migration transition and ageing population in Poland. Asynchronous population changes and the transformation ...

    Call: MAESTRO 4 , Panel: HS4

    Principal investigator: prof. Marek Stanisław Okólski

    Uniwersytet Warszawski, Ośrodek Badań nad Migracjami

  16. Critical analysis of existing systems of deontic action logic, their comparison, study of their cognitive and practical ...

    Call: SONATA 1 , Panel: HS1

    Principal investigator: dr Robert Trypuz

    Towarzystwo Naukowe Katolickiego Uniwersytetu Lubelskiego Jana Pawła II

  17. Interactions between model theory, topology and algebra

    Call: OPUS 4 , Panel: ST1

    Principal investigator: dr hab. Krzysztof Cyprian Krupiński

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  18. Indirect discrimination in the European Union law: evolution, definition and relations with similar legal concepts

    Call: OPUS 1 , Panel: HS5

    Principal investigator: dr hab. Justyna Zofia Maliszewska-Nienartowicz

    Uniwersytet Mikołaja Kopernika w Toruniu, Wydział Politologii i Studiów Międzynarodowych

  19. Ontology of metaphysics

    Call: OPUS 4 , Panel: HS1

    Principal investigator: dr hab. Paweł Rafał Garbacz

    Towarzystwo Naukowe Katolickiego Uniwersytetu Lubelskiego Jana Pawła II, Towarzystwo Naukowe Katolickiego Uniwersytetu Lubelskiego Jana Pawla II

  20. A formal analysis of the distribution and internal architecture of nominal expressions: a comparative generative study

    Call: OPUS 4 , Panel: HS2

    Principal investigator: prof. Jacek Ireneusz Witkoś

    Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Anglistyki

  21. "Who Wins and Who Loses in Parliamentary Elections: From Formal Theory to Empirical Analyses"

    Call: SONATA BIS 1 , Panel: HS6

    Principal investigator: dr Joshua Kjerulf Dubrow

    Instytut Filozofii i Socjologii Polskiej Akademii Nauk

  22. Interdisciplinary examinations on teh Early Medieval (7th-10th/11th c.) pottery workshop in the middle Odra River basin

    Call: PRELUDIUM 3 , Panel: HS3

    Principal investigator: dr Bartłomiej Jerzy Gruszka

    Uniwersytet Wrocławski, Wydział Nauk Historycznych i Pedagogicznych

  23. Modelling of dynamic spatial phenomena, combining static / spatial representation and dynamic / temporal context, for su...

    Call: PRELUDIUM 3 , Panel: HS4

    Principal investigator: Jaromar Marceli Łukowicz

    Uniwersytet Przyrodniczy we Wrocławiu, Wydział Inżynierii Kształtowania Środowiska i Geodezji

  24. Business process discovery methods and process calculus for RESTful systems.

    Call: PRELUDIUM 3 , Panel: ST6

    Principal investigator: Andrzej Marek Stroiński

    Politechnika Poznańska, Wydział Informatyki

  25. Colloquial reproducts of Polish language. Formal, semantic and pragmatic analysis of a weekly column published in "Przek...

    Call: PRELUDIUM 3 , Panel: HS2

    Principal investigator: dr Ewa Barbara Kozioł-Chrzanowska

    Uniwersytet Warszawski, Wydział Polonistyki

  26. Legal Consequences of Non-Compliance with Formal Requirements in the Polish Private Law in the Context of Comparative Re...

    Call: PRELUDIUM 2 , Panel: HS5

    Principal investigator: Mateusz Fabian Grochowski

    Instytut Nauk Prawnych Polskiej Akademii Nauk

  27. Formal verification in data-enriched models of computation

    Call: OPUS 28 , Panel: ST6

    Principal investigator: prof. Sławomir Grzegorz Lasota

    Uniwersytet Warszawski

  28. On the border of impossible in classical automata theory

    Call: OPUS 28 , Panel: ST6

    Principal investigator: dr hab. Paweł Parys

    Uniwersytet Warszawski

  29. Decision Problems for Logics with Weak Forms of Recursion

    Call: PRELUDIUM 23 , Panel: ST6

    Principal investigator: Bartosz Jan Bednarczyk

    Uniwersytet Wrocławski

  30. 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 Polskiej Akademii Nauk

  31. Counting models in formal verification

    Call: SONATA BIS 12 , Panel: ST6

    Principal investigator: dr Filip Aleksander Mazowiecki

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  32. Syntactic-semantic analysis of the lexemes TO

    Call: PRELUDIUM 21 , Panel: HS2

    Principal investigator: Sebastian Jakub Zawada

    Instytut Podstaw Informatyki Polskiej Akademii Nauk

  33. A formal treatment of epistemic injustice

    Call: POLONEZ BIS 2 , Panel: HS1

    Principal investigator: dr Christoph Merdes

    Uniwersytet Jagielloński, Wydział Filozoficzny

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

  35. Extensional Ontology and Philosophical Logic

    Call: OPUS 2 , Panel: HS1

    Principal investigator: dr hab. Andrzej Paweł Biłat

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

  36. Reinterpreting anaphora: towards ambiguity-first approach

    Call: PRELUDIUM 20 , Panel: HS1

    Principal investigator: Antonina Weronika Jamrozik

    Uniwersytet Warszawski, Wydział Filozofii

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

  38. Rethinking legal probabilism

    Call: OPUS 21 , Panel: HS1

    Principal investigator: dr hab. Rafał Urbaniak

    Uniwersytet Gdański, Wydział Nauk Społecznych

  39. Organizational Ethnography of Festivals of Street Performers

    Call: PRELUDIUM 19 , Panel: HS4

    Principal investigator: dr Marta Katarzyna Połeć

    Akademia Leona Koźmińskiego

  40. Data-enriched models of computation

    Call: OPUS 18 , Panel: ST6

    Principal investigator: prof. Sławomir Grzegorz Lasota

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

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

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

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

  45. Automatic analysis of concurrent systems

    Call: OPUS 14 , Panel: ST6

    Principal investigator: prof. Sławomir Grzegorz Lasota

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

    Call: OPUS 14 , Panel: HS1

    Principal investigator: dr hab. Janusz Kaczmarek

    Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

  47. Quantitative specifications: learning, algorithms and applications

    Call: OPUS 14 , Panel: ST6

    Principal investigator: dr Jan Otop

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

  49. Philosophical and formal analysis of qualitative spatial logics

    Call: SONATA 13 , Panel: HS1

    Principal investigator: dr Adam Trybus

    Uniwersytet Zielonogórski, Wydział Humanistyczny

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

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy