1
Published 2005
Table of Contents: ... – Implementation and Examples -- SELP – A System for Studying Strong Equivalence Between Logic Programs -- cmodels...
View full text
Electronic eBook
2
Published 2008
Table of Contents: ... Partitioning for Term Recognition -- An Ontology Formalization of Relation Type Hierarchy in Conceptual...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ... Indistinguishability Operators -- Discovering Rules-Based Similarity in Microarray Data -- Fuzzy Clustering...
View full text
Electronic eBook
4
Published 2008
Table of Contents: ... -- The Relation between Indel Length and Functional Divergence: A Formal Study -- Detecting Repeat Families...
View full text
Electronic eBook
5
Published 2007
Table of Contents: ... System for Cross-Organizational Workflows Management Based on Process-View -- Towards a Formal Foundation...
View full text
Electronic eBook
6
Published 2007
Table of Contents: ... Between Protein and RNA -- Detecting Periodically Expression in Unevenly Spaced Microarray Time Series...
View full text
Electronic eBook
7
Published 2007
Table of Contents: ... Using Geometric Representation of Gene Expression Microarray Data -- A Seed-Based Method for Predicting...
View full text
Electronic eBook
8
Published 2011
Table of Contents: ... Programs -- Stochastic Calculus and Stochastic Simulation -- Genomic Sequence Comparison -- Genome...
View full text
Electronic eBook
9
Published 2012
Table of Contents: ... Extension of Formal Concept Analysis for Information Retrieval -- Approximation of Feature Vectors...
View full text
Electronic eBook
10
Published 2010
Table of Contents: ... Confidence-Interval Estimates -- Designing a Learning System Based on Voice Mail – A Case Study of English...
View full text
Electronic eBook