1
Опубликовано 2010
Оглавление: ... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...
Полный текст
Электронный ресурс eКнига
2
Опубликовано 2015
Оглавление: ... Enumerable Topological Spaces -- Decidability of Termination Problems for Sequential P Systems with Active...
Полный текст
Электронный ресурс eКнига
3
Опубликовано 2015
Оглавление: ...-Coordinated Parallel Coordinates (GCPC): A Case Study of Environmental Data Analysis -- Generalized Shortest...
Полный текст
Электронный ресурс eКнига
4
Опубликовано 2006
Оглавление: ... Group Problems -- Canonical Decomposition of a Regular Factorial Language -- Acyclic Bidirected and Skew...
Полный текст
Электронный ресурс eКнига
5
Опубликовано 2008
Оглавление: ... Paths on Points in Simple Polygons -- Deflating the Pentagon -- Enumeration of Polyominoes, Polyiamonds...
Полный текст
Электронный ресурс eКнига
6
Опубликовано 2008
Оглавление: ... Bisimilarity of Normed Basic Parallel Processes -- Extensions of Embeddings in the Computably Enumerable...
Полный текст
Электронный ресурс eКнига
7
Опубликовано 2006
Оглавление: ... Software Framework for Parametrizing Specialized LP Problems -- Primal-Dual Enumeration for Multiparametric...
Полный текст
Электронный ресурс eКнига
8
Опубликовано 2010
Оглавление: ... and Tengely -- Sieving for Pseudosquares and Pseudocubes in Parallel Using Doubly-Focused Enumeration...
Полный текст
Электронный ресурс eКнига
9
Опубликовано 2010
Оглавление: ... -- Fair Partially Blind Signatures -- Attacks -- Parallel Shortest Lattice Vector Enumeration on Graphics...
Полный текст
Электронный ресурс eКнига
10
Опубликовано 2010
Оглавление: ... Semidefinite Programming Problems -- Reliable and Efficient Geometric Computing -- The Sage Project: Unifying...
Полный текст
Электронный ресурс eКнига
11
Опубликовано 2014
Оглавление: ... and Parallel Groebner Bases in JAS -- Application of Groebner Basis Methodology to Nonlinear Mechanics Problems...
Полный текст
Электронный ресурс eКнига
12
Опубликовано 2010
Оглавление: ... Discriminant Analysis and RBF Neural Network -- Parallel Enumeration Sort on OTIS-Hypercube -- A Robust Trust...
Полный текст
Электронный ресурс eКнига
13
Опубликовано 2005
Оглавление: ... Sphere Cut Branch Decompositions -- An Algorithm for the SAT Problem for Formulae of Linear Length...
Полный текст
Электронный ресурс eКнига
14
Опубликовано 2008
Оглавление: ...Invited Talk -- Constant-Working-Space Algorithms: How Fast Can We Solve Problems without Using Any...
Полный текст
Электронный ресурс eКнига
15
Опубликовано 2006
Оглавление: ... with Arbitrary Small Finite Domains -- Enumeration of 9-Variable Rotation Symmetric Boolean Functions Having...
Полный текст
Электронный ресурс eКнига
16
Опубликовано 2012
Оглавление: ....- Enumeration of Even-Variable Boolean Functions with Maximum Algebraic Immunity.- Multi-precision...
Полный текст
Электронный ресурс eКнига
17
Опубликовано 2010
Оглавление: ... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...
Полный текст
Электронный ресурс eКнига
18
Опубликовано 2006
Оглавление: ... for Axis-Parallel Rectangles -- Single Machine Precedence Constrained Scheduling Is a Vertex Cover Problem...
Полный текст
Электронный ресурс eКнига
19
Опубликовано 2013
Оглавление: ...An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics...
Полный текст
Электронный ресурс eКнига