Directed Unfolding of Petri Nets Blai Bonet1 , Patrik Haslum2 , Sarah Hickmott3 , and Sylvie Thi´ebaux2 1 2 Universidad Sim´

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

• Diagrams
• Petri net
• Computer science
• Formal methods
• Priority queue
• XTR
• Unfolding
• Algorithm
• Admissible heuristic
• Models of computation
• Mathematics
• Concurrency

Randomized Load Control: A Simple Distributed Approach for Scheduling Smart Appliances Menkes van den Briel, Paul Scott, Sylvie Thi´ebaux NICTA and Australian National University Australia {menkes, paul.scott, sylvie.th

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

• Electric power distribution
• Demand response
• Smart grid
• Load management
• Load profile
• Smart meter
• Load
• Peak demand
• Energy demand management
• Electric power
• Energy
• Electromagnetism

Probabilistic Planning vs Replanning Iain Little and Sylvie Thi´ebaux National ICT Australia & Computer Sciences Laboratory The Australian National University Canberra, ACT 0200, Australia

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

• Automated planning and scheduling
• Planning Domain Definition Language
• Motion planning
• NP
• PP
• Indeterminism
• Probability
• Theoretical computer science
• Computational complexity theory
• Applied mathematics

Optimal Planning with Global Numerical State Constraints Franc Ivankovic, Patrik Haslum, Sylvie Thi´ebaux, Vikas Shivashankar and Dana S. Nau Optimisation Research Group, NICTA Dept. of Comp. Sci., and Inst. for Sys. Rs

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

• Operations research
• Mathematical optimization
• Combinatorial optimization
• Convex optimization
• Heuristic function
• Planning Domain Definition Language
• Admissible heuristic
• A* search algorithm
• Linear programming
• Artificial intelligence
• Automated planning and scheduling
• Heuristics

Cost-Optimal Factored Planning: Promises and Pitfalls Eric Fabre Lo¨ıg Jezequel Patrik Haslum and Sylvie Thi´ebaux

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

• Applied mathematics
• Finite state transducer
• Polynomial
• Factorization
• IP
• Tree automaton
• SL
• Theoretical computer science
• Automata theory
• Mathematics

Scholarship Skills 2009—Grading Criteria Conciseness 25 Clarity and simplicity

Source URL: web.cecs.pdx.edu

Xinhua Zhang Senior Researcher Machine Learning Group, National ICT Australia (NICTA) Postal: Locked Bag 8001, Canberra, ACT 2601, AU Office: Tower A, 7 London CCT, Canberra, ACT 2601, AU Permanent Resident: Australia an

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

• Neuroscience
• Neural networks
• Conference on Neural Information Processing Systems
• Cybernetics
• International Conference on Machine Learning
• Ambient intelligence
• Claude Sammut
• Artificial neural network
• Reinforcement learning
• Computational neuroscience
• Machine learning
• Artificial intelligence

Course Title: Comparative Law: Theory, Methods, and Practice Course Provider: The Center for Studies of Legal Culture (CRS) and the Centre for Comparative and European Constitutional Studies (CECS) at the University of C

Source URL: jura.ku.dk

• Legal culture
• Comparative law
• Sociology of law
• David Nelken

CEC Approval & Assessment Guide Contents About CEC Approval ............................................................................................................................... 2 What are CECs? ..............

Source URL: fitnessaustralia.s3.amazonaws.com

• Personal trainer
• Training
• Registered training organisation

Residential Demand Response under Uncertainty Paul Scott13 , Sylvie Thi´ebaux13 , Menkes van den Briel13 , and Pascal Van Hentenryck23 1

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

• Control theory
• Mathematical sciences
• Stochastic programming
• Economic model
• Probability and statistics
• Statistics
• Operations research
• Stochastic process