Arama Sonuçları - parallel functional proof functionality function https

1

Functional and Logic Programming 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings /

Baskı/Yayın Bilgisi 2006

İçindekiler: “... About Recursive Functions: A Practical Tool for the Coq Proof Assistant -- Soutei, a Logic-Based Trust...”
Tam Metin Erişim

Elektronik Ekitap

2

The Beauty of Functional Code Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday /

Baskı/Yayın Bilgisi 2013

İçindekiler: “...Beautiful Code, Beautiful Proof? -- Beauty and Code -- An Ontology of States -- Functional Type...”
Tam Metin Erişim

Elektronik Ekitap

3

Implementation and Application of Functional Languages 24th International Symposium, IFL 2012...

Baskı/Yayın Bilgisi 2013

İçindekiler: “...A Notation for Comonads -- Iterating Skeletons -- Structured Parallelism by Composition -- Building...”
Tam Metin Erişim

Elektronik Ekitap

4

Implementation and Application of Functional Languages 19th International Workshop, IFL 2007...

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”
Tam Metin Erişim

Elektronik Ekitap

5

Implementation and Application of Functional Languages 18th International Symposium, IFL 2006...

Baskı/Yayın Bilgisi 2007

İçindekiler: “... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...”
Tam Metin Erişim

Elektronik Ekitap

6

Implementation and Application of Functional Languages 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers /

Baskı/Yayın Bilgisi 2006

İçindekiler: “... in the Lambda Calculus with Interaction Nets -- Proof Tool Support for Explicit Strictness -- A Rational...”
Tam Metin Erişim

Elektronik Ekitap

7

Fundamentals of Time-Dependent Density Functional Theory

Baskı/Yayın Bilgisi 2012

Konular: “...Numerical and Computational Physics, Simulation. https://scigraph.springernature.com/ontologies...”
Tam Metin Erişim

Elektronik Ekitap

8

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

Baskı/Yayın Bilgisi 2010

İçindekiler: “... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...”
Tam Metin Erişim

Elektronik Ekitap

9

Cryptography in Constant Parallel Time

Yazar: Applebaum, Benny., Applebaum, Benny.
Baskı/Yayın Bilgisi 2014

İçindekiler: “...Introduction -- Preliminaries and Definitions -- Randomized Encoding of Functions -- Cryptography...”
Tam Metin Erişim

Elektronik Ekitap

10

Algebraic and Proof-theoretic Aspects of Non-classical Logics Papers in Honor of Daniele Mundici on the Occasion of His 60th Birthday /

Baskı/Yayın Bilgisi 2007

İçindekiler: “... ? Functor to IMTL Algebras: The Linearly Ordered Case -- Verification by Parallelization of Parametric Code...”
Tam Metin Erişim

Elektronik Ekitap

11

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

Baskı/Yayın Bilgisi 2005

İçindekiler: “... Symbols -- A New Proof of an Ellis-Gohberg Theorem on Orthogonal Matrix Functions Related to the Nehari...”
Tam Metin Erişim

Elektronik Ekitap

12

CR Submanifolds of Complex Projective Space

Yazar: Djoric, Mirjana., Djoric, Mirjana., Okumura, Masafumi.
Baskı/Yayın Bilgisi 2010

İçindekiler: “... -- Hypersurfaces of a sphere with parallel shape operator -- Codimension reduction of a submanifold -- CR...”
Tam Metin Erişim

Elektronik Ekitap

13

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

Baskı/Yayın Bilgisi 2006

İçindekiler: “... Multiplication over Finite Fields -- Synchronous Elastic Circuits -- Theory Track -- SZK Proofs for Black-Box...”
Tam Metin Erişim

Elektronik Ekitap

14

A Singular Introduction to Commutative Algebra

Yazar: Greuel, Gert-Martin., Greuel, Gert-Martin., Pfister, Gerhard.
Baskı/Yayın Bilgisi 2008

İçindekiler: “... Decomposition and Related Topics -- Hilbert Function and Dimension -- Complete Local Rings -- Homological...”
Tam Metin Erişim

Elektronik Ekitap

15

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

Baskı/Yayın Bilgisi 2010

İçindekiler: “... -- Fair Partially Blind Signatures -- Attacks -- Parallel Shortest Lattice Vector Enumeration on Graphics...”
Tam Metin Erişim

Elektronik Ekitap

16

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

Baskı/Yayın Bilgisi 2010

İçindekiler: “...FOPARA 2009 -- Comparing Cost Functions in Resource Analysis -- Improvements to a Resource Analysis...”
Tam Metin Erişim

Elektronik Ekitap

17

Theory of Computation

Yazar: Kozen, Dexter C., Kozen, Dexter C.
Baskı/Yayın Bilgisi 2006

İçindekiler: “... -- The Polynomial-Time Hierarchy -- More on the Polynomial-Time Hierarchy -- Parallel Complexity -- Relation of NC...”
Tam Metin Erişim

Elektronik Ekitap

18

Mathematical Software - ICMS 2010 Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010, Proceedings /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... -- Computation of Special Functions (Invited) -- Sollya: An Environment for the Development of Numerical Codes...”
Tam Metin Erişim

Elektronik Ekitap

19

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

Baskı/Yayın Bilgisi 2014

İçindekiler: “... -- Uniform Schemata for Proof Rules -- Graph Polynomials Motivated by Gene Rearrangements in Ciliates...”
Tam Metin Erişim

Elektronik Ekitap

20

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 /

Baskı/Yayın Bilgisi 2014

İçindekiler: “... There Yet? 20 Years of Industrial Theorem Proving with SPARK -- Towards a Formally Verified Proof Assistant...”
Tam Metin Erişim

Elektronik Ekitap

Aramayı Daralt