The Theory and Practice of Causal Commutative Arrows Hai (Paul) Liu Advisor: Paul Hudak Computer Science Department Yale University

Source URL: thev.net

• Software engineering
• Computing
• Programming paradigms
• Evaluation strategy
• Functional programming
• Computer programming
• Concurrent programming languages
• Functional reactive programming
• Reactive programming
• Computer architecture
• Dataflow programming
• Dataflow

Poster: PredicTor: Predicting Fast Circuits For A Faster User Experience in Tor Armon Barton, Mohsen Imani, Matthew Wright, and Jiang Ming I. I NTRODUCTION Tor is a low-latency anonymity system designed for TCPbased appl

Source URL: www.ieee-security.org

• Computing
• Internet
• Statistical classification
• Free software
• Dark web
• Secure communication
• Tor
• Relay
• K-nearest neighbors algorithm
• Outline of machine learning
• Bandwidth
• .tor

Platform technology Manage business growth and complexity with a highly scalable, efficient and flexible platform. Platform

Source URL: www.temenos.com

• Economy
• Computing
• Financial services
• Software architecture
• Banking
• Multitenancy
• Core banking
• Cloud computing
• Java
• Business process management
• Bank
• Application server

A Bit-fixing PRF with O(1) Collusion-Resistance from LWE Alex Davidson1,? and Ryo Nishimaki2 1 2

Source URL: eprint.iacr.org

• Cryptography
• Mathematics
• Number theory
• Post-quantum cryptography
• Spectral theory
• Algebra
• Distribution
• Pseudorandom function family
• Learning with errors
• Jordan normal form
• Decomposition of spectrum

Static Program Analysis for Identifying Energy Bugs in Graphics-Intensive Mobile Apps Chang Hwan Peter Kim, Daniel Kroening, and Marta Kwiatkowska Department of Computer Science, University of Oxford, UK

Source URL: qav.comlab.ox.ac.uk

• Computing
• Computer graphics
• 3D rendering
• Video game development
• Computer programming
• Graphics hardware
• Graphics libraries
• Texture atlas
• Graphics processing unit
• Texture mapping
• Optimizing compiler
• Rendering

Conflict-Directed Graph Coverage Daniel Schwartz-Narbonne1 , Martin Sch¨af2 , Dejan Jovanovi´c2 , Philipp R¨ ummer3 , and Thomas Wies1 1

Source URL: csl.sri.com

2018 WHY US? Tell WT Media who you want to reach and we’ll help put your message in front of the right audience at

Source URL: twt-media.washtimes.com

• Marketing
• World Wide Web
• Politics of the United States
• Climate change skepticism and denial
• American people of German descent
• Brett Kavanaugh
• Donald Trump
• The New York Times
• Display advertising
• Online advertising
• The Washington Times
• Advertising

Full version of an extended abstract published in AsiacryptD´ej`a Q All Over Again: Tighter and Broader Reductions of q-Type Assumptions Melissa Chase Microsoft Research Redmond

Source URL: smeiklej.com

• Algebra
• Abstract algebra
• Lie groups
• Non-associative algebras
• XTR
• Mutation
• Spectral theory

Docker Certification Program Agreement Last updated: August 16, 2017 This Docker Certification Program Agreement (this “Agreement”) contains the terms and conditions that govern your participation in the Docker Certi

Source URL: docker.cdn.prismic.io

• Professional certification
• Standards
• Certification
• Dock
• Privacy policy
• Technology

11 SeptemberData & Analytics in M&A The art of the possible Christian Westermann, Partner, Data & Analytics Leader Dev Singh, Director, Transaction Services and Deals Data Analytics

Source URL: www.fuw.ch

• Information technology management
• Business
• PricewaterhouseCoopers
• Business process management
• Automation
• Business process modeling
• Economy
• Management