Improvement in protein-coding region identification based on sliding window trigonometric fast transforms using Singular Value Decomposition

By Hota Malaya Kumar   Srivastava Vinay Kumar  

International Journal of Data Mining and Bioinformatics, Vol. 5, Iss. 1, 2011-02 ,pp. : 110-127

Inderscience Publishers

Access to resources Recommend Favorite

Linear Quantifier Elimination

By Nipkow Tobias  

Journal of Automated Reasoning, Vol. 45, Iss. 2, 2010-08 ,pp. : 189-212

Springer Publishing Company

Access to resources Recommend Favorite

Simulation and Optimization by Quantifier Elimination

By Weispfenning V.  

Journal of Symbolic Computation, Vol. 24, Iss. 2, 1997-08 ,pp. : 189-208

Academic Press

Access to resources Recommend Favorite

Testing Stability by Quantifier Elimination

By Hong H.   Liska R.   Steinberg S.  

Journal of Symbolic Computation, Vol. 24, Iss. 2, 1997-08 ,pp. : 161-187

Academic Press

Access to resources Recommend Favorite

Rectifying Transformations for the Integration of Rational Trigonometric Functions

By Jeffrey D.J.  

Journal of Symbolic Computation, Vol. 24, Iss. 5, 1997-11 ,pp. : 563-573

Academic Press

Access to resources Recommend Favorite