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