The Mercury Library Reference Manual Version c 1995–1997,1999–2014 The University of Melbourne. Copyright Permission is granted to make and distribute verbatim copies of this manual provided the

Source URL: mercurylang.org

• Computing
• Software engineering
• Computer programming
• Programming languages
• Cross-platform software
• Object-oriented programming languages
• Procedural programming languages
• Data types
• Array data structure
• Array data type
• Getopt
• Lua

Unbounded Model-Checking with Interpolation for Regular Language Constraints Graeme Gange, Jorge A. Navas, Peter J. Stuckey, Harald Søndergaard, and Peter Schachte The University of Melbourne {ggange,jnavas,pjs,harald,s

Source URL: jorgenavas.github.io

• Finite automata
• DFA minimization
• Deterministic automaton
• Finite-state machine
• Theoretical computer science
• Muller automaton
• Bchi automaton

FROM PUBLICATION
 TO IMPACT ! Professor Anne-Wil Harzing University of Melbourne www.harzing.com

Source URL: harzing.com

• Academic publishing
• Publishing
• Knowledge
• Citation metrics
• Bibliometrics
• Research
• Citation impact
• Research and development
• Publish or perish
• Google Scholar
• Citation analysis
• Citation

1 Interval Analysis and Machine Arithmetic: Why Signedness Ignorance Is Bliss GRAEME GANGE, JORGE A. NAVAS, PETER SCHACHTE, HARALD SØNDERGAARD, and PETER J. STUCKEY, The University of Melbourne, Australia

Source URL: jorgenavas.github.io

• Mathematics
• Computer arithmetic
• Algebra
• Abstract algebra
• Abstract interpretation
• Interval arithmetic
• Two's complement
• Interval
• Signedness
• Logarithm
• Modular arithmetic
• Division by zero

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

Human-Robot Communication in Automated Planning Aleck MacNally University of Melbourne Parkville VIC 3010

Source URL: icaps16.icaps-conference.org

• Robotics
• Artificial intelligence
• Humanrobot interaction
• Robot
• Emerging technologies
• Multi-agent system
• Cognitive robotics
• Leonardo
• Humanoid robot

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

ALRA Newsletter No. 69 (JanuaryHighlights of shared positions at The University of Melbourne library & Monash University library

Source URL: www.alra.org.au

ALRA Newsletter No. 69 (JanuaryExperience of shared positions at The University of Melbourne and Monash University libraries

Source URL: www.alra.org.au

The effects of an AQM enabled home gateway on First Person Shooter game traffic Russell Collom∗ Centre for Advanced Internet Architectures, Technical Report 160826A Swinburne University of Technology Melbourne, Austral

Source URL: caia.swin.edu.au