Projects funded by the NCN

Design and specification of multi-robot control systems

Call: PRELUDIUM 1 , Panel: ST7

Principal investigator: Piotr Trojanek

Politechnika Warszawska, Wydział Elektroniki i Technik Informacyjnych

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

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

Specification development and software verification

Call: OPUS 6 , Panel: ST6

Principal investigator: prof. Andrzej Tarlecki

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

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

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

Automatisation of constructive logic

Call: OPUS 4 , Panel: ST6

Principal investigator: dr hab. Aleksy Schubert

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

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

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

Allocation of tasks in computer networks

Call: PRELUDIUM 2 , Panel: ST6

Principal investigator: dr Marcin Krzywkowski

POLITECHNIKA GDAŃSKA

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

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

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

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

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

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

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

Automatic generation of user's manual for web applications

Call: PRELUDIUM 2 , Panel: ST6

Principal investigator: Bartosz Alchimowicz

Politechnika Poznańska, Wydział Informatyki

Algebraic effects: composition and coinduction

Call: SONATA 14 , Panel: ST6

Principal investigator: dr Maciej Piróg

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Event Completeness of Use Cases

Call: PRELUDIUM 1 , Panel: ST6

Principal investigator: dr Jakub Jurkiewicz

Politechnika Poznańska, Wydział Informatyki

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

Cross-Stratum Optimization for Provisioning of Cloud Data Center Services

Call: PRELUDIUM 11 , Panel: ST7

Principal investigator: Michał Aibin

Politechnika Wrocławska, Wydział Elektroniki

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