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

42 projects found matching your search criteria :

  1. Subjectivity of software agents - legal theoretical approach

    Call: PRELUDIUM 8 , Panel: HS5

    Principal investigator: dr Rafał Michalczak

    Uniwersytet Jagielloński, Wydział Prawa i Administracji

  2. Design and specification of multi-robot control systems

    Call: PRELUDIUM 1 , Panel: ST7

    Principal investigator: Piotr Trojanek

    Politechnika Warszawska, Wydział Elektroniki i Technik Informacyjnych

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

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

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

  9. Automatisation of constructive logic

    Call: OPUS 4 , Panel: ST6

    Principal investigator: dr hab. Aleksy Schubert

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

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

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

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

  18. Open meta-analysis in particle physics

    Call: CHIST-ERA Open & Re-usable Research Data & Software Call , Panel: ST2

    Principal investigator: dr hab. Andrzej Siódmok

    Uniwersytet Jagielloński

  19. FAIR Bird Research Data and Software (FAIRBiRDS): closing the research lifecycle in the long tail of science

    Call: CHIST-ERA Open & Re-usable Research Data & Software Call , Panel: NZ8

    Principal investigator: dr Robert Sot

    Uniwersytet Warszawski

  20. Making Software FAIR: A machine-assisted workflow for the research softwarelifecycle

    Call: CHIST-ERA Open & Re-usable Research Data & Software Call , Panel: HS2

    Principal investigator: dr Tomasz Umerle

    Instytut Badań Literackich Polskiej Akademii Nauk

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

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

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

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

    Call: OPUS 22 , Panel: HS4

    Principal investigator: dr Krzysztof Beck

    Uczelnia Łazarskiego

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

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

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

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

    Call: PRELUDIUM 2 , Panel: ST6

    Principal investigator: Bartosz Alchimowicz

    Politechnika Poznańska, Wydział Informatyki

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

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

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

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

  33. Algebraic effects: composition and coinduction

    Call: SONATA 14 , Panel: ST6

    Principal investigator: dr Maciej Piróg

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  34. Event Completeness of Use Cases

    Call: PRELUDIUM 1 , Panel: ST6

    Principal investigator: dr Jakub Jurkiewicz

    Politechnika Poznańska, Wydział Informatyki

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

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

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

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

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

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

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

    Call: PRELUDIUM 11 , Panel: ST7

    Principal investigator: Michał Aibin

    Politechnika Wrocławska, Wydział Elektroniki

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