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

258 projects found matching your search criteria :

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

  2. Secure domain signature and anonymous credential schemes for smart cards

    Call: OPUS 8 , Panel: ST6

    Principal investigator: prof. Mirosław Kutyłowski

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

  3. Affiliation hiding group signatures

    Call: PRELUDIUM 8 , Panel: ST6

    Principal investigator: Kamil Kluczniak

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

  4. Blind signatures and electronic identity documents

    Call: PRELUDIUM 8 , Panel: ST6

    Principal investigator: Lucjan Hanzlik

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

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

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

  7. Weighted automata for quantitative properties

    Call: SONATA 8 , Panel: ST6

    Principal investigator: dr Jan Otop

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  8. New methods of identity verification based on the dynamic features of a signature with use of selected artificial intell...

    Call: PRELUDIUM 1 , Panel: ST6

    Principal investigator: Marcin Zalasiński

    Politechnika Częstochowska, Wydział Inżynierii Mechanicznej i Informatyki

  9. Reasoning about programs in higher-order languages

    Call: OPUS 8 , Panel: ST6

    Principal investigator: prof. Witold Charatonik

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  10. Semantic tensor networks for large data sets analysis

    Call: OPUS 8 , Panel: ST6

    Principal investigator: dr hab. Piotr Gawron

    Instytut Informatyki Teoretycznej i Stosowanej PAN

  11. Coherent spectral manipulation of quantum states of light

    Call: SONATA 8 , Panel: ST2

    Principal investigator: dr Michał Karpiński

    Uniwersytet Warszawski, Wydział Fizyki

  12. Efficient and Secure Authenticated Encryption - New Designs and Advanced Cryptanalysis

    Call: OPUS 8 , Panel: ST6

    Principal investigator: prof. Józef Pieprzyk

    Instytut Podstaw Informatyki Polskiej Akademii Nauk

  13. Biometric data in security systems with restricted resources - authentication and protection.

    Call: PRELUDIUM 8 , Panel: ST6

    Principal investigator: Wojciech Wodo

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

  14. Logics for data analysis and verification

    Call: SONATA 8 , Panel: ST6

    Principal investigator: dr Jakub Michaliszyn

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

  16. Quantum information processing with severely limited memory and communication

    Call: SONATA BIS 4 , Panel: ST2

    Principal investigator: dr hab. Marcin Pawłowski

    Uniwersytet Gdański, Wydział Matematyki, Fizyki i Informatyki

  17. Electromagnetic interactions - a new source of information on high energy collisions of atomic nuclei

    Call: SONATA BIS 4 , Panel: ST2

    Principal investigator: dr hab. Andrzej Rybicki

    Instytut Fizyki Jądrowej im. Henryka Niewodniczańskiego PAN

  18. New fundamental bounds on correlations of a strictly quantum nature. Various definitions of quantumness and their mutual...

    Call: HARMONIA 6 , Panel: ST2

    Principal investigator: dr hab. Wiesław Laskowski

    Uniwersytet Gdański, Wydział Matematyki, Fizyki i Informatyki

  19. Communication Problems in Wireless Sensor Networks

    Call: PRELUDIUM 7 , Panel: ST6

    Principal investigator: Michał Różański

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

  21. Cryptography without trusted parties

    Call: SONATA 7 , Panel: ST6

    Principal investigator: dr Tomasz Kazana

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  22. Decoherence properties of non-Gaussian states

    Call: SONATA 7 , Panel: ST2

    Principal investigator: dr Łukasz Rudnicki

    Centrum Fizyki Teoretycznej PAN

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

  24. Foundations of Cryptocurrencies

    Call: OPUS 7 , Panel: ST6

    Principal investigator: dr hab. Stefan Dziembowski

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

  26. Languages and Learning in General Game Playing

    Call: PRELUDIUM 7 , Panel: ST6

    Principal investigator: Jakub Kowalski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  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. Analiza możliwości wykorzystania akustyki pomieszczeń w celu poprawy jakości ekstrakcji sygnałów mowy

    Call: FUGA 3 , Panel: ST7

    Principal investigator: dr Konrad Kowalczyk

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

  29. Minimization of disturbance in quantum walk based algorithms and protocols.

    Call: PRELUDIUM 6 , Panel: ST6

    Principal investigator: Przemysław Sadowski

    Instytut Informatyki Teoretycznej i Stosowanej PAN

  30. Nonlinear properties of low dimensional quantum states: direct measurement and applications in quantum information proce...

    Call: SONATA 6 , Panel: ST2

    Principal investigator: dr Karol Bartkiewicz

    Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Fizyki

  31. Quantum Bayesian networks

    Call: PRELUDIUM 6 , Panel: ST6

    Principal investigator: Dariusz Kurzyk

    Instytut Informatyki Teoretycznej i Stosowanej PAN

  32. Specification development and software verification

    Call: OPUS 6 , Panel: ST6

    Principal investigator: prof. Andrzej Tarlecki

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  33. Online learning of matrices

    Call: SONATA 6 , Panel: ST6

    Principal investigator: dr Wojciech Kotłowski

    Politechnika Poznańska, Wydział Informatyki

  34. Challenges in semistructural data management

    Call: SONATA 6 , Panel: ST6

    Principal investigator: dr Filip Murlak

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

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

  37. Application of the theory of measure concentration in description of statistical properties of quantum systems

    Call: PRELUDIUM 5 , Panel: ST1

    Principal investigator: dr Michał Oszmaniec

    Centrum Fizyki Teoretycznej PAN

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

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

  40. Basic problems of quantum information theory and discrimination of quantum states and operations

    Call: OPUS 1 , Panel: ST1

    Principal investigator: prof. Andrzej Łuczak

    Uniwersytet Łódzki, Wydział Matematyki i Informatyki

  41. Theoretical aspects of voting protocols

    Call: SONATA 5 , Panel: ST6

    Principal investigator: dr Filip Zagórski

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

  42. Cryptanalysis of a family of Keccak hash functions

    Call: SONATA 5 , Panel: ST6

    Principal investigator: dr Paweł Morawiecki

    Instytut Podstaw Informatyki Polskiej Akademii Nauk

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

  44. Frontiers of tractability for recursive queries

    Call: PRELUDIUM 5 , Panel: ST6

    Principal investigator: dr Filip Mazowiecki

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

  46. Algorithms for robust discrete optimization

    Call: OPUS 5 , Panel: ST6

    Principal investigator: dr hab. Adam Kasperski

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

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

    Call: OPUS 5 , Panel: ST6

    Principal investigator: dr hab. Lidia Tendera

    Uniwersytet Opolski

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

  49. Quantum games: theory and implementation

    Call: OPUS 1 , Panel: ST6

    Principal investigator: prof. Jan Sładkowski

    Uniwersytet Śląski w Katowicach, Wydział Matematyki, Fizyki i Chemii

  50. The BDD/FC Conjecture and beyond

    Call: PRELUDIUM 5 , Panel: ST6

    Principal investigator: Tomasz Gogacz

    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