Browsing Electronic Engineering and Computer Science by Title

Wave-U-Net: A Multi-Scale Neural Network for End-to-End Audio Source Separation

STOLLER, D; EWERT, S; DIXON, S; 19th International Society for Music Information Retrieval Conference (ISMIR)

What makes rhythms hard to perform? An investigation using Steve Reich's Clapping Music.

Duffy, S; Pearce, M (2018)

Clapping Music is a minimalist work by Steve Reich based on twelve phased variations of a rhythmic pattern. It has been reimagined as a game-based mobile application, designed with a dual purpose. First, to introduce new ...

Whom Do We Trust on Social Policy Interventions?

Osman, M; Fenton, N; Pilditch, T; Lagnado, D; Neil, M (2018)

Wide-angle optical half-wave plate from the field transformation approach and form-birefringence theory

Shi, H; Hao, Y (2018-08-06)

xDGP: A Dynamic Graph Processing System with Adaptive Partitioning

Vaquero, L; Cuadrado, F; Logothetis, D; Martella, C

Many real-world systems, such as social networks, rely on mining efficiently large graphs, with hundreds of millions of vertices and edges. This volume of information requires partitioning the graph across multiple nodes ...

The Z Property

NAGELE, J; Felgenhauer, B; van Oostrom, V; Sternagel, C (2016-06-30)

We formalize the Z property introduced by Dehornoy and van Oostrom. First we show that for any abstract rewrite system, Z implies confluence. Then we give two examples of proofs using Z: confluence of lambda-calculus with ...

The Zero-Sum Fallacy in Evidence Evaluation.

Pilditch, TD; Fenton, N; Lagnado, D (SAGE, 2018-12-31)

There are many instances, both in professional domains such as law, forensics, and medicine and in everyday life, in which an effect (e.g., a piece of evidence or event) has multiple possible causes. In three experiments, ...