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, pregledni znanstveni članek Ključne besede: 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, izvirni znanstveni članek Ključne besede: 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, diplomsko delo/naloga Ključne besede: SAT, boolean, reševalnik, algoritmi, DPLL, CDCL |