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