The Mercury Library Reference Manual Version rotd c 1995–1997,1999–2012 The University of Melbourne. Copyright c 2013–2018 The Mercury team.

Source URL: mercurylang.org

• Computing
• Computer programming
• Software engineering
• Object-oriented programming languages
• Cross-platform software
• Scripting languages
• Embedded systems
• Programming languages
• Getopt
• Bit array
• Loadable kernel module
• International Space Station

Causal Commutative Arrows Revisited Jeremy Yallop Hai Liu University of Cambridge, UK

Source URL: thev.net

• Declarative programming
• Computer programming
• Functional programming
• Software engineering
• Arrow
• Monad
• Function
• Currying
• F-algebra
• Fold
• Derivative

Task Scheduling and Trajectory Generation of Multiple Intelligent Vehicles Jennifer David Intelligent Systems Lab School of Information Technology Halmstad University

Source URL: icaps16.icaps-conference.org

• Scheduling
• Economy
• Business
• Human behavior
• Automated planning and scheduling
• Operations research
• Planning
• Schedule
• Motion planning
• Windows Task Scheduler
• Automated guided vehicle
• Robot

Instruction Scheduling and Register Allocation on ARM Cortex-M Ko Stoffelen Radboud University, Digital Security Group, Nijmegen, The Netherlands

Source URL: ko.stoffelen.nl

• Programming language implementation
• Software
• Computer programming
• Compiler construction
• Compiler optimizations
• Compilers
• Register allocation
• Instruction set architectures
• LLVM
• Optimizing compiler
• Static single assignment form
• GNU Compiler Collection

SoK: Exploiting Network Printers Jens Müller, Vladislav Mladenov, Juraj Somorovsky, Jörg Schwenk Horst Görtz Institute for IT-Security, Ruhr University Bochum , , juraj.so

Source URL: www.ieee-security.org

Sam Tobin-Hochstadt School of Informatics, Computing, & Engineering Indiana University 500 N. Woodlawn Ave. Bloomington, IN 47405

Source URL: homes.sice.indiana.edu

• Software engineering
• Computing
• Computer programming
• Functional languages
• Scheme
• Matthias Felleisen
• Programming paradigms
• International Conference on Functional Programming
• Racket
• Matthew Flatt
• SIGPLAN
• Robert Bruce Findler

Augur: Internet-Wide Detection of Connectivity Disruptions Paul Pearce†∗ , Roya Ensafi§∗ , Frank Li† , Nick Feamster§ , Vern Paxson† † University of California, Berkeley § Princeton University

Source URL: www.ieee-security.org

• Computer network security
• Cyberwarfare
• Computer security
• Computing
• Computer security software
• Idle scan
• Denial-of-service attack
• Transmission Control Protocol
• Stateful firewall
• Internet censorship
• Great Firewall
• Internet protocol suite

In Search of Distress Risk in Emerging Markets Gonzalo Asis University of North Carolina at Chapel Hill Anusha Chari University of North Carolina at Chapel Hill

Source URL: www.hkimr.org

• Economy
• Systemic risk
• Financial law
• Economic bubbles
• Actuarial science
• Investment
• Credit risk
• Emerging market
• Financial risk
• Global financial system
• Financial crisis

Collapsible Contracts: Fixing a Pathology of Gradual Typing DANIEL FELTEY, Northwestern University, USA BEN GREENMAN, Northeastern University, USA CHRISTOPHE SCHOLLIERS, Ghent University, Belgium ROBERT BRUCE FINDLER, No

Source URL: users.eecs.northwestern.edu

• Algebra
• Vectors
• Mathematics
• Vector calculus
• Linear algebra
• Abstract algebra
• Euclidean vector
• Vector
• Position

Synthesis of Protocols and Discrete Controllers Thesis submitted in accordance with the requirements of the University of Liverpool for the degree of Doctor in Philosophy by Idress Mohammed Husien

Source URL: cgi.csc.liv.ac.uk

• Music
• Applied mathematics
• Cybernetics
• Theoretical computer science
• Mathematics
• Genetic algorithms
• Model checking
• Simulated annealing
• Control theory
• Synthesizer
• Crossover
• Algorithm