Recommending and Planning Trip Itineraries for Individual Travellers and Groups of Tourists Kwan Hui Lim*† * Department of Computing and Information Systems, The University of Melbourne, Australia

Source URL: icaps16.icaps-conference.org

• Information science
• Mathematics
• Information retrieval
• Poi
• Recommender system
• Tourism
• Personalization
• Travelling salesman problem

Testing a Saturation-Based Theorem Prover: Experiences and Challenges Giles Reger1 , Martin Suda2 , and Andrei Voronkov1,2 1 School of Computer Science, University of Manchester, UK

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

• Theoretical computer science
• Formal methods
• Mathematical logic
• School of Computer Science
• University of Manchester
• Mathematics
• Logic in computer science
• Automated theorem proving
• Formal verification
• SPASS
• Andrei Voronkov
• Vampire
• First-order logic

An Industrial-Scale Software Defined Internet Exchange Point Arpit Gupta?, Robert MacDavid?, R¨udiger Birkner†, Marco Canini, Nick Feamster?, Jennifer Rexford?, Laurent Vanbever† ?Princeton University †ETH Z¨ur

Source URL: nsg.ee.ethz.ch

• Internet architecture
• Computing
• Information and communications technology
• Network architecture
• Border Gateway Protocol
• Forwarding plane
• Internet exchange point
• Router
• Control plane
• Software-defined networking
• Routing
• Forwarding information base

Sparse Boolean Equations and Circuit Lattices Igor Semaev University of Bergen Norway SHARCS, 9 September 2009

Source URL: www.hyperelliptic.org

Making Automatic Theorem Provers more Versatile Simon Cruanes University of Lorraine, CNRS, Inria, LORIA, 54000 Nancy, France Abstract We argue that automatic theorem provers should become more versatile and should be ab

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

• Theoretical computer science
• Software engineering
• Mathematical software
• Formal methods
• Logic in computer science
• Proof assistants
• Automated theorem proving
• Automated reasoning
• Satisfiability modulo theories
• E theorem prover
• ACL2
• Isabelle

Debugging Native Extensions of Dynamic Languages∗ Jacob Kreindl Johannes Kepler University Linz Austria

Source URL: arxiv.org

• Computer programming
• Software engineering
• Computing
• Debugging
• Integrated development environments
• Object-oriented programming languages
• Scripting languages
• Cross-platform software
• LLVM
• Debugger
• Wing IDE
• Clang

A Look at the Consequences of Internet Censorship Through an ISP Lens Sheharbano Khattak1 , Mobin Javed2 , Syed Ali Khayam3 , Zartash Afzal Uzmi4 , Vern Paxson2,5 1 University of Cambridge, 2 UC Berkeley, 3 PLUMgrid, 4

Source URL: sheharbano.com

Can One Tamper with the Sample API? - Toward Neutralizing Bias from Spam and Bot Content Fred Morstatter, Harsh Dani, Justin Sampson, and Huan Liu Arizona State University, Tempe, AZ, USA {fred.morstatter, harsh.dani, j

Source URL: gdac.uqam.ca

• Software
• Digital media
• Computing
• Social networking services
• Microblogging
• Real-time web
• Text messaging
• Twitter
• Social media
• Application programming interface
• Sampling
• Tweet

Improving Web Privacy And Security with a Cost-Benefit Analysis of the Web API by Peter Snyder B.A., Lawrence University, 2006

Source URL: www.peteresnyder.com

• Software
• Computing
• Free software
• Web browsers
• Cross-platform software
• JavaScript
• Web programming
• Firefox
• Cross-site scripting
• Proxy server
• Trusted computing base
• Browser extension

Verified Computations Using Taylor Models and Their Applications Kyoko Makino and Martin Berz Department of Physics and Astronomy Michigan State University

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

• Latin script
• Character encoding
• Digital typography
• Circumflex
• Writing
• Notation
• French Braille
• World glyph set