Projects funded by the NCN

Selected SMT-based model checking methods

Call: PRELUDIUM 8 , Panel: ST6

Principal investigator: Agnieszka Małgorzata Zbrzezny

Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie, Wydział Matematyczno-Przyrodniczy

Computational collective intelligence methods and their applications

Call: OPUS 1 , Panel: ST6

Principal investigator: dr Dariusz Wojciech Barbucha

Uniwersytet Morski w Gdyni, Wydział Przedsiębiorczości i Towaroznawstwa

Learning the semantics of natural language quantifiers

Call: PRELUDIUM 7 , Panel: HS1

Principal investigator: Dariusz Kalociński

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

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

Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie, Wydział Matematyczno-Przyrodniczy

Hybrid model of the early detection of internal diseases based on the paradigm of interacting particles and multi-agent ...

Call: PRELUDIUM 5 , Panel: ST6

Principal investigator: Łukasz Faber

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

Experimental and simulation studies of advanced control of biotechnological processes stimulation

Call: OPUS 3 , Panel: ST7

Principal investigator: prof. Mieczysław Metzger

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

Micromechanics of Programmable Matter

Call: SONATA 2 , Panel: ST8

Principal investigator: dr Jakub Arkadiusz Lengiewicz

Instytut Podstawowych Problemów Techniki Polskiej Akademii Nauk

Development of rule-based query languages applied in intelligent systems

Call: OPUS 1 , Panel: ST6

Principal investigator: prof. Andrzej Piotr Szałas

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Uncovering the Mechanisms Driving Virus-Induced Central Nervous System Disease.

Call: OPUS 26 (LAP) , Panel: NZ3

Principal investigator: dr Aleksandra Rutkowska

Gdański Uniwersytet Medyczny, Centrum Chorób Mózgu

Dynamic epistemic logic and the problem of logical omniscience

Call: PRELUDIUM 21 , Panel: HS1

Principal investigator: Arkadiusz Jerzy Wójcik

Uniwersytet w Białymstoku, Wydział Filozofii i Kognitywistyki

Interventions against polarisation in society for Trustworthy social media: From diagnosis to therapy

Call: WEAVE-UNISONO , Panel: ST6

Principal investigator: dr hab. Katarzyna Budzyńska

Politechnika Warszawska

Exploring rhetorical strategies in a dialogue

Call: OPUS 2 , Panel: HS1

Principal investigator: dr hab. Katarzyna Budzyńska

Instytut Filozofii i Socjologii Polskiej Akademii Nauk

A nature of bimodal magmatism associated with Cambro-Ordovician rifting in Gondwana: the NE Bohemian Massif perspective ...

Call: OPUS 15 , Panel: ST10

Principal investigator: dr hab. Mirosław Jastrzębski

Instytut Nauk Geologicznych Polskiej Akademii Nauk

Agent-based Hierarchic Particle Swarm Optimization as a Multi-objective Decision Problems Support Tool

Call: PRELUDIUM 13 , Panel: ST6

Principal investigator: Michał Tomasz Idzik

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

Tractable dialogues in multi-agent systems.

Call: PRELUDIUM 9 , Panel: ST6

Principal investigator: Alina Powała

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki