1
Published 2010
Table of Contents: ... -- ??: Dependent Types without the Sugar -- Haskell Type Constraints Unleashed -- A Functional Framework for Result...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ... for the LeadingOnes Problem -- Mirrored Sampling and Sequential Selection for Evolution Strategies -- Optimisation...
View full text
Electronic eBook
3
Published 2005
Table of Contents: ...-Parallel Algorithms for 1-Dimensional Fast Fourier Transform -- Towards Solving NP-Complete Problems...
View full text
Electronic eBook
4
Published 2005
Table of Contents: ... and Improvements -- Implementing MPI-IO Shared File Pointers Without File System Support -- An Efficient Parallel...
View full text
Electronic eBook
5
Published 2011
Table of Contents: ... Algorithms -- 4 Parallel Sorting – The Need for Speed -- 5 Topological Sorting – How Should I Begin...
View full text
Electronic eBook
6
Published 2005
Table of Contents: ... Searching Amidst Uncertainty -- Logic Functions of the Genomic Cis-regulatory Code -- Structural DNA...
View full text
Electronic eBook
7
Published 2005
Table of Contents: ... About the Solution of Combinatorial Problems with Multiple Objectives? -- Algorithm Improvements -- Omni...
View full text
Electronic eBook
8
Published 2006
Table of Contents: ... Group Problems -- Canonical Decomposition of a Regular Factorial Language -- Acyclic Bidirected and Skew...
View full text
Electronic eBook
9
Published 2015
Table of Contents: ... Tolerance -- Ring Signatures of Constant Size Without Random Oracles -- Universally Composable Identity...
View full text
Electronic eBook
10
Published 2006
Table of Contents: ... and Distributed Exponentiation -- Encryption Methods -- Encoding-Free ElGamal Encryption Without Random Oracles...
View full text
Electronic eBook
11
Published 2006
Table of Contents: ... -- On the Complexity of Parallel Hardness Amplification for One-Way Functions -- Secret Sharing and Multi-party...
View full text
Electronic eBook
12
Published 2010
Table of Contents: ... Operative Solutions -- Parallel and Distributed Computing -- Application of the Location and Tracking System...
View full text
Electronic eBook
13
Published 2010
Table of Contents: ...Signatures -- A New RSA-Based Signature Scheme -- Fair Blind Signatures without Random Oracles...
View full text
Electronic eBook
14
Published 2005
Table of Contents: ... on the Joint Linear Complexity Profile of Multisequences -- Period of Streamcipher Edon80 -- Boolean Function...
View full text
Electronic eBook
15
Published 2010
Table of Contents: ... -- Generic Constructions of Parallel Key-Insulated Encryption -- Invited Talk -- Heuristics and Rigor...
View full text
Electronic eBook
16
Published 2007
Table of Contents: ... Based on Gap Hashed Diffie-Hellman -- Parallel Key-Insulated Public Key Encryption Without Random...
View full text
Electronic eBook
17
Published 2014
Table of Contents: ... and Parallel Groebner Bases in JAS -- Application of Groebner Basis Methodology to Nonlinear Mechanics Problems...
View full text
Electronic eBook
18
Published 2010
Table of Contents: ... Stabbing -- Dispatching Equal-Length Jobs to Parallel Machines to Maximize Throughput -- Online Function...
View full text
Electronic eBook
19
Published 2010
Table of Contents: ... Salesman Problem -- Improved Inapproximability for Submodular Maximization -- Approximation Algorithms...
View full text
Electronic eBook
20
Published 2006
Table of Contents: ... to Iterative Servers (Short Paper) -- An Independent Function-Parallel Firewall Architecture for High-Speed...
View full text
Electronic eBook