Doporučená témata ve výsledcích tohoto hledání:
Doporučená témata ve výsledcích tohoto hledání:
Alternativní vyhledávání:
functionals function » function function, functions functional, function dysfunction
problem functionals » problem functional, problems functions, probing functional
parallel proof » parallel prolog, parallel probe, parallel bloom
function https » functions https, fiction https
proof problem » proofs problems, root problem, hoof problems
functionals function » function function, functions functional, function dysfunction
problem functionals » problem functional, problems functions, probing functional
parallel proof » parallel prolog, parallel probe, parallel bloom
function https » functions https, fiction https
proof problem » proofs problems, root problem, hoof problems
1
Vydáno 2012
Témata:
“...Numerical and Computational Physics, Simulation. https://scigraph.springernature.com/ontologies...”Získat plný text
Elektronický zdroj
E-kniha
2
Vydáno 2010
Obsah:
“... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...”Získat plný text
Elektronický zdroj
E-kniha
3
Vydáno 2014
Obsah:
“... Generators -- Open Problems on Binary Bent Functions -- On Semi-bent functions and Related Plateaued...”Získat plný text
Elektronický zdroj
E-kniha
4
Autor Arendt, Wolfgang., Arendt, Wolfgang., Batty, Charles J.K., Hieber, Matthias., Neubrander, Frank.
Vydáno 2011
Obsah:
“...-Posedness of Cauchy Problems -- 1 The Laplace Integral -- 2 The Laplace Transform -- 3 Cauchy Problems -- II...”Vydáno 2011
Získat plný text
Elektronický zdroj
E-kniha
5
Vydáno 2005
Obsah:
“... Regular J-inner Matrix-valued Functions and Inverse Problems for Canonical Systems -- Regularization...”Získat plný text
Elektronický zdroj
E-kniha
6
Vydáno 2014
Obsah:
“... -- Uniform Schemata for Proof Rules -- Graph Polynomials Motivated by Gene Rearrangements in Ciliates...”Získat plný text
Elektronický zdroj
E-kniha
7
Vydáno 2014
Obsah:
“... -- Task Allocation in Ant Colonies -- Agreement Problems -- Communication-Efficient Randomized Consensus...”Získat plný text
Elektronický zdroj
E-kniha
8
Obsah:
“... -- The Circuit Value Problem -- The Knaster-Tarski Theorem -- Alternation -- Problems Complete for PSPACE...”
Získat plný text
Získat plný text
Elektronický zdroj
E-kniha
9
Vydáno 2015
Obsah:
“... Monitoring and Synthesis -- Newton's Forward Difference Equation for Functions from Words to Words -- Degrees...”Získat plný text
Elektronický zdroj
E-kniha
10
Vydáno 2006
Obsah:
“... Multiplication over Finite Fields -- Synchronous Elastic Circuits -- Theory Track -- SZK Proofs for Black-Box...”Získat plný text
Elektronický zdroj
E-kniha
11
Vydáno 2015
Obsah:
“... of multiobjective optimization algorithms: quality indicators and the attainment function -- Theory and Hyper...”Získat plný text
Elektronický zdroj
E-kniha
12
Vydáno 2015
Obsah:
“... -- Parallelized Software Implementation of Elliptic Curve Scalar Multiplication -- A Note on Diem’s Proof -- Stand...”Získat plný text
Elektronický zdroj
E-kniha
13
Vydáno 2006
Obsah:
“... -- An Attack on a Modified Niederreiter Encryption Scheme -- Cryptanalysis of an Efficient Proof of Knowledge...”Získat plný text
Elektronický zdroj
E-kniha
14
Vydáno 2010
Obsah:
“...FOPARA 2009 -- Comparing Cost Functions in Resource Analysis -- Improvements to a Resource Analysis...”Získat plný text
Elektronický zdroj
E-kniha
15
Vydáno 2010
Obsah:
“... -- Fair Partially Blind Signatures -- Attacks -- Parallel Shortest Lattice Vector Enumeration on Graphics...”Získat plný text
Elektronický zdroj
E-kniha
16
Vydáno 2008
Obsah:
“... Subgroup Problem -- An O *(3.523k ) Parameterized Algorithm for 3-Set Packing -- Indistinguishability...”Získat plný text
Elektronický zdroj
E-kniha
17
Vydáno 2014
Obsah:
“... There Yet? 20 Years of Industrial Theorem Proving with SPARK -- Towards a Formally Verified Proof Assistant...”Získat plný text
Elektronický zdroj
E-kniha
18
Vydáno 2013
Obsah:
“...Invited Talks -- The Proof-Search Problem between Bounded-Width Resolution and Bounded-Degree Semi...”Získat plný text
Elektronický zdroj
E-kniha
19
Vydáno 2008
Obsah:
“... and Pyramids -- The Maximum Independent Set Problem in Planar Graphs -- When Ignorance Helps: Graphical...”Získat plný text
Elektronický zdroj
E-kniha
20
Vydáno 2015
Obsah:
“... -- Hierarchical Dynamic Power-Gating in FPGAs -- Tools and Compilers -- Hardware Synthesis from Functional...”Získat plný text
Elektronický zdroj
E-kniha