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

Determinants of shirking behaviour - simulation model based on a game theoretic framework

Call: PRELUDIUM 7 , Panel: HS6

Principal investigator: dr Patrycja Paulina Antosz

Uniwersytet Jagielloński, Wydział Filozoficzny

Economic consequences of consumer opinion formation and decision making: Agent-based modeling of innovation diffusion

Call: OPUS 6 , Panel: HS4

Principal investigator: prof. Rafał Weron

Politechnika Wrocławska, Wydział Informatyki i Zarządzania

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

The Role of Anticonformity in Social Collective Adaptation

Call: OPUS 26 (LAP) , Panel: HS6

Principal investigator: prof. Katarzyna Beata Weron

Politechnika Wrocławska

Effect of light pollution on visual system aging - research based on Drosophila melanogaster model

Call: OPUS 24 , Panel: NZ3

Principal investigator: dr Milena Anna Damulewicz

Uniwersytet Jagielloński, Wydział Biologii

Feeding and ritual practices of the Early Iron Age based on the settlement in Milejowice and the necropolis in Domasław....

Call: OPUS 21 , Panel: HS3

Principal investigator: dr Anna Maria Józefowska-Domańska

Instytut Archeologii i Etnologii Polskiej Akademii Nauk

Towards understanding of the social hysteresis: an agent-based approach

Call: OPUS 18 , Panel: HS6

Principal investigator: prof. Katarzyna Beata Weron

Politechnika Wrocławska

Introducing material flows into macro-evolutionary models: a study of the circular economy

Call: OPUS 18 , Panel: HS4

Principal investigator: dr hab. Karolina Ewa Safarzynska

Uniwersytet Warszawski, Wydział Nauk Ekonomicznych

Signed Relations and Structural Balance in Complex Systems: From Data to Models

Call: ALPHORN 1 , Panel: ST2

Principal investigator: prof. Janusz Andrzej Hołyst

Politechnika Warszawska

Values and Economic Performance: A formalised agent-based model

Call: BEETHOVEN 3 , Panel: HS4

Principal investigator: dr Marcin Tomasz Czupryna

Uniwersytet Ekonomiczny w Krakowie, Kolegium Ekonomii, Finansów i Prawa

Developmentally informed agent-based modeling of symbolic constraints in interaction

Call: OPUS 15 , Panel: HS1

Principal investigator: prof. Joanna Karolina Rączaszek-Leonardi

Uniwersytet Warszawski, Wydział Psychologii

The role of intercellular communication in somatic embryogenesis induction and somatic embryo formation based on a model...

Call: PRELUDIUM 14 , Panel: NZ3

Principal investigator: Małgorzata Matylda Grzyb

Polska Akademia Nauk

Agent-based modeling of opinion dynamics based on the psychological models of social influence.

Call: OPUS 11 , Panel: HS6

Principal investigator: prof. Katarzyna Beata Weron

Politechnika Wrocławska