From L3 to seL4: What Have We Learnt in 20 Years of L4 Microkernels? Kevin Elphinstone, Gernot Heiser NICTA and University of New South Wales

Source URL: sigops.org

• Computer architecture
• Software
• Computing
• L4 microkernel family
• Gernot Heiser
• Open Kernel Labs
• Microkernel
• L3 microkernel
• Heiser
• Kernel
• Symposium on Operating Systems Principles
• Mach

Time Calibration in Experiments with Networked Sensors Olivier Mehani, Ronnie Taib, Benjamin Itzstein National ICT Australia Eveleigh, Sydney, NSW, Australia Email: {name.surname}@nicta.com.au

Source URL: olivier.mehani.name

A Modelling and Reasoning Framework for Social Networks Policies Guido Governatori1 and Renato Iannella2 1 NICTA, Queensland Research Laboratory, Australia 2 Semantic Identity, Brisbane, Au

Source URL: www.governatori.net

Learning from Corrupted Binary Labels via Class-Probability Estimation Aditya Krishna Menon∗ ADITYA . MENON @ NICTA . COM . AU Brendan van Rooyen† BRENDAN . VANROOYEN @ NICTA . COM . AU

Source URL: jmlr.org

• Statistics
• Estimation theory
• Expectationmaximization algorithm
• Missing data
• Mathematical analysis
• Mathematics
• Probability distributions

Olivier Mehani French nationality Australian Permanent Residency NICTA, Mobile Systems Research Group

Source URL: olivier.mehani.name

Geolocation Prediction in Social Media Data by Finding Location Indicative Words HAN Bo1,2 Paul COOK 1 T imoth y BALDW I N 1,2 (1) University of Melbourne (2) NICTA

Source URL: cs.unb.ca

How Noisy Social Media Text, How Diffrnt Social Media Sources? Timothy Baldwin,♠♥ Paul Cook,♥ Marco Lui,♠♥ Andrew MacKinlay♠♥ and Li Wang♠♥ ♠ NICTA Victoria Research Laboratory ♥ Department of Compu

Source URL: cs.unb.ca

NICTA PHD SCHOLARSHIPS GUIDELINES Preamble National ICT Australia (NICTA) is Australia’s largest organisation dedicated to ICT research. The organisation’s primary goal is to pursue high-impact research excellence an

Source URL: www.nicta.com.au

Word Sense Induction for Novel Sense Detection Jey Han Lau,♠♡ Paul Cook,♡ Diana McCarthy, ♣ David Newman,♢ and Timothy Baldwin♠♡ ♠ NICTA Victoria Research Laboratory ♡ Dept of Computer Science and Softw

Source URL: cs.unb.ca

User-Guided Device Driver Synthesis Leonid Ryzhyk, University of Toronto, NICTA, and University of New South Wales; Adam Walker, NICTA and University of New South Wales; John Keys, Intel Corporation; Alexander Legg, NICT

Source URL: www.usenix.org