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

190 projects found matching your search criteria :

  1. Stoping methods in analysis of chosen algorithms

    Call: OPUS 9 , Panel: ST6

    Principal investigator: prof. Michał Morayne

    Politechnika Wrocławska

  2. Development of Models and Methods for Incorporating Knowledge to Support Vector Machines

    Call: SONATA 9 , Panel: ST6

    Principal investigator: dr Marcin Orchel

    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji

  3. Blind signatures and electronic identity documents

    Call: PRELUDIUM 8 , Panel: ST6

    Principal investigator: Lucjan Hanzlik

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

  4. 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, Wydział Politologii

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

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

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

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

  9. Weighted automata for quantitative properties

    Call: SONATA 8 , Panel: ST6

    Principal investigator: dr Jan Otop

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  10. Reasoning about programs in higher-order languages

    Call: OPUS 8 , Panel: ST6

    Principal investigator: prof. Witold Charatonik

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

  12. Logics for data analysis and verification

    Call: SONATA 8 , Panel: ST6

    Principal investigator: dr Jakub Michaliszyn

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  13. 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 Zawisławska

    Uniwersytet Warszawski, Wydział Polonistyki

  14. Numerical and structural invariants in algebra, logic and constraint satisfaction problems

    Call: MAESTRO 6 , Panel: ST6

    Principal investigator: prof. Paweł Idziak

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  15. Formal theories of truth and nonstandard models of arithmetic

    Call: PRELUDIUM 7 , Panel: HS1

    Principal investigator: Michał Godziszewski

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

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

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

  18. Communication Problems in Wireless Sensor Networks

    Call: PRELUDIUM 7 , Panel: ST6

    Principal investigator: Michał Różański

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  19. Algebraic theory for CSP (tractability, approximation and optimization)

    Call: OPUS 7 , Panel: ST6

    Principal investigator: dr hab. Marcin Kozik

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  20. Cryptography without trusted parties

    Call: SONATA 7 , Panel: ST6

    Principal investigator: dr Tomasz Kazana

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  21. Decidability issues for automata on infinite structures

    Call: OPUS 7 , Panel: ST6

    Principal investigator: prof. Damian Niwiński

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  22. Foundations of Cryptocurrencies

    Call: OPUS 7 , Panel: ST6

    Principal investigator: dr hab. Stefan Dziembowski

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

  24. From nonuniform disk data to leakage-resilient authentication schemes

    Call: PRELUDIUM 7 , Panel: ST6

    Principal investigator: Michał Zając

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  25. Languages and Learning in General Game Playing

    Call: PRELUDIUM 7 , Panel: ST6

    Principal investigator: Jakub Kowalski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  26. Formal truth theories

    Call: OPUS 7 , Panel: HS1

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

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

  27. Complexity of algorithms on compressed data

    Call: OPUS 7 , Panel: ST6

    Principal investigator: prof. Wojciech Rytter

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  28. Algorithmic Learning Theory and Computational Models of Cognitive Capabilities Acquisition

    Call: OPUS 6 , Panel: HS1

    Principal investigator: dr hab. Marcin Mostowski

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

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

  30. Specification development and software verification

    Call: OPUS 6 , Panel: ST6

    Principal investigator: prof. Andrzej Tarlecki

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  31. Online learning of matrices

    Call: SONATA 6 , Panel: ST6

    Principal investigator: dr Wojciech Kotłowski

    Politechnika Poznańska, Wydział Informatyki

  32. Challenges in semistructural data management

    Call: SONATA 6 , Panel: ST6

    Principal investigator: dr Filip Murlak

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  33. Asymptotic methods in lambda calculus and combinatory logic

    Call: OPUS 6 , Panel: ST6

    Principal investigator: prof. Marek Zaionc

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  34. Gaussian and Belief Networks in Bayesian Adaptation and Optimization of Behavioral Patterns [javascript:void(0);]

    Call: PRELUDIUM 1 , Panel: ST6

    Principal investigator: dr Michał Matuszak

    Uniwersytet Mikołaja Kopernika, Wydział Matematyki i Informatyki

  35. New methods of comprehensive analysis of concurrent computing systems

    Call: SONATA 5 , Panel: ST6

    Principal investigator: dr Łukasz Mikulski

    Uniwersytet Mikołaja Kopernika, Wydział Matematyki i Informatyki

  36. Combinatorial and information theory aspects of communication in distributed systems.

    Call: PRELUDIUM 5 , Panel: ST6

    Principal investigator: dr Marcin Kardas

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

  37. Theoretical aspects of voting protocols

    Call: SONATA 5 , Panel: ST6

    Principal investigator: dr Filip Zagórski

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

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

  39. Frontiers of tractability for recursive queries

    Call: PRELUDIUM 5 , Panel: ST6

    Principal investigator: dr Filip Mazowiecki

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  40. Frontiers of automatic verification: new methods of analysis of infinite-state systems

    Call: OPUS 5 , Panel: ST6

    Principal investigator: dr hab. Sławomir Lasota

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  41. Algorithms for robust discrete optimization

    Call: OPUS 5 , Panel: ST6

    Principal investigator: dr hab. Adam Kasperski

    Politechnika Wrocławska, Wydział Informatyki i Zarządzania

  42. Automatic reasoning about specifications in simple logics - decidability and complexity issues

    Call: OPUS 5 , Panel: ST6

    Principal investigator: dr hab. Lidia Tendera

    Uniwersytet Opolski

  43. Synchronization of automata and the Cerny conjecture

    Call: PRELUDIUM 5 , Panel: ST6

    Principal investigator: dr Marek Szykuła

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  44. The BDD/FC Conjecture and beyond

    Call: PRELUDIUM 5 , Panel: ST6

    Principal investigator: Tomasz Gogacz

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

  46. Color image retrieval system based on the multichannel analysis of spatial information.

    Call: SONATA 1 , Panel: ST6

    Principal investigator: dr Maria Łuszczkiewicz-Piątek

    Uniwersytet Łódzki, Wydział Matematyki i Informatyki

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

  48. Correlation of dynamics of H1 linker histone with spatial architecture of chromatin in cell nuclei.

    Call: OPUS 1 , Panel: NZ3

    Principal investigator: prof. Jerzy Dobrucki

    Uniwersytet Jagielloński, Wydział Biochemii, Biofizyki i Biotechnologii

  49. New methods in parametric model checking

    Call: PRELUDIUM 4 , Panel: ST6

    Principal investigator: Michał Knapik

    Instytut Podstaw Informatyki PAN

  50. LP rounding approximation algorithms

    Call: PRELUDIUM 4 , Panel: ST6

    Principal investigator: Bartosz Rybicki

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy