Computer Science

Authors and titles for Apr 2014, skipping first 5

[6]  arXiv:1404.0046 [pdf, other]

Title: Approximation Schemes for Many-Objective Query Optimization

Authors: Immanuel Trummer, Christoph Koch

Subjects: Databases (cs.DB)

[7]  arXiv:1404.0061 [pdf, other]

Title: Short Message Noisy Network Coding with Rate Splitting

Authors: Ivana Maric, Dennis Hui

Comments: Presented at the 2014 Asilomar Conference on Signals, Systems and Computers, Nov. 2014

Subjects: Information Theory (cs.IT)

[8]  arXiv:1404.0062 [pdf, ps, other]

Title: On redundancy of memoryless sources over countable alphabets

Authors: Maryam Hosseini, Narayana Santhanam

Comments: Journal submission

Subjects: Information Theory (cs.IT)

[9]  arXiv:1404.0073 [pdf, ps, other]

Title: General dynamic recovery for compensating CSP

Authors: Abeer S. Al-Humaimeedy, Maribel Fernández

Comments: In Proceedings DCM 2012, arXiv:1403.7579

Journal-ref: EPTCS 143, 2014, pp. 3-16

Subjects: Programming Languages (cs.PL)

[10]  arXiv:1404.0075 [pdf, other]

Title: Ray tracing -- computing the incomputable?

Authors: Ed Blakey (University of Bristol)

Comments: In Proceedings DCM 2012, arXiv:1403.7579

Journal-ref: EPTCS 143, 2014, pp. 32-40

Subjects: Computational Complexity (cs.CC)

[11]  arXiv:1404.0076 [pdf, other]

Title: Towards a GPU-based implementation of interaction nets

Authors: Eugen Jiresch (Technische Universität Wien)

Comments: In Proceedings DCM 2012, arXiv:1403.7579

Journal-ref: EPTCS 143, 2014, pp. 41-53

Subjects: Programming Languages (cs.PL); Distributed, Parallel, and Cluster Computing (cs.DC)

[12]  arXiv:1404.0077 [pdf, ps, other]

Title: Effective dimension in some general metric spaces

Authors: Elvira Mayordomo

Subjects: Computational Complexity (cs.CC); Information Theory (cs.IT)

[13]  arXiv:1404.0078 [pdf, other]

Title: Computing discrete logarithm by interval-valued paradigm

Authors: Benedek Nagy, Sándor Vályi

Comments: In Proceedings DCM 2012, arXiv:1403.7579

Journal-ref: EPTCS 143, 2014, pp. 76-86

Subjects: Data Structures and Algorithms (cs.DS)

[14]  arXiv:1404.0079 [pdf, other]

Title: Non-deterministic computation and the Jayne-Rogers Theorem

Authors: Arno Pauly, Matthew de Brecht

Comments: In Proceedings DCM 2012, arXiv:1403.7579

Journal-ref: EPTCS 143, 2014, pp. 87-96

Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)

[15]  arXiv:1404.0080 [pdf, other]

Title: Algorithm and proof as Ω-invariance and transfer: A new model of computation in nonstandard analysis

Authors: Sam Sanders

Comments: In Proceedings DCM 2012, arXiv:1403.7579

Journal-ref: EPTCS 143, 2014, pp. 97-109

Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)