Results 101 to 110 of about 158 (143)
Towards a category theory approach to analogy: Analyzing re-representation and acquisition of numerical knowledge. [PDF]
PLoS Comput Biol, 2017 Navarrete JA, Dartnell P.
europepmc +1 more source
Boolean regulatory network reconstruction using literature based knowledge with a genetic algorithm optimization method. [PDF]
BMC Bioinformatics, 2016 Dorier J +5 more
europepmc +1 more source
Computing minimal nutrient sets from metabolic networks via linear constraint solving. [PDF]
BMC Bioinformatics, 2013 Eker S +6 more
europepmc +1 more source
Bio-ModelChecker: Using Bounded Constraint Satisfaction to Seamlessly Integrate Observed Behavior With Prior Knowledge of Biological Networks. [PDF]
Front Bioeng Biotechnol, 2019 Sedghamiz H +4 more
europepmc +1 more source
Testing general relativity in cosmology. [PDF]
Living Rev Relativ, 2019 Ishak M.
europepmc +1 more source
A Method to Identify and Analyze Biological Programs through Automated Reasoning. [PDF]
NPJ Syst Biol Appl, 2016 Yordanov B +5 more
europepmc +1 more source