Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
function functional » functions functional, fractional functional, nutrition functional
program inversion » program version, program versions, program integration
functional https » functions https, function https, functional hop
inversion https » infection https, inversion top, interaction https
https function » its function, sites function, ups function
function functional » functions functional, fractional functional, nutrition functional
program inversion » program version, program versions, program integration
functional https » functions https, function https, functional hop
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
Published 2007
Table of Contents:
“... -- Parallel Coordination Made Explicit in a Functional Setting -- Low-Level Programming in Hume...”View full text
Electronic
eBook
3
Published 2005
Table of Contents:
“... Using Multi-View Active Appearance Models and Dynamic Programming -- SPASM: Segmentation of Sparse...”View full text
Electronic
eBook
4
Table of Contents:
“... Functions for fast simulations -- Modern approach to inverse analyses -- Numerical examples....”
View full text
View full text
Electronic
eBook
5
Published 2010
Table of Contents:
“... Algorithm for Some Special Non-rational Matrix Functions -- Structured Primal-dual Interior-point Methods...”View full text
Electronic
eBook
6
Table of Contents:
“.... The Inverse Problem -- Inverse Transient Heat Conduction Problems -- Multidimensional Problems...”
View full text
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 2007
Table of Contents:
“... Programming for Inverse Problem Solving -- Empirical Analysis of GP Tree-Fragments -- Empirical Comparison...”View full text
Electronic
eBook
9
Table of Contents:
“... Operators with Outer or Generalized Inverses -- Convergence on Generalized Banach Spaces: Improving Error...”
View full text
View full text
Electronic
eBook
10
Published 2008
Table of Contents:
“...Inverse Problems for First-Order Discrete Systems -- Stability of Dynamical Systems via...”View full text
Electronic
eBook
11
Published 2013
Table of Contents:
“... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...”View full text
Electronic
eBook
12
Published 2005
Table of Contents:
“... Regular J-inner Matrix-valued Functions and Inverse Problems for Canonical Systems -- Regularization...”View full text
Electronic
eBook
13
Published 2008
Table of Contents:
“... Inversion Principles -- Canonical Big Operators -- A Type of Partial Recursive Functions -- Formal Reasoning...”View full text
Electronic
eBook
14
Published 2008
Table of Contents:
“... Warping for Image Texture Similarity -- Audio-to-Visual Conversion Via HMM Inversion for Speech-Driven...”View full text
Electronic
eBook
15
Published 2010
Table of Contents:
“... on Outranking for Database Preference Queries -- Incremental Membership Function Updates -- A New Approach...”View full text
Electronic
eBook
16
Published 2014
Table of Contents:
“... Inversion? -- Probabilistic Analysis of Programs: A Weak Limit Approach -- Predicative Lexicographic Path...”View full text
Electronic
eBook
17
Published 2005
Table of Contents:
“... -- Focusing the Inverse Method for Linear Logic -- Towards a Typed Geometry of Interaction -- Constraints...”View full text
Electronic
eBook
18
Published 2010
Table of Contents:
“... Matrix Semigroups with Reversion -- Definability of Combinatorial Functions and Their Linear Recurrence...”View full text
Electronic
eBook
19
Published 2015
Table of Contents:
“... -- Superconvergence of Some Linear and Quadratic Functionals for Higher-order Finite Elements -- Time Step...”View full text
Electronic
eBook
20
Published 2008
Table of Contents:
“... Common String Partition Parameterized -- Hardness and Approximability of the Inverse Scope Problem...”View full text
Electronic
eBook