1
Published 2006
Table of Contents: ... in the Lambda Calculus with Interaction Nets -- Proof Tool Support for Explicit Strictness -- A Rational...
View full text
Electronic eBook
2
Published 2007
Table of Contents: ... to Sensor Acquired Information -- Parallel Broadband Finite Element Time Domain Algorithm Implemented...
View full text
Electronic eBook
3
Published 2005
Table of Contents: ... Grid Service Chain Model -- A Performance-Based Parallel Loop Self-scheduling on Grid Computing...
View full text
Electronic eBook
4
Published 2005
Table of Contents: ... of Functionally Defined Objects on Distributed Systems -- Automated Digital Image Registration and its Parallel...
View full text
Electronic eBook
5
Published 2015
Table of Contents: ...-Order Functional Intermediate Language for Verified Compilers -- Autosubst: Reasoning with de Bruijn...
View full text
Electronic eBook
6
Published 2014
Table of Contents: ... and Certified Linked Implementation Using Orbits -- A Verified Generate-Test-Aggregate Coq Library for Parallel...
View full text
Electronic eBook
7
Published 2010
Table of Contents: ...Third Workshop on Highly Parallel Processing on a Chip (HPPC 2009) -- HPPC 2009: 3rd Workshop...
View full text
Electronic eBook
8
Published 2010
Table of Contents: ... Simulations -- Parallel Implementation of a Steady State Thermal and Hydraulic Analysis of Pipe Networks...
View full text
Electronic eBook
9
Published 2008
Table of Contents: ... Value Functions -- Dominance-Based Rough Set Approach to Interactive Multiobjective Optimization...
View full text
Electronic eBook
10
Published 2013
Table of Contents: ... in Smart Environments -- Parallel Rendering of Human-Computer Interaction Industrial Applications on Multi...
View full text
Electronic eBook
11
Published 2010
Table of Contents: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
View full text
Electronic eBook
12
Published 2010
Table of Contents: ... Mechanics -- A Hybrid Parallel Algorithm for Transforming Finite Element Functions from Adaptive...
View full text
Electronic eBook
13
Published 2006
Table of Contents: ... -- On the Design and Implementation of Parallel Programs Through Coordination -- Software Reuse and Metrics...
View full text
Electronic eBook
14
Published 2006
Table of Contents: ... Queries over Conceptual Schemata -- Data Tables with Similarity Relations: Functional Dependencies...
View full text
Electronic eBook
15
Published 2006
Table of Contents: ... Polyhedron -- A Matlab Implementation of an Algorithm for Computing Integrals of Products of Bessel Functions...
View full text
Electronic eBook
16
Subjects: ...Robotics and Automation. https://scigraph.springernature.com/ontologies/product-market-codes/T19020...
View full text
Electronic eBook
17
Published 2012
Table of Contents: ... Chemistry -- Synthesis of Azido-Functionalized Carbohydrates for the Design of Glycoconjugates...
View full text
Electronic eBook
18
Published 2014
Table of Contents: ...: An Analytical Approach -- An Eigen decomposition Method for Protein Structure Alignment -- Functional Interplay...
View full text
Electronic eBook
19
Published 2014
Table of Contents: ... in Mathematical Knowledge Management -- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory...
View full text
Electronic eBook
20
Published 2008
Table of Contents: ... Functions on Clustered Workstations with Ethernet and Myrinet -- Dynamic Load Balancing in MPI Jobs...
View full text
Electronic eBook