1
Published 2010
Table of Contents: ...The NUTRA-SNACKS Project: Basic Research and Biotechnological Programs on Nutraceutics -- Overview...
View full text
Electronic eBook
2
Published 2008
Table of Contents: ... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...
View full text
Electronic eBook
3
Published 2008
Table of Contents: ...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...
View full text
Electronic eBook
4
Published 2015
Table of Contents: ... Automata -- Analysis of Probabilistic Systems via Generating Functions and Padé Approximation...
View full text
Electronic eBook
5
Published 2013
Table of Contents: ... and Verification of GPU Kernels -- Verifying Concurrent Programs against Sequential Specifications...
View full text
Electronic eBook
6
Published 2005
Table of Contents: ... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...
View full text
Electronic eBook
7
Published 2008
Table of Contents: ... Global Path Planning in Time Varying Environments Based on a Cost Evaluation Function -- Grammar...
View full text
Electronic eBook
8
Published 2008
Table of Contents: ... Procedures -- Session 2: Specific Theories -- Proving Bounds on Real-Valued Functions with Computations...
View full text
Electronic eBook
9
Published 2010
Table of Contents: ... Synchronizing Automata and Digraphs -- Weights of Exact Threshold Functions -- Proof Systems and Transformation...
View full text
Electronic eBook
10
Published 2010
Table of Contents: ... Architecture for Dynamic Function Patterns -- Reconfigurable Components for Application-Specific Processor...
View full text
Electronic eBook
11
Published 2006
Table of Contents: ... Programming -- A Functional Program for Agents, Actions, and Deontic Specifications....
View full text
Electronic eBook
12
Published 2006
Table of Contents: ...-Based Analysis of Global Function Computation -- Checking a Multithreaded Algorithm with ?+?CAL...
View full text
Electronic eBook
13
Published 2014
Table of Contents: ... -- Symbolic Resource Bound Inference for Functional Programs -- Proving Non-termination Using Max-SMT...
View full text
Electronic eBook
14
by Coles, Michael., Coles, Michael.
Published 2008
Table of Contents: ... -- XQuery -- XQuery Functions and Operators and XML DML -- Indexing XML -- XSLT and the SQLCLR -- HTTP SOAP...
View full text
Electronic eBook
15
Table of Contents: ... -- Basic Pipelined Processor Design -- Transforming the Sequential Design -- Scheduling Functions -- Use...
View full text
Electronic eBook
16
Published 2010
Table of Contents: ... -- Semidefinite Programming and Approximation Algorithms: A Survey -- Strictly-Regular Number System and Data...
View full text
Electronic eBook
17
Published 2010
Table of Contents: ... Pathetic Lower Bounds -- Testing Boolean Function Isomorphism -- Better Size Estimation for Sparse Matrix...
View full text
Electronic eBook
18
Published 2010
Table of Contents: ... of Genetic Programming Evolved Classifier Expressions Using Particle Swarm Optimization -- Developing...
View full text
Electronic eBook
19
Published 2006
Table of Contents: ...) Probability Function for FMS IP Trace-Back Technique -- A Mechanism for Detection and Prevention...
View full text
Electronic eBook
20
Published 2008
Table of Contents: ... Hash Function Designs -- The Hash Function Family LAKE -- SWIFFT: A Modest Proposal for FFT Hashing...
View full text
Electronic eBook