1.1k citations
- Data61AU16 papers
- Universität GreifswaldDE11 papers
- Centre for Quantum Computation and Communication TechnologyAU10 papers
- Centre National de la Recherche ScientifiqueFR7 papers
- Los Alamos National LaboratoryUS6 papers
- Swinburne University of TechnologyAU6 papers
- The University of MelbourneAU6 papers
- University of WollongongAU6 papers
- Australian National UniversityAU5 papers
- Massey UniversityNZ5 papers
- Petersburg Nuclear Physics InstituteRU5 papers
- University of CambridgeGB5 papers
16 papers · 1 filter
A Stochastic Representation for Backward Incompressible Navier-Stokes Equations
Xicheng Zhang
By reversing the time variable we derive a stochastic representation for backward incompressible Navier-Stokes equations in terms of stochastic Lagrangian paths, which is similar t…
On Finite Bases for Weak Semantics: Failures versus Impossible Futures
Taolue Chen, Wan Fokkink, Rob van Glabbeek
We provide a finite basis for the (in)equational theory of the process algebra BCCS modulo the weak failures preorder and equivalence. We also give positive and negative results re…
Naturality of Rieffel's Morita equivalence for proper actions
Astrid an Huef, S. Kaliszewski, Iain Raeburn +1
Suppose that a locally compact group acts freely and properly on the right of a locally compact space . Rieffel proved that if is an action of on a -algebra …
Optical identification of a new cataclysmic variable from integral all sky survey: IGR J08390--4833
M. Revnivtsev, A. Kniazev, S. Sazonov +6
We have optically identified a recently discovered INTEGRAL source, IGR J08390--4833, with a cataclysmic variable, i.e. an accreting white dwarf in a binary system. The spectrum ex…
Generalised linear mixed model analysis via sequential Monte Carlo sampling
Y. Fan, D. S. Leslie, M. P. Wand
We present a sequential Monte Carlo sampler algorithm for the Bayesian analysis of generalised linear mixed models (GLMMs). These models support a variety of interesting regression…
Moduli of bundles on exotic del Pezzo orders
Daniel Chan, Rajesh Kulkarni
Maximal orders of rank 4 on the projective plane, ramified on a smooth plane quartic are examples of exotic del Pezzo orders. We compute the possible Chern classes for line bundles…