Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
function computing » education computing, generation computing
program inversion » program version, program versions, program integration
inversion https » infection https, inversion top, interaction https
https function » its function, sites function, ups function
function computing » education computing, generation computing
program inversion » program version, program versions, program integration
inversion https » infection https, inversion top, interaction https
https function » its function, sites function, ups function
1
Published 2010
Table of Contents:
“...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...”View full text
Electronic
eBook
2
Table of Contents:
“... Functions for fast simulations -- Modern approach to inverse analyses -- Numerical examples....”
View full text
View full text
Electronic
eBook
3
Published 2007
Table of Contents:
“... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...”View full text
Electronic
eBook
4
Table of Contents:
“.... The Inverse Problem -- Inverse Transient Heat Conduction Problems -- Multidimensional Problems...”
View full text
View full text
Electronic
eBook
5
Published 2007
Table of Contents:
“... for Computational Effort Comparisons -- Crossover Bias in Genetic Programming -- Density Estimation with Genetic...”View full text
Electronic
eBook
6
Published 2005
Table of Contents:
“... Using Multi-View Active Appearance Models and Dynamic Programming -- SPASM: Segmentation of Sparse...”View full text
Electronic
eBook
7
Table of Contents:
“... -- Tomographic Evaluation of Materials -- The Reciprocity Gap Functional for Crack Detection -- Methods...”
View full text
View full text
Electronic
eBook
8
Published 2005
Table of Contents:
“... and Logical Predicates for Computational Metalanguage -- Type Theory and Lambda Calculus -- Order Structures...”View full text
Electronic
eBook
9
Published 2010
Table of Contents:
“...On Yuri Gurevich -- Yuri, Logic, and Computer Science -- Database Theory, Yuri, and Me -- Technical...”View full text
Electronic
eBook
10
Published 2013
Table of Contents:
“... Reversible Abstract Machines -- Synthesizing Loops for Program Inversion -- Frugal Encoding in Reversible...”View full text
Electronic
eBook
11
Published 2008
Table of Contents:
“... in General-Purpose Computations on Current Graphics Processors -- Optimised Computational Functional Imaging...”View full text
Electronic
eBook
12
Published 2012
Table of Contents:
“... Algorithms of Computational -- Geometry Blending Functions for Hermite Interpolation by Beta-Function B...”View full text
Electronic
eBook
13
Published 2010
Table of Contents:
“... Augmented Lagrangian Method for Computationally Fast Constrained Optimization -- Evolutionary Programming...”View full text
Electronic
eBook
14
Published 2013
Table of Contents:
“... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...”View full text
Electronic
eBook
15
Published 2007
Table of Contents:
“... Games -- Computing Symmetric Boolean Functions by Circuits with Few Exact Threshold Gates...”View full text
Electronic
eBook
16
Published 2010
Table of Contents:
“... of Inversion of Goldreich’s Function by Drunken Backtracking Algorithms -- A SAT Based Effective Algorithm...”View full text
Electronic
eBook
17
Published 2015
Table of Contents:
“... of Quantum Circuits of Small Treewidth -- Equations over Free Inverse Monoids with Idempotent Variables -- A...”View full text
Electronic
eBook
18
Published 2007
Table of Contents:
“... Computation in Large Territories -- Non-equilibrium Thermodynamics, Thermomechanics, Geodynamics -- A Finite...”View full text
Electronic
eBook
19
Published 2007
Table of Contents:
“... -- Approximate Interpolation by Neural Networks with the Inverse Multiquadric Functions -- Decomposition Mixed...”View full text
Electronic
eBook
20
Published 2006
Table of Contents:
“... with Automatic Transition -- MIP-Guided Vascular Image Visualization with Multi-Dimensional Transfer Function...”View full text
Electronic
eBook