Institution
NICTA
Other•Sydney, New South Wales, Australia•
About: NICTA is a other organization based out in Sydney, New South Wales, Australia. It is known for research contribution in the topics: Wireless network & Cloud computing. The organization has 874 authors who have published 2514 publications receiving 79873 citations. The organization is also known as: NICTA & Australia's Information and Communications Technology.
Topics: Wireless network, Cloud computing, Robustness (computer science), Wireless sensor network, The Internet
Papers published on a yearly basis
Papers
More filters
••
Mohammad H. Forouzanfar1, Lily Alexander, H. Ross Anderson, Victoria F Bachman1 +733 more•Institutions (289)
TL;DR: The Global Burden of Disease, Injuries, and Risk Factor study 2013 (GBD 2013) as discussed by the authors provides a timely opportunity to update the comparative risk assessment with new data for exposure, relative risks, and evidence on the appropriate counterfactual risk distribution.
5,668 citations
••
11 Oct 2009TL;DR: To the knowledge, this is the first formal proof of functional correctness of a complete, general-purpose operating-system kernel.
Abstract: Complete formal verification is the only known way to guarantee that a system is free of programming errorsWe present our experience in performing the formal, machine-checked verification of the seL4 microkernel from an abstract specification down to its C implementation We assume correctness of compiler, assembly code, and hardware, and we used a unique design approach that fuses formal and operating systems techniques To our knowledge, this is the first formal proof of functional correctness of a complete, general-purpose operating-system kernel Functional correctness means here that the implementation always strictly follows our high-level abstract specification of kernel behaviour This encompasses traditional design and implementation safety properties such as the kernel will never crash, and it will never perform an unsafe operation It also proves much more: we can predict precisely how the kernel will behave in every possible situationseL4, a third-generation microkernel of L4 provenance, comprises 8,700 lines of C code and 600 lines of assembler Its performance is comparable to other high-performance L4 kernels
1,629 citations
••
Christopher J L Murray1, Ryan M Barber, Kyle J Foreman2, Ayse Abbasoglu Ozgoren +608 more•Institutions (251)
TL;DR: Patterns of the epidemiological transition with a composite indicator of sociodemographic status, which was constructed from income per person, average years of schooling after age 15 years, and the total fertility rate and mean age of the population, were quantified.
1,609 citations
•
04 Dec 2006TL;DR: This work proposes two statistical tests to determine if two samples are from different distributions, and applies this approach to a variety of problems, including attribute matching for databases using the Hungarian marriage method, where the test performs strongly.
Abstract: We propose two statistical tests to determine if two samples are from different distributions. Our test statistic is in both cases the distance between the means of the two samples mapped into a reproducing kernel Hilbert space (RKHS). The first test is based on a large deviation bound for the test statistic, while the second is based on the asymptotic distribution of this statistic. The test statistic can be computed in O(m2) time. We apply our approach to a variety of problems, including attribute matching for databases using the Hungarian marriage method, where our test performs strongly. We also demonstrate excellent performance when comparing distributions over graphs, for which no alternative tests currently exist.
1,391 citations
•
TL;DR: In this paper, the largest difference in expectations over functions in the unit ball of a reproducing kernel Hilbert space (RKHS) is defined, and the test statistic can be computed in quadratic time, although efficient linear time approximations are available.
Abstract: We propose a framework for analyzing and comparing distributions, allowing us to design statistical tests to determine if two samples are drawn from different distributions. Our test statistic is the largest difference in expectations over functions in the unit ball of a reproducing kernel Hilbert space (RKHS). We present two tests based on large deviation bounds for the test statistic, while a third is based on the asymptotic distribution of this statistic. The test statistic can be computed in quadratic time, although efficient linear time approximations are available. Several classical metrics on distributions are recovered when the function space used to compute the difference in expectations is allowed to be more general (eg. a Banach space). We apply our two-sample tests to a variety of problems, including attribute matching for databases using the Hungarian marriage method, where they perform strongly. Excellent performance is also obtained when comparing distributions over graphs, for which these are the first such tests.
1,259 citations
Authors
Showing all 883 results
Name | H-index | Papers | Citations |
---|---|---|---|
David Smith | 129 | 2184 | 100917 |
Alexander J. Smola | 122 | 434 | 110222 |
Xiaodong Li | 104 | 1300 | 49024 |
Quoc V. Le | 103 | 217 | 101217 |
Brian D. O. Anderson | 96 | 1107 | 47104 |
Chunhua Shen | 93 | 681 | 37468 |
Le Song | 76 | 345 | 21382 |
Richard Hartley | 75 | 429 | 45271 |
Barbara Kitchenham | 71 | 233 | 26140 |
Justin Zobel | 68 | 320 | 17250 |
Fatih Porikli | 66 | 412 | 20807 |
Toby Walsh | 66 | 538 | 19101 |
Ke Wang | 66 | 470 | 16849 |
Xuemin Lin | 64 | 461 | 15268 |
David Greenaway | 64 | 251 | 18268 |