Search alternatives:
programs computing » programs compiling, programs conducting, problems computing
function during » formation during
https function » its function, sites function, ups function
during https » nursing https, aging https, being https
1
Published 2011
Subjects: ...Programming languages (Electronic computers)....
View full text
Electronic eBook
2
Published 2008
Table of Contents: ... of Lazy Functional Programs with Sparkle -- An Introduction to the Lambda Calculus -- Abstract ?-Calculus...
View full text
Electronic eBook
3
Published 2013
Table of Contents: ... Programming: From Theory to Curry -- From Search to Computation: Redundancy Criteria and Simplification...
View full text
Electronic eBook
4
Table of Contents: ...Fundamental Analysis -- Basic Concepts of Linear Genetic Programming -- Characteristics...
View full text
Electronic eBook
5
Published 2006
Table of Contents: ...-Based Analysis of Global Function Computation -- Checking a Multithreaded Algorithm with ?+?CAL...
View full text
Electronic eBook
6
Published 2010
Table of Contents: ... -- A CTL-Based Logic for Program Abstractions -- Application of Logic to Integer Sequences: A Survey...
View full text
Electronic eBook
7
Published 2010
Table of Contents: ... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...
View full text
Electronic eBook
8
Published 2008
Table of Contents: ... Parallelization in HPF Programs on the Earth Simulator -- Sampling of Protein Conformations with Computers...
View full text
Electronic eBook
9
Published 2008
Table of Contents: ... of Computer Networks -- A Comparative Study of Fuzzy Inference Systems, Neural Networks and Adaptive Neuro...
View full text
Electronic eBook
10
Published 2005
Table of Contents: ... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...
View full text
Electronic eBook
11
Published 2008
Table of Contents: ... of Onto-Relational Learning -- L-Modified ILP Evaluation Functions for Positive-Only Biological Grammar...
View full text
Electronic eBook
12
Published 2010
Table of Contents: ... Programming -- Transformation and Debugging of Functional Logic Programs -- 25 Years of Applications of Logic...
View full text
Electronic eBook
13
Published 2010
Table of Contents: ... Design -- A Reconfigurable Implementation of the Tate Pairing Computation over GF(2 m ) -- Session 3...
View full text
Electronic eBook
14
Published 2010
Table of Contents: ... Population Using Pooled DNA -- Pathway-Based Functional Analysis of Metagenomes -- Hierarchical Generative...
View full text
Electronic eBook
15
Published 2010
Table of Contents: ... Augmented Lagrangian Method for Computationally Fast Constrained Optimization -- Evolutionary Programming...
View full text
Electronic eBook
16
Published 2007
Table of Contents: ...Invited Lectures -- Psim: A Computational Platform for Metabolic P Systems -- Modeling the Dynamics...
View full text
Electronic eBook
17
Published 2014
Table of Contents: ... for the Internet of Services -- Semantic Technologies for the Internet of Services -- Part IV – Program...
View full text
Electronic eBook
18
Published 2013
Table of Contents: ... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...
View full text
Electronic eBook
19
Published 2007
Table of Contents: ... Games -- Computing Symmetric Boolean Functions by Circuits with Few Exact Threshold Gates...
View full text
Electronic eBook
20
Table of Contents: ...Part I Thermo-Responsive Hydrogel Functional Materials -- Structure-Function Relationship of Thermo...
View full text
Electronic eBook