Australian National University

Results: 2964



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

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

Add to Reading List

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

Language: English - Date: 2018-07-07 12:35:35
2Constraint programming / NP-complete problems / Puzzles / Crossword / Constraint satisfaction / Local consistency / Human behavior / Backtracking / Theoretical computer science / 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

Add to Reading List

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

Language: English - Date: 2008-06-30 05:38:49
3Mathematics / Geometry / Algebra / Analytic geometry / Linear algebra / Algebraic curves / Cone / Surfaces / Conic section / Convex cone / Line / Hybrid system

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

Add to Reading List

Source URL: repository.ist.ac.at

Language: English - Date: 2017-06-29 11:28:39
4

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

Add to Reading List

Source URL: mrsl.grasp.upenn.edu

Language: English - Date: 2016-05-23 04:09:12
    5

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

    Add to Reading List

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

    Language: English - Date: 2006-08-18 02:30:58
      6

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

      Add to Reading List

      Source URL: alra.org.au

      Language: English - Date: 2018-02-07 18:52:34
        7

        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

        Add to Reading List

        Source URL: www.lix.polytechnique.fr

        Language: English - Date: 2016-05-24 06:31:25
          8

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

          Add to Reading List

          Source URL: www.rheology.org.au

          Language: English - Date: 2015-08-20 23:54:07
            9

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

            Add to Reading List

            Source URL: asa.astronomy.org.au

            - Date: 2017-07-05 19:16:31
              10

              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

              Add to Reading List

              Source URL: www.q-chem.com

              Language: English - Date: 2016-08-26 16:21:02
                UPDATE