1
Published 2012
Subjects: ...Numerical and Computational Physics, Simulation. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...
View full text
Electronic eBook
3
Published 2014
Table of Contents: ... Generators -- Open Problems on Binary Bent Functions -- On Semi-bent functions and Related Plateaued...
View full text
Electronic eBook
4
Table of Contents: ...-Posedness of Cauchy Problems -- 1 The Laplace Integral -- 2 The Laplace Transform -- 3 Cauchy Problems -- II...
View full text
Electronic eBook
5
Published 2005
Table of Contents: ... Regular J-inner Matrix-valued Functions and Inverse Problems for Canonical Systems -- Regularization...
View full text
Electronic eBook
6
Published 2014
Table of Contents: ... -- Uniform Schemata for Proof Rules -- Graph Polynomials Motivated by Gene Rearrangements in Ciliates...
View full text
Electronic eBook
7
Published 2014
Table of Contents: ... -- Task Allocation in Ant Colonies -- Agreement Problems -- Communication-Efficient Randomized Consensus...
View full text
Electronic eBook
8
by Kozen, Dexter C., Kozen, Dexter C.
Published 2006
Table of Contents: ... -- The Circuit Value Problem -- The Knaster-Tarski Theorem -- Alternation -- Problems Complete for PSPACE...
View full text
Electronic eBook
9
Published 2006
Table of Contents: ... Multiplication over Finite Fields -- Synchronous Elastic Circuits -- Theory Track -- SZK Proofs for Black-Box...
View full text
Electronic eBook
10
Published 2015
Table of Contents: ... Monitoring and Synthesis -- Newton's Forward Difference Equation for Functions from Words to Words -- Degrees...
View full text
Electronic eBook
11
Published 2015
Table of Contents: ... of multiobjective optimization algorithms: quality indicators and the attainment function -- Theory and Hyper...
View full text
Electronic eBook
12
Published 2015
Table of Contents: ... -- Parallelized Software Implementation of Elliptic Curve Scalar Multiplication -- A Note on Diem’s Proof -- Stand...
View full text
Electronic eBook
13
Published 2010
Table of Contents: ...FOPARA 2009 -- Comparing Cost Functions in Resource Analysis -- Improvements to a Resource Analysis...
View full text
Electronic eBook
14
Published 2010
Table of Contents: ... -- Fair Partially Blind Signatures -- Attacks -- Parallel Shortest Lattice Vector Enumeration on Graphics...
View full text
Electronic eBook
15
Published 2008
Table of Contents: ... Subgroup Problem -- An O *(3.523k ) Parameterized Algorithm for 3-Set Packing -- Indistinguishability...
View full text
Electronic eBook
16
Published 2013
Table of Contents: ...Invited Talks -- The Proof-Search Problem between Bounded-Width Resolution and Bounded-Degree Semi...
View full text
Electronic eBook
17
Published 2008
Table of Contents: ... and Pyramids -- The Maximum Independent Set Problem in Planar Graphs -- When Ignorance Helps: Graphical...
View full text
Electronic eBook
18
Published 2010
Table of Contents: ... Semidefinite Programming Problems -- Reliable and Efficient Geometric Computing -- The Sage Project: Unifying...
View full text
Electronic eBook
19
Published 2006
Table of Contents: ... -- An Attack on a Modified Niederreiter Encryption Scheme -- Cryptanalysis of an Efficient Proof of Knowledge...
View full text
Electronic eBook
20
Published 2010
Table of Contents: ... -- Creating an Upper-Confidence-Tree Program for Havannah -- Randomized Parallel Proof-Number Search -- Hex...
View full text
Electronic eBook