1
Published 2007
Table of Contents: ... of Radiologists for Lung Nodule Detection in CT Scans -- Parallel Computations for Logic-Algebraic Based Expert...
View full text
Electronic eBook
2
Published 2012
Table of Contents: ...-Diagnosis Function for Rehabilitation Training Robot System --  Human Behavior Recognition by a Bio...
View full text
Electronic eBook
3
Published 2006
Table of Contents: ... Parallel ML: Semantics and Implementation of the Parallel Juxtaposition -- A Shortest Path Algorithm Based...
View full text
Electronic eBook
4
Published 2014
Table of Contents: ...-Programs with Existential Quantification -- Introducing Real Variables and Integer Objective Functions...
View full text
Electronic eBook
5
Published 2010
Table of Contents: ... Surfaces -- Class Invariants by the CRT Method -- Short Bases of Lattices over Number Fields...
View full text
Electronic eBook
6
Published 2008
Table of Contents: ... Approach for Mixed-Integer Linear Programs -- Simulation-Based Optimization for Steel Stacking -- Robust...
View full text
Electronic eBook
7
Published 2010
Table of Contents: ... -- Generic Constructions of Parallel Key-Insulated Encryption -- Invited Talk -- Heuristics and Rigor...
View full text
Electronic eBook
8
Published 2014
Table of Contents: ... Parameters from Feature-based Representation of Motion -- Kinematics and Dynamics of a 3-RPSR Parallel Robot...
View full text
Electronic eBook
9
Published 2008
Table of Contents: ... -- On the Complexity of Measurement in Classical Physics -- Quantum Walk Based Search Algorithms -- Contributed...
View full text
Electronic eBook
10
Published 2010
Table of Contents: ... -- Computation of Special Functions (Invited) -- Sollya: An Environment for the Development of Numerical Codes...
View full text
Electronic eBook
11
Published 2007
Table of Contents: ... of Group-Based Key Agreement Protocols Using Subgroup Distance Functions -- Cryptanalysis -- Length Based...
View full text
Electronic eBook
12
Published 2006
Table of Contents: ... Bypass Delays -- Trace-Based Data Cache Leakage Reduction at Link Time -- Parallelizing User-Defined...
View full text
Electronic eBook
13
Published 2012
Table of Contents: ... of Monomial Bases and Comprehensive Gröbner Systems -- Parallel Reduction of Matrices in Gr¨obner Bases...
View full text
Electronic eBook
14
Published 2010
Table of Contents: ... of Mixed Covering Arrays of Variable Strength Using a Tabu Search Approach -- Feasibility-Based Bounds...
View full text
Electronic eBook
15
Published 2005
Table of Contents: ... Networks -- 5-Regular Graphs are 3-Colorable with Positive Probability -- Optimal Integer Alphabetic Trees...
View full text
Electronic eBook
16
Published 2010
Table of Contents: ... Systems -- Stabilization Criterion Based on New Lyapunov Functional Candidate for Networked Control...
View full text
Electronic eBook
17
Published 2006
Table of Contents: ... to Iterative Servers (Short Paper) -- An Independent Function-Parallel Firewall Architecture for High-Speed...
View full text
Electronic eBook
18
Published 2008
Table of Contents: ... Specifications for Distributed Program Synthesis -- Exact OBDD Bounds for Some Fundamental Functions...
View full text
Electronic eBook
19
Published 2008
Table of Contents: ... Functions for Flow Time Scheduling Based on Active Job Count -- Facility Location in Dynamic Geometric Data...
View full text
Electronic eBook
20
Published 2005
Table of Contents: ... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...
View full text
Electronic eBook