1
Published 2005
Table of Contents: ...Implementation of Functional Languages -- Lazy Assertions -- Interfacing Haskell with Object...
View full text
Electronic eBook
2
Published 2006
Table of Contents: ...-Management System -- A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...
View full text
Electronic eBook
4
Published 2005
Table of Contents: ...-Speed TCP -- Advanced Software On-Demand Based on Functional Streaming -- Can Out-of-Order Instruction...
View full text
Electronic eBook
5
Published 2010
Table of Contents: ...The 2010 International Symposium on Frontiers of Parallel and Distributed Computing (FPDC 2010...
View full text
Electronic eBook
6
Published 2013
Table of Contents: ... and Placeholder Types -- Concurrency, Parallelism, and Distribution -- Implementing Federated Object Systems...
View full text
Electronic eBook
7
Published 2010
Table of Contents: ... for Many-Objective Optimization -- pMODE-LD+SS: An Effective and Efficient Parallel Differential Evolution...
View full text
Electronic eBook
8
Published 2014
Table of Contents: ... -- On Gaussian Processes for NARX Modelling and Their Associated Higher-order Frequency Response Functions....
View full text
Electronic eBook
9
Published 2014
Table of Contents: ...-Programs with Existential Quantification -- Introducing Real Variables and Integer Objective Functions...
View full text
Electronic eBook
10
by Raynal, Michel., Raynal, Michel.
Published 2013
Table of Contents: ... -- Chap. 2  Distributed Graph Algorithms -- Chap. 3  An Algorithmic Framework to Compute Global Functions...
View full text
Electronic eBook
11
Published 2006
Table of Contents: ...: Multiplicatives -- First-Order Queries over One Unary Function -- Infinite State Model-Checking of Propositional...
View full text
Electronic eBook
12
Published 2010
Table of Contents: ... Integrable Dynamical Systems -- Generic, Type-Safe and Object Oriented Computer Algebra Software...
View full text
Electronic eBook
13
Published 2010
Table of Contents: ... Joins across Function Calls -- Fast Arc-Annotated Subsequence Matching in Linear Space -- Automated...
View full text
Electronic eBook
14
Published 2012
Subjects: ...Neurosciences. https://scigraph.springernature.com/ontologies/product-market-codes/B18006...
View full text
Electronic eBook
15
Published 2014
Table of Contents: ... Routing Problems -- Corner Based Many-Objective Optimization -- Escaping Local Optima via Parallelization...
View full text
Electronic eBook
16
Published 2014
Table of Contents: ... and Operational States of Wind Turbines -- The Parallel Approach to the Conjugate Gradient Learning Algorithm...
View full text
Electronic eBook
17
Published 2015
Table of Contents: ...Neural Networks and Their Applications -- Parallel approach to the Levenberg-Marquardt learning...
View full text
Electronic eBook
18
Published 2013
Table of Contents: ... Domain -- Object Grammars: Compositional and Bidirectional Mapping between Text and Graphs -- Profile...
View full text
Electronic eBook
19
Published 2015
Table of Contents: ... Balancing of the Four-Bar Mechanism, by Mario Acevedo -- Behaviour of some objects in series with dynamic...
View full text
Electronic eBook
20
Published 2014
Table of Contents: ... Rules -- Parallel Thinning with Complex Objects and Actors -- Causal Nets for Geometrical Gandy–Paun...
View full text
Electronic eBook