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

69 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 Niwiński

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  6. Development of algorithms for 3D buildings modeling using point clouds from dense image matching.

    Call: PRELUDIUM 7 , Panel: ST10

    Principal investigator: Małgorzata Jarząbek-Rychard

    Uniwersytet Przyrodniczy we Wrocławiu, Wydział Inżynierii Kształtowania Środowiska i Geodezji

  7. Development of three-dimensional model and software based on frontal cellular automata for modeling microstructure evolu...

    Call: PRELUDIUM 1 , Panel: ST8

    Principal investigator: dr Łukasz Łach

    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Inżynierii Metali i Informatyki Przemysłowej

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

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

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

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

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

    Call: PRELUDIUM 1 , Panel: HS2

    Principal investigator: dr Honorata Zarębska

    Uniwersytet Śląski w Katowicach, Wydział Filologiczny

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

    Call: OPUS 5 , Panel: ST6

    Principal investigator: dr hab. Lidia Tendera

    Uniwersytet Opolski

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

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

    Politechnika Warszawska, Wydział Mechatroniki

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

    Call: OPUS 4 , Panel: ST6

    Principal investigator: dr Marcin Sydow

    Instytut Podstaw Informatyki PAN

  17. Automatisation of constructive logic

    Call: OPUS 4 , Panel: ST6

    Principal investigator: dr hab. Aleksy Schubert

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  18. Limits of decidability in automata theory

    Call: SONATA 4 , Panel: ST6

    Principal investigator: dr Paweł Parys

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

    Call: PRELUDIUM 1 , Panel: ST6

    Principal investigator: dr Łukasz Kobyliński

    Instytut Podstaw Informatyki PAN

  20. Methods of automatic programming involving semantic approaches

    Call: PRELUDIUM 4 , Panel: ST6

    Principal investigator: dr Tomasz Pawlak

    Politechnika Poznańska, Wydział Informatyki

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

    Call: MAESTRO 3 , Panel: ST6

    Principal investigator: prof. Ryszard Adamiak

    Politechnika Poznańska, Wydział Informatyki

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

    Call: PRELUDIUM 3 , Panel: ST6

    Principal investigator: dr Aleksander Wawer

    Instytut Podstaw Informatyki Polskiej Akademii Nauk

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

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

    Call: PRELUDIUM 3 , Panel: ST6

    Principal investigator: dr Michał Skrzypczak

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

  26. Optimal control of quantum systems

    Call: PRELUDIUM 3 , Panel: ST7

    Principal investigator: Łukasz Pawela

    Instytut Informatyki Teoretycznej i Stosowanej PAN

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

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

    Call: OPUS 2 , Panel: ST6

    Principal investigator: prof. Karol Kołodziej

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

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

  30. The parity problem for cellular automata.

    Call: SONATA 18 , Panel: ST6

    Principal investigator: dr Anna 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 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. learnINg versaTile lEgged locomotioN wiTh actIve perceptiON

    Call: OPUS 22 (LAP) , Panel: ST6

    Principal investigator: dr Krzysztof Walas

    Politechnika Poznańska, Wydział Automatyki, Robotyki i Elektrotechniki

  34. Products of experts for robotic manipulation.

    Call: POLONEZ BIS 1 , Panel: ST6

    Principal investigator: dr Marek Kopicki

    Politechnika Poznańska

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

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

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

  38. Decision procedures in verification

    Call: OPUS 2 , Panel: ST6

    Principal investigator: prof. Witold Charatonik

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

    Call: PRELUDIUM 2 , Panel: ST6

    Principal investigator: Bartosz Alchimowicz

    Politechnika Poznańska, Wydział Informatyki

  40. Robust Formalisms for Quantitative Reasoning

    Call: OPUS 20 , Panel: ST6

    Principal investigator: dr Jakub Michaliszyn

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

    Call: PRELUDIUM 2 , Panel: ST6

    Principal investigator: Marcin Sieniek

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

  42. Algorithms for text data processing

    Call: OPUS 2 , Panel: ST6

    Principal investigator: dr hab. Sebastian Deorowicz

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

  43. Data-enriched models of computation

    Call: OPUS 18 , Panel: ST6

    Principal investigator: prof. Sławomir Lasota

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

  45. Fundamental problems and implementations of dissipative quantum engineering

    Call: MAESTRO 11 , Panel: ST2

    Principal investigator: prof. Adam Miranowicz

    Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Fizyki

  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. Methods and tools of future document engineering - MENAID

    Call: OPUS 1 , Panel: ST6

    Principal investigator: prof. Bogdan Wiszniewski

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

  48. Machine learning and automatic theorem proving

    Call: OPUS 15 , Panel: ST6

    Principal investigator: dr hab. Henryk Michalewski

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  49. 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 Błądek

    Politechnika Poznańska, Wydział Informatyki i Telekomunikacji

  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