Projects funded by the NCN

Selected SMT-based model checking methods

Call: PRELUDIUM 8 , Panel: ST6

Principal investigator: Agnieszka Zbrzezny

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

Compound data stream classification methods based on unsupervised and active learning

Call: OPUS 5 , Panel: ST6

Principal investigator: prof. Michał Woźniak

Politechnika Wrocławska, Wydział Elektroniki

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

Call: OPUS 24 , Panel: NZ3

Principal investigator: dr Milena Damulewicz

Uniwersytet Jagielloński, Wydział Biologii

Dark Gray Box Optimization - developing of the new class of highly effective optimizers

Call: OPUS 23 , Panel: ST6

Principal investigator: dr hab. Michał Przewoźniczek

Politechnika Wrocławska

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 Józefowska-Domańska

Instytut Archeologii i Etnologii Polskiej Akademii Nauk

Thinking Far Ahead: Long-horizon planning using deep model-based reinforcement learning

Call: PRELUDIUM 19 , Panel: ST6

Principal investigator: Piotr Kozakowski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

Call: OPUS 18 , Panel: HS6

Principal investigator: prof. Katarzyna Weron

Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki

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

Call: OPUS 18 , Panel: HS4

Principal investigator: dr hab. Karolina Safarzynska

Uniwersytet Warszawski, Wydział Nauk Ekonomicznych

Generating real-life images by AutoEncoder based models

Call: OPUS 17 , Panel: ST6

Principal investigator: dr Przemysław Spurek

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Values and Economic Performance: A formalised agent-based model

Call: BEETHOVEN 3 , Panel: HS4

Principal investigator: dr hab. Marcin 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 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 Grzyb

Polska Akademia Nauk Ogród Botaniczny - Centrum Zachowania Różnorodności Biologicznej w Powsinie

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

Call: OPUS 11 , Panel: HS6

Principal investigator: prof. Katarzyna Weron

Politechnika Wrocławska