Skip to main content

Showing 1–29 of 29 results for author: Lau, D

.
  1. arXiv:2402.01213  [pdf, ps, other

    math.LO cs.LO

    Forcing with Language Fragments, Extending Namba Forcing, and Models of Theories with Constraints in Interpretation

    Authors: Desmond Lau

    Abstract: We develop a forcing framework based on the idea of amalgamating language fragments into a theory with a canonical Henkin model. We then demonstrate the usefulness of this framework by applying it to both the extended Namba problem and the analysis of models of certain theories with constraints in interpretation (TCIs). The foundations for a theory of TCIs and their models are laid in parallel to… ▽ More

    Submitted 25 March, 2024; v1 submitted 2 February, 2024; originally announced February 2024.

    Comments: 95 pages. Strengthened Lemma 3.29, added details to some proofs and refined the language of others

    MSC Class: 03E40 (Primary) 03D28 (Secondary) ACM Class: F.4.1

  2. arXiv:2312.16196  [pdf, other

    q-bio.QM

    Forecasting insect abundance using time series embedding and machine learning

    Authors: Gabriel R. Palma, Rodrigo F. Mello, Wesley A. C. Godoy, Eduardo Engel, Douglas Lau, Charles Markham, Rafael A. Moral

    Abstract: Implementing insect monitoring systems provides an excellent opportunity to create accurate interventions for insect control. However, selecting the appropriate time for an intervention is still an open question due to the inherent difficulty of implementing on-site monitoring in real-time. This decision is even more critical with insect species that can abruptly increase population size. A possib… ▽ More

    Submitted 22 December, 2023; originally announced December 2023.

    Comments: 27 pages

  3. arXiv:2209.02346  [pdf, other

    q-bio.QM

    Pattern-Based Prediction of Population Outbreaks

    Authors: Gabriel R. Palma, Wesley A. C. Godoy, Eduardo Engel, Douglas Lau, Edgar Galvan, Oliver Mason, Charles Markham, Rafael A. Moral

    Abstract: Insect outbreaks are biotic disturbances in forests and agroecosystems that cause economic and ecological damage. This phenomenon depends on a variety of biological and physical factors. The complexity and practical importance of the issue have made the problem of predicting outbreaks a focus of recent research. Here, we propose the Pattern-Based Prediction (PBP) method for predicting population o… ▽ More

    Submitted 6 September, 2022; originally announced September 2022.

    Comments: 40 pages

  4. arXiv:2201.03212  [pdf, other

    cs.CV cs.RO

    Why-So-Deep: Towards Boosting Previously Trained Models for Visual Place Recognition

    Authors: M. Usman Maqbool Bhutta, Yuxiang Sun, Darwin Lau, Ming Liu

    Abstract: Deep learning-based image retrieval techniques for the loop closure detection demonstrate satisfactory performance. However, it is still challenging to achieve high-level performance based on previously trained models in different geographical regions. This paper addresses the problem of their deployment with simultaneous localization and map** (SLAM) systems in the new environment. The general… ▽ More

    Submitted 10 January, 2022; originally announced January 2022.

  5. arXiv:2110.12325  [pdf, other

    cs.RO

    Fast High-Quality Tabletop Rearrangement in Bounded Workspace

    Authors: Kai Gao, Darren Lau, Baichuan Huang, Kostas E. Bekris, **g** Yu

    Abstract: In this paper, we examine the problem of rearranging many objects on a tabletop in a cluttered setting using overhand grasps. Efficient solutions for the problem, which capture a common task that we solve on a daily basis, are essential in enabling truly intelligent robotic manipulation. In a given instance, objects may need to be placed at temporary positions ("buffers") to complete the rearrange… ▽ More

    Submitted 23 October, 2021; originally announced October 2021.

    Comments: Summitted to 2022 IEEE International Conference on Robotics and Automation(ICRA 2022)

  6. arXiv:2107.00773  [pdf, other

    cs.RO cs.AI eess.SY

    Autonomous Navigation for Quadrupedal Robots with Optimized Jum** through Constrained Obstacles

    Authors: Scott Gilroy, Derek Lau, Lizhi Yang, Ed Izaguirre, Kristen Biermayer, Anxing Xiao, Mengti Sun, Ayush Agrawal, Jun Zeng, Zhongyu Li, Koushil Sreenath

    Abstract: Quadrupeds are strong candidates for navigating challenging environments because of their agile and dynamic designs. This paper presents a methodology that extends the range of exploration for quadrupedal robots by creating an end-to-end navigation framework that exploits walking and jum** modes. To obtain a dynamic jum** maneuver while avoiding obstacles, dynamically-feasible trajectories are… ▽ More

    Submitted 1 July, 2021; originally announced July 2021.

    Comments: Accepted to 2021 IEEE 17th International Conference on Automation Science and Engineering (CASE 2021)

  7. arXiv:2009.07407  [pdf, other

    physics.optics

    Hybrid Metasurfaces for Simultaneous Focusing and Filtering

    Authors: Mansoor A. Sultan, Fatih Balli, Daniel L. Lau, J. T. Hastings

    Abstract: This work presents the design and fabrication of simple, polymeric, structure-based optical filters that simultaneously focus light. These filters represent a novel design at the boundary between diffractive optics and metasurfaces that may provide significant advantages for both digital and hyperspectral imaging. The fabrication process for the proposed filters resembles 3D printing, and is based… ▽ More

    Submitted 20 September, 2020; v1 submitted 15 September, 2020; originally announced September 2020.

  8. arXiv:1909.05201  [pdf, other

    stat.CO stat.ME

    Plateau Proposal Distributions for Adaptive Component-wise Multiple-Try Metropolis

    Authors: F. Din-Houn Lau, Sebastian Krumscheid

    Abstract: Markov chain Monte Carlo (MCMC) methods are sampling methods that have become a commonly used tool in statistics, for example to perform Monte Carlo integration. As a consequence of the increase in computational power, many variations of MCMC methods exist for generating samples from arbitrary, possibly complex, target distributions. The performance of an MCMC method is predominately governed by t… ▽ More

    Submitted 10 June, 2021; v1 submitted 6 September, 2019; originally announced September 2019.

    Comments: 24 pages, 12 figures

  9. arXiv:1906.09230  [pdf, other

    stat.ML cs.LG

    Modeling and Forecasting Art Movements with CGANs

    Authors: Edoardo Lisi, Mohammad Malekzadeh, Hamed Haddadi, F. Din-Houn Lau, Seth Flaxman

    Abstract: Conditional Generative Adversarial Networks~(CGAN) are a recent and popular method for generating samples from a probability distribution conditioned on latent information. The latent information often comes in the form of a discrete label from a small set. We propose a novel method for training CGANs which allows us to condition on a sequence of continuous latent distributions… ▽ More

    Submitted 18 March, 2020; v1 submitted 21 June, 2019; originally announced June 2019.

    Comments: 15 pages, 6 figures

    Journal ref: Royal Society Open Science, 2020

  10. arXiv:1904.06127  [pdf, other

    cs.LG stat.AP stat.ML

    A streaming feature-based compression method for data from instrumented infrastructure

    Authors: Alastair Gregory, Din-Houn Lau, Alex Tessier, Pan Zhang

    Abstract: An increasing amount of civil engineering applications are utilising data acquired from infrastructure instrumented with sensing devices. This data has an important role in monitoring the response of these structures to excitation, and evaluating structural health. In this paper we seek to monitor pedestrian-events (such as a person walking) on a footbridge using strain and acceleration data. The… ▽ More

    Submitted 12 April, 2019; originally announced April 2019.

    Comments: 22 pages

  11. arXiv:1811.12542  [pdf, other

    eess.SP

    Blue-Noise Sampling on Graphs

    Authors: Alejandro Parada-Mayorga, Daniel L. Lau, Jhony H. Giraldo, Gonzalo R. Arce

    Abstract: In the area of graph signal processing, a graph is a set of nodes arbitrarily connected by weighted links; a graph signal is a set of scalar values associated with each node; and sampling is the problem of selecting an optimal subset of nodes from which a graph signal can be reconstructed. This paper proposes the use of spatial dithering on the vertex domain of the graph, as a way to conveniently… ▽ More

    Submitted 23 May, 2019; v1 submitted 29 November, 2018; originally announced November 2018.

  12. The synthesis of data from instrumented structures and physics-based models via Gaussian processes

    Authors: Alastair Gregory, Din-Houn Lau, Mark Girolami, Liam Butler, Mohammed Elshafie

    Abstract: A recent development which is poised to disrupt current structural engineering practice is the use of data obtained from physical structures such as bridges, viaducts and buildings. These data can represent how the structure responds to various stimuli over time when in operation, providing engineers with a unique insight into how their designs are performing. With the advent of advanced sensing t… ▽ More

    Submitted 29 April, 2019; v1 submitted 27 November, 2018; originally announced November 2018.

  13. Lorentz TEM investigation of chiral spin textures and Néel Skyrmions in asymmetric [Pt/(Co/Ni)$_M$/Ir]$_N$ multi-layer thin films

    Authors: Maxwell Li, Derek Lau, Marc De Graef, Vincent Sokalski

    Abstract: We examine magnetic domain patterns in symmetric [Co/Ni]$_M$ and asymmetric [Pt/(Co/Ni)$_M$/Ir]$_N$ multi-layers using Fresnel mode Lorentz transmission electron microscopy (LTEM). In the symmetric multi-layer, where the Dzyaloshinskii-Moriya Interaction is expected to be zero, we observe purely Bloch type domain walls with no preferred chirality. In the asymmetric multi-layers, where significant… ▽ More

    Submitted 5 November, 2018; originally announced November 2018.

    Journal ref: Phys. Rev. Materials 3, 064409 (2019)

  14. Disentangling factors governing Dzyaloshinskii domain wall creep in Co/Ni thin films using Pt$_x$Ir$_{1-x}$ seedlayers

    Authors: Derek Lau, James Price Pellegren, Hans Nembach, Justin Shaw, Vincent Sokalski

    Abstract: We characterize asymmetric growth of magnetic bubble domains in perpendicularly magnetized Co/Ni multi-layers grown on Pt$_x$Ir$_{1-x}$ seedlayers by application of perpendicular and in-plane magnetic fields. Using a refined model of domain wall creep that incorporates contributions from the anisotropic elastic energy, $\varepsilon$, and a chirality-dependent prefactor, $v_0$, we elucidate factors… ▽ More

    Submitted 16 August, 2018; originally announced August 2018.

    Journal ref: Phys. Rev. B 98, 184410 (2018)

  15. arXiv:1803.08444  [pdf, other

    stat.AP

    A Quantile-Based Approach to Modelling Recovery Time in Structural Health Monitoring

    Authors: Alastair Gregory, F. Din-Houn Lau, Liam Butler

    Abstract: Statistical techniques play a large role in the structural health monitoring of instrumented infrastructure, such as a railway bridge constructed with an integrated network of fibre optic sensors. One possible way to reason about the structural health of such a railway bridge, is to model the time it takes to recover to a no-load (baseline) state after a train passes over. Inherently, this recover… ▽ More

    Submitted 22 March, 2018; originally announced March 2018.

    Comments: 18 pages

  16. arXiv:1706.02715  [pdf, other

    cs.CV

    Causes and Corrections for Bimodal Multipath Scanning with Structured Light

    Authors: Yu Zhang, Daniel L. Lau, Ying Yu

    Abstract: Structured light illumination is an active 3-D scanning technique based on projecting/capturing a set of striped patterns and measuring the war** of the patterns as they reflect off a target object's surface. As designed, each pixel in the camera sees exactly one pixel from the projector; however, there are exceptions to this when the scanned surface has a complicated geometry with step edges an… ▽ More

    Submitted 8 June, 2017; originally announced June 2017.

  17. arXiv:1706.02698  [pdf, other

    cs.CV

    Structured Light Phase Measuring Profilometry Pattern Design for Binary Spatial Light Modulators

    Authors: Daniel L. Lau, Yu Zhang, Kai Liu

    Abstract: Structured light illumination is an active 3-D scanning technique based on projecting/capturing a set of striped patterns and measuring the war** of the patterns as they reflect off a target object's surface. In the case of phase measuring profilometry (PMP), the projected patterns are composed of a rolling sinusoidal wave, but as a set of time-multiplexed patterns, PMP requires the target surfa… ▽ More

    Submitted 8 June, 2017; originally announced June 2017.

  18. arXiv:1705.07595  [pdf

    cond-mat.mes-hall

    Magnetic field-induced enhancement of the nitrogen-vacancy fluorescence quantum yield

    Authors: M. Capelli, P. Reineck, D. W. M. Lau, A. Orth, J. Jeske, M. W. Doherty, T. Ohshima, A. D. Greentree, B. C. Gibson

    Abstract: The nitrogen-vacancy (NV) centre in diamond is a unique optical defect that is used in many applications today and methods to enhance its fluorescence brightness are highly sought after. We observed experimentally an enhancement of the NV quantum yield by up to 7% in bulk diamond caused by an external magnetic field relative to the field-free case. This observation is rationalised phenomenological… ▽ More

    Submitted 22 May, 2017; originally announced May 2017.

    Comments: 10 pages, 9 figures

  19. arXiv:1701.08505  [pdf, other

    quant-ph cond-mat.mes-hall physics.optics

    Optical Cryocooling of Diamond

    Authors: M. Kern, J. Jeske, D. M. W. Lau, A. D. Greentree, F. Jelezko, J. Twamley

    Abstract: The cooling of solids by optical means only using anti-Stokes emission has a long history of research and achievements. Such cooling methods have many advantages ranging from no-moving parts or fluids through to operation in vacuum and may have applications to cryosurgery. However achieving large optical cryocooling powers has been difficult to achieve except in certain rare-earth crystals. Throug… ▽ More

    Submitted 30 January, 2017; originally announced January 2017.

    Comments: 8 pages, 6 figures

    Journal ref: Phys. Rev. B 95, 235306 (2017)

  20. arXiv:1609.04386  [pdf, other

    cond-mat.mtrl-sci cond-mat.mes-hall

    Dispersive Stiffness of Dzyaloshinskii Domain Walls

    Authors: Price Pellegren, Derek Lau, Vincent Sokalski

    Abstract: It is well documented that subjecting perpendicular magnetic films which exhibit the interfacial Dzyaloshinskii-Moriya interaction (DMI) to an in-plane magnetic field results in a domain wall (DW) energy, $σ$, that is highly anisotropic with respect to the orientation of the DW in the film plane, $Θ$. We demonstrate that this anisotropy has a profound impact on the elastic response of the DW as ch… ▽ More

    Submitted 12 June, 2017; v1 submitted 14 September, 2016; originally announced September 2016.

    Journal ref: Phys. Rev. Lett. 119, 027203 (2017)

  21. arXiv:1607.04146  [pdf

    cond-mat.mtrl-sci physics.bio-ph q-bio.BM

    Molecular Mechanics of Chitin-Protein Interface

    Authors: Zechuan Yu, Denvid Lau

    Abstract: Chitin and protein are two main building blocks for many natural biomaterials. The interaction between chitin and protein critically determines the properties of the composite biological materials. As living organisms usually encounter complex ambient conditions like water, pH and ions are critical factors towards the structural integrity of biomaterials. It is therefore essential to study the chi… ▽ More

    Submitted 24 July, 2016; v1 submitted 12 July, 2016; originally announced July 2016.

    Comments: Conference proceeding for: Zechuan Yu and Denvid Lau (2014), "Molecular mechanics of chitin-protein interface", 7th World Congress of Biomechanics, 6-11 July, Boston, MA, USA

  22. Energetic molding of chiral magnetic bubbles

    Authors: Derek Lau, Vignesh Sundar, Jian-Gang Zhu, Vincent Sokalski

    Abstract: Topologically protected magnetic structures such as skyrmions and domain walls (DWs) have drawn a great deal of attention recently due to their thermal stability and potential for manipulation by spin current, which is the result of chiral magnetic configurations induced by the interfacial Dzyaloshinskii-Moriya Interaction (DMI). Designing devices that incorporate DMI necessitates a thorough under… ▽ More

    Submitted 25 May, 2016; v1 submitted 11 April, 2016; originally announced April 2016.

    Journal ref: Phys. Rev. B 94, 060401 (2016)

  23. arXiv:1602.07418  [pdf, other

    quant-ph cond-mat.mes-hall cond-mat.mtrl-sci physics.atom-ph physics.optics

    Stimulated emission from NV centres in diamond

    Authors: Jan Jeske, Desmond W. M. Lau, Liam P. McGuinness, Philip Reineck, Brett C. Johnson, Jeffrey C. McCallum, Fedor Jelezko, Thomas Volz, Jared H. Cole, Brant C. Gibson, Andrew D. Greentree

    Abstract: Stimulated emission is the process fundamental to laser operation, thereby producing coherent photon output. Despite negatively-charged nitrogen-vacancy (NV$^-$) centres being discussed as a potential laser medium since the 1980's, there have been no definitive observations of stimulated emission from ensembles of NV$^-$ to date. Reasons for this lack of demonstration include the short excited sta… ▽ More

    Submitted 24 February, 2016; originally announced February 2016.

  24. arXiv:1602.06611  [pdf

    physics.optics

    Remote Nanodiamond Magnetometry

    Authors: Yinlan Ruan, David A. Simpson, Jan Jeske, Heike Ebendorff-Heidepriem, Desmond W. M. Lau, Hong Ji, Brett C. Johnson, Takeshi Ohshima, Shahraam Afshar V., Lloyd Hollenberg, Andrew D. Greentree, Tanya M. Monro, Brant C. Gibson

    Abstract: Optical fibres have transformed the way people interact with the world and now permeate many areas of science. Optical fibres are traditionally thought of as insensitive to magnetic fields, however many application areas from mining to biomedicine would benefit from fibre-based remote magnetometry devices. In this work, we realise such a device by embedding nanoscale magnetic sensors into tellurit… ▽ More

    Submitted 21 February, 2016; originally announced February 2016.

    Comments: 10 pages,4 figures

  25. The chopthin algorithm for resampling

    Authors: Axel Gandy, F. Din-Houn Lau

    Abstract: Resampling is a standard step in particle filters and more generally sequential Monte Carlo methods. We present an algorithm, called chopthin, for resampling weighted particles. In contrast to standard resampling methods the algorithm does not produce a set of equally weighted particles; instead it merely enforces an upper bound on the ratio between the weights. Simulation studies show that the ch… ▽ More

    Submitted 6 April, 2016; v1 submitted 26 February, 2015; originally announced February 2015.

    Comments: 14 pages, 4 figures

  26. arXiv:1307.0742  [pdf, other

    stat.ME

    RMCMC: A System for Updating Bayesian Models

    Authors: F. Din-Houn Lau, Axel Gandy

    Abstract: A system to update estimates from a sequence of probability distributions is presented. The aim of the system is to quickly produce estimates with a user-specified bound on the Monte Carlo error. The estimates are based upon weighted samples stored in a database. The stored samples are maintained such that the accuracy of the estimates and quality of the samples is satisfactory. This maintenance i… ▽ More

    Submitted 3 June, 2014; v1 submitted 2 July, 2013; originally announced July 2013.

  27. Direct measurement and modelling of internal strains in ion-implanted diamond

    Authors: Federico Bosia, Nicola Argiolas, Marco Bazzan, Barbara A. Fairchild, Andrew D. Greentree, Desmond W. M. Lau, Paolo Olivero, Federico Picollo, Sergey Rubanov, Steven Prawer

    Abstract: We present a phenomenological model and Finite Element simulations to describe the depth variation of mass density and strain of ion-implanted single-crystal diamond. Several experiments are employed to validate the approach: firstly, samples implanted with 180 keV B ions at relatively low fluences are characterized using high-resolution X-ray diffraction (HR-XRD); secondly, the mass density varia… ▽ More

    Submitted 1 March, 2013; originally announced March 2013.

    Comments: 40 pages, 9 figures, submitted to Physical Review B

  28. arXiv:1205.1937  [pdf, other

    stat.ME

    Optimality of Non-Restarting CUSUM charts

    Authors: F. Din-Houn Lau, Axel Gandy

    Abstract: We show optimality, in a well-defined sense, using cumulative sum (CUSUM) charts for detecting changes in distributions. We consider a setting with multiple changes between two known distributions. This result advocates the use of non-restarting CUSUM charts with an upper boundary. Typically, after signalling, a CUSUM chart is restarted by setting it to some value below the threshold. A non-restar… ▽ More

    Submitted 9 May, 2012; originally announced May 2012.

    Comments: 10 pages, 3 figures

  29. Non-Restarting CUSUM charts and Control of the False Discovery Rate

    Authors: Axel Gandy, F. Din-Houn Lau

    Abstract: Cumulative sum (CUSUM) charts are typically used to detect changes in a stream of observations e.g. shifts in the mean. Usually, after signalling, the chart is restarted by setting it to some value below the signalling threshold. We propose a non-restarting CUSUM chart which is able to detect periods during which the stream is out of control. Further, we advocate an upper boundary to prevent the C… ▽ More

    Submitted 19 April, 2012; originally announced April 2012.

    Comments: 10 pages, 2 figures

    Journal ref: Biometrika (2013) 100 (1): 261-268