1
Published 2015
Table of Contents: ... -- Sequential generation of structured arrays and its deductive verification -- Checking UML and OCL Model...
View full text
Electronic eBook
2
Published 2005
Table of Contents: ... Parallel Algorithms for Spatial Dynamics Simulation -- Situated Agents Interaction: Coordinated Change...
View full text
Electronic eBook
3
Published 2012
Table of Contents: ... of Intermolecular Interaction Potential Energy Parameters for Monte-Carlo and Molecular Dynamics Simulations.-Phonon...
View full text
Electronic eBook
4
Published 2010
Table of Contents: ... Sensors for Haptics -- FlexTorque: Exoskeleton Interface for Haptic Interaction with the Digital World...
View full text
Electronic eBook
5
Published 2015
Table of Contents: .... Higher Order Hybrid Invexity Frameworks and Discrete Multiobjective Fractional Programming Problems...
View full text
Electronic eBook
6
Published 2014
Table of Contents: ... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...
View full text
Electronic eBook
7
Published 2010
Table of Contents: ... towards Speaker for Human-Robot Interaction -- Dialogue Model Specification and Interpretation...
View full text
Electronic eBook
8
Published 2006
Table of Contents: ... Implementation -- Scalable Parallel Suffix Array Construction -- Formal Verification of Programs That Use MPI One...
View full text
Electronic eBook
9
Published 2012
Table of Contents: ... Segmentation Based on Neuronal Activation Degree of Visual Model.- One-Dimensional-Array Millimeter-Wave...
View full text
Electronic eBook
10
Published 2007
Table of Contents: ... Dynamics Simulation: Testing SCA on Paradigmatic Cases of Emerging Coordination in Negative Interaction...
View full text
Electronic eBook
11
Published 2010
Table of Contents: ... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...
View full text
Electronic eBook
12
Published 2005
Table of Contents: ... Simulation -- Rule Mining for Dynamic Databases -- Session I B: High Performance Computing -- APPLE: A Novel...
View full text
Electronic eBook
13
Published 2005
Table of Contents: ... MRI Using a Grid Computing Approach -- A Grid Molecular Simulator for E-Science -- Application Driven...
View full text
Electronic eBook
14
Published 2005
Table of Contents: ... and Heterogeneous Processor Rings -- Effect of Optimizations on Performance of OpenMP Programs -- Sparse Matrices...
View full text
Electronic eBook
15
Published 2010
Table of Contents: ... Optimization for Web Service Composition -- A Comparison between EJB and COM+ Business Components, Case Study...
View full text
Electronic eBook
16
Published 2006
Table of Contents: ... Combined with Fuzzy Logic to Remove Salt and Pepper Noise in Digital Images -- Computing Optimized NURBS...
View full text
Electronic eBook
17
Published 2011
Table of Contents: ...-connected Grid -- Optimization Design of Lifetime Distribution in Power Diode with Fast and Soft Recovery...
View full text
Electronic eBook
18
Published 2013
Table of Contents: ... -- Meta-modeling and Optimization for Varying Dimensional Search Space -- A General Variable Neighborhood...
View full text
Electronic eBook
19
Published 2013
Table of Contents: ... -- Optimization for the Logistics Network of Electric Power Enterprise Based on a Mixed MCPSO and Simulated...
View full text
Electronic eBook
20
Published 2014
Table of Contents: ... Robots -- Use of Simulation and Intelligence Based Optimization Approach in Bioprocess -- Land Use Change...
View full text
Electronic eBook