1
Julkaistu 2010
Sisällysluettelo: ... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...
Hae kokoteksti
Elektroninen E-kirja
2
Tekijä Burgin, Mark., Burgin, Mark.
Julkaistu 2005
Sisällysluettelo: ...Recursive Algorithms -- Subrecursive Algorithms -- Superrecursive Algorithms: Problems...
Hae kokoteksti
Elektroninen E-kirja
3
Julkaistu 2013
Sisällysluettelo: ... of Temporal Data -- Fast Approximation Method for Gaussian Process Regression Using Hash Function for Non...
Hae kokoteksti
Elektroninen E-kirja
4
Julkaistu 2015
Sisällysluettelo: ... -- Combinatorics on Words -- Complexity and Recursive Functions -- Compression, Inference, Pattern Matching...
Hae kokoteksti
Elektroninen E-kirja
5
Julkaistu 2015
Sisällysluettelo: ... Selection and Question-Answer Ranking in IBM Watson -- Automatic Evolution of Parallel Recursive Programs...
Hae kokoteksti
Elektroninen E-kirja
6
Julkaistu 2015
Sisällysluettelo: ... for a Lazy Functional Language Timed History Preserving Bisimulation and Open Maps -- Process Opacity...
Hae kokoteksti
Elektroninen E-kirja
7
Julkaistu 2015
Sisällysluettelo: ... -- Commutativity of Reducers -- Inferring Simple Solutions to Recursion-Free Horn Clauses via Sampling -- Analysis...
Hae kokoteksti
Elektroninen E-kirja
8
Julkaistu 2010
Sisällysluettelo: ... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...
Hae kokoteksti
Elektroninen E-kirja
9
Tekijä Rivera, Ferdinand., Rivera, Ferdinand.
Julkaistu 2013
Aiheet: ...Mathematics Education. https://scigraph.springernature.com/ontologies/product-market-codes/O25000...
Hae kokoteksti
Elektroninen E-kirja
10
Julkaistu 2012
Sisällysluettelo: ... Levels over Bulgaria from High Resolution Simulations.-New Parallel Implementation of an Air Pollution...
Hae kokoteksti
Elektroninen E-kirja
11
Julkaistu 2005
Sisällysluettelo: ... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...
Hae kokoteksti
Elektroninen E-kirja
12
Julkaistu 2014
Sisällysluettelo: ... -- Recursive Functions on Lazy Lists via Domains and Topologies -- Formal Verification of Optical Quantum Flip...
Hae kokoteksti
Elektroninen E-kirja
13
Julkaistu 2006
Sisällysluettelo: ... for Axis-Parallel Rectangles -- Single Machine Precedence Constrained Scheduling Is a Vertex Cover Problem...
Hae kokoteksti
Elektroninen E-kirja
14
Julkaistu 2013
Sisällysluettelo: ... Recursive Probabilistic Systems.- Recursion Schemes, Collapsible Pushdown Automata and Higher-Order Model...
Hae kokoteksti
Elektroninen E-kirja
15
Julkaistu 2005
Sisällysluettelo: ... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...
Hae kokoteksti
Elektroninen E-kirja
16
Julkaistu 2008
Sisällysluettelo: ... Recursive Programs with Exact Predicate Abstraction -- Loop Summarization Using Abstract Transformers...
Hae kokoteksti
Elektroninen E-kirja
17
Julkaistu 2011
Sisällysluettelo: ... Recognition System -- Study on Architecture and Performances of Dual Track SAW Device -- Adaptive Function...
Hae kokoteksti
Elektroninen E-kirja
18
Julkaistu 2005
Sisällysluettelo: ... -- Computing Upward Planar Drawings Using Switch-Regularity Heuristics -- Serial and Parallel Multilevel Graph...
Hae kokoteksti
Elektroninen E-kirja