Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programs function » programs functional, programme function, programs fiction
function function » function functional, functions functional, function dysfunction
parallel inverse » parallel universe, parallel inverted, parallel reverse
inverse programs » inverse problems, invertible programs, intensive programs
function https » functions https, fiction https
programs function » programs functional, programme function, programs fiction
function function » function functional, functions functional, function dysfunction
parallel inverse » parallel universe, parallel inverted, parallel reverse
inverse programs » inverse problems, invertible programs, intensive programs
function https » functions https, fiction https
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 2010
Table of Contents:
“...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...”View full text
Electronic
eBook
4
Published 2013
Table of Contents:
“... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...”View full text
Electronic
eBook
5
Published 2005
Table of Contents:
“... Regular J-inner Matrix-valued Functions and Inverse Problems for Canonical Systems -- Regularization...”View full text
Electronic
eBook
6
Published 2015
Table of Contents:
“... -- Superconvergence of Some Linear and Quadratic Functionals for Higher-order Finite Elements -- Time Step...”View full text
Electronic
eBook
7
Published 2012
Table of Contents:
“... Levels over Bulgaria from High Resolution Simulations.-New Parallel Implementation of an Air Pollution...”View full text
Electronic
eBook
8
Published 2005
Table of Contents:
“... with Infinite Strategic Space -- On the Online Dial-A-Ride Problem with Time-Windows -- Semidefinite Programming...”View full text
Electronic
eBook
9
Published 2010
Table of Contents:
“... Stochastic Programming Problems Using Differential Evolution -- Multi Sensor Fusion Using Fitness Adaptive...”View full text
Electronic
eBook
10
Published 2008
Table of Contents:
“...Keynote -- Nonparametric Methods for Estimating Periodic Functions, with Applications in Astronomy...”View full text
Electronic
eBook
11
Published 2008
Table of Contents:
“...Parallel and Distributed Computing -- An Overview of High Performance Computing and Challenges...”View full text
Electronic
eBook
12
Published 2010
Table of Contents:
“... Operative Solutions -- Parallel and Distributed Computing -- Application of the Location and Tracking System...”View full text
Electronic
eBook
13
Table of Contents:
“... Strategies -- Benchmarking Differential Evolution -- On the usage of differential evolution for function...”
View full text
View full text
Electronic
eBook
14
Published 2014
Table of Contents:
“... in Mathematical Knowledge Management -- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory...”View full text
Electronic
eBook
15
Published 2007
Table of Contents:
“... Model -- Enabling Very-Large Scale Earthquake Simulations on Parallel Machines -- Fast Insolation...”View full text
Electronic
eBook
16
Published 2005
Table of Contents:
“... -- Implementing Minimum Cycle Basis Algorithms -- Rounding to an Integral Program -- Rectangle Covers Revisited...”View full text
Electronic
eBook
17
Published 2008
Table of Contents:
“... Differentiation -- Algorithmic Differentiation of Implicit Functions and Optimal Values -- Using Programming...”View full text
Electronic
eBook
18
Published 2014
Table of Contents:
“... -- Direct and Inverse Second Order Kinematics for Hyper-Redundant Parallel Robots -- Kinematic Design...”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 2015
Table of Contents:
“... of multiobjective optimization algorithms: quality indicators and the attainment function -- Theory and Hyper...”View full text
Electronic
eBook