1
Publicado 2005
Table of Contents: ...Arithmetic over Function Fields: A Cohomological Approach -- Algebraic Stacks Whose Number...
Ligazón do recurso
Electrónico eBook
2
Table of Contents: ... since Black Holes came to preeminence -- III. Bryce DeWitt’s Pursuit of Quantum Gravity -- IV...
Ligazón do recurso
Electrónico eBook
3
Publicado 2005
Table of Contents: ... Searching Amidst Uncertainty -- Logic Functions of the Genomic Cis-regulatory Code -- Structural DNA...
Ligazón do recurso
Electrónico eBook
4
Publicado 2005
Table of Contents: ... Sphere Cut Branch Decompositions -- An Algorithm for the SAT Problem for Formulae of Linear Length...
Ligazón do recurso
Electrónico eBook
5
Publicado 2010
Table of Contents: ... -- Generic Constructions of Parallel Key-Insulated Encryption -- Invited Talk -- Heuristics and Rigor...
Ligazón do recurso
Electrónico eBook
6
Publicado 2015
Table of Contents: ... Symbols -- Multilingual narrative planetary maps for children -- Multi Standard-Parallel Azimuthal...
Ligazón do recurso
Electrónico eBook
7
Publicado 2007
Table of Contents: ... System -- Analyzing Overheads and Scalability Characteristics of OpenMP Applications -- Parallel Fuzzy c...
Ligazón do recurso
Electrónico eBook
8
Publicado 2005
Table of Contents: ... Knowing and Machine Knowing -- Approximation Problems Categories -- Computation of Partial Automata...
Ligazón do recurso
Electrónico eBook
9
Publicado 2005
Table of Contents: ...Invited Talks -- The Evolution of Optimality: De Novo Programming -- Many-Objective Optimization...
Ligazón do recurso
Electrónico eBook
10
Publicado 2015
Table of Contents: ... of multiobjective optimization algorithms: quality indicators and the attainment function -- Theory and Hyper...
Ligazón do recurso
Electrónico eBook
11
Publicado 2010
Table of Contents: ... with Beddington-De Angelis Functional Response -- Spatial Shift-Share Method: A New Method in the Study...
Ligazón do recurso
Electrónico eBook
12
Publicado 2015
Table of Contents: ...-Order Functional Intermediate Language for Verified Compilers -- Autosubst: Reasoning with de Bruijn...
Ligazón do recurso
Electrónico eBook
13
Table of Contents: ... Strategies -- Benchmarking Differential Evolution -- On the usage of differential evolution for function...
Ligazón do recurso
Electrónico eBook
14
Publicado 2014
Table of Contents: ... and Parallel Groebner Bases in JAS -- Application of Groebner Basis Methodology to Nonlinear Mechanics Problems...
Ligazón do recurso
Electrónico eBook
15
Publicado 2013
Table of Contents: ... Construction Problem Is FPT -- Reconstructing Ancestral Genomic Orders Using Binary Encoding and Probabilistic...
Ligazón do recurso
Electrónico eBook
16
Publicado 2010
Table of Contents: ... on Constrained Minimum Enclosing Circle Problem -- Searching for an Axis-Parallel Shoreline -- Bounded Length, 2...
Ligazón do recurso
Electrónico eBook
17
Publicado 2005
Table of Contents: ... Algorithm for the NMR Backbone Assignment Problem -- Avoiding Local Optima in Single Particle Reconstruction...
Ligazón do recurso
Electrónico eBook
18
Publicado 2006
Table of Contents: ... of the Parallel Knock-Out Problem -- Reconfigurations in Graphs and Grids -- -Varieties, Actions and Wreath...
Ligazón do recurso
Electrónico eBook
19
Publicado 2010
Table of Contents: ... Speckle Noise for De-speckling 2D Ultrasound Images -- Face Recognition Using Kernel Fisher Linear...
Ligazón do recurso
Electrónico eBook
20
Publicado 2005
Table of Contents: ... Timetabling -- Decomposition and Parallelization of Multi-resource Timetabling Problems -- Interactively...
Ligazón do recurso
Electrónico eBook