Seminars - 2007
11:00 - 12:00, John Dedman Seminar ...
MSI Computational Mathematics (formerly AdvCom) Seminar Series
Optimal sets of vertices in random recursive trees
Michele Zito - Department of Computer Science, The University of Liverpool, UK11:00 - 12:00, John Dedman Seminar ...
MSI Computational Mathematics (formerly AdvCom) Seminar Series
First-order Decision-theoretic Planning in Structured Relational Environments
Scott Sanner - University of Toronto16:00 - 17:00, RSISE Seminar Room, ...
CSL Seminar Series
Intelligent Modelling for Real-time Garbage Collection
Daniel Frampton - DCS, ANU16:00 - 17:00, CSIT Seminar Room, N...
DCS Seminar Series
Compression and Analysis of Biological Sequences. Why and How.
Lloyd Allison - Faculty of Information Technology, Clayton, Monash University11:00 - 12:00, John Dedman Seminar ...
MSI Computational Mathematics (formerly AdvCom) Seminar Series
Secure Search inside the Enterprise (Postponed due to storm damage)
Peter Bailey, - The ICT Centre, CSIRO16:00 - 17:00, CSIT Seminar Room, N...
DCS Seminar Series
Minimum Energy Multicasting in Wireless Ad Hoc Networks
Weifa Liang - DCS, ANU11:00 - 12:00, John Dedman Seminar ...
MSI Computational Mathematics (formerly AdvCom) Seminar Series
Grounding the Present and Rehearsing the Future: Collaborative Mobile Robot Soccer Players
Professor Mary-Anne Williams - University Of Technology of Sydney11:00 - 12:00, RSISE Seminar Room, ...
CSL Seminar Series
11:00 - 12:00, John Dedman Seminar ...
MSI Computational Mathematics (formerly AdvCom) Seminar Series
A Tarskian Truth Predicate for First Order Number Theory
Stephen Boyce -16:00 - 17:00, RSISE Seminar Room, ...
CSL Seminar Series
16:00 - 17:00, CSIT Seminar Room, N...
DCS Seminar Series
A survey of Tutte-Whitney polynomials
Graham Farr - Clayton School of Information Technology, Monash University11:00 - 12:00, John Dedman Seminar ...
MSI Computational Mathematics (formerly AdvCom) Seminar Series
Accurate Interval and Floating Point Summation
Bill Clarke - DCS16:00 - 17:00, CSIT Seminar Room, N...
DCS Seminar Series
Probabilistic Planning vs. Replanning
Iain Little - ANU, College of Engineering and Computer Science09:30 - 10:00, RSISE Seminar Room, ...
CSL PhD Monitoring
Probabilistic Sequential Diagnosis Using d-DNNF
Sajjad Siddiqi - ANU, College of Engineering and Computer Science10:00 - 10:30, RSISE Seminar Room, ...
CSL PhD Monitoring
Loops and Semiassociative Relation Algebras
Asif Ali - ANU, College of Engineering and Computer Science10:50 - 11:20, RSISE Seminar Room, ...
CSL PhD Monitoring
Handling the disenfranchised of the toaster enthusiast comunity
Rowan Martin-Hughes - ANU, College of Engineering and Computer Science11:20 - 11:50, RSISE Seminar Room, ...
CSL PhD Monitoring
Compiler Verification, Take I: The HOL Struggle
Aditi Barthwal - ANU, College of Engineering and Computer Science13:00 - 13:30, RSISE Seminar Room, ...
CSL PhD Monitoring
On Cut-elimination for Provability Logic GL
Revantha Ramanayake - ANU, College of Engineering and Computer Science13:30 - 14:00, RSISE Seminar Room, ...
CSL PhD Monitoring
14:00 - 14:30, RSISE Seminar Room, ...
CSL PhD Monitoring
Automated Deduction in Bi-Intuitionistic Logic
Linda Buisman - ANU, College of Engineering and Computer Science14:30 - 15:00, RSISE Seminar Room, ...
CSL PhD Monitoring
10:00 - 10:30, RSISE Seminar Room, ...
CSL PhD Monitoring
10:50 - 11:20, RSISE Seminar Room, ...
CSL PhD Monitoring
Maxent To Machine Learning and Back
Tim Sears - ANU, College of Engineering and Computer Science11:20 - 11:50, RSISE Seminar Room, ...
CSL PhD Monitoring
13:00 - 13:30, RSISE Seminar Room, ...
CSL PhD Monitoring
Understanding Semantics in Videos
Javen Shi - ANU, College of Engineering and Computer Science13:30 - 14:00, RSISE Seminar Room, ...
CSL PhD Monitoring
A Scalable Modular Convex Solver for Regularized risk Minimization
Choon Hui Teo - ANU, College of Engineering and Computer Science14:00 - 14:30, RSISE Seminar Room, ...
CSL PhD Monitoring
Online Quasi-Newton Method for the training of Support Vector Machines
Jin Yu - ANU, College of Engineering and Computer Scienc14:30 - 15:00, RSISE Seminar Room, ...
CSL PhD Monitoring
Conditional Random Fields for Multi-Agent Reinforcement Learning
Phillip Zhang - ANU, College of Engineering and Computer Science15:00 - 15:30, RSISE Seminar Room, ...
CSL PhD Monitoring
Curious George and the $100 Million Supercomputer
Dr. Phil Schwan - Consultant16:00 - 17:00, Ian Ross Seminar Roo...
DCS Seminar Series
Challenges in Web Information Retrieval (Web IR)
Nick Craswell - Microsoft Research Labs, Cambridge, UK16:00 - 17:00, CSIRO Seminar Room S...
DCS Seminar Series
Parallel Simulation of Computer Architecture on a Shared-Memory Multicore Host
Andrew Over, - DCS, ANU16:00 - 17:00, Ian Ross Seminar Roo...
DCS Seminar Series
Secure Search inside the Enterprise
Peter Bailey, - The ICT Centre, CSIRO16:00 - 17:00, CSIT Seminar Room, N...
DCS Seminar Series
Types, bytes and separation logic
Michael Norrish - L&C, NICTA12:30 - 13:30, RSISE Video Conferen...
CSL Seminar Series Logic Lunch
On some properties of temporal and spatial relation models
Sanjiang Li - Tsinghua University, Beijing16:00 - 17:00, RSISE Seminar Room, ...
CSL Seminar Series
The number of sets of k disjoint perfect matchings in K_{2n}.
Jeanette McLeod - DCS, ANU11:00 - 12:00, John Dedman Seminar ...
MSI Computational Mathematics (formerly AdvCom) Seminar Series
Being fair about assessment without spending your whole life marking
TQP II (Tutoring Quality Program) - DCS, ANU16:00 - 17:00, CSIT Seminar Room, N...
DCS Seminar Series
Model-Checking Games: from CTL* to ATL*
Sophie Pinchinat -16:00 - 17:00, RSISE Seminar Room, ...
CSL Seminar Series
14:00 - 15:00, RSISE Seminar Room, ...
CSL Seminar Series
Privacy Preserving Range Queries
Ljiljana Brankovic - The University of Newcastle11:00 - 12:00, John Dedman Seminar ...
MSI Computational Mathematics Seminar Series
Language Extensions and Semantics for Open Nested Transactions
Tony Hosking - Computer Science at Purdue16:00 - 17:00, CSIT Seminar Room, N...
DCS Seminar Series
Laying the Foundation of Web Service Management Systems
Athman Bouguettaya - CSIRO ICT Centre15:00 - 16:00, CSIRO Seminar Room, ...
CSIRO ICT
On The Existence of Formally Undecidable Propositions
Stephen Boyce -16:00 - 17:00, RSISE Seminar Room, ...
CSL Seminar Series
Meshless Particle Methods: Effective Computational Tools for Simulation of Complex Systems
Raj Das - CSIRO Mathematical and Information Sciences, Clayton, Victoria12:00 - 13:00, John Dedman G35
MSI Computational Mathematics Seminar Series
Favorite indoor sports: Search for the "best" arctan relation
Joerg Arndt - MSI, ANU11:00 - 12:00, John Dedman G35
MSI Computational Mathematics Seminar Series
Sampling Random Documents from Uncooperative Search Engines
Paul Thomas - DCS, ANU16:00 - 17:00, CSIT Seminar Room, N...
DCS Seminar Series
16:00 - 17:00, RSISE Seminar Room, ...
CSL Seminar Series
The Design of MPI Based Distributed Shared Memory Systems to Support OpenMP on Clusters
H'sien Jin Wong - DCS, ANU16:00 - 17:00, CSIT Seminar Room, N...
DCS Seminar Series
A Survey of `Best Practice' in Computer Science Teaching
Peter Strazdins - DCS, ANU16:00 - 17:00, CSIT Seminar Room, N...
DCS Seminar Series
Prevention and Management of Occupational Overuse Syndrome
Lucy Brooks - Human Resources, ANU15:00 - 16:00, CSIT Seminar Room, N...
DCS Seminar Series
Research-Based Education in Computer Science at the ANU: Challenges and Opportunities
Peter Strazdins - DCS, ANU16:00 - 17:00, CSIT Seminar Room, N...
DCS Seminar Series
The application of bisimulation quantifiers in modal logic. (PLEASE NOTE TIME/DATE CHANGE)
Mr Tim French - University of Western Australia11:00 - 12:00, RSISE Seminar Room, ...
CSL Seminar Series
ODE Estimation - Statistical Properties and Computational Problems
Mike Osborne - MSI, ANU11:00 - 12:00, John Dedman G35
MSI Computational Mathematics Seminar Series
An Inverse First Passage Problem for Brownian Motion
Zaeem Burq - Department of Mathematics and Statistics, The University of Melbourne11:00 - 12:00, John Dedman G35
MSI Computational Mathematics Seminar Series
Deciding the Equivalence of Codes
Chris Monteith - DCS, ANU16:00 - 17:00, CSIT Seminar Room, N...
DCS Seminar Series
Parallel Particle-in-Cell Codes in Plasma Physics
Viktor K. Decyk - UCLA and JPL16:00 - 17:00, CSIT Seminar Room, N...
DCS Seminar Series
Applying the first-order theorem prover Darwin to software verification problems
Christoph Sticksel - Universitaet Karlsruhe (TH)16:00 - 17:00, RSISE Seminar Room, ...
CSL Seminar Series
Clustering TDB - a Little Database Meets Big Iron
Andrew Tridgell - IBM OzLabs16:00 - 17:00, CSIT Seminar Room, N...
DCS Seminar Series
Generational Real-time Garbage Collection
Daniel Frampton - Computer Science Dept., ANU16:00 - 16:30, CSIT Seminar Room, N...
DCS Seminar Series
Generational Real-time Garbage Collection.
Daniel Frampton -16:00 - 17:00, Room N101, CSIT Bui...
DCS Seminar Series
Effective Prefetch for Garbage Collection
Robin Garner - Computer Science Dept., ANU16:30 - 17:00, CSIT Seminar Room, N...
DCS Seminar Series
16:00 - 17:00, CSIT Seminar Room, N...
DCS Seminar Series
16:00 - 17:00, CSIT Seminar Room, N...
DCS Seminar Series
A new algorithm for finding the full set of minimal defining sets of t-designs
Sule Yazici - Koc University, Istanbul, Turkey11:00 - 12:00, John Dedman G35
MSI Computational Mathematics Seminar Series
14:00 - 15:00, Ian Ross Seminar Roo...
CSL Seminar Series
Open Source Alternative to the iPhone
Dr. Shayne Flint -18:00 - 19:00, Room N101, CSIT Bui...
DCS Seminar Series
The Role of OBDDs in Controlling the Complexity of Model Based Diagnosis
Debdeep Banerjee -13:00 - 14:00, RSISE Seminar Room, ...
CSL Seminar Series Advanced Topics in AI
A Consistency-based Robust Diagnosis Approach for Temporal Causal Systems
Priscilla Kan John -14:00 - 15:00, RSISE Seminar Room, ...
CSL Seminar Series Advanced topics in AI
An Exploration of Mediated Touch
Jocelyn Smith - DCS, ANU16:00 - 17:00, CSIT Seminar Room, N...
DCS Seminar Series
Chronicle Recognition Improvement Using Temporal Focusing and Hierarchization
Jason Jingshi Li -13:00 - 14:00, RSISE Seminar Room, ...
CSL Seminar Series Advanced topics in AI
Diagnosis of Discrete-Event Systems using SAT algorithms
A. Grastien -14:00 - 15:00, RSISE Seminar Room, ...
CSL Seminar Series Advanced topics in AI
One Jump Ahead: Challenging Human Supremacy at Checkers
Jonathan Schaeffer - Department of Computing Science, University of Alberta15:00 - 16:00, RSISE Seminar Room, ...
CSL Seminar Series
Generating Temporal Decision Trees for Diagnosing Dynamic Systems
Amanda Helliwell -13:00 - 14:00, RSISE Seminar Room, ...
CSL Seminar Series Advanced topics in AI
On Monotonic Monitoring of Discrete-Event Systems
Yogesh Narasimha -14:00 - 15:00, RSISE Seminar Room, ...
CSL Seminar Series Advanced topics in AI
17:00 - 18:00, CSIT Seminar Room, N...
DCS Seminar Series Toyota - ANU Public Lecture Series 2007
Diagnosability Analysis of Distributed Discrete Event Systems
Neil Bacon -13:00 - 14:00, RSISE Seminar Room, ...
CSL Seminar Series Advanced topics in AI
Global and Local Consistencies in Distributed Fault Diagnosis for Discrete-Event Systems
Priscilla Kan John -14:00 - 15:00, RSISE Seminar Room, ...
CSL Seminar Series Advanced topics in AI
Parsing Natural Language and Found Data with User Definable Grammars
Dave Davies - University of Canberra16:00 - 17:00, RSISE Seminar Room, ...
CSL Seminar Series
Probabilistic Sequential Diagnosis by Compilation
Sajjad Siddiqi - CECS, RSISE10:00 - 10:30, RSISE Seminar Room, ...
CSL PhD Monitoring
Models, Models, Models and Graphs
Greg O'Keefe - RSISE10:50 - 11:20, RSISE Seminar Room, ...
CSL PhD Monitoring
11:20 - 11:50, RSISE Seminar Room, ...
CSL PhD Monitoring
Anti-learning in Oesophageal Data
Justin Bedo - RSISE13:00 - 13:30, RSISE Seminar Room, ...
CSL PhD Monitoring
Generalised Cut Elimination for Traditional Sequent Calculi
Revantha Ramanayake - CECS13:30 - 14:00, RSISE Seminar Room, ...
CSL PhD Monitoring
Small Varieties of KTB-algebras
Michael Stevens - RSISE14:00 - 14:30, RSISE Seminar Room, ...
CSL PhD Monitoring
Bi-Intuitionistic Logic: Proof Theory and Applications
Linda Buisman - RSISE14:30 - 15:00, RSISE Seminar Room, ...
CSL PhD Monitoring
An On-the-fly Tableau-based Decision Procedure for PDL-Satisfiability
Florian Widmann - CECS15:00 - 15:30, RSISE Seminar Room, ...
CSL PhD Monitoring
Compiler Verification: Proving Parser Correctness
Aditi Barthwal - RSISE15:30 - 16:00, RSISE Seminar Room, ...
CSL PhD Monitoring
Consistent Image Analogies using Semi-supervised Learning
Xinhua (Henry) Zhang - CECS09:30 - 10:00, RSISE Video Conferen...
CSL PhD Monitoring
A Stochastic Quasi-Newton Algorithm for Non-Smooth and Non-Convex Optimization"
Jin Yu - CECS10:00 - 10:30, RSISE Video Conferen...
CSL PhD Monitoring
Exact Inference For Planar Graphs
Dmitry Kamenetsky - CECS10:45 - 11:15, RSISE Video Conferen...
CSL PhD Monitoring
Convex Learning with Invariance
Choon Hui Teo - CECS11:15 - 11:45, RSISE Video Conferen...
CSL PhD Monitoring
Semi-Markov Models for Sequence Segmentation and Classification
Javen Shi - CECS11:45 - 12:15, RSISE Video Conferen...
CSL PhD Monitoring
Federated Text Retrieval from Independent Collections
Milad Shokouhi - RMIT15:00 - 16:00, CSIT Seminar Room, N...
DCS Seminar Series
Managing Shared Filesystem Content
Simon Kravis - ICT Centre, CSIRO16:00 - 17:00, CSIT Seminar Room, N...
DCS Seminar Series CSIRO ICT Seminar
Google Ads on Mobile Phones: Accessibility, Standards and Implementation
Tom Worthington - Visiting Fellow, DCS16:00 - 17:00, CSIT Seminar Room, N...
DCS Seminar Series
Numerical Simulation of Turbulent Flows
Linda Stals - MSI, ANU11:00 - 12:00, John Dedman G35
MSI Computational Mathematics Seminar Series
Loops and Semiassociative Relation Algebras
Dr. Asif Ali - CECS, ANU14:00 - 15:00, RSISE Video Conferen...
CSL PhD Monitoring
Pseudopowers and Primality Proving
Hugh Williams - University of Calgary11:00 - 12:00, John Dedman G35
MSI Computational Mathematics Seminar Series
Assessing the Conversational Classroom
William Waite - University of Colorado16:00 - 17:00, CSIT Seminar Room, N...
DCS Seminar Series
Graphical Models: Algorithms and Applications
Xinhua Zhang - CECS/CSL14:00 - 15:00, RSISE Seminar Room, ...
CSL Midterm
Probabilistic Activity Recognition from Low-Level Sensors
Jessie (Jie) Yin - CSIRO ICT Centre, Hobart09:30 - 10:15, RSISE Seminar Room, ...
CSL Seminar Series
Autonomous Acquisition of Skill Hierarchies Using Reinforcement Learning
Ozgur Simsek - University of Massachusetts, Amherst10:30 - 11:15, RSISE Seminar Room, ...
CSL Seminar Series
Convex Relaxations of Latent Variable Training
Yuhong Guo - University of Alberta11:15 - 12:00, RSISE Seminar Room, ...
CSL Seminar Series
A Tour of Some Model Checking and Microarray Data Analysis Problems
Pritha Mahata - The University of Newcastle09:30 - 10:15, RSISE Seminar Room, ...
CSL Seminar Series
Annotating with Light for Remote Guidance
Jocelyn Smith - DCS,ANU16:00 - 16:30, CSIT Seminar Room, N...
DCS Seminar Series
16:00 - 17:00, RSISE Seminar Room, ...
CSL Seminar Series
A Collaborative Guidance Case Study
Duncan Stevenson - ICT Centre, CSIRO16:30 - 17:00, CSIT Seminar Room, N...
DCS Seminar Series
Integrating Post-Query Navigation within a Measure
Gabriella Kazai - Microsoft Research15:00 - 16:00, CSIT Seminar Room, N...
CSIRO ICT
Robust Preconditioning for Multiscale PDEs
Robert Scheichl - University of Bath11:00 - 12:00, John Dedman G35
MSI Computational Mathematics Seminar Series
Directed model checking for timed systems
Martin Wehrle - Albert-Ludwigs-Universitat Freiburg, Germany14:00 - 15:00, NICTA Seminar Room, ...
CSL Seminar Series / NICTA Seminar
Parallel Processing For Games and Simulations
James Bekkema - Charles Sturt University16:00 - 17:00, CSIT Seminar Room, N...
DCS Seminar Series
Next Generation IT---Life after Jurassic Middleware
Dave Thomas - Bedarra Research Labs09:30 - 11:00, CSIT Seminar Room, N...
CSIRO ICT
Segmenting Video Objects of Interest
Mr Rakib Ahmed - Monash University10:30 - 11:00, RSISE Seminar Room, ...
CSL Seminar Series
Structure and Motion without Correspondences
Dr Stefan Lehmann - The University of Queensland11:00 - 11:30, RSISE Seminar Room, ...
CSL Seminar Series
Surface Height Recovery from Gradient Vector Fields
Dr Tiangong Wei - The University of Auckland11:30 - 12:00, RSISE Seminar Room, ...
CSL Seminar Series
A Game-Theoretic Model for Grouping
Professor Andrea Torsello - Ca' Foscari University of Venice10:00 - 11:00, RSISE Seminar Room, ...
NICTA SML Seminar
