1
Published 2014
Table of Contents: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
View full text
Electronic eBook
2
Published 2008
Table of Contents: ...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...
View full text
Electronic eBook
3
Subjects: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook
4
Published 2014
Table of Contents: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
View full text
Electronic eBook
5
Published 2010
Table of Contents: ... of Approximately Counting Stable Matchings -- Constant Approximation Algorithms for Embedding Graph Metrics...
View full text
Electronic eBook
6
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
7
Published 2008
Table of Contents: ... -- Approximating Multi-criteria Max-TSP -- An Integer Programming Algorithm for Routing Optimization in IP Networks...
View full text
Electronic eBook
8
Published 2005
Table of Contents: ... in Linear Time -- Predecessor Queries in Constant Time? -- An Algorithm for Node-Capacitated Ring Routing...
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 2014
Table of Contents: ... in Mathematical Knowledge Management -- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory...
View full text
Electronic eBook
11
Published 2014
Table of Contents: ... and Certified Linked Implementation Using Orbits -- A Verified Generate-Test-Aggregate Coq Library for Parallel...
View full text
Electronic eBook
12
Published 2008
Table of Contents: ...Keynote -- Nonparametric Methods for Estimating Periodic Functions, with Applications in Astronomy...
View full text
Electronic eBook
13
Published 2006
Table of Contents: ... Functional Worst Case Constant Time Catenable Sorted Lists -- Taxes for Linear Atomic Congestion Games...
View full text
Electronic eBook
14
Subjects: ...Control and Systems Theory. https://scigraph.springernature.com/ontologies/product-market-codes...
View full text
Electronic eBook
15
Published 2014
Table of Contents: ... Topology via Functional Programming: A Baseline Analysis: D. Duke and H. Carr -- 6 Distributed Contour...
View full text
Electronic eBook
16
Published 2005
Table of Contents: ... Categorization -- Zipf’s Law and Mandelbrot’s Constants for Turkish Language Using Turkish Corpus (TurCo...
View full text
Electronic eBook
17
Published 2014
Table of Contents: ... Systems -- 2 New Parallel Matrix Multiplication Algorithms for Wormhole-Routed All-Port 2D/3D Torus...
View full text
Electronic eBook
18
Published 2013
Table of Contents: ... urban space: A case study of cozy space design pattern -- Quantum-Membership-Function-Based Adaptive...
View full text
Electronic eBook