Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
function function » function functional, functions functional, function dysfunction
parallel proof » parallel prolog, parallel probe, parallel bloom
study function » study functions, study functional, study frication
function https » functions https, fiction https
function function » function functional, functions functional, function dysfunction
parallel proof » parallel prolog, parallel probe, parallel bloom
study function » study functions, study functional, study frication
function https » functions https, fiction https
1
Publicado 2013
Table of Contents:
“...Beautiful Code, Beautiful Proof? -- Beauty and Code -- An Ontology of States -- Functional Type...”Ligazón do recurso
Electrónico
eBook
2
Publicado 2010
Table of Contents:
“... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...”Ligazón do recurso
Electrónico
eBook
3
Table of Contents:
“...Introduction -- Preliminaries and Definitions -- Randomized Encoding of Functions -- Cryptography...”
Ligazón do recurso
Ligazón do recurso
Electrónico
eBook
4
Table of Contents:
“... -- Hypersurfaces of a sphere with parallel shape operator -- Codimension reduction of a submanifold -- CR...”
Ligazón do recurso
Ligazón do recurso
Electrónico
eBook
5
Publicado 2006
Table of Contents:
“... networks -- Stochastic Diffusion Search: Partial Function Evaluation In Swarm Intelligence Dynamic...”Ligazón do recurso
Electrónico
eBook
6
Table of Contents:
“... -- The Polynomial-Time Hierarchy -- More on the Polynomial-Time Hierarchy -- Parallel Complexity -- Relation of NC...”
Ligazón do recurso
Ligazón do recurso
Electrónico
eBook
7
Publicado 2010
Table of Contents:
“... -- Creating an Upper-Confidence-Tree Program for Havannah -- Randomized Parallel Proof-Number Search -- Hex...”Ligazón do recurso
Electrónico
eBook
8
Publicado 2013
Table of Contents:
“... abelian p-adic zeta functions -- Otmar Venjakob: On the work of Ritter and Weiss in comparison with Kakde...”Ligazón do recurso
Electrónico
eBook
9
Publicado 2008
Table of Contents:
“... Evacuation Simulations -- A Multi-agent Environment for Serving Proof Explanations in the Semantic Web -- A...”Ligazón do recurso
Electrónico
eBook
10
Publicado 2015
Table of Contents:
“... Systems -- Verifying Concurrent Programs by Memory Unwinding -- AutoProof: Auto-Active Functional...”Ligazón do recurso
Electrónico
eBook
11
Publicado 2008
Table of Contents:
“... by First Order Functional Programs -- The Structure of Detour Degrees -- Hamiltonicity of Matching...”Ligazón do recurso
Electrónico
eBook
12
Publicado 2008
Table of Contents:
“... -- On the Continuity of Gelfond-Lifschitz Operator and Other Applications of Proof-Theory in ASP -- ? lean TA P: A...”Ligazón do recurso
Electrónico
eBook
13
Publicado 2015
Table of Contents:
“... for Static Deadlock Prevention -- Automatically Partitioning Data to Facilitate the Parallelization...”Ligazón do recurso
Electrónico
eBook
14
Publicado 2012
Table of Contents:
“... -- Theoretical Analysis of Function of Derivative Term in On-Line Gradient Descent Learning -- Some Comparisons...”Ligazón do recurso
Electrónico
eBook
15
Publicado 2014
Table of Contents:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”Ligazón do recurso
Electrónico
eBook
16
Publicado 2012
Table of Contents:
“... on Reduced-Round MISTY1.- Efficient Parallel Evaluation of Multivariate Quadratic Polynomials on GPUs...”Ligazón do recurso
Electrónico
eBook
17
Publicado 2005
Table of Contents:
“... with Submodular Utility Functions -- An Auction-Based Market Equilibrium Algorithm for a Production Model -- New...”Ligazón do recurso
Electrónico
eBook
18
Publicado 2015
Table of Contents:
“... -- Hierarchical Dynamic Power-Gating in FPGAs -- Tools and Compilers -- Hardware Synthesis from Functional...”Ligazón do recurso
Electrónico
eBook
19
Publicado 2014
Table of Contents:
“... Proof of a Key Formula in the Error-backpropagation Learning Algorithm for Multiple Spiking Neural...”Ligazón do recurso
Electrónico
eBook
20
por Arendt, Wolfgang., Arendt, Wolfgang., Batty, Charles J.K., Hieber, Matthias., Neubrander, Frank.
Publicado 2011
Table of Contents:
“... Translation Invariant Operators on Lp(Rn) -- A Vector-valued Holomorphic Functions -- B Closed Operators -- C...”Publicado 2011
Ligazón do recurso
Electrónico
eBook