1
Julkaistu 2006
Sisällysluettelo: ... About Recursive Functions: A Practical Tool for the Coq Proof Assistant -- Soutei, a Logic-Based Trust...
Hae kokoteksti
Elektroninen E-kirja
2
Julkaistu 2007
Sisällysluettelo: ... Simulation of Cardiac Electrophysiology -- Parallel Solution in Simulation of Cardiac Excitation Anisotropic...
Hae kokoteksti
Elektroninen E-kirja
3
Julkaistu 2010
Sisällysluettelo: ... in Tiered Storage System -- Session 2: Parallel Algorithms -- Scale-Adaptable Recrawl Strategies for DHT...
Hae kokoteksti
Elektroninen E-kirja
4
Julkaistu 2005
Sisällysluettelo: ... Grid Service Chain Model -- A Performance-Based Parallel Loop Self-scheduling on Grid Computing...
Hae kokoteksti
Elektroninen E-kirja
5
Julkaistu 2007
Sisällysluettelo: ... of Moving Adaptive Meshes Based on Self-organization -- Data Transfer in Advance on Cluster -- A Trust...
Hae kokoteksti
Elektroninen E-kirja
6
Julkaistu 2010
Sisällysluettelo: ... Framework for Blade-Based Data Center -- Query Optimization over Parallel Relational Data Warehouses...
Hae kokoteksti
Elektroninen E-kirja
7
Julkaistu 2010
Sisällysluettelo: ... Thread -- Parallel Programming on a Soft-Core Based Multi-core System -- Dynamic Resource Tuning...
Hae kokoteksti
Elektroninen E-kirja
8
Julkaistu 2010
Sisällysluettelo: ...A Communication Framework for Fault-Tolerant Parallel Execution -- The STAPL pList -- Hardware...
Hae kokoteksti
Elektroninen E-kirja
9
Julkaistu 2008
Sisällysluettelo: ... Double Auction Market -- Parallel Reinforcement Learning with Linear Function Approximation -- Combining...
Hae kokoteksti
Elektroninen E-kirja
10
Julkaistu 2010
Sisällysluettelo: ... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...
Hae kokoteksti
Elektroninen E-kirja
11
Julkaistu 2010
Sisällysluettelo: ... Swarm Optimisation Using Decomposition -- A Hybrid Scalarization and Adaptive ?-Ranking Strategy...
Hae kokoteksti
Elektroninen E-kirja
12
Julkaistu 2005
Sisällysluettelo: ... Discretizations of Advection-Diffusion Models -- Parallel Grid Adaptation and Dynamic Load Balancing for a CFD...
Hae kokoteksti
Elektroninen E-kirja
13
Julkaistu 2008
Sisällysluettelo: ... the Blockage of Spam over Internet Telephony (SPIT) Using Adaptive PMG Algorithm -- Spatio-temporal Facial...
Hae kokoteksti
Elektroninen E-kirja
14
Julkaistu 2008
Sisällysluettelo: ... Conformance Checking of Recursive and Parallel Component-Based Systems -- Structural Testing of Component...
Hae kokoteksti
Elektroninen E-kirja
15
Julkaistu 2010
Sisällysluettelo: ... Cry Classification with Diagnostic Purposes -- Neural Networks and SVM-Based Classification...
Hae kokoteksti
Elektroninen E-kirja
16
Julkaistu 2010
Sisällysluettelo: ... to Image Interpretation -- A New Adaptive Consensus Reaching Process Based on the Experts’ Importance...
Hae kokoteksti
Elektroninen E-kirja
17
Julkaistu 2007
Sisällysluettelo: ...General Tracks -- A New Neural Network with Adaptive Activation Function for Classification of ECG...
Hae kokoteksti
Elektroninen E-kirja
18
Julkaistu 2012
Sisällysluettelo: ... -- Dimensional Synthesis of a Planar Parallel Manipulator for Pick-and-Place Operations Based on Rigid-Body...
Hae kokoteksti
Elektroninen E-kirja
19
Julkaistu 2012
Sisällysluettelo: ... for a Biped Robot Based on Passive Dynamic Walking --  Adaptive Neural Network Control of Robot...
Hae kokoteksti
Elektroninen E-kirja
20
Julkaistu 2012
Sisällysluettelo: ... Bug Reproducing Method for the Debugging of Component-Based Parallel Discrete Event Simulation...
Hae kokoteksti
Elektroninen E-kirja