1
Published 2008
Table of Contents: ... -- Algebraic Identification of MIMO SARX Models -- Contract-Based Design for Computation and Verification of a...
View full text
Electronic eBook
2
Published 2007
Table of Contents: ... Computation in Large Territories -- Non-equilibrium Thermodynamics, Thermomechanics, Geodynamics -- A Finite...
View full text
Electronic eBook
3
Published 2007
Table of Contents: ...Proving Church’s Thesis -- The Limits of Quantum Computers -- Marrying Words and Trees -- TPTP...
View full text
Electronic eBook
4
Published 2013
Table of Contents: ...-specific Characteristics -- The Application of Information Security on the Computer Terminals of 3rd...
View full text
Electronic eBook
5
Published 2013
Table of Contents: ...-compensation for Visually Impaired Computer Users with Variable Pupil Size -- Digital Filtering of the Pupil...
View full text
Electronic eBook
6
Published 2008
Table of Contents: ... Computing -- Contributed Papers -- Robust Kinetic Convex Hulls in 3D -- On Dominance Reporting in 3D...
View full text
Electronic eBook
7
Published 2006
Table of Contents: ... Approach -- Intersection Attacks on Web-Mixes: Bringing the Theory into Praxis -- Using Guesswork as a...
View full text
Electronic eBook
8
Published 2010
Table of Contents: ... Arithmetic -- High-Performance Modular Multiplication on the Cell Processor -- A Modified Low Complexity...
View full text
Electronic eBook
9
Published 2010
Table of Contents: ...Parallel/Distributed Architectures and Mobile Computing -- Evaluating Performance of New Quad-Core...
View full text
Electronic eBook
10
Published 2011
Table of Contents: ... operation -- Customized Processor Architecture for Model Predictive Control in Magnetic Actuated Small...
View full text
Electronic eBook
11
Published 2007
Table of Contents: ... the Graphics Processor as a High-Performance Computational Engine -- An Introduction to the Numerics of Flow...
View full text
Electronic eBook