arXiv:1702.07825v2 [cs.CL] 7 MarDeep Voice: Real-time Neural Text-to-Speech ¨ Arık† Sercan O.

Source URL: arxiv.org

• Artificial neural networks
• Linguistics
• Cognitive science
• Artificial intelligence
• Computational linguistics
• Phonetics
• Orthography
• Phonology
• Speech synthesis
• WaveNet
• Speech recognition
• Recurrent neural network

Figure 1: How to get to Hello Monkey. The dinner of the ARCADE workshop will be held in the restaurant Hello Monkey (http:// hellomonkey.net/magasinsgatan). Its address is Magasinsgatan 26 (D). The most direct way to get

Source URL: www.cs.man.ac.uk

Distributed Systems, Failures, and Consensus Jeff Chase Duke University The Players

Source URL: www2.cs.duke.edu

• Inter-process communication
• Fault-tolerant computer systems
• Computer architecture
• Decentralization
• Distributed computing
• Computing
• Message passing
• Consensus
• Actor model
• Computer network
• Leader election
• Virtual synchrony

Application Power Signature Analysis Chung-Hsing Hsu∗ , Jacob Combs† , Jolie Nazor† , Fabian Santiago† , Rachelle Thysell† , Suzanne Rivoire† and Stephen W. Poole∗ ∗ Computer Science and Mathematics Divi

Source URL: rivoire.cs.sonoma.edu

• Cluster analysis
• Data mining
• Geostatistics
• Hierarchical clustering
• Data analysis
• Information science
• Principal component analysis
• Computational statistics
• Document clustering
• K-means clustering

Lipschitz Robustness of Timed I/O Systems? Thomas A. Henzinger1 , Jan Otop1,2 and Roopsha Samanta1 1 2

Source URL: www.cs.purdue.edu

• Finite automata
• Finite-state transducer
• Timed automaton
• Finite-state machine
• Control theory
• XC
• Applied mathematics
• Mathematics
• Systems science
• Tree transducer

Taming Undefined Behavior in LLVM Juneyoung Lee Yoonseung Kim Youngju Song Chung-Kil Hur Seoul National University, Korea

Source URL: www.cs.utah.edu

• Software engineering
• Computer programming
• Computing
• Compiler construction
• Programming language implementation
• Compiler optimizations
• Object-oriented programming languages
• C++
• Undefined behavior
• LLVM
• Optimizing compiler
• Static single assignment form

Payment Network Design with Fees arXiv:1810.07585v1 [cs.DS] 17 Oct 2018 Georgia Avarikioti, Gerrit Janssen, Yuyi Wang, and Roger Wattenhofer ETH Zurich, Switzerland

Source URL: arxiv.org

• Mathematics
• Graph theory
• Computational complexity theory
• Network theory
• Edsger W. Dijkstra
• Computational problems
• Shortest path problem
• Dynamic programming
• Graph
• Optimization problem
• Bitcoin
• Max-flow min-cut theorem

Maximizing the Spread of Positive Influence by Deadline Hemank Lamba, Jürgen Pfeffer Carnegie Mellon University {hlamba,jpfeffer}@cs.cmu.edu

Source URL: gdac.uqam.ca

• Mathematics
• Combinatorics
• Discrete mathematics
• Network theory
• Networks
• Memetics
• Neologisms
• Viral marketing
• Greedy algorithm
• Heuristic
• Centrality
• Flow network

arXiv:1608.01654v2 [cs.PL] 7 NovHypercollecting Semantics and its Application to Static Analysis of Information Flow Mounir Assaf

Source URL: arxiv.org

Isolating and Tolerating SDN Application Failures with LegoSDN Balakrishnan Chandrasekaran Duke University Brendan Tschaen

Source URL: legosdn.cs.duke.edu

• Computing
• Information and communications technology
• Computer networking
• Emerging technologies
• Network architecture
• Configuration management
• Software-defined networking
• OpenFlow
• Nox
• ONOS
• OpenDaylight Project