1
Published 2008
Table of Contents: ... Lectures -- Propositional Projection Temporal Logic, B chi Automata and ?-Regular Expressions -- Genome...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ... Semidefinite Programming Problems -- Reliable and Efficient Geometric Computing -- The Sage Project: Unifying...
View full text
Electronic eBook
3
Published 2008
Table of Contents: ... -- The Complexity of Boolean Formula Minimization -- Optimal Cryptographic Hardness of Learning Monotone Functions...
View full text
Electronic eBook
4
Published 2005
Table of Contents: ... Components for Timetabling -- An Open Interactive Timetabling Tool -- Distributed Choice Function Hyper...
View full text
Electronic eBook
5
Published 2010
Table of Contents: ... for Continuous Optimization Problems -- An Efficient Optimization Method for Revealing Local Optima of Projection...
View full text
Electronic eBook
6
Published 2007
Table of Contents: ... Measurements -- A Flexible General-Purpose Parallelizing Architecture for Nested Loops in Reconfigurable...
View full text
Electronic eBook
7
Published 2008
Table of Contents: ... Approach for Generating Highly Nonlinear Balanced Boolean Functions in Cryptography -- Project-Oriented...
View full text
Electronic eBook