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

64 projects found matching your search criteria :

  1. Weighted automata for quantitative properties

    Call: SONATA 8 , Panel: ST6

    Principal investigator: dr Jan Otop

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  2. Scalable metaheuristics for automated program synthesis

    Call: OPUS 8 , Panel: ST6

    Principal investigator: dr hab. Krzysztof Krawiec

    Politechnika Poznańska, Wydział Informatyki

  3. Application of generative and discriminative machine-learning models to automated grammatical error correction

    Call: PRELUDIUM 8 , Panel: ST6

    Principal investigator: Roman Grundkiewicz

    Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Matematyki i Informatyki

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

  5. Decidability issues for automata on infinite structures

    Call: OPUS 7 , Panel: ST6

    Principal investigator: prof. Damian Tadeusz Niwiński

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

  7. Multi-scale model of tumor dynamics as a key component of the system for optimal anti-cancer therapy

    Call: HARMONIA 5 , Panel: ST6

    Principal investigator: prof. Witold Dzwinel

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

  8. Development and implementation of model checking methods for real-time and multi-agent systems

    Call: OPUS 1 , Panel: ST6

    Principal investigator: dr hab. Bożena Woźna-Szcześniak

    Akademia im. Jana Długosza w Częstochowie, Wydział Matematyczno-Przyrodniczy

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

    Call: OPUS 5 , Panel: ST6

    Principal investigator: dr hab. Sławomir Grzegorz Lasota

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  10. Automated information systems of case-law. Model analysis

    Call: PRELUDIUM 1 , Panel: HS2

    Principal investigator: dr Honorata Alicja Zarębska

    UNIWERSYTET ŚLĄSKI, Wydział Filologiczny

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

    Call: OPUS 5 , Panel: ST6

    Principal investigator: dr hab. Lidia Zofia Tendera

    Uniwersytet Opolski

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

  13. Research on methods used for determination of measurement strategy during digitalization of shape of three dimensional o...

    Call: PRELUDIUM 4 , Panel: ST6

    Principal investigator: Maciej Tomasz Karaszewski

    Politechnika Warszawska, Wydział Mechatroniki

  14. DISQUSS: Diversified Suggestions for Queries on Semi-structured Data Sets

    Call: OPUS 4 , Panel: ST6

    Principal investigator: dr Marcin Rafał Sydow

    Instytut Podstaw Informatyki PAN

  15. Automatisation of constructive logic

    Call: OPUS 4 , Panel: ST6

    Principal investigator: dr hab. Aleksy Andrzej Schubert

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  16. Limits of decidability in automata theory

    Call: SONATA 4 , Panel: ST6

    Principal investigator: dr Paweł Parys

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  17. Automatic detection and correction of annotation errors in Polish language corpora

    Call: PRELUDIUM 1 , Panel: ST6

    Principal investigator: dr Łukasz Maciej Kobyliński

    Instytut Podstaw Informatyki PAN

  18. Methods of automatic programming involving semantic approaches

    Call: PRELUDIUM 4 , Panel: ST6

    Principal investigator: dr Tomasz Paweł Pawlak

    Politechnika Poznańska, Wydział Informatyki

  19. Automated, high-throughput modeling of RNA three-dimensional structures

    Call: MAESTRO 3 , Panel: ST6

    Principal investigator: prof. Ryszard Walenty Adamiak

    Politechnika Poznańska, Wydział Informatyki

  20. Automated recognition of opinion targets and expressions in Polish texts

    Call: PRELUDIUM 3 , Panel: ST6

    Principal investigator: dr Aleksander Marek Wawer

    Instytut Podstaw Informatyki PAN

  21. Simulation and bisimulation for context-free and pushdown systems

    Call: PRELUDIUM 3 , Panel: ST6

    Principal investigator: dr Piotr Hofman

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  22. Hierarchy-type Problems for Automata on Infinite Words and Trees

    Call: PRELUDIUM 3 , Panel: ST6

    Principal investigator: dr Michał Paweł Skrzypczak

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  23. Advanced Reasoning Methods and Optimization Techniques for the Problems of Ontology Classification and Consistency Check...

    Call: OPUS 1 , Panel: ST6

    Principal investigator: dr hab. Anh Linh Nguyen

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

  25. Automatic calculations for low energetic electron-positron annihilation into hadrons

    Call: OPUS 2 , Panel: ST6

    Principal investigator: prof. Karol Maksymilian Kołodziej

    UNIWERSYTET ŚLĄSKI, Wydział Matematyki, Fizyki i Chemii

  26. Formal verification in data-enriched models of computation

    Call: OPUS 28 , Panel: ST6

    Principal investigator: prof. Sławomir Grzegorz Lasota

    Uniwersytet Warszawski

  27. On the border of impossible in classical automata theory

    Call: OPUS 28 , Panel: ST6

    Principal investigator: dr hab. Paweł Parys

    Uniwersytet Warszawski

  28. Synthesis via active learning: theory and applications

    Call: OPUS 27 , Panel: ST6

    Principal investigator: dr hab. Jan Otop

    Uniwersytet Wrocławski

  29. Automation of the Problem of Unification in Description Logics

    Call: POLONEZ BIS 3 , Panel: ST6

    Principal investigator: dr hab. Barbara Joanna Morawska

    Uniwersytet Opolski, Instytut Informatyki

  30. The parity problem for cellular automata.

    Call: SONATA 18 , Panel: ST6

    Principal investigator: dr Anna Katarzyna Nenca

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

  31. Counting models in formal verification

    Call: SONATA BIS 12 , Panel: ST6

    Principal investigator: dr Filip Aleksander Mazowiecki

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  32. Polynomial finite state computation

    Call: MAESTRO 14 , Panel: ST6

    Principal investigator: prof. Mikołaj Bojańczyk

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  33. Frontiers of automatic analysis of concurrent systems

    Call: OPUS 21 , Panel: ST6

    Principal investigator: prof. Sławomir Grzegorz Lasota

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

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

  36. Decision procedures in verification

    Call: OPUS 2 , Panel: ST6

    Principal investigator: prof. Witold Charatonik

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  37. Automatic generation of user's manual for web applications

    Call: PRELUDIUM 2 , Panel: ST6

    Principal investigator: Bartosz Alchimowicz

    Politechnika Poznańska, Wydział Informatyki

  38. Robust Formalisms for Quantitative Reasoning

    Call: OPUS 20 , Panel: ST6

    Principal investigator: dr Jakub Dawid Michaliszyn

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  39. Automatic hp adaptive algorithms for processing of MRI scan data

    Call: PRELUDIUM 2 , Panel: ST6

    Principal investigator: Marcin Tomasz Sieniek

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

  40. Algorithms for text data processing

    Call: OPUS 2 , Panel: ST6

    Principal investigator: dr hab. Sebastian Deorowicz

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

  41. Data-enriched models of computation

    Call: OPUS 18 , Panel: ST6

    Principal investigator: prof. Sławomir Grzegorz Lasota

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  42. HOMER: Human Oriented autoMated machinE leaRning

    Call: SONATA BIS 9 , Panel: ST6

    Principal investigator: dr hab. Przemysław Biecek

    Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych

  43. Fundamental problems and implementations of dissipative quantum engineering

    Call: MAESTRO 11 , Panel: ST2

    Principal investigator: prof. Adam Jacek Miranowicz

    Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Fizyki

  44. 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 Zofia Tendera

    Uniwersytet Opolski, Wydział Nauk Społecznych, Wydział Matematyki, Fizyki i Informatyki

  45. Methods and tools of future document engineering - MENAID

    Call: OPUS 1 , Panel: ST6

    Principal investigator: prof. Bogdan Wojciech Wiszniewski

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

  46. Machine learning and automatic theorem proving

    Call: OPUS 15 , Panel: ST6

    Principal investigator: dr hab. Henryk Michalewski

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  47. Automated Discovery and Exploitation of Domain Knowledge for Prioritizing Search in the Problem of Automatic Program Syn...

    Call: PRELUDIUM 15 , Panel: ST6

    Principal investigator: Iwo Piotr Błądek

    Politechnika Poznańska, Wydział Informatyki i Telekomunikacji

  48. Deep Neural Architectures for Automated Theorem Proving

    Call: PRELUDIUM 15 , Panel: ST6

    Principal investigator: Bartosz Paweł Piotrowski

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  49. Automatic analysis of concurrent systems

    Call: OPUS 14 , Panel: ST6

    Principal investigator: prof. Sławomir Grzegorz Lasota

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  50. Quantitative specifications: learning, algorithms and applications

    Call: OPUS 14 , Panel: ST6

    Principal investigator: dr Jan Otop

    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