Søgeresultater - parallel proof problem functionality function https

Søg alternativer:
functionality function » functionals function , functionaries function , functional functions
problem functionality » problem functional , problem functionals , program functionality
parallel proof » parallel prolog , parallel probe , parallel bloom
function https » functions https , fiction https
proof problem » proofs problems , root problem , hoof problems

Fundamentals of Time-Dependent Density Functional Theory

Udgivet 2012

Fag: “...Numerical and Computational Physics, Simulation. https://scigraph.springernature.com/ontologies...”
Få fuldtekst

Electronisk eBog

Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Proceedings, Part I /

Udgivet 2010

Indholdsfortegnelse: “... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...”
Få fuldtekst

Electronisk eBog

Open Problems in Mathematics and Computational Science

Udgivet 2014

Indholdsfortegnelse: “... Generators -- Open Problems on Binary Bent Functions -- On Semi-bent functions and Related Plateaued...”
Få fuldtekst

Electronisk eBog

Vector-valued Laplace Transforms and Cauchy Problems Second Edition /

af Arendt, Wolfgang., Arendt, Wolfgang., Batty, Charles J.K., Hieber, Matthias., Neubrander, Frank.
Udgivet 2011

Indholdsfortegnelse: “...-Posedness of Cauchy Problems -- 1 The Laplace Integral -- 2 The Laplace Transform -- 3 Cauchy Problems -- II...”
Få fuldtekst

Electronisk eBog

Recent Advances in Operator Theory and Its Applications The Israel Gohberg Anniversary Volume /

Udgivet 2005

Indholdsfortegnelse: “... Regular J-inner Matrix-valued Functions and Inverse Problems for Canonical Systems -- Regularization...”
Få fuldtekst

Electronisk eBog

Language, Life, Limits 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014, Proceedings /

Udgivet 2014

Indholdsfortegnelse: “... -- Uniform Schemata for Proof Rules -- Graph Polynomials Motivated by Gene Rearrangements in Ciliates...”
Få fuldtekst

Electronisk eBog

Distributed Computing 28th International Symposium DISC 2014, Austin, TX, USA, October 12-15, 2014, Proceedings /

Udgivet 2014

Indholdsfortegnelse: “... -- Task Allocation in Ant Colonies -- Agreement Problems -- Communication-Efficient Randomized Consensus...”
Få fuldtekst

Electronisk eBog

Theory of Computation

af Kozen, Dexter C., Kozen, Dexter C.
Udgivet 2006

Indholdsfortegnelse: “... -- The Circuit Value Problem -- The Knaster-Tarski Theorem -- Alternation -- Problems Complete for PSPACE...”
Få fuldtekst

Electronisk eBog

Evolving Computability 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015. Proceedings /

Udgivet 2015

Indholdsfortegnelse: “... Monitoring and Synthesis -- Newton's Forward Difference Equation for Functions from Words to Words -- Degrees...”
Få fuldtekst

Electronisk eBog

Computer Science -- Theory and Applications First International Symposium on Computer Science in Russia, CSR 2006, St. Petersburg, Russia, June 8-12, 2006, Proceedings /

Udgivet 2006

Indholdsfortegnelse: “... Multiplication over Finite Fields -- Synchronous Elastic Circuits -- Theory Track -- SZK Proofs for Black-Box...”
Få fuldtekst

Electronisk eBog

Evolutionary Multi-Criterion Optimization 8th International Conference, EMO 2015, Guimarães, Portugal, March 29 --April 1, 2015. Proceedings, Part I /

Udgivet 2015

Indholdsfortegnelse: “... of multiobjective optimization algorithms: quality indicators and the attainment function -- Theory and Hyper...”
Få fuldtekst

Electronisk eBog

Information Security and Cryptology 10th International Conference, Inscrypt 2014, Beijing, China, December 13-15, 2014, Revised Selected Papers /

Udgivet 2015

Indholdsfortegnelse: “... -- Parallelized Software Implementation of Elliptic Curve Scalar Multiplication -- A Note on Diem’s Proof -- Stand...”
Få fuldtekst

Electronisk eBog

Public Key Cryptography - PKC 2006 9th International Conference on Theory and Practice in Public-Key Cryptography, New York, NY, USA, April 24-26, 2006. Proceedings /

Udgivet 2006

Indholdsfortegnelse: “... -- An Attack on a Modified Niederreiter Encryption Scheme -- Cryptanalysis of an Efficient Proof of Knowledge...”
Få fuldtekst

Electronisk eBog

Foundational and Practical Aspects of Resource Analysis First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2010, Revised Selected Papers /

Udgivet 2010

Indholdsfortegnelse: “...FOPARA 2009 -- Comparing Cost Functions in Resource Analysis -- Improvements to a Resource Analysis...”
Få fuldtekst

Electronisk eBog

Progress in Cryptology - AFRICACRYPT 2010 Third International Conference on Cryptology in Africa, Stellenbosch, South Africa, May 3-6, 2010, Proceedings /

Udgivet 2010

Indholdsfortegnelse: “... -- Fair Partially Blind Signatures -- Attacks -- Parallel Shortest Lattice Vector Enumeration on Graphics...”
Få fuldtekst

Electronisk eBog

Theory and Applications of Models of Computation 5th International Conference, TAMC 2008, Xi'an, China, April 25-29, 2008, Proceedings /

Udgivet 2008

Indholdsfortegnelse: “... Subgroup Problem -- An O *(3.523k ) Parameterized Algorithm for 3-Set Packing -- Indistinguishability...”
Få fuldtekst

Electronisk eBog

Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings /

Udgivet 2014

Indholdsfortegnelse: “... There Yet? 20 Years of Industrial Theorem Proving with SPARK -- Towards a Formally Verified Proof Assistant...”
Få fuldtekst

Electronisk eBog

Theory and Applications of Satisfiability Testing - SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings /

Udgivet 2013

Indholdsfortegnelse: “...Invited Talks -- The Proof-Search Problem between Bounded-Width Resolution and Bounded-Degree Semi...”
Få fuldtekst

Electronisk eBog

Mathematical Foundations of Computer Science 2008 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008, Proceedings /

Udgivet 2008

Indholdsfortegnelse: “... and Pyramids -- The Maximum Independent Set Problem in Planar Graphs -- When Ignorance Helps: Graphical...”
Få fuldtekst

Electronisk eBog

Applied Reconfigurable Computing 11th International Symposium, ARC 2015, Bochum, Germany, April 13-17, 2015, Proceedings /

Udgivet 2015

Indholdsfortegnelse: “... -- Hierarchical Dynamic Power-Gating in FPGAs -- Tools and Compilers -- Hardware Synthesis from Functional...”
Få fuldtekst

Electronisk eBog

Indsnæver søgning