1
Baskı/Yayın Bilgisi 2010
İçindekiler: ... -- Automatic Parallelization of Recursive Functions Using Quantifier Elimination -- A Skeleton for Distributed...
Tam Metin Erişim
Elektronik Ekitap
2
Baskı/Yayın Bilgisi 2010
İçindekiler: ... -- Parallel Evolutionary Approach of Compaction Problem Using MapReduce -- Ant Colony Optimization...
Tam Metin Erişim
Elektronik Ekitap
3
Baskı/Yayın Bilgisi 2007
İçindekiler: ... to Dispersive Electromagnetic Problem -- Strategies for Development of a Parallel Program for Protoplanetary...
Tam Metin Erişim
Elektronik Ekitap
4
Baskı/Yayın Bilgisi 2005
İçindekiler: ... Optical Networks -- A Parallel O(n27n/8) Time-Memory-Processor Tradeoff for Knapsack-Like Problems...
Tam Metin Erişim
Elektronik Ekitap
5
Baskı/Yayın Bilgisi 2010
İçindekiler: ... for Solving Multiprocessor Scheduling Problem -- Online Scheduling of Parallel Jobs on Hypercubes: Maximizing...
Tam Metin Erişim
Elektronik Ekitap
6
Baskı/Yayın Bilgisi 2015
İçindekiler: ... -- On Parallel Scalable Uniform SAT Witness Generation -- Approximate Counting in SMT and Value Estimation...
Tam Metin Erişim
Elektronik Ekitap
7
Baskı/Yayın Bilgisi 2008
İçindekiler: ... Hybrid Systems (Extended Abstract) -- From Parallel Virtual Machine to Virtual Parallel Machine...
Tam Metin Erişim
Elektronik Ekitap
8
Yazar: Gheorghiu, Călin-Ioan., Gheorghiu, Călin-Ioan.
Baskı/Yayın Bilgisi 2014
İçindekiler: ... Developments -- Appendix: Algebraic Two-Parameter Eigenvalue Problems -- Index....
Tam Metin Erişim
Elektronik Ekitap
9
Konular: ...Functional Analysis. https://scigraph.springernature.com/ontologies/product-market-codes/M12066...
Tam Metin Erişim
Elektronik Ekitap
10
Baskı/Yayın Bilgisi 2005
İçindekiler: ... About the Solution of Combinatorial Problems with Multiple Objectives? -- Algorithm Improvements -- Omni...
Tam Metin Erişim
Elektronik Ekitap
11
Baskı/Yayın Bilgisi 2005
İçindekiler: ... Searching Amidst Uncertainty -- Logic Functions of the Genomic Cis-regulatory Code -- Structural DNA...
Tam Metin Erişim
Elektronik Ekitap
12
Baskı/Yayın Bilgisi 2014
İçindekiler: ... -- Computing Boolean Functions via Quantum Hashing -- Complexity of Promise Problems on Classical and Quantum...
Tam Metin Erişim
Elektronik Ekitap
13
Baskı/Yayın Bilgisi 2014
İçindekiler: ... -- Task Allocation in Ant Colonies -- Agreement Problems -- Communication-Efficient Randomized Consensus...
Tam Metin Erişim
Elektronik Ekitap
14
Baskı/Yayın Bilgisi 2005
İçindekiler: ... Version Space Algorithm for Acquiring Constraint Satisfaction Problems -- Estimation of Mixture Models...
Tam Metin Erişim
Elektronik Ekitap
15
Yazar: Kozen, Dexter C., Kozen, Dexter C.
Baskı/Yayın Bilgisi 2006
İçindekiler: ... -- The Circuit Value Problem -- The Knaster-Tarski Theorem -- Alternation -- Problems Complete for PSPACE...
Tam Metin Erişim
Elektronik Ekitap
16
Baskı/Yayın Bilgisi 2015
İçindekiler: ... -- Evolutionary Methods for the Construction of Cryptographic Boolean Functions -- TEMPLAR – A Framework...
Tam Metin Erişim
Elektronik Ekitap
17
Baskı/Yayın Bilgisi 2006
İçindekiler: ... Group Problems -- Canonical Decomposition of a Regular Factorial Language -- Acyclic Bidirected and Skew...
Tam Metin Erişim
Elektronik Ekitap
18
Baskı/Yayın Bilgisi 2010
İçindekiler: ...Invited Talk -- The First 30 Years of Cryptographic Hash Functions and the NIST SHA-3 Competition...
Tam Metin Erişim
Elektronik Ekitap
19
Baskı/Yayın Bilgisi 2006
İçindekiler: ... Macro Package Suitable for Drawing Fine -Pictures -- Matlab-Based Problem-Solving Environment...
Tam Metin Erişim
Elektronik Ekitap
20
Baskı/Yayın Bilgisi 2006
İçindekiler: ... for Construction of Quasi-periodic Solutions for Restricted Circular Planar Three Body Problem -- Efficient...
Tam Metin Erişim
Elektronik Ekitap