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

620 projects found matching your search criteria :

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

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

  3. Novel active learning querying strategy for the machine learning models

    Call: PRELUDIUM 5 , Panel: ST6

    Principal investigator: dr Wojciech Czarnecki

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  4. Tractable Game-Theoretic Network Centrality Measures

    Call: SONATA 5 , Panel: ST6

    Principal investigator: dr Tomasz Michalak

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  5. Theoretical aspects of voting protocols

    Call: SONATA 5 , Panel: ST6

    Principal investigator: dr Filip Zagórski

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

  6. Consistent and scalable learning algorithms for structured output prediction

    Call: SONATA 5 , Panel: ST6

    Principal investigator: dr Krzysztof Dembczyński

    Politechnika Poznańska, Wydział Informatyki

  7. A parallel memetic algorithm for solving complex transportation problems.

    Call: PRELUDIUM 5 , Panel: ST6

    Principal investigator: Jakub Nalepa

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

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

  9. Methods for combining one-class classifiers

    Call: PRELUDIUM 5 , Panel: ST6

    Principal investigator: Bartosz Krawczyk

    Politechnika Wrocławska, Wydział Elektroniki

  10. Graphs within graphs: from well-quasi-orders to algorithms

    Call: PRELUDIUM 6 , Panel: ST6

    Principal investigator: dr Jean-Florent Raymond

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  11. Online learning of matrices

    Call: SONATA 6 , Panel: ST6

    Principal investigator: dr Wojciech Kotłowski

    Politechnika Poznańska, Wydział Informatyki

  12. Application of ensemble algorithms for data stream mining

    Call: PRELUDIUM 6 , Panel: ST6

    Principal investigator: dr Lena Pietruczuk

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

  13. Intelligent nonlinear systems with shallow and deep architectures

    Call: OPUS 6 , Panel: ST6

    Principal investigator: prof. Bogdan Wilamowski

    Wyższa Szkoła Informatyki i Zarządzania w Rzeszowie

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

  15. Metody wyboru klasyfikatorów jednoklasowych na potrzeby klasyfikacji kombinowanej

    Call: ETIUDA 2 , Panel: ST6

    Principal investigator: Bartosz Krawczyk

    Politechnika Wrocławska, Wydział Elektroniki

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

  17. ARISTOTELES: Methodology and algorithms for Automatic RevISion of onTOlogies in TAsk basEd scEnarioS

    Call: SONATA 7 , Panel: ST6

    Principal investigator: dr Agnieszka Ławrynowicz

    Politechnika Poznańska, Wydział Informatyki

  18. Maximizing informative content of low quality OCT scans for modern computer-aided diagnostic procedures (Project CADOCT)

    Call: PRELUDIUM 8 , Panel: ST6

    Principal investigator: Agnieszka Stankiewicz

    Politechnika Poznańska, Wydział Informatyki

  19. Heuristic Discovery of Underlying Objectives for Test-based Problems.

    Call: PRELUDIUM 8 , Panel: ST6

    Principal investigator: Paweł Liskowski

    Politechnika Poznańska, Wydział Informatyki

  20. Methods for real-time object detection and tracking based on 3D map analysis and semi-supervised learning

    Call: OPUS 8 , Panel: ST6

    Principal investigator: dr hab. Bogdan Kwolek

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

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

  22. ALOFON - Methodology and technology for the polymodal allophonic speech transcription

    Call: OPUS 9 , Panel: ST6

    Principal investigator: prof. Andrzej Czyżewski

    Politechnika Gdańska, Wydział Elektroniki, Telekomunikacji i Informatyki

  23. Compression and analysis of genomic data

    Call: OPUS 9 , Panel: ST6

    Principal investigator: dr hab. Sebastian Deorowicz

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

  24. Formal linguistics for proteomics - modeling, analysis and hypotheses testing

    Call: SONATA 9 , Panel: ST6

    Principal investigator: dr Witold Dyrka

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

  25. Dimension and representations of partially ordered sets: computational complexity, bounds and structural properties

    Call: SONATA BIS 5 , Panel: ST6

    Principal investigator: dr Piotr Micek

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  26. Reverse engineering of interacting signals in complex networks

    Call: OPUS 10 , Panel: ST6

    Principal investigator: prof. Janusz Hołyst

    Politechnika Warszawska, Wydział Fizyki

  27. Algorithmic Structure Theory for Sparse Graphs

    Call: POLONEZ 1 , Panel: ST6

    Principal investigator: Dipl. Inform. Sebastian Siebertz

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  28. Fuzzy Implications and Their Impact on Various Methods Used in Intelligent Systems.

    Call: OPUS 10 , Panel: ST6

    Principal investigator: dr hab. Michał Baczyński

    Uniwersytet Śląski w Katowicach, Wydział Nauk Ścisłych i Technicznych

  29. Isabelle Emulator for Mizar: Environment for Mizar Mathematical Library Reverificationa

    Call: SONATA 10 , Panel: ST6

    Principal investigator: dr Karol Pąk

    Uniwersytet w Białymstoku, Instytut Informatyki

  30. Developing new strategies of dynamic controlling the number of evolving subpopulations in co-evolutionary optimization

    Call: SONATA 10 , Panel: ST6

    Principal investigator: dr Michał Przewoźniczek

    Politechnika Wrocławska

  31. Algebraic invariants of Data Petri Nets.

    Call: SONATA 11 , Panel: ST6

    Principal investigator: dr Piotr Hofman

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  32. Data-driven label space division methods for multi-label classification

    Call: PRELUDIUM 11 , Panel: ST6

    Principal investigator: Piotr Szymański

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

  33. New algorithms for estimating clonal structures and for modeling heterogenous evolution for applications in cancer genom...

    Call: OPUS 11 , Panel: ST6

    Principal investigator: prof. Andrzej Polański

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

  34. Constructions of sets of integral images for fast feature extraction and machine learning in detection tasks

    Call: OPUS 11 , Panel: ST6

    Principal investigator: dr hab. Przemysław Klęsk

    Zachodniopomorski Uniwersytet Technologiczny w Szczecinie, Wydział Informatyki

  35. Bayesian analysis of bladder cancer subtypes based on high-throughput data

    Call: PRELUDIUM 11 , Panel: ST6

    Principal investigator: Krzysztof Gogolewski

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  36. Limits of Databases

    Call: SONATA 11 , Panel: ST6

    Principal investigator: dr Szymon Toruńczyk

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  37. Transformer-based methods for novel active chemical compounds

    Call: PRELUDIUM 18 , Panel: ST6

    Principal investigator: Łukasz Maziarka

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  38. Computational aspects of non-Euclidean geometries

    Call: OPUS 18 , Panel: ST6

    Principal investigator: dr Eryk Kopczyński

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  39. Development of evolutionary methods dedicated to solving multi- and many-objective problems with the use of linkage lear...

    Call: SONATA BIS 10 , Panel: ST6

    Principal investigator: dr Michał Przewoźniczek

    Politechnika Wrocławska

  40. Phylogenetic models to infer cancer evolution

    Call: SONATA 16 , Panel: ST6

    Principal investigator: dr Jarosław Paszek

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  41. Leveraging Randomization: From Scheduling to AdWords

    Call: OPUS 20 , Panel: ST6

    Principal investigator: dr Łukasz Jeż

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  42. Deep Self-Organizing Neural Graphs

    Call: OPUS 21 , Panel: ST6

    Principal investigator: prof. Jacek Tabor

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  43. Acceleration of processing event-based visual data with the use of heterogeneous, reprogrammable computing devices

    Call: PRELUDIUM 20 , Panel: ST6

    Principal investigator: Marcin Kowalczyk

    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej

  44. REIWork: Reconfigurable Environments for Interactive Workspaces

    Call: PRELUDIUM 20 , Panel: ST6

    Principal investigator: Julia Dominiak

    Politechnika Łódzka

  45. Generative flow-based models in application to uncertainty modeling for machine learning tasks

    Call: OPUS 22 , Panel: ST6

    Principal investigator: dr hab. Maciej Zięba

    Politechnika Wrocławska

  46. Proportional Participatory Budgeting

    Call: PRELUDIUM 21 , Panel: ST6

    Principal investigator: Grzegorz Pierczyński

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

  48. How to learn faster: towards better adaptation in Meta-Learning.

    Call: PRELUDIUM 21 , Panel: ST6

    Principal investigator: Marcin Sendera

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  49. Polynomial finite state computation

    Call: MAESTRO 14 , Panel: ST6

    Principal investigator: prof. Mikołaj Bojańczyk

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  50. Counting models in formal verification

    Call: SONATA BIS 12 , Panel: ST6

    Principal investigator: dr Filip Mazowiecki

    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