AUS-ACCESS4EU Information days

First Page		Document Content
Date: 2014-05-19 09:03:10 Australia Australian Research Council Commonwealth Scientific and Industrial Research Organisation National Health and Medical Research Council Australian National University UK Research Councils Flinders University IPP-SHR Academia Association of Commonwealth Universities Research		AUS-ACCESS4EU Information days Add to Reading List Source URL: www.access4.eu Download Document from Source Website File Size: 576,00 KB Share Document on Facebook

	Operator Counting Heuristics for Probabilistic Planning Felipe Trevizan, Sylvie Thi´ebaux, Patrik Haslum Data61, CSIRO and Research School of Computer Science, Australian National University Abstr DocID: 1xVMg - View Document
	Crossword Puzzles as a Constraint Problem Anbulagan and Adi Botea NICTA?? and Australian National University, Canberra, Australia {anbulagan\|adi.botea}@nicta.com.au Abstract. We present new results in crossword composit DocID: 1xU6c - View Document
	Conic Abstractions for Hybrid Systems Sergiy Bogomolov12 , Mirco Giacobbe2 , Thomas A. Henzinger2 , and Hui Kong2 1 Australian National University, Canberra, Australia 2 DocID: 1xU0g - View Document
	Multirotor Aircraft: Modelling, State Estimation and Control Robert Mahony College of Engineering and Computer Science Australian National University DocID: 1vrG3 - View Document
	The combination technique and some generalisations Markus Hegland, Jochen Garcke and Vivien Challis Mathematical Sciences Institute Australian National University Canberra ACT 0200 Australia DocID: 1vpay - View Document