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

151 projects found matching your search criteria :

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

  2. Ramsey numbers containing C_4

    Call: PRELUDIUM 3 , Panel: ST6

    Principal investigator: Janusz Dybizbański

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

  3. Parallel algorithms for creation and simulation three-dimensional vascular network

    Call: OPUS 2 , Panel: ST6

    Principal investigator: dr Krzysztof Psiuk-Maksymowicz

    Politechnika Śląska, Wydział Automatyki, Elektroniki i Informatyki

  4. Methodology of semantic models building based on mobile robot's observations

    Call: SONATA 2 , Panel: ST6

    Principal investigator: dr Janusz Będkowski

    Instytut Maszyn Matematycznych

  5. New methods for the automatic synthesis and exploration of sequential data

    Call: SONATA 2 , Panel: ST6

    Principal investigator: dr Radosław Ziembiński

    Politechnika Poznańska, Wydział Informatyki

  6. Computable structure theory, and philosophy of mathematical structuralism

    Call: OPUS 25 , Panel: HS1

    Principal investigator: dr Dariusz Kalociński

    Instytut Podstaw Informatyki Polskiej Akademii Nauk

  7. Modern tools for complex network analysis

    Call: OPUS 25 , Panel: ST6

    Principal investigator: dr Małgorzata Sulkowska

    Politechnika Wrocławska

  8. Optimal and probabilistic learning of quantum devices

    Call: OPUS 24 , Panel: ST6

    Principal investigator: dr hab. Zbigniew Puchała

    Instytut Informatyki Teoretycznej i Stosowanej Polskiej Akademii Nauk

  9. Automation of the Problem of Unification in Description Logics

    Call: POLONEZ BIS 3 , Panel: ST6

    Principal investigator: dr hab. Barbara Morawska

    Uniwersytet Opolski, Wydział Matematyki, Fizyki i Informatyki

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

  11. Dimension and Boolean dimension of partial orders

    Call: OPUS 24 , Panel: ST6

    Principal investigator: dr hab. Piotr Micek

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  12. Structure and algorithms for graph classes defined by transduction-closed properties

    Call: SONATA 18 , Panel: ST6

    Principal investigator: dr Jakub Gajarský

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  13. Counting models in formal verification

    Call: SONATA BIS 12 , Panel: ST6

    Principal investigator: dr Filip Mazowiecki

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  14. Polynomial finite state computation

    Call: MAESTRO 14 , Panel: ST6

    Principal investigator: prof. Mikołaj Bojańczyk

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  15. Linear algebra in orbit-finite dimension

    Call: PRELUDIUM 21 , Panel: ST6

    Principal investigator: Arka Ghosh

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  16. Satsifiability and equivalence problems for finite algebras

    Call: OPUS 23 , Panel: ST6

    Principal investigator: dr Jacek Krzaczkowski

    Uniwersytet Marii Curie-Skłodowskiej w Lublinie, Wydział Matematyki, Fizyki i Informatyki

  17. Texture analysis and recognition for computer-aided diagnostics of skin lesions digital images

    Call: PRELUDIUM 2 , Panel: ST6

    Principal investigator: Leszek Nowak

    Uniwersytet Jagielloński, Wydział Fizyki, Astronomii i Informatyki Stosowanej

  18. The graph homomorphism problem in structurally restricted classes

    Call: PRELUDIUM 21 , Panel: ST6

    Principal investigator: Marta Piecyk

    Politechnika Warszawska

  19. First Order Logic and Beyond. Some Puzzles in Database Theory.

    Call: OPUS 23 , Panel: ST6

    Principal investigator: prof. Jerzy Marcinkowski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  20. Representation of dynamic 3D scenes using the Atomic Shapes Network model

    Call: SONATA 2 , Panel: ST6

    Principal investigator: dr Przemysław Głomb

    INSTYTUT INFORMATYKI TEORETYCZNEJ I STOSOWANEJ PAN

  21. Fair Problems and Diverse Solutions in Parameterized Complexity

    Call: SONATA 17 , Panel: ST6

    Principal investigator: dr Tomáš Masařík

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  22. Generalizations of the graph coloring problem in graphs with forbidden structures

    Call: PRELUDIUM 20 , Panel: ST6

    Principal investigator: Karolina Okrasa

    Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych

  23. Frontiers of automatic analysis of concurrent systems

    Call: OPUS 21 , Panel: ST6

    Principal investigator: prof. Sławomir Lasota

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  24. H-graphs - recognition, isomorphism, and related problems

    Call: PRELUDIUM 20 , Panel: ST6

    Principal investigator: Jan Derbisz

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  25. Modular circuits - algorithms and lower bounds

    Call: PRELUDIUM 20 , Panel: ST6

    Principal investigator: Piotr Kawałek

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  26. From expressive description logics to mulit-variable fragments of first-order logic: resoning in finite structures

    Call: OPUS 21 , Panel: ST6

    Principal investigator: dr hab. Emanuel Kieroński

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  27. New concept of the network of smart cameras with enchanced autonomy for automatic surveillance system.

    Call: PRELUDIUM 2 , Panel: ST6

    Principal investigator: Michał Fularz

    Politechnika Poznańska, Wydział Elektryczny

  28. Computational aspects of infinite-duration games

    Call: OPUS 21 , Panel: ST6

    Principal investigator: dr hab. Paweł Parys

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  29. Finite automata: selected problems and applications connecting different areas

    Call: OPUS 21 , Panel: ST6

    Principal investigator: dr Marek Szykuła

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  30. Leveraging Randomization: From Scheduling to AdWords

    Call: OPUS 20 , Panel: ST6

    Principal investigator: dr Łukasz Jeż

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  31. Robust Formalisms for Quantitative Reasoning

    Call: OPUS 20 , Panel: ST6

    Principal investigator: dr Jakub Michaliszyn

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  32. Towards Estimation of Information Content for Graph Structures

    Call: SONATA 16 , Panel: ST6

    Principal investigator: dr Krzysztof Turowski

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  33. Space-efficient encodings of combinatorial problems for variational quantum computing

    Call: PRELUDIUM 19 , Panel: ST6

    Principal investigator: Adam Glos

    Instytut Informatyki Teoretycznej i Stosowanej Polskiej Akademii Nauk

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

  35. Constraint Satisfaction Problems for infinite homogeneous structures: towards algorithms

    Call: OPUS 19 , Panel: ST6

    Principal investigator: dr Michał Wrona

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  36. Data-enriched models of computation

    Call: OPUS 18 , Panel: ST6

    Principal investigator: prof. Sławomir Lasota

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  37. Combinatorial optimization under uncertainty: matroids,matchings and submodular functions

    Call: SONATA 15 , Panel: ST6

    Principal investigator: dr Marek Adamczyk

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  38. Blockchain wallets -- cryptographic theory and applications

    Call: OPUS 18 , Panel: ST6

    Principal investigator: prof. Stefan Dziembowski

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

  40. Colorings, cliques, and independent sets in graph classes

    Call: SONATA BIS 9 , Panel: ST6

    Principal investigator: dr hab. Bartosz Walczak

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  41. Impact of input data alteration and modification of the algorithm parameters on the efficiency of quantum programs

    Call: OPUS 17 , Panel: ST6

    Principal investigator: dr hab. Jarosław Miszczak

    Instytut Informatyki Teoretycznej i Stosowanej Polskiej Akademii Nauk

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

  43. Algebraic effects: composition and coinduction

    Call: SONATA 14 , Panel: ST6

    Principal investigator: dr Maciej Piróg

    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. Quantitative study of set theory. Are ZF and ZFC asymptotically equivalent?

    Call: OPUS 16 , Panel: ST6

    Principal investigator: prof. Marek Zaionc

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  46. Challenges to automated reasoning in decidable fragments of first-order logic: trees, orders and numerals

    Call: OPUS 16 , Panel: ST6

    Principal investigator: dr hab. Lidia Tendera

    Uniwersytet Opolski, Wydział Matematyki, Fizyki i Informatyki

  47. Optimality program in graph homomorphism problems

    Call: SONATA 14 , Panel: ST6

    Principal investigator: dr Paweł Rzążewski

    Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych

  48. Infinity in reasoning about data and knowledge

    Call: SONATA BIS 8 , Panel: ST6

    Principal investigator: dr hab. Filip Murlak

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  49. Machine learning and automatic theorem proving

    Call: OPUS 15 , Panel: ST6

    Principal investigator: dr hab. Henryk Michalewski

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  50. Deep Neural Architectures for Automated Theorem Proving

    Call: PRELUDIUM 15 , Panel: ST6

    Principal investigator: Bartosz Piotrowski

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy