-
Notifications
You must be signed in to change notification settings - Fork 1
Expand file tree
/
Copy pathparams.json
More file actions
1 lines (1 loc) · 6.26 KB
/
params.json
File metadata and controls
1 lines (1 loc) · 6.26 KB
1
{"name":"BioASP","tagline":"Answer Set Programming for Systems Biology","body":"[Overview](#overview) | [Applications](#applications) | [Installation](#installation) | [Answer Set Programming](#answer-set-programming) | [Who we are](#who-we-are)\r\n\r\n# Overview\r\nBioASP is a meta-package to create an powerful environment of Answer Set Programming for Systems Biology. The BioASP applications implement methods for analyzing metabolic, signaling and gene regulatory networks, consistency checking, diagnosis, and repair of biological data and models. They allow for computing predictions and generating hypotheses about required extensions of biological models, as well as designing new experiments and finding intervention strategies to control the biological system at hand.\r\n<a href=\"https://plus.google.com/106623620514531759221\" rel=\"publisher\">Google+</a>\r\n\r\n# Applications\r\nThe BioASP software collection includes the following applications. For more details on each application, please visit the corresponding <em>Application Page</em>. BioASP applications are freely available as python packages under General Public License (GPL) and they can be easily installed on your system. However you may want to try their <em>Web Service</em> before doing so (example input data is provided in-place).\r\n\r\n***\r\n\r\n### Metabolic network completion: **_meneco_**\r\nThis application can be used to check if a draft metabolic network provides the synthesis routes to comply with certain functionality. If this fails, **_meneco_** can automatically complete the network using reactions from a reference network stemming from other organisms until the observed functionality is provided.\r\n\r\n[Application Page](http://bioasp.github.io/meneco) | <a href=\"http://mobyle.genouest.org/cgi-bin/Mobyle/portal.py#forms::meneco\" target=\"_blank\">Web Service</a> | [Citation](http://dx.doi.org/10.1007/978-3-642-40564-8_25)\r\n\r\n***\r\n\r\n### Reasoning on the response of logical signaling networks: **_caspo_**\r\nThe aim of this application is to implement a pipeline for automated reasoning on logical signaling networks. Features provided by **_caspo_** include, learning of logical networks from experiments, design new experiments in order to reduce the uncertainty, and finding intervention strategies to control the biological system.\r\n\r\n[Application Page](http://bioasp.github.io/caspo) | <a href=\"http://mobyle.genouest.org/cgi-bin/Mobyle/portal.py#forms::caspo-learn\" target=\"_blank\">Web Service</a> | [Citation](http://dx.doi.org/10.1093/bioinformatics/btt393)\r\n\r\n***\r\n\r\n### Sign consistency on influence graphs: **_ingranalyze_**\r\nThis application confronts biological networks given as Interaction Graphs with\r\nexperimental data given as signs that represent the concentration changes between two measurements.\r\nIt allows to decover inconsistencies in data or network, proposes minimal repairs and\r\n predicts the behavior of unmeasured species.\r\n\r\n[Application Page](http://bioasp.github.io/ingranalyze) | <a href=\"http://mobyle.genouest.org/cgi-bin/Mobyle/portal.py#forms::ingranalyze\" target=\"_blank\">Web Service</a> | [Citation](http://dx.doi.org/10.1007/978-3-540-89982-2_19)\r\n\r\n***\r\n\r\n### Identification of functional gene units: **_shogen_**\r\nThis application combines gene sequence information and metabolic reaction network into one model.\r\nTogether with data about metabolites involved in a chemical pathway,\r\n the Shortest Gene Segments (SGS) are proposed which activate the metabolic reactions of such a pathway.\r\n\r\n[Application Page](http://bioasp.github.io/shogen) | <a href=\"http://mobyle.genouest.org/cgi-bin/Mobyle/portal.py#forms::shogen\" target=\"_blank\">Web Service</a> | [Citation](http://dx.doi.org/10.1007/978-3-642-40564-8_21)\r\n\r\n***\r\n\r\n### Compute minimal metabolic precursors: **_precursor_**\r\nGiven a metabolic reaction network and a set of target metabolites, this application computes the subset minimal sets of precursor metabolites needed to produce the targets.\r\n\r\n[Application Page](http://bioasp.github.io/precursor) | <a href=\"http://mobyle.genouest.org/cgi-bin/Mobyle/portal.py#forms::precursor\" target=\"_blank\">Web Service</a>\r\n\r\n***\r\n\r\n# Installation\r\nYou can install all BioASP application at once from [pypi](http://pypi.python.org/pypi/bioasp) by running:\r\n```\r\n$ pip install bioasp\r\n```\r\nFor details on how to use each application follow the corresponding links above. If you do not have **pip** installed on your system, you only need to download [get-pip.py](https://raw.github.com/pypa/pip/master/contrib/get-pip.py). Then run the following:\r\n```\r\n$ python get-pip.py\r\n```\r\nAlternatively, if you prefer not to install **pip**, you can download the sources of BioASP and after unpacking run:\r\n```\r\n$ python setup.py install\r\n```\r\nNote that you may need either administrator access or a [virtual environment](http://www.virtualenv.org).\r\n\r\n# Answer Set Programming\r\nBioASP applications strongly rely on Answer Set Programming (ASP) for knowledge representation and reasoning. ASP is a declarative problem solving paradigm from the field of Logic Programming combining several computer science areas such as Knowledge Representation and Reasoning, Artificial Intelligence, Constraint Satisfaction and Combinatorial Optimization.\r\n\r\nFor more details on ASP and state-of-the-art available tools, you may want to check the website of [Potassco, the Potsdam Answer Set Solving Collection](http://potassco.sourceforge.net).\r\n\r\n# Who we are\r\nBioASP is developed by several people at several institutions from several countries:\r\n\r\n* [DyLISS, CNRS & Inria (Rennes, France)](http://www.irisa.fr/dyliss/)\r\n* [Potassco, Potsdam University (Potsdam, Germany)](http://potassco.sourceforge.net)\r\n* [MeForBio, IRCCyN & CNRS (Nantes, France)](http://www.irccyn.ec-nantes.fr/spip.php?rubrique97&lang=en)\r\n* [ARB, Max Planck Institute (Magdeburg, Germany)](http://www.mpi-magdeburg.mpg.de/arb)\r\n* [Systems Biomedicine, EMBL-EBI (Hinxton, UK)](http://www.ebi.ac.uk/research/saez-rodriguez)\r\n\r\nIf you would like to contribute in any way, your are welcome to join us at http://github.com/bioasp.\r\n\r\n\r\n","google":"UA-36749326-1","note":"Don't delete this file! It's used internally to help with page regeneration."}