Projects funded by the NCN

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

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

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

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

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

Bayesian simultaneous equations model averaging - theoretical development and R package

Call: OPUS 22 , Panel: HS4

Principal investigator: dr Krzysztof Beck

Uczelnia Łazarskiego

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

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

Algebraic effects: composition and coinduction

Call: SONATA 14 , Panel: ST6

Principal investigator: dr Maciej Piróg

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

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

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

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