Making sense of the biological complexity through the platform-driven unification of the analytical and visualization tasks.
Theodoras KoutsandreasEleftherios PilalisEfstathios Iason VlachavasDirk KoczanSven KlippelAntonia Dimitrakopoulou-StraussIoannis ValavanisAristotelis ChatziioannouPublished in: BIBE (2015)
Keyphrases
- molecular biology
- computational complexity
- worst case
- higher order
- data driven
- real time
- data analysis
- computational cost
- theorem prover
- biological processes
- visualization tools
- biological systems
- theorem proving
- biologically inspired
- memory requirements
- logic programs
- np hard
- machine learning
- data mining
- databases
- data sets