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

Source URL: users.cecs.anu.edu.au

• Mathematics
• Heuristics
• Edsger W. Dijkstra
• Automated planning and scheduling
• Mathematical optimization
• Shortest path problem
• Admissible heuristic
• Search algorithm
• Methodology
• Algorithm
• Cognition

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

Source URL: abotea.rsise.anu.edu.au

• Constraint programming
• NP-complete problems
• Puzzles
• Crossword
• Constraint satisfaction
• Local consistency
• Human behavior
• Backtracking
• Theoretical computer science
• Cognition

Conic Abstractions for Hybrid Systems Sergiy Bogomolov12 , Mirco Giacobbe2 , Thomas A. Henzinger2 , and Hui Kong2 1 Australian National University, Canberra, Australia 2

Source URL: repository.ist.ac.at

• Mathematics
• Geometry
• Algebra
• Analytic geometry
• Linear algebra
• Algebraic curves
• Cone
• Surfaces
• Conic section
• Convex cone
• Line
• Hybrid system

Multirotor Aircraft: Modelling, State Estimation and Control Robert Mahony College of Engineering and Computer Science Australian National University

Source URL: mrsl.grasp.upenn.edu

The combination technique and some generalisations Markus Hegland, Jochen Garcke and Vivien Challis Mathematical Sciences Institute Australian National University Canberra ACT 0200 Australia

Source URL: garcke.ins.uni-bonn.de

ALRA Newsletter No. 71 (JanuaryNews from the Australian National University Library

Source URL: alra.org.au

Constraint Qualification Failure in Second-Order Cone Formulations of Unbounded Disjunctions Hassan Hijazia,1 , Leo Libertib a The Australian National University, CSIRO-Data61, Canberra ACT 2601 Australia

Source URL: www.lix.polytechnique.fr

THE 8th KOREAN-AUSTRALIAN RHEOLOGY CONFERENCE 2015 SECOND CIRCULAR Seoul National University Seoul, Korea November 5-7, 2015 th

Source URL: www.rheology.org.au

51st ANNUAL GENERAL MEETINGam, Wednesday 12 July 2017 Molonglo Theatre Crawford School of Public Policy The Australian National University AGENDA

Source URL: asa.astronomy.org.au

Predicting Trends in Ring Strain of Cycloalkanes Developed by: Andrew T.B. Gilbert Research School of Chemistry, Australian National University, Canberra ACT 0200, Australia Edited by: Anna I. Krylov Department of Chemis

Source URL: www.q-chem.com