1
Published 2008
Table of Contents: ...) - Model Evolution with Linear Integer Arithmetic Constraints -- A Constraint Sequent Calculus for First...
View full text
Electronic eBook
2
Published 2013
Table of Contents: ... of Regular Expressions -- Research Papers -- Dealing with Symmetries in Modal Tableaux -- Tableaux...
View full text
Electronic eBook
3
Published 2005
Table of Contents: ... Functions for Pleasant Music: Zipf’s Law and Interactive Evolution Systems -- Understanding Expressive Music...
View full text
Electronic eBook
4
Published 2007
Table of Contents: ...Keynote Speech -- Programming Challenges for Petascale and Multicore Parallel Systems -- Towards...
View full text
Electronic eBook
5
Published 2006
Table of Contents: ... Problems -- An Expressive Temporal Logic for Real Time -- On Matroid Representability and Minor Problems...
View full text
Electronic eBook
6
Published 2007
Table of Contents: ... Self-checking Circuits -- Mechanical Hardware Evolution -- Sliding Algorithm for Reconfigurable Arrays...
View full text
Electronic eBook
7
Published 2005
Table of Contents: ... for Ungapped Markov Models of Evolution -- Linear Programming for Phylogenetic Reconstruction Based on Gene...
View full text
Electronic eBook
8
Published 2005
Table of Contents: ...: An Application to Gene Expression Data Analysis -- Local Pattern Discovery in Array-CGH Data -- Learning...
View full text
Electronic eBook
9
Published 2002
Table of Contents: ...Performing and Optimizing PCR -- Polymerase Chain Reaction -- Computer Programs for PCR Primer...
View full text
Electronic eBook
10
Published 2005
Table of Contents: ... in Bacterial and Yeast Hosts -- Gene Expression Arrays in Food -- Optimization of Proteome Analysis for Wine...
View full text
Electronic eBook
11
Published 2014
Table of Contents: ... for Vehicular Ad-hoc Networks -- A Study on Expressiveness of a Class of Array Token Petri Nets -- Non-dominated...
View full text
Electronic eBook
12
Published 2010
Table of Contents: ... -- Empirical Evaluation of Ranking Prediction Methods for Gene Expression Data Classification -- Defining a...
View full text
Electronic eBook
13
Published 2005
Table of Contents: ... -- Data Mapper: An Operator for Expressing One-to-Many Data Transformations -- Materialized Views...
View full text
Electronic eBook