1
Table of Contents: ... Systems -- to Multi-state Systems -- Universal Generating Function in Analysis of Series-Parallel Multi...
View full text
Electronic eBook
2
Published 2007
Table of Contents: ... -- Computer Aided Reconstruction and Motion Analysis of 3D Mitral Annulus -- Volumetric Analysis of the Heart...
View full text
Electronic eBook
3
Published 2015
Table of Contents: ...SMT Techniques and Applications -- POLING: SMT Aided Linearizability Proofs -- Finding Bounded Path...
View full text
Electronic eBook
4
Published 2005
Table of Contents: ... for Computer Aided Driving -- A Monocular Solution to Vision-Based ACC in Road Vehicles -- Multi-objective...
View full text
Electronic eBook
5
Published 2008
Table of Contents: ... and Simulation of the Fuzzification Stage through the Xilinx System Generator -- High Performance Parallel...
View full text
Electronic eBook
6
Published 2015
Table of Contents: ...-TRIZ Based Framework Towards the Computer-aided Identification of Cognitive Processes in Design...
View full text
Electronic eBook
7
Published 2012
Table of Contents: ... Wetlands.-Parallel Computation of Sensitivity Analysis Data for the Danish Eulerian Model.-Implementation...
View full text
Electronic eBook
8
Published 2010
Table of Contents: ... Functions by Generic Symbolic Convexity Tests -- Term Cancellations in Computing Floating-Point Gröbner...
View full text
Electronic eBook
9
Published 2008
Table of Contents: ... Method to Overcome Computer Word Size Limitation in Bit-Parallel Pattern Matching -- 6A Computational...
View full text
Electronic eBook
10
Table of Contents: ...1. Introduction -- 2.Preliminaries -- 3. Spaces of time functions consisting of input-output...
View full text
Electronic eBook
11
Published 2015
Table of Contents: ... Envelope: Computational Assembling Behavioural Composites by Additive and Subtractive Processes...
View full text
Electronic eBook
12
Published 2015
Table of Contents: ... in Computer Aided Design -- Software Framework for Modular Machine Learning Systems -- Parallel cost function...
View full text
Electronic eBook
13
Published 2008
Table of Contents: ... of Large Girth -- Chvátal–Erd?s Theorem: Old Theorem with New Aspects -- Computer-Aided Creation...
View full text
Electronic eBook
14
Published 2015
Table of Contents: ... -- Computer Aided Design: An ESOP based Reversible Circuit Synthesis Flow using Simulated Annealing...
View full text
Electronic eBook
15
Published 2010
Table of Contents: ... Measurement through Functional Imaging -- Parallel Multispectral Image Segmentation for Computer Aided Thyroid...
View full text
Electronic eBook
16
Published 2014
Table of Contents: ... with Enhanced Functionality -- Automated Low-Fidelity Model Setup for Surrogate-Based Aerodynamic Optimization...
View full text
Electronic eBook
17
Published 2010
Table of Contents: ... in Evolutionary Algorithms -- A Review of Techniques for Handling Expensive Functions in Evolutionary Multi...
View full text
Electronic eBook
18
Published 2006
Table of Contents: ... for AD and TRIZ -- Computer Aided Innovation of Crankshafts Using Genetic Algorithms -- Research on CNC...
View full text
Electronic eBook
19
Published 2005
Table of Contents: ... -- Computing Upward Planar Drawings Using Switch-Regularity Heuristics -- Serial and Parallel Multilevel Graph...
View full text
Electronic eBook
20
Published 2007
Table of Contents: ... Factor Unit for FFT Computation -- Trade-Offs Between Voltage Scaling and Processor Shutdown for Low...
View full text
Electronic eBook