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

39 projects found matching your search criteria :

  1. An intelligent hybrid system for planning and composition of Web services

    Call: OPUS 1 , Panel: ST6

    Principal investigator: prof. Wojciech Penczek

    Uniwersytet Przyrodniczo-Humanistyczny w Siedlcach, Wydział Nauk Ścisłych

  2. Subjectivity of software agents - legal theoretical approach

    Call: PRELUDIUM 8 , Panel: HS5

    Principal investigator: dr Rafał Michalczak

    Uniwersytet Jagielloński, Wydział Prawa i Administracji

  3. Design and specification of multi-robot control systems

    Call: PRELUDIUM 1 , Panel: ST7

    Principal investigator: Piotr Trojanek

    Politechnika Warszawska, Wydział Elektroniki i Technik Informacyjnych

  4. Supporting software to assist pathologist in evaluation of immunohistochemically stained tissue samples of breast cancer...

    Call: PRELUDIUM 6 , Panel: ST7

    Principal investigator: Łukasz Roszkowiak

    Instytut Biocybernetyki i Inżynierii Biomedycznej im. Macieja Nałęcza PAN

  5. Specification development and software verification

    Call: OPUS 6 , Panel: ST6

    Principal investigator: prof. Andrzej Tarlecki

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

  7. Models, languages and systems for reliable and scalable distributed computing

    Call: SONATA 4 , Panel: ST6

    Principal investigator: dr Jacek Sroka

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  8. Automatisation of constructive logic

    Call: OPUS 4 , Panel: ST6

    Principal investigator: dr hab. Aleksy Schubert

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  9. Concurrency control and fault tolerance for distributed software transactional memory

    Call: HARMONIA 3 , Panel: ST6

    Principal investigator: dr hab. Paweł Wojciechowski

    Politechnika Poznańska, Wydział Informatyki

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

  11. Graph-theory based landscape structure analysis: development of the new analytic tool (GraphScape software), definition ...

    Call: OPUS 3 , Panel: ST10

    Principal investigator: prof. Jerzy Solon

    Instytut Geografii i Przestrzennego Zagospodarowania im. S. Leszczyckiego PAN

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

  13. Structure and interpretation of programming languages in the "proofs-as-programs" paradigm

    Call: OPUS 2 , Panel: ST6

    Principal investigator: dr Małgorzata Biernacka

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  14. Allocation of tasks in computer networks

    Call: PRELUDIUM 2 , Panel: ST6

    Principal investigator: dr Marcin Krzywkowski

    POLITECHNIKA GDAŃSKA

  15. Z^2 codes: decidability and verification algorithms, defect effect, asymptotic density, tilings, weak codes

    Call: OPUS 2 , Panel: ST6

    Principal investigator: dr Włodzimierz Moczurad

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  16. Precise and reusable models of flow and flowlet properties in the Internet

    Call: PRELUDIUM 22 , Panel: ST7

    Principal investigator: Piotr Jurkiewicz

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

  17. Development of rule-based query languages applied in intelligent systems

    Call: OPUS 1 , Panel: ST6

    Principal investigator: prof. Andrzej Szałas

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  18. Semantic Method for Unified Rules Interoperability in Knowledge-Based Systems. (SaMURaI)

    Call: PRELUDIUM 2 , Panel: ST6

    Principal investigator: Krzysztof Kaczor

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

  19. Aspherical atom model - developing novel methods for crystal structure refinement of partially disordered materials

    Call: OPUS 22 (LAP) , Panel: ST5

    Principal investigator: dr hab. Wojciech Sławiński

    Uniwersytet Warszawski, Wydział Chemii

  20. Bayesian simultaneous equations model averaging - theoretical development and R package

    Call: OPUS 22 , Panel: HS4

    Principal investigator: dr Krzysztof Beck

    Uczelnia Łazarskiego

  21. Probabilistic entropy in engineering computations

    Call: OPUS 21 , Panel: ST8

    Principal investigator: prof. Marcin Kamiński

    Politechnika Łódzka, Wydział Budownictwa, Architektury i Inżynierii Środowiska

  22. Source-code-representations for machine-learning-based identification of defective code fragments

    Call: OPUS 21 , Panel: ST6

    Principal investigator: dr Mirosław Ochodek

    Politechnika Poznańska, Wydział Informatyki i Telekomunikacji

  23. IT specialists in outsourcing centers for business services in Poland. Sociological study of experience of work

    Call: PRELUDIUM 20 , Panel: HS6

    Principal investigator: Szymon Pilch

    Uniwersytet Wrocławski, Wydział Nauk Społecznych

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

    Call: PRELUDIUM 2 , Panel: ST6

    Principal investigator: Bartosz Alchimowicz

    Politechnika Poznańska, Wydział Informatyki

  25. The culture of the amateur programming of home computers in the 1980s in the context of cognitive capitalism

    Call: OPUS 19 , Panel: HS3

    Principal investigator: dr Patryk Wasiak

    Instytut Historii im. Tadeusza Manteuffla Polskiej Akademii Nauk

  26. Modelling of software agent society in knowledge-based organizations

    Call: SONATA 2 , Panel: HS4

    Principal investigator: dr Mariusz Żytniewski

    Uniwersytet Ekonomiczny w Katowicach, Wydział Informatyki i Komunikacji

  27. Modeling of the early phases of heavy-ion collisions in high-energy experiments in the framework of the Glauber approach

    Call: SONATA 1 , Panel: ST2

    Principal investigator: dr hab. Maciej Rybczyński

    Uniwersytet Jana Kochanowskiego w Kielcach, Wydział Matematyczno-Przyrodniczy

  28. Space-software-human: augmented reality of the smart city

    Call: OPUS 17 , Panel: HS4

    Principal investigator: dr Michał Rzeszewski

    Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Nauk Geograficznych i Geologicznych

  29. Environment driven variation in the molecular architecture of softwood (EDMAS)

    Call: SONATINA 3 , Panel: NZ3

    Principal investigator: dr Jan Łyczakowski

    Uniwersytet Jagielloński, Wydział Biochemii, Biofizyki i Biotechnologii

  30. Algebraic effects: composition and coinduction

    Call: SONATA 14 , Panel: ST6

    Principal investigator: dr Maciej Piróg

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  31. Event Completeness of Use Cases

    Call: PRELUDIUM 1 , Panel: ST6

    Principal investigator: dr Jakub Jurkiewicz

    Politechnika Poznańska, Wydział Informatyki

  32. Intelligent monitoring software and silicon pixel sensor prototyping for future LHCb vertex detector.

    Call: PRELUDIUM 14 , Panel: ST2

    Principal investigator: Maciej Majewski

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

  33. Intelligent management of traffic in multi-layer Software-Defined Networks

    Call: OPUS 13 , Panel: ST6

    Principal investigator: dr hab. Jerzy Domżał

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

  34. The development of computing resources organization in latest generation of heterogeneous reconfigurable devices enablin...

    Call: SONATA 12 , Panel: ST6

    Principal investigator: dr Tomasz Kryjak

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

  35. Development of novel bioinformatics software for analysis of genetic variation in non-coding elements of the human genom...

    Call: POLONEZ 3 , Panel: NZ2

    Principal investigator: dr Paweł Sztromwasser

    Uniwersytet Medyczny w Łodzi, I Katedra Pediatrii

  36. Programming language for a hierarchical, parallel machine using ManyDSL

    Call: PRELUDIUM 12 , Panel: ST6

    Principal investigator: Piotr Danilewski

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  37. Factors encouraging creation of innovation by cooperation in the Open Source community

    Call: PRELUDIUM 11 , Panel: HS4

    Principal investigator: dr Dorota Celińska-Kopczyńska

    Uniwersytet Warszawski, Wydział Nauk Ekonomicznych

  38. Cross-Stratum Optimization for Provisioning of Cloud Data Center Services

    Call: PRELUDIUM 11 , Panel: ST7

    Principal investigator: Michał Aibin

    Politechnika Wrocławska, Wydział Elektroniki

  39. Critical analysis of existing systems of deontic action logic, their comparison, study of their cognitive and practical ...

    Call: SONATA 1 , Panel: HS1

    Principal investigator: dr Robert Trypuz

    TOWARZYSTWO NAUKOWE KATOLICKIEGO UNIWERSYTETU LUBELSKIEGO JANA PAWŁA II