Skip navigation
Skip navigation
Open Research will be down for maintenance between 8:00am and 8:15am on Thursday, 22 August 2019

Open Research at ANU

Search ANU Research

Add filters to refine the search results


Results

A van Benthem theorem for fuzzy modal logic

Author(s)Wild, Paul; Schroder, Lutz; Pattinson, Dirk; Konig, Barbara
TypeConference paper
Date Published2018
Date Created9 July 2018 through 12 July 2018
01_Al+Suman_Atlas-based_segmentation_of_2016.pdf.jpg

Atlas-based segmentation of neck muscles from MRI for the characterisation of Whiplash Associated Disorder

Author(s)Al Suman, Abdulla; Aktar, Mst Nargis; Asikuzzaman, Md; Webb, Alexandra; Perriman, Diana; Pickering, Mark
TypeConference paper
Date Published2016
Date Created20 May 2016 through 23 May 2016

An Empirical Analysis of the Tax Burden of Mining Firms versus Non-mining Firms in Australia

Author(s)Li, Xuerui (Estelle); Tran, Alfred V H
TypeConference paper
Date Published2013
Date CreatedJuly 7-9 2013

A Labelled Sequent Calculus for BBI: Proof Theory and Proof Search

Author(s)Hou, Zhe; Tiu, Alwen; Gore, Rajeev
TypeConference paper
Date Published2013
Date CreatedSeptember 16-19 2013

Mixability in Statistical Learning

Author(s)van Erven, Tim; Grunwald, Peter; Reid, Mark; Williamson, Robert
TypeConference paper
Date Published2012
Date CreatedDecember 3-6 2012

Interpreting Prediction Markets: A Stochastic Approach

Author(s)Frongillo, Rafael M; Della Penna, Nicolas; Reid, Mark
TypeConference paper
Date Published2012
Date CreatedDecember 3-6 2012

An on-the-fly Tableau-based decision procedure for PDL-satisfiability

Author(s)Abate, Pietro; Gore, Rajeev; Widmann, Florian
TypeConference paper
Date Published2009
Date CreatedNovember 29-30 2007

System description: The Tableau workbench

Author(s)Abate, Pietro; Gore, Rajeev
TypeConference paper
Date Published2009
Date CreatedNovember 29-30 2007

One-pass tableaux for computation tree logic

Author(s)Abate, Pietro; Gore, Rajeev; Widmann, Florian
TypeConference paper
Date Published2007
Date CreatedOctober 15-19 2007

Classification of Malware Using Visualisation of Similarity Matrices

Author(s)Venkatraman, Sitalakshmi; Alazab, Mamoun
TypeConference paper
Date Published2017
Date CreatedNovember 21-23 2017

Updated:  19 May 2016/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator