hooman650 / biomodelchecker

Bio-ModelChecker: Using Bounded Constraint Satisfaction to Seamlessly Integrate Observed Behavior with Prior Knowledge of Biological Networks

👨🏻‍💻  About Me

💡  I like to explore new technologies related to ML, Signal processing and DeepLearning and build cool products.
🌱  I'm a senior lead data scientist.
✍️  In my free time, I like playing football, solving puzzles and do competitive programming.
📫  How to reach me https://hooman650.github.io/

🛠  Tech Stack

         
       
 

🧠  DL Stack

⚙️  GitHub Analytics

🤝🏻  Connect with Me

biomodelchecker's Issues

General Requests and Enhancements

Feature Request and enhancement

This is an attempt to track the enhancements and feature requests in BioModelChecker 🔉 🔬
=========================

• If a model only contains Steady State constrains and no Trajectory, BioMC does not import its solutions properly (reported by JohnC)
• Import solutions from multiple folders
• Check the input json file and check whether length of Trajectory matches the number of entities
• Allow constraints for "rest" value of each node (decay)
• Match states in output trajectories to input (which states are added automatically by model checker?)
• Select SS1 or SS2 from competing models as MIS targets
• The tool does not run properly with its shortcut desktop version (e.g. path-issue)
• Parse K matrix to display truth tables for each node (e.g. Output a multivalued logical equation)
• Identify available node-steady states supported by a given parameter set (SS detection)
• Identify oscillatory attractors
• Identify failed constraints (specific causes of unsatisfiability)

=========================
🚣 🚛