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