1
出版事項 2010
目次: ... -- Automatic Parallelization of Recursive Functions Using Quantifier Elimination -- A Skeleton for Distributed...
全文の入手
電子媒体 eBook
2
主題: ...Algorithm Analysis and Problem Complexity. https://scigraph.springernature.com/ontologies/product...
全文の入手
電子媒体 eBook
3
著者: Bronstein, Manuel., Bronstein, Manuel.
出版事項 2005
目次: ... Problems -- The Coupled Differential System -- Structure Theorems -- Parallel Integration....
全文の入手
電子媒体 eBook
4
出版事項 2005
目次: ...-Parallel Algorithms for 1-Dimensional Fast Fourier Transform -- Towards Solving NP-Complete Problems...
全文の入手
電子媒体 eBook
5
目次: ... Parallelization -- Multi-Criteria Decision Making -- Alternative Metaheuristics....
全文の入手
電子媒体 eBook
6
目次: ...-Posedness of Cauchy Problems -- 1 The Laplace Integral -- 2 The Laplace Transform -- 3 Cauchy Problems -- II...
全文の入手
電子媒体 eBook
7
出版事項 2011
目次: ... Algorithms -- 4 Parallel Sorting – The Need for Speed -- 5 Topological Sorting – How Should I Begin...
全文の入手
電子媒体 eBook
8
出版事項 2005
目次: ... Version Space Algorithm for Acquiring Constraint Satisfaction Problems -- Estimation of Mixture Models...
全文の入手
電子媒体 eBook
9
著者: Kozen, Dexter C., Kozen, Dexter C.
出版事項 2006
目次: ... -- The Circuit Value Problem -- The Knaster-Tarski Theorem -- Alternation -- Problems Complete for PSPACE...
全文の入手
電子媒体 eBook
10
出版事項 2015
目次: ... Monitoring and Synthesis -- Newton's Forward Difference Equation for Functions from Words to Words -- Degrees...
全文の入手
電子媒体 eBook
11
出版事項 2010
目次: ... Transformations to Improve and Extend Convergence -- Differential Resultant, Computer Algebra and Completely...
全文の入手
電子媒体 eBook
12
出版事項 2008
目次: ... Subgroup Problem -- An O *(3.523k ) Parameterized Algorithm for 3-Set Packing -- Indistinguishability...
全文の入手
電子媒体 eBook
13
出版事項 2008
目次: ... and Pyramids -- The Maximum Independent Set Problem in Planar Graphs -- When Ignorance Helps: Graphical...
全文の入手
電子媒体 eBook
14
出版事項 2015
目次: ... -- Hierarchical Dynamic Power-Gating in FPGAs -- Tools and Compilers -- Hardware Synthesis from Functional...
全文の入手
電子媒体 eBook
15
出版事項 2014
目次: ... and Budgeted Maximum Coverage Problems in Bipartite Graphs -- Perfect Pipelining for Streaming Large File...
全文の入手
電子媒体 eBook
16
出版事項 2005
目次: ... on the Joint Linear Complexity Profile of Multisequences -- Period of Streamcipher Edon80 -- Boolean Function...
全文の入手
電子媒体 eBook
17
出版事項 2014
目次: ... Theory in Coq -- Completeness and Decidability Results for CTL in Coq -- Hypermap Specification...
全文の入手
電子媒体 eBook
18
出版事項 2015
目次: ... for Probability Density Functions -- Segment Abstraction for Worst-Case Execution Time Analysis -- Automatic...
全文の入手
電子媒体 eBook
19
出版事項 2015
目次: ... Functions on Cocktail-Party Graphs and Complete Graphs -- Tree Path Labeling of Hypergraphs A Generalization...
全文の入手
電子媒体 eBook
20
出版事項 2010
目次: ... on Constrained Minimum Enclosing Circle Problem -- Searching for an Axis-Parallel Shoreline -- Bounded Length, 2...
全文の入手
電子媒体 eBook