Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- The University of SydneyAU578 papers
- Australian National UniversityAU542 papers
- Commonwealth Scientific and Industrial Research OrganisationAU329 papers
- Centre National de la Recherche ScientifiqueFR319 papers
- Macquarie UniversityAU309 papers
- Data61AU268 papers
- University of CambridgeGB253 papers
- Australian Astronomical ObservatoryAU246 papers
- Centre for Quantum Computation and Communication TechnologyAU243 papers
- Australian Defence Force AcademyAU233 papers
- ARC Centre of Excellence for All-sky AstrophysicsAU232 papers
- Swinburne University of TechnologyAU209 papers
284 papers · 1 filter
Modelling and Verifying the AODV Routing Protocol
Rob van Glabbeek, Peter Höfner, Marius Portmann +1
This paper presents a formal specification of the Ad hoc On-Demand Distance Vector (AODV) routing protocol using AWN (Algebra for Wireless Networks), a recent process algebra which…
Automated Analysis of AODV using UPPAAL
Ansgar Fehnker, Rob van Glabbeek, Peter Höfner +3
This paper describes an automated, formal and rigorous analysis of the Ad hoc On-Demand Distance Vector (AODV) routing protocol, a popular protocol used in wireless mesh networks.…
A Process Algebra for Wireless Mesh Networks
Ansgar Fehnker, Rob van Glabbeek, Peter Höfner +3
We propose a process algebra for wireless mesh networks that combines novel treatments of local broadcast, conditional unicast and data structures. In this framework, we model the…
The Pan-Pacific Planet Search. IV. Two super-Jupiters in a 3:5 resonance orbiting the giant star HD33844
Robert A. Wittenmyer, John Asher Johnson, R. P. Butler +9
We report the discovery of two giant planets orbiting the K giant HD 33844 based on radial velocity data from three independent campaigns. The planets move on nearly circular orbit…
Modelling and Analysis of AODV in UPPAAL
Ansgar Fehnker, Rob van Glabbeek, Peter Höfner +3
This paper describes work in progress towards an automated formal and rigorous analysis of the Ad hoc On-Demand Distance Vector (AODV) routing protocol, a popular protocol used in…
Secrecy Wireless Information and Power Transfer: Challenges and Opportunities
Xiaoming Chen, Derrick Wing Kwan Ng, Hsiao-Hwa Chen
Wireless information and power transfer (WIPT) enables more sustainable and resilient communications owing to the fact that it avoids frequent battery charging and replacement. How…
Planck cold clumps in the Orionis complex: I. Discovery of an extremely young Class 0 protostellar object and a proto-brown dwarf candidate in a bright rimmed clump PGCC G192.32-11.88
Tie Liu, Qizhou Zhang, Kee-Tae Kim +37
We are performing a series of observations with ground-based telescopes toward Planck Galactic cold clumps (PGCCs) in the Orionis complex in order to systematically investigate…
A multiferroic on the brink: uncovering the nuances of strain-induced transitions in BiFeO
Daniel Sando, Bin Xu, Laurent Bellaiche +1
Bismuth ferrite (BiFeO) is one of the very few known single-phase multiferroic materials. While the bulk compound is rhombohedral (R), the discovery of an epitaxial strain-indu…
Evolution of Privacy Loss in Wikipedia
Marian-Andrei Rizoiu, Lexing Xie, Tiberio Caetano +1
The cumulative effect of collective online participation has an important and adverse impact on individual privacy. As an online system evolves over time, new digital traces of ind…
Three planets orbiting Wolf 1061
D. J. Wright, R. A. Wittenmyer, C. G. Tinney +2
We use archival HARPS spectra to detect three planets orbiting the M3 dwarf Wolf1061 (GJ 628). We detect a 1.36 Mearth minimum-mass planet with an orbital period P = 4.888d (Wolf10…
The Quantum Car
Robert Malaney
I explore the use of quantum information as a security enabler for the future driverless vehicle. Specifically, I investigate the role combined classical and quantum information ca…
Two New Long-Period Giant Planets from the McDonald Observatory Planet Search and Two Stars with Long-Period Radial Velocity Signals Related to Stellar Activity Cycles
Michael Endl, Erik J. Brugamyer, William D. Cochran +16
We report the detection of two new long-period giant planets orbiting the stars HD 95872 and HD 162004 (psi1 Draconis B) by the McDonald Observatory planet search. The planet HD 95…
Cooperative Estimation for Synchronization of Heterogeneous Multi-Agent Systems Using Relative Information
Jingbo Wu, Valery Ugrinovskii, Frank Allgöwer
In this paper, we present a distributed estimation setup where local agents estimate their states from relative measurements received from their neighbours. In the case of heteroge…
An improved model of an actively contracting lymphatic vessel composed of several lymphangions: pumping characteristics
C. D. Bertram, C. Macaskill, J. E. Moore
Using essentially our 2011 numerical model of a multi-lymphangion segment of a collecting lymphatic vessel, but augmented by inclusion of a refractory period and definition of a mi…
Unusual shock-excited OH maser emission in a young Planetary Nebula
Hai-Hua Qiao, Andrew J. Walsh, Jose F. Gomez +9
We report on OH maser emission toward G336.644-0.695 (IRAS 16333-4807), which is a H2O maser-emitting Planetary Nebula (PN). We have detected 1612, 1667 and 1720 MHz OH masers at t…
Spitzer Microlensing Program as a Probe for Globular Cluster Planets. Analysis of OGLE-2015-BLG-0448
Radosław Poleski, Wei Zhu, Grant W. Christie +83
The microlensing event OGLE-2015-BLG-0448 was observed by Spitzer and lay within the tidal radius of the globular cluster NGC 6558. The event had moderate magnification and was int…
Unveiling Contextual Similarity of Things via Mining Human-Thing Interactions in the Internet of Things
Lina Yao, Quan Z. Sheng, Anne H. H. Ngu +2
With recent advances in radio-frequency identification (RFID), wireless sensor networks, and Web services, physical things are becoming an integral part of the emerging ubiquitous…
Needlet approximation for isotropic random fields on the sphere
Quoc T. Le Gia, Ian H. Sloan, Yu Guang Wang +1
In this paper we establish a multiscale approximation for random fields on the sphere using spherical needlets --- a class of spherical wavelets. We prove that the semidiscrete nee…
Dynamics for QCD on an infinite lattice
Hendrik Grundling, Gerd Rudolph
We prove the existence of the dynamics automorphism group for Hamiltonian QCD on an infinite lattice in R^3, and this is done in a C*-algebraic context. The existence of ground sta…
The far-infrared behaviour of Herbig Ae/Be discs: Herschel PACS photometry
N. Pascual, B. Montesinos, G. Meeus +3
Herbig Ae/Be objects are pre-main sequence stars surrounded by gas- and dust-rich circumstellar discs. These objects are in the throes of star and planet formation, and their chara…
The Carina Nebula and Gum 31 molecular complex: I. Molecular gas distribution, column densities and dust temperatures
David Rebolledo, Michael Burton, Anne Green +6
We report high resolution observations of the CO and CO molecular lines in the Carina Nebula and the Gum 31 region obtained with the…
Energy-Efficient Resource Allocation for Wireless Powered Communication Networks
Qingqing Wu, Meixia Tao, Derrick Wing Kwan Ng +2
This paper considers a wireless powered communication network (WPCN), where multiple users harvest energy from a dedicated power station and then communicate with an information re…
Do micromagnets expose spin qubits to charge and Johnson noise?
Allen Kha, Robert Joynt, Dimitrie Culcer
An ideal quantum dot spin qubit architecture requires a local magnetic field for one-qubit rotations. Such an inhomogeneous magnetic field, which could be implemented via a microma…
Physical properties of the planetary systems WASP-45 and WASP-46 from simultaneous multi-band photometry
S. Ciceri, L. Mancini, J. Southworth +45
Accurate measurements of the physical characteristics of a large number of exoplanets are useful to strongly constrain theoretical models of planet formation and evolution, which l…