Projects funded by the NCN


Search results

45 projects found matching your search criteria :

Information on the principal investigator and host institution

Information of the project and the call

Keywords

Equipment

Delete all
  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. A diachronic formal model of Polish inflection and its implementation

    Call: OPUS 8 , Panel: HS2

    Principal investigator: dr Marcin Woliński

    Instytut Podstaw Informatyki Polskiej Akademii Nauk

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

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

    Call: OPUS 8 , Panel: ST8

    Principal investigator: dr hab. Marcin Brzezicki

    Politechnika Wrocławska, Wydział Architektury

  5. Formal theories of truth and nonstandard models of arithmetic

    Call: PRELUDIUM 7 , Panel: HS1

    Principal investigator: Michał Godziszewski

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

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

    Uniwersytet Ekonomiczny w Poznaniu, Wydział Zarządzania

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

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

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

    Call: OPUS 7 , Panel: HS4

    Principal investigator: dr hab. Katarzyna Metelska-Szaniawska

    Uniwersytet Warszawski, Wydział Nauk Ekonomicznych

  9. Foundations of Cryptocurrencies

    Call: OPUS 7 , Panel: ST6

    Principal investigator: dr hab. Stefan Dziembowski

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  10. Formal truth theories

    Call: OPUS 7 , Panel: HS1

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

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

  11. Postawy pracowników organizacji formalnych wobec zmiany organizacyjnej. Analiza socjologiczna

    Call: ETIUDA 2 , Panel: HS6

    Principal investigator: Witold Nowak

    Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Nauk Społecznych

  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 Klonowski

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

  14. The synthesis of heterocyclic analogues of polycyclic aromatic hydrocarbons via multiple dehydrogenative coupling

    Call: PRELUDIUM 5 , Panel: ST5

    Principal investigator: Kamil Skonieczny

    Instytut Chemii Organicznej PAN

  15. Skutki naruszenia wymogów formalnych oświadczeń w prawie prywatnym

    Call: ETIUDA 1 , Panel: HS5

    Principal investigator: Mateusz Grochowski

    Instytut Nauk Prawnych PAN

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

    Call: MAESTRO 4 , Panel: HS4

    Principal investigator: prof. Marek Okólski

    Uniwersytet Warszawski, Ośrodek Badań nad Migracjami

  17. Algorithms concerning the legibility of natural deduction proofs

    Call: PRELUDIUM 4 , Panel: ST6

    Principal investigator: dr Karol Pąk

    Uniwersytet w Białymstoku, Wydział Matematyki i Informatyki

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

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

    Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Anglistyki

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

    Call: SONATA BIS 1 , Panel: HS6

    Principal investigator: dr Joshua Dubrow

    Instytut Filozofii i Socjologii PAN

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

    Uniwersytet Wrocławski, Wydział Nauk Historycznych i Pedagogicznych

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

    Call: PRELUDIUM 3 , Panel: HS4

    Principal investigator: Jaromar Łukowicz

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

  23. The methods of formalization and criteria for the rationality of reasoning

    Call: OPUS 3 , Panel: HS1

    Principal investigator: dr hab. Anna Wójtowicz

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

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

    Call: PRELUDIUM 3 , Panel: ST6

    Principal investigator: Andrzej Stroiński

    Politechnika Poznańska, Wydział Informatyki

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

    Instytut Nauk Prawnych PAN

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

    Instytut Chemii Organicznej Polskiej Akademii Nauk

  27. Counting models in formal verification

    Call: SONATA BIS 12 , Panel: ST6

    Principal investigator: dr Filip Mazowiecki

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  28. A formal treatment of epistemic injustice

    Call: POLONEZ BIS 2 , Panel: HS1

    Principal investigator: dr Christoph Merdes

    Uniwersytet Jagielloński, Wydział Filozoficzny

  29. 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 Klimek-Jankowska

    Uniwersytet Wrocławski, Wydział Filologiczny

  30. Organizational Ethnography of Festivals of Street Performers

    Call: PRELUDIUM 19 , Panel: HS4

    Principal investigator: Marta Połeć

    Uniwersytet Jagielloński, Wydział Zarządzania i Komunikacji Społecznej

  31. 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 Wiśniewski

    Uniwersytet Zielonogórski

  32. Epistemic inaccuracy and foundational issues in formal epistemology

    Call: SONATA BIS 9 , Panel: HS1

    Principal investigator: dr hab. Leszek Wroński

    Uniwersytet Jagielloński, Wydział Filozoficzny

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

  34. Examination of patterns of impairments in poor singers in terms of pitch accuracy using acoustical measures.

    Call: PRELUDIUM 1 , Panel: HS6

    Principal investigator: Magdalena Berkowska

    Wyższa Szkoła Finansów i Zarządzania w Warszawie, Wydział Psychologii

  35. Automatic analysis of concurrent systems

    Call: OPUS 14 , Panel: ST6

    Principal investigator: prof. Sławomir Lasota

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

  37. Formal features of conscious representations

    Call: PRELUDIUM 13 , Panel: HS6

    Principal investigator: Simon Del Pin

    Uniwersytet Jagielloński, Wydział Filozoficzny

  38. Niestandardowe modele arytmetyki i formalne teorie prawdy

    Call: ETIUDA 5 , Panel: HS1

    Principal investigator: Michał Godziszewski

    Uniwersytet Warszawski, Wydział Filozofii

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

  40. Arithmetic properties of formal groups

    Call: OPUS 11 , Panel: ST1

    Principal investigator: dr Mariia Vlasenko

    Instytut Matematyczny Polskiej Akademii Nauk

  41. Grammatical inference methods in classification of amyloidogenic proteins

    Call: OPUS 11 , Panel: ST6

    Principal investigator: dr hab. Olgierd Unold

    Politechnika Wrocławska

  42. Does the language of economics limit its explanatory power? Analyzing the impact of unrealistic assumptions, mathematica...

    Call: SONATA 1 , Panel: HS4

    Principal investigator: dr Łukasz Hardt

    Uniwersytet Warszawski, Wydział Nauk Ekonomicznych

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

  44. Metatheory of Tableau Systems

    Call: OPUS 10 , Panel: HS1

    Principal investigator: dr hab. Tomasz Jarmużek

    Uniwersytet Mikołaja Kopernika, Wydział Humanistyczny

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