Andere Kunden interessierten sich auch für
![Algorithms for Data Mining and Bio-informatics]( "Algorithms for Data Mining and Bio-informatics")
Algorithms for Data Mining and Bio-informatics51,99 €![Improving Android¿s Device Security using Behavioral Bio-metrics]( "Improving Android¿s Device Security using Behavioral Bio-metrics")
Improving Android¿s Device Security using Behavioral Bio-metrics36,99 €![Bio Inspired Intrusion Prevention and Self healing System for Networks]( "Bio Inspired Intrusion Prevention and Self healing System for Networks")
Bio Inspired Intrusion Prevention and Self healing System for Networks51,99 €![Decomposition of the electrical bio-impedance signal]( "Decomposition of the electrical bio-impedance signal")
Decomposition of the electrical bio-impedance signal32,99 €![Role and application of Ontology Design Patterns in bio-ontologies]( "Role and application of Ontology Design Patterns in bio-ontologies")
Role and application of Ontology Design Patterns in bio-ontologies44,99 €![Information Technology in Bio- and Medical Informatics]( "Information Technology in Bio- and Medical Informatics")
Information Technology in Bio- and Medical Informatics34,99 €![Energy Aware Bio Inspired Routing Technique for Mobile Adhoc Networks]( "Energy Aware Bio Inspired Routing Technique for Mobile Adhoc Networks")
Energy Aware Bio Inspired Routing Technique for Mobile Adhoc Networks29,99 €
In recent years, the number of DNA sequences increasing rapidly. Pattern scanning on large sequence database is one of the important functions in genomic research among biologist. It is useful for making new discoveries about a DNA sequence, including the location of functional sites and novel repetitive structures. Besides, it is also useful for the comparative analysis of different DNA sequences. Nevertheless, biologists face a problem in finding an accurate in pattern scanning in large DNA sequence database. The biologists frequently demand for optimal comparison result. So, the perfect structure of living beings evolution can be constructed. This task becomes more complex and challenging because the size of public sequence database is large and increasing exponentially every year. Nowadays, tools supporting formal methods are using interactive theorem provers and model checkers. Theorem proving is a part of validation techniques.