Dominance: consistently comparing computational complexity by Blakey, E

Subjects: “…Computer science (mathematics)…”

An analogue solution to the problem of factorization by Blakey, E

Subjects: “…Computer science (mathematics)…”

Numerical algorithms based on analytic function values at roots of unity by Austin, A, Kravanja, P, Trefethen, L

“…These questions exhibit in the purest form certain algorithmic issues that arise across computational science in areas including integral equations, partial differential equations, and large-scale linear algebra. …”

The Complexity of Constraint Satisfaction: An Algebraic Approach by Krokhin, A, Bulatov, A, Jeavons, P

“…Many computational problems arising in artificial intelligence, computer science and elsewhere can be represented as constraint satisfaction and optimization problems. …”

The Expressive Power of Binary Submodular Functions by Živný, S, Cohen, D, Jeavons, P

“…This problem has been considered within several different contexts in computer science, including computer vision, artificial intelligence, and pseudo-Boolean optimisation. …”

Big Toy Models: Representing Physical Systems As Chu Spaces by Abramsky, S

“…This approach has often been fruitful in Logic and Theoretical Computer Science. Rather than seeking to construct a simplified toy model, we aim for a 'big toy model', in which both quantum and classical systems can be faithfully representedandemdash;as well as, possibly, more exotic kinds of systems. …”

Social, ethical, and legal issues in presence research and applications: EC report for Peach FP6 Coordination Action by Schroeder, R, Meyer, E, Ziewitz, M

“…Powered by recent advances in disciplines like neuroscience, cognitive science, computer science and psychology, Presence technologies are therefore bound to change the world as we experience it.…”

ITP Project Anthology by Aitken, S, Gray, P, Melham, T, Thomas, M

A Family of Attacks upon Authentication Protocols by Lowe, G

Libraries for Generic Programming in Haskell by Jeuring, J, Leather, S, aes, J, Yakushev, A

Experience Report: Functional Modelling of Musical Harmony by aes, J, de Haas, W

Towards a VLSI Design Tool System by Liblong, B, Melham, T, Birtwistle, G, Kendall, J

Specification and VLSI Design by Birtwistle, G, Joyce, J, Liblong, B, Melham, T, Schediwy, R

HarmTrace: Automatic Functional Harmonic Analysis by De Haas, W, aes, J, Wiering, F, Veltkamp, R

A generic deriving mechanism for Haskell by aes, J, Dijkstra, A, Jeuring, J, Löh, A

Xs are for Trajectory Evaluation‚ Booleans are for Theorem Proving (Extended Version) by Aagaard, M, Melham, T, O'Leary, J

Hardware Verification by Formal Proof by Birtwistle, G, Graham, B, Melham, T, Schediwy, R

Optimizing Generics Is Easy! by aes, J, Holdermans, S, Jeuring, J, Löh, A

Empirical Testing of Fast Kernel Density Estimation Algorithms by Lang, D, Klaas, M, de Freitas, N

Generic Programming for Domain Reasoners by Jeuring, J, aes, J, Heeren, B