1
Gepubliceerd in 2006
Inhoudsopgave: ...Contributions -- A Framework for Point-Free Program Transformation -- Encoding Strategies...
Volledige tekst
Elektronisch E-boek
2
Gepubliceerd in 2010
Inhoudsopgave: ... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...
Volledige tekst
Elektronisch E-boek
3
Gepubliceerd in 2006
Inhoudsopgave: ... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...
Volledige tekst
Elektronisch E-boek
4
Gepubliceerd in 2014
Inhoudsopgave: ...-Specific Recombination -- Application of In-Fusion™ Cloning for the Parallel Construction of Escherichia...
Volledige tekst
Elektronisch E-boek
5
Gepubliceerd in 2014
Inhoudsopgave: ... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...
Volledige tekst
Elektronisch E-boek
6
Gepubliceerd in 2006
Inhoudsopgave: ... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...
Volledige tekst
Elektronisch E-boek
7
Gepubliceerd in 2015
Inhoudsopgave: ... -- Superconvergence of Some Linear and Quadratic Functionals for Higher-order Finite Elements -- Time Step...
Volledige tekst
Elektronisch E-boek
8
Gepubliceerd in 2010
Inhoudsopgave: ... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...
Volledige tekst
Elektronisch E-boek
9
Gepubliceerd in 2008
Inhoudsopgave: ... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...
Volledige tekst
Elektronisch E-boek
10
Gepubliceerd in 2008
Inhoudsopgave: ... Steiner Tree Computation in Polynomial-Space -- Fitting a Step Function to a Point Set -- Faster Swap Edge...
Volledige tekst
Elektronisch E-boek
11
Gepubliceerd in 2010
Inhoudsopgave: ... Stochastic Programming Problems Using Differential Evolution -- Multi Sensor Fusion Using Fitness Adaptive...
Volledige tekst
Elektronisch E-boek
12
Gepubliceerd in 2008
Inhoudsopgave: ... of Trivium -- Accelerating the Whirlpool Hash Function Using Parallel Table Lookup and Fast Cyclical...
Volledige tekst
Elektronisch E-boek
13
Gepubliceerd in 2010
Inhoudsopgave: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
Volledige tekst
Elektronisch E-boek
14
Gepubliceerd in 2006
Inhoudsopgave: ... Linear Programming -- A Parallel, Asynchronous Method for Derivative-Free Nonlinear Programs...
Volledige tekst
Elektronisch E-boek
15
Gepubliceerd in 2005
Inhoudsopgave: ... programs on high-performance computers in FPGAs -- gridlib: A Parallel, Object-oriented Framework...
Volledige tekst
Elektronisch E-boek
16
Gepubliceerd in 2007
Inhoudsopgave: ... Cores to Evolve Combinational Logic Circuits in Parallel -- An Intrinsic Evolvable Hardware Based...
Volledige tekst
Elektronisch E-boek
17
Gepubliceerd in 2008
Inhoudsopgave: ... Parallelism in the Phylogenetic Likelihood Function with MPI, Pthreads, and OpenMP: A Performance Study...
Volledige tekst
Elektronisch E-boek
18
Gepubliceerd in 2013
Inhoudsopgave: ...Quantitating Lymphocyte Programmed Cell Death (PCD) In Vitro Using Simple Kill Assays...
Volledige tekst
Elektronisch E-boek
19
Gepubliceerd in 2005
Inhoudsopgave: ... for Displaying in Small Device -- Automatic Text Summarization Using Two-Step Sentence Extraction -- Sentence...
Volledige tekst
Elektronisch E-boek
20
Gepubliceerd in 2010
Inhoudsopgave: ... Approximation of Points by a Step Function -- Approximating Multilinear Monomial Coefficients and Maximum...
Volledige tekst
Elektronisch E-boek