1 - 3 / 3 ![]() ![]() ![]() ![]() |
1. Review and assessment of Boolean approaches for inference of gene regulatory networks Žiga Pušnik, Miha Mraz, Nikolaj Zimic, Miha Moškon, 2022, review article Keywords: Boolean network inference, gene regulatory networks, static validation, dynamic validation, systems biology |
2. SAILoR Žiga Pušnik, Miha Mraz, Nikolaj Zimic, Miha Moškon, 2024, original scientific article Keywords: Boolean network inference, context-specific gene regulatory networks, prior knowledge integration, multi-objective optimization |
3. Analiza in primerjava reševalnikov tekmovanja SAT Janez Barbo, 2024, bachelor thesis/paper Keywords: SAT, boolean, reševalnik, algoritmi, DPLL, CDCL |