Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
problems function » problems functions, problems fiction, problem functional
function function » function functional, functions functional, function dysfunction
parallel proof » parallel prolog, parallel probe, parallel bloom
proof problems » proofs problems, hoof problems, root problems
function https » functions https, fiction https
problems function » problems functions, problems fiction, problem functional
function function » function functional, functions functional, function dysfunction
parallel proof » parallel prolog, parallel probe, parallel bloom
proof problems » proofs problems, hoof problems, root problems
function https » functions https, fiction https
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
by Arendt, Wolfgang., Arendt, Wolfgang., Batty, Charles J.K., Hieber, Matthias., Neubrander, Frank.
Published 2011
Table of Contents:
“...-Posedness of Cauchy Problems -- 1 The Laplace Integral -- 2 The Laplace Transform -- 3 Cauchy Problems -- II...”Published 2011
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
Table of Contents:
“... -- The Circuit Value Problem -- The Knaster-Tarski Theorem -- Alternation -- Problems Complete for PSPACE...”
View full text
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 2014
Table of Contents:
“... There Yet? 20 Years of Industrial Theorem Proving with SPARK -- Towards a Formally Verified Proof Assistant...”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:
“... Subgroup Problem -- An O *(3.523k ) Parameterized Algorithm for 3-Set Packing -- Indistinguishability...”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 2008
Table of Contents:
“... and Pyramids -- The Maximum Independent Set Problem in Planar Graphs -- When Ignorance Helps: Graphical...”View full text
Electronic
eBook
20
Published 2010
Table of Contents:
“... -- Generic Constructions of Parallel Key-Insulated Encryption -- Invited Talk -- Heuristics and Rigor...”View full text
Electronic
eBook