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

Wu, M. & Adams, RApplying the Rasch model to psycho-social measurement: A practical approach. Educational Measurement Solutions, Melbourne. ______________________________________________________________________

Source URL: www.edmeasurement.com.au

An Ensemble Model that Combines Syntactic and Semantic Clustering for Discriminative Dependency Parsing Gholamreza Haffari Faculty of Information Technology Monash University Melbourne, Australia

Source URL: www.aclweb.org

     Rome2rio launches on­site bookings for UK rail journeys  Partnership with SilverRail is first step in transition to hybrid search / OTA business model    Melbourne, Australia​

Source URL: www.rome2rio.com

, U-02, IUGG, Melbourne High Resolution (20-km Mesh) Global Climate Model and Projected HydroMeteorological Extremes in the Future Akio Kitoh Climate Research Department

Source URL: iugg-georisk.org

• Climatology
• Climate change
• Physical geography
• Climate modeling
• Intergovernmental Panel on Climate Change
• Global warming
• Climate history
• Climate forcing
• General circulation model
• IPCC Fourth Assessment Report
• Climate model
• CCCma

Efficient Reasoning With Consistent Proper Epistemic Knowledge Bases Christian Muise, Tim Miller, Paolo Felli, Adrian R. Pearce, Liz Sonenberg Department of Computing and Information Systems, University of Melbourne {ch

Source URL: www.haz.ca

• IP
• Symbol
• Mathematical logic
• Distribution
• Model theory
• Constructible universe
• Modal logic
• Craig interpolation
• Linear temporal logic

Earthquakes as Filippov Systems Model Analysis Roberto Galizia Universita’ degli Studi di Napoli Federico II National University of Ireland Galway

Source URL: www.maths.nuigalway.ie

• Konrad Zuse
• Z1
• W-class Melbourne tram

In Search of a Nominal Anchor: What Drives Inflation Expectations? Carlos Carvalho (PUC-Rio) Stefano Eusepi (New York Fed) Emanuel Moench (Deutsche Bundesbank) Bruce Preston (Melbourne University)

Source URL: www.imfs-frankfurt.de

• Macroeconomics
• Economy
• Economics
• Monetary policy
• Unemployment
• Inflation
• Phillips curve
• Nominal rigidity
• New Keynesian economics
• Macroeconomic model

Towards a Computational Formalism for a Grounding Model of Cultural Transmission Jens Pfau Computing and Information Systems The University of Melbourne Parkville, Victoria 3010, Australia

Source URL: jp.poerf.de

Minimal Model Tabling in Mercury Zoltan Somogyi1 and Konstantinos Sagonas2 1 Department of Computer Science and Software Engineering, University of Melbourne, Australia 2

Source URL: user.it.uu.se