Checker 4.4.6 – Checking Biotechnology Sequence Listings for Compliance with Format

Checker 4.4.6

:: DESCRIPTION

Checker is a Microsoft Windows-based software application for checking biotechnology Sequence Listings for compliance with 37 Code of Federal Regulations (CFR) 1.821 – 1.825 for both ‘old rules’ (October 1990) and ‘new rules’ (July 1998).

::DEVELOPER

The Patent Electronic Business Center

:: SCREENSHOTS

checker

:: REQUIREMENTS

  • Windows

:: DOWNLOAD

 Checker

:: MORE INFORMATION

ChimeraChecker V1.1 – Chimera Checker for Fungal ITS Region

ChimeraChecker V1.1

:: DESCRIPTION

ChimeraChecker is a blast-based open source software package to examine newly generated fungal internal transcribed spacer (ITS) sequences for the presence of potentially chimeric elements in batch mode.

::DEVELOPER

Henrik Nilsson (henrik dot nilsson at dpes dot gu dot se)

:: SCREENSHOTS

N/A

:: REQUIREMENTS

  • Linux
  • Perl

:: DOWNLOAD

 ChimeraChecker

:: MORE INFORMATION

Citation

Mol Ecol Resour. 2010 Nov;10(6):1076-81. doi: 10.1111/j.1755-0998.2010.02850.x.
An open source chimera checker for the fungal ITS region.
Nilsson RH1, Abarenkov K, Veldre V, Nylinder S, DE Wit P, Brosché S, Alfredsson JF, Ryberg M, Kristiansson E.

Mutalyzer 2.0.34 – HGVS Variant Nomenclature Checker

Mutalyzer 2.0.34

:: DESCRIPTION

Mutalyzer is a tool primarily designed to check descriptions of sequence variants according to the standard human sequence variant nomenclature of the Human Genome Sequence Variation Society (HGVS).

::DEVELOPER

Mutalyzer team

:: SCREENSHOTS

N/A

:: REQUIREMENTS

  • Linux
  • Python

:: DOWNLOAD

 Mutalyzer

:: MORE INFORMATION

Citation

An Efficient Algorithm for the Extraction of HGVS Variant Descriptions from Sequences.
Vis JK, Vermaat M, Taschner PE, Kok JN, Laros JF.
Bioinformatics. 2015 Jul 31. pii: btv443.

MIRACH 1.0 – Statistical Online Model Checker for Biological Pathway Models

MIRACH 1.0

:: DESCRIPTION

MIRACH , a Statistical Online Model Checker for Biological Pathway Models, based on the PLTLs formalism for expressing the rules/properties to be checked. MIRACH can currently check pathways models written either in CSML or SBML.

::DEVELOPER

Computational Biology Laboratory, School of Computing, National University of Singapore

:: SCREENSHOTS

N/A

:: REQUIREMENTS

  • Windows / Linux / MacOsX
  • Java

:: DOWNLOAD

 MIRACH

:: MORE INFORMATION

Citation:

MIRACH: efficient model checker for quantitative biological pathway models.
Koh CH, Nagasaki M, Saito A, Li C, Wong L, Miyano S.
Bioinformatics. 2011 Mar 1;27(5):734-5. doi: 10.1093/bioinformatics/btq727. Epub 2011 Jan 5.