1
Gepubliceerd in 2007
Inhoudsopgave: ... Models and Orthomax Rotations -- A Fully 3D System for Cardiac Wall Deformation Analysis in MRI Data...
Volledige tekst
Elektronisch E-boek
2
Gepubliceerd in 2013
Inhoudsopgave: ...On the Finite-Size Excitonic Instability in Interacting Graphene Quantum Dots -- Two-Dimensional...
Volledige tekst
Elektronisch E-boek
3
Gepubliceerd in 2005
Inhoudsopgave: ... Circuit Latin Square -- An Efficient Load Balancing Algorithm for Cluster System -- Session 5: Parallel...
Volledige tekst
Elektronisch E-boek
4
Gepubliceerd in 2007
Inhoudsopgave: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
Volledige tekst
Elektronisch E-boek
5
Gepubliceerd in 2005
Inhoudsopgave: ... of Functionally Defined Objects on Distributed Systems -- Automated Digital Image Registration and its Parallel...
Volledige tekst
Elektronisch E-boek
6
Gepubliceerd in 2010
Inhoudsopgave: ... Encoding on GPGPUs -- Towards Metaprogramming for Parallel Systems on a Chip -- Dynamic Detection...
Volledige tekst
Elektronisch E-boek
7
Gepubliceerd in 2005
Inhoudsopgave: ...Long Papers -- COMPASS2008: Multimodal, Multilingual and Crosslingual Interaction for Mobile...
Volledige tekst
Elektronisch E-boek
8
Gepubliceerd in 2014
Inhoudsopgave: ... network connectivity -- Shaping of neurons by environmental interaction -- Modelling dendrite shape from...
Volledige tekst
Elektronisch E-boek
9
Gepubliceerd in 2010
Inhoudsopgave: ... of Parallel Applications on Large-Scale Systems -- Performance Debugging of Parallel Compression on Multicore...
Volledige tekst
Elektronisch E-boek
10
Gepubliceerd in 2015
Inhoudsopgave: ... Decompilation in HOL4 -- A Formalized Hierarchy of Probabilistic System Types -- Learning To Parse on Aligned...
Volledige tekst
Elektronisch E-boek
11
Gepubliceerd in 2014
Inhoudsopgave: ... and Certified Linked Implementation Using Orbits -- A Verified Generate-Test-Aggregate Coq Library for Parallel...
Volledige tekst
Elektronisch E-boek
12
Gepubliceerd in 2010
Inhoudsopgave: ...-Constrained Optimization -- Parallel Artificial Immune System in Optimization and Identification of Composite...
Volledige tekst
Elektronisch E-boek
13
Gepubliceerd in 2010
Inhoudsopgave: ... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...
Volledige tekst
Elektronisch E-boek
14
Gepubliceerd in 2005
Inhoudsopgave: ... Security and an Application to File System Accesses -- Regular Papers -- A Machine Text-Inspired Machine...
Volledige tekst
Elektronisch E-boek
15
Gepubliceerd in 2013
Inhoudsopgave: ... to Address Interactive Critical Systems Aspects -- Ageing and Innovation -- Understanding User Experience...
Volledige tekst
Elektronisch E-boek
16
Gepubliceerd in 2006
Inhoudsopgave: ... Queries over Conceptual Schemata -- Data Tables with Similarity Relations: Functional Dependencies...
Volledige tekst
Elektronisch E-boek
17
Gepubliceerd in 2010
Inhoudsopgave: ... Mechanics -- A Hybrid Parallel Algorithm for Transforming Finite Element Functions from Adaptive...
Volledige tekst
Elektronisch E-boek
18
Gepubliceerd in 2012
Inhoudsopgave: ... Measure for Rule-Based Functional Description of Genes -- Automatic Generation and Learning of Finite...
Volledige tekst
Elektronisch E-boek
19
Gepubliceerd in 2007
Inhoudsopgave: ... of Experts for View-Independent Face Recognition -- Fusion of Support Vector Classifiers for Parallel Gabor...
Volledige tekst
Elektronisch E-boek
20
Gepubliceerd in 2005
Inhoudsopgave: ... System -- Growing Functional Modules, a Prospective Paradigm for Epigenetic Artificial Intelligence...
Volledige tekst
Elektronisch E-boek