Computer Sciences Lab

Computer Sciences Lab & NICTA Opportunities for Honours projects 2009 Marcus Hutter (adapted from and thanks to Sylvie Thiebaux)

College of Engineering & Computer Science (& Friends) DCS DEng CSL InfoEng NICTA

Research Groups ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Diagnosis, Planning & Optimisation Group ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Contact: Jussi.Rintanen@nicta.com.au

Model-Based Supervision of Composite Systems Composite systems : feature simple components organised into a highly reconfigurable architecture Examples : web & grid services, power and water systems telecom networks, traffic control systems ,[object Object],[object Object],[object Object],Project goals : develop theories, algorithms & tools for the supervision of composite systems Approach : draws on artificial intelligence (model-based diagnosis, planning), discrete- event systems, and model-checking Contact: Jussi.Rintanen@nicta.com.au

Statistical Machine Learning Group ,[object Object],[object Object],input(data) Documents Video Molecules Microarrays Sensor Networks Mission Plans output(analysis) Authors, script People, scenes Biological function Cancer diagnosis Novelty, alarm Optimal strategy Magic happens … Contact: Wray.Buntine@nicta.com.au

Document Analysis ,[object Object],[object Object],[object Object],[object Object],ab c$ b c$ c$ abc$ abc$ + = Spam filter Suffix tree Contact: Wray.Buntine@nicta.com.au

Logic and Computation Group ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Contact: Rajeev.Gore@rsise.anu.edu.au

Constraint Satisfaction Platform (G12) ,[object Object],[object Object],[object Object],[object Object],[object Object],Contact: John.Slaney@anu.edu.au

L4 Verified ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Contact: Michael.Norrish@nicta.com.au

Vision Science, Tech. & Applications Group ,[object Object],[object Object],[object Object],[object Object],[object Object],Contact: Nick.Barnes@nicta.com.au

Smart Cars Pedestrian detection & tracking Speed sign detection & recognition Car detection & tracking A complete driver assistance system, focusing on driver safety Contact: Lars.Petersson@anu.edu.au

Automatic Anatomical Structure Extraction Topology repair Parametrisation ,[object Object],[object Object],Contact: Paulette.Lieby@nicta.com.au

Artificial Intelligence ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Contact: Marcus.Hutter@anu.edu.au

Finally … ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Computer Sciences Lab

Recommended

Recommended

More Related Content

What's hot

What's hot (20)

Viewers also liked

Viewers also liked (20)

Similar to Computer Sciences Lab

Similar to Computer Sciences Lab (20)

More from butest

More from butest (20)

Computer Sciences Lab

Editor's Notes