1
Udgivet 2010
Indholdsfortegnelse: ... -- Parallel Evolutionary Approach of Compaction Problem Using MapReduce -- Ant Colony Optimization...
Få fuldtekst
Electronisk eBog
2
Udgivet 2010
Indholdsfortegnelse: ...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...
Få fuldtekst
Electronisk eBog
3
Udgivet 2008
Indholdsfortegnelse: ...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...
Få fuldtekst
Electronisk eBog
4
Udgivet 2012
Indholdsfortegnelse: ... Operators and Weighted Poincar´e Inequalities.-Additive Schur Complement Approximation for Elliptic Problems...
Få fuldtekst
Electronisk eBog
5
Udgivet 2010
Indholdsfortegnelse: ... Empty Rectangle and Square Problems in All Dimensions -- Connectivity Is Not a Limit for Kernelization...
Få fuldtekst
Electronisk eBog
6
Udgivet 2010
Indholdsfortegnelse: ... Parallelism: Solving SAT in Bounded Space and Time -- Interpretation of Stream Programs: Characterizing Type 2...
Få fuldtekst
Electronisk eBog
7
Udgivet 2008
Indholdsfortegnelse: ... for the Stable Marriage Problem -- Edit Distances and Factorisations of Even Permutations -- Speed Scaling...
Få fuldtekst
Electronisk eBog
8
Udgivet 2005
Indholdsfortegnelse: ... Sphere Cut Branch Decompositions -- An Algorithm for the SAT Problem for Formulae of Linear Length...
Få fuldtekst
Electronisk eBog
9
Udgivet 2008
Indholdsfortegnelse: ... of Trivium -- Accelerating the Whirlpool Hash Function Using Parallel Table Lookup and Fast Cyclical...
Få fuldtekst
Electronisk eBog
10
Udgivet 2015
Indholdsfortegnelse: ... Ordered Restarting Automata -- Reversible Languages -- Garbage Collection for Reversible Functional...
Få fuldtekst
Electronisk eBog
11
Udgivet 2014
Indholdsfortegnelse: ... and Parallel Groebner Bases in JAS -- Application of Groebner Basis Methodology to Nonlinear Mechanics Problems...
Få fuldtekst
Electronisk eBog
12
Udgivet 2010
Indholdsfortegnelse: ... Semidefinite Programming Problems -- Reliable and Efficient Geometric Computing -- The Sage Project: Unifying...
Få fuldtekst
Electronisk eBog
13
Udgivet 2006
Indholdsfortegnelse: ... of the Parallel Knock-Out Problem -- Reconfigurations in Graphs and Grids -- -Varieties, Actions and Wreath...
Få fuldtekst
Electronisk eBog
14
Udgivet 2013
Indholdsfortegnelse: ... Problems -- Portfolio with Block Branching for Parallel SAT Solvers -- Parameter Setting with Dynamic...
Få fuldtekst
Electronisk eBog
15
Udgivet 2008
Indholdsfortegnelse: ... by First Order Functional Programs -- The Structure of Detour Degrees -- Hamiltonicity of Matching...
Få fuldtekst
Electronisk eBog
16
Udgivet 2013
Indholdsfortegnelse: ... Search Algorithm for the No-Idle Permutation Flowshop Scheduling Problem -- Design of Non-uniformly...
Få fuldtekst
Electronisk eBog
17
Udgivet 2005
Indholdsfortegnelse: ... Knowing and Machine Knowing -- Approximation Problems Categories -- Computation of Partial Automata...
Få fuldtekst
Electronisk eBog
18
Udgivet 2008
Indholdsfortegnelse: ...Keynote -- Nonparametric Methods for Estimating Periodic Functions, with Applications in Astronomy...
Få fuldtekst
Electronisk eBog
19
Udgivet 2008
Indholdsfortegnelse: ... Specifications for Distributed Program Synthesis -- Exact OBDD Bounds for Some Fundamental Functions...
Få fuldtekst
Electronisk eBog