1
Pubblicazione 2010
Sommario: ...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...
Testo
Elettronico eBook
2
Pubblicazione 2007
Sommario: ... -- Parallel Coordination Made Explicit in a Functional Setting -- Low-Level Programming in Hume...
Testo
Elettronico eBook
3
Pubblicazione 2010
Sommario: ...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...
Testo
Elettronico eBook
4
Pubblicazione 2013
Sommario: ... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...
Testo
Elettronico eBook
5
Pubblicazione 2005
Sommario: ... Regular J-inner Matrix-valued Functions and Inverse Problems for Canonical Systems -- Regularization...
Testo
Elettronico eBook
6
Pubblicazione 2015
Sommario: ... -- Superconvergence of Some Linear and Quadratic Functionals for Higher-order Finite Elements -- Time Step...
Testo
Elettronico eBook
7
Pubblicazione 2012
Sommario: ... Levels over Bulgaria from High Resolution Simulations.-New Parallel Implementation of an Air Pollution...
Testo
Elettronico eBook
8
Pubblicazione 2005
Sommario: ... with Infinite Strategic Space -- On the Online Dial-A-Ride Problem with Time-Windows -- Semidefinite Programming...
Testo
Elettronico eBook
9
Pubblicazione 2010
Sommario: ... Stochastic Programming Problems Using Differential Evolution -- Multi Sensor Fusion Using Fitness Adaptive...
Testo
Elettronico eBook
10
Pubblicazione 2008
Sommario: ...Parallel and Distributed Computing -- An Overview of High Performance Computing and Challenges...
Testo
Elettronico eBook
11
Pubblicazione 2010
Sommario: ... Operative Solutions -- Parallel and Distributed Computing -- Application of the Location and Tracking System...
Testo
Elettronico eBook
12
Sommario: ... Strategies -- Benchmarking Differential Evolution -- On the usage of differential evolution for function...
Testo
Elettronico eBook
13
Pubblicazione 2014
Sommario: ... in Mathematical Knowledge Management -- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory...
Testo
Elettronico eBook
14
Pubblicazione 2007
Sommario: ... Model -- Enabling Very-Large Scale Earthquake Simulations on Parallel Machines -- Fast Insolation...
Testo
Elettronico eBook
15
Pubblicazione 2008
Sommario: ...Keynote -- Nonparametric Methods for Estimating Periodic Functions, with Applications in Astronomy...
Testo
Elettronico eBook
16
Pubblicazione 2005
Sommario: ... -- Implementing Minimum Cycle Basis Algorithms -- Rounding to an Integral Program -- Rectangle Covers Revisited...
Testo
Elettronico eBook
17
Pubblicazione 2008
Sommario: ... Differentiation -- Algorithmic Differentiation of Implicit Functions and Optimal Values -- Using Programming...
Testo
Elettronico eBook
18
Pubblicazione 2014
Sommario: ... -- Direct and Inverse Second Order Kinematics for Hyper-Redundant Parallel Robots -- Kinematic Design...
Testo
Elettronico eBook
19
Pubblicazione 2007
Sommario: ... -- Approximate Interpolation by Neural Networks with the Inverse Multiquadric Functions -- Decomposition Mixed...
Testo
Elettronico eBook
20
Pubblicazione 2015
Sommario: ... of multiobjective optimization algorithms: quality indicators and the attainment function -- Theory and Hyper...
Testo
Elettronico eBook