Source author record

Mark Reynolds

Mark Reynolds appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

16works
9topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

16 published item(s)

preprint2020arXiv

Take a NAP: Non-Autoregressive Prediction for Pedestrian Trajectories

Pedestrian trajectory prediction is a challenging task as there are three properties of human movement behaviors which need to be addressed, namely, the social influence from other pedestrians, the scene constraints, and the multimodal (multiroute) nature of predictions. Although existing methods have explored these key properties, the prediction process of these methods is autoregressive. This means they can only predict future locations sequentially. In this paper, we present NAP, a non-autoregressive method for trajectory prediction. Our method comprises specifically designed feature encoders and a latent variable generator to handle the three properties above. It also has a time-agnostic context generator and a time-specific context generator for non-autoregressive prediction. Through extensive experiments that compare NAP against several recent methods, we show that NAP has state-of-the-art trajectory prediction performance.

preprint2020arXiv

Top-k Socio-Spatial Co-engaged Location Selection for Social Users

With the advent of location-based social networks, users can tag their daily activities in different locations through check-ins. These check-in locations signify user preferences for various socio-spatial activities and can be used to build their profiles to improve the quality of services in some applications such as recommendation systems, advertising, and group formation. To support such applications, in this paper, we formulate a new problem of identifying top-k Socio-Spatial co-engaged Location Selection (SSLS) for users in a social graph, that selects the best set of k locations from a large number of location candidates relating to the user and her friends. The selected locations should be (i) spatially and socially relevant to the user and her friends, and (ii) diversified in both spatially and socially to maximize the coverage of friends in the spatial space. This problem has been proved as NP-hard. To address the challenging problem, we first develop a branch-and-bound based Exact solution by designing some pruning strategies based on the derived bounds on diversity. To make the solution scalable for large datasets, we also develop an approximate solution by deriving the relaxed bounds and advanced termination rules to filter out insignificant intermediate results. To further accelerate the efficiency, we present one fast exact approach and a meta-heuristic approximate approach by avoiding the repeated computation of diversity at the running time. Finally, we have performed extensive experiments to evaluate the performance of our proposed models and algorithms against the adapted existing methods using four real-world large datasets.

preprint2020arXiv

Variable Accretion onto Protoplanet Host Star PDS 70

The PDS 70 system has been subject to many studies in the past year following the discovery of two accreting planets in the gap of its circumstellar disk. Nevertheless, the mass accretion rate onto the star is still not well known. Here we determined the stellar mass accretion rate and its variability based on TESS and HARPS observations. The stellar light curve shows a strong signal with a $3.03\pm0.06$ days period, which we attribute to stellar rotation. Our analysis of the HARPS spectra shows a rotational velocity of $v\sin\,i=16.0\pm0.5\,{\rm km\,s^{-1}}$, indicating that the inclination of the rotation axis is $50\pm8$ degrees. This implies that the rotation axes of the star and its circumstellar disk are parallel within the measurement error. We apply magnetospheric accretion models to fit the profiles of the H$α$ line and derive mass accretion rates onto the star in the range of $0.6-2.2\times10^{-10}\,{\rm M_{\odot}yr^{-1}}$, varying over the rotation phase. The measured accretion rates are in agreement with those estimated from NUV fluxes using accretion shock models. The derived accretion rates are higher than expected from the disk mass and planets properties for the low values of the viscous parameter $α$ suggested by recent studies, potentially pointing to an additional mass reservoir in the inner disk to feed the accretion, such as a dead zone. We find that the He I $λ$10830 line shows a blueshifted absorption feature, indicative of a wind. The mass-loss rate estimated from the line depth is consistent with an accretion-driven inner disk MHD wind.

preprint2016arXiv

A New Rule for LTL Tableaux

Propositional linear time temporal logic (LTL) is the standard temporal logic for computing applications and many reasoning techniques and tools have been developed for it. Tableaux for deciding satisfiability have existed since the 1980s. However, the tableaux for this logic do not look like traditional tree-shaped tableau systems and their processing is often quite complicated. In this paper, we introduce a novel style of tableau rule which supports a new simple traditional-style tree-shaped tableau for LTL. We prove that it is sound and complete. As well as being simple to understand, to introduce to students and to use, it is also simple to implement and is competitive against state of the art systems. It is particularly suitable for parallel implementations.

preprint2016arXiv

A traditional tree-style tableau for LTL

Propositional linear time temporal logic (LTL) is the standard temporal logic for computing applications and many reasoning techniques and tools have been developed for it. Tableaux for deciding satisfiability have existed since the 1980s. However, the tableaux for this logic do not look like traditional tree-shaped tableau systems and their processing is often quite complicated. We present a new simple traditional-style tree-shaped tableau for LTL and prove that it is sound and complete. As well as being simple to understand, to introduce to students and to use manually, it also seems simple to implement and promises to be competitive in its automation. It is particularly suitable for parallel implementations.

preprint2016arXiv

Deep Chandra Observations of the Compact Starburst Galaxy Henize 2-10: X-rays from the Massive Black Hole

We present follow-up X-ray observations of the candidate massive black hole (BH) in the nucleus of the low-mass, compact starburst galaxy Henize 2-10. Using new high-resolution observations from the Chandra X-ray Observatory totaling 200 ks in duration, as well as archival Chandra observations from 2001, we demonstrate the presence of a previously unidentified X-ray point source that is spatially coincident with the known nuclear radio source in Henize 2-10 (i.e., the massive BH). We show that the hard X-ray emission previously identified in the 2001 observation is dominated by a source that is distinct from the nucleus, with the properties expected for a high-mass X-ray binary. The X-ray luminosity of the nuclear source suggests the massive BH is radiating significantly below its Eddington limit (~10^-6 L_Edd), and the soft spectrum resembles other weakly accreting massive BHs including Sagittarius A*. Analysis of the X-ray light curve of the nucleus reveals the tentative detection of a ~9-hour periodicity, although additional observations are required to confirm this result. Our study highlights the need for sensitive high-resolution X-ray observations to probe low-level accretion, which is the dominant mode of BH activity throughout the Universe.

preprint2016arXiv

Finding Minimum and Maximum Termination Time of Timed Automata Models with Cyclic Behaviour

The paper presents a novel algorithm for computing best and worst case execution times (BCET/WCET) of timed automata models with cyclic behaviour. The algorithms can work on any arbitrary diagonal-free TA and can handle more cases than previously existing algorithms for BCET/WCET computations, as it can handle cycles in TA and decide whether they lead to an infinite WCET. We show soundness of the proposed algorithm and study its complexity. To our knowledge, this is the first model checking algorithm that addresses comprehensively the BCET/WCET problem of systems with cyclic behaviour. Behrmann et al. provide an algorithm for computing the minimum cost/time of reaching a goal state in priced timed automata (PTA). The algorithm has been implemented in the well-known model checking tool UPPAAL to compute the minimum time for termination of an automaton. However, we show that in certain circumstances, when infinite cycles exist, the algorithm implemented in UPPAAL may not terminate, and we provide examples which UPPAAL fails to verify.

preprint2014arXiv

The Rate of Gas Accretion onto Black Holes Drives Jet Velocity

Accreting black holes are observed to launch relativistic, collimated jets of matter and radiation. In some sources, discrete ejections have been detected with highly relativistic velocities. These particular sources typically have very high mass accretion rates, while sources lower knot velocities are predominantly associated with black holes with relatively low mass accretion rates. We quantify this behavior by examining knot velocity with respect to X-ray luminosity, a proxy for mass accretion rate onto the black hole. We find a positive correlation between the mass-scaled X-ray luminosity and jet knot velocity. In addition, we find evidence that the jet velocity is also a function of polar angle, supporting the "spine-sheath" model of jet production. Our results reveal a fundamental aspect of how accretion shapes mechanical feedback from black holes into their host environments.

preprint2013arXiv

A Faster Tableau for CTL*

There have been several recent suggestions for tableau systems for deciding satisfiability in the practically important branching time temporal logic known as CTL*. In this paper we present a streamlined and more traditional tableau approach built upon the author's earlier theoretical work. Soundness and completeness results are proved. A prototype implementation demonstrates the significantly improved performance of the new approach on a range of test formulas. We also see that it compares favourably to state of the art, game and automata based decision procedures.

preprint2013arXiv

A Swift survey of accretion onto stellar-mass black holes

We present a systemic analysis of all of the stellar mass black hole binaries (confirmed & candidate) observed by the Swift observatory up to June 2010. The broad Swift bandpass enables a trace of disk evolution over an unprecedented range in flux and temperature. The final data sample consists of 476 X-ray spectra containing greater than 100 counts, in the 0.6 -- 10 keV band. This is the largest sample of high quality CCD spectra of accreting black holes published to date. In addition, strictly simultaneous data at optical/UV wavelengths are available for 255 (54%) of these observations. The data are modelled with a combination of an accretion disk and a hard spectral component. For the hard component we consider both a simple power-law and a thermal Comptonization model. An accretion disk is detected at greater than the 5sigma confidence level in 61% of the observations. Lightcurves and color-color diagrams are constructed for each system. Hardness luminosity and disk fraction luminosity diagrams are constructed and are observed to be consistent with those typically observed by RXTE, noting the sensitivity below 2 keV provided by Swift. The observed spectra have an average luminosity of ~ 1% Eddington, though we are sensitive to accretion disks down to a luminosity of 10^{-3} L_Edd. Thus this is also the largest sample of such cool accretion disks studied to date. (abridged)

preprint2013arXiv

G306.3-0.9: A newly discovered young galactic supernova remnant

We present X-ray and radio observations of the new Galactic supernova remnant (SNR) G306.3-0.9, recently discovered by Swift. Chandra imaging reveals a complex morphology, dominated by a bright shock. The X-ray spectrum is broadly consistent with a young SNR in the Sedov phase, implying an age of 2500 yr for a distance of 8 kpc, plausibly identifying this as one of the 20 youngest Galactic SNRs. Australia Telescope Compact Array (ATCA) imaging reveals a prominent ridge of radio emission that correlates with the X-ray emission. We find a flux density of ~ 160 mJy at 1 GHz, which is the lowest radio flux recorded for a Galactic SNR to date. The remnant is also detected at 24microns, indicating the presence of irradiated warm dust. The data reveal no compelling evidence for the presence of a compact stellar remnant.

preprint2013arXiv

RATS-Kepler -- a deep high cadence survey of the Kepler field

We outline the purpose, strategy and first results of a deep, high cadence, photometric survey of the Kepler field using the Isaac Newton Telescope on La Palma and the MDM 1.3m Telescope on Kitt Peak. Our goal was to identify sources located in the Kepler field of view which are variable on a timescale of a few mins to 1 hour. The astrophysically most interesting sources would then have been candidates for observation using Kepler using 1 min sampling. Our survey covered ~42% of the Kepler field of view and we have obtained light curves for 7.1x10^5 objects in the range 13<g<20. We have discovered more than 100 variable sources which have passed our two stage identification process. As a service to the wider community, we make our data products and cleaned CCD images available to download. We obtained Kepler data of 18 sources which we found to be variable using our survey and we give an overview of the currently available data here. These sources include a pulsating DA white dwarf, eleven delta Sct stars which have dominant pulsation periods in the range 24 min to 2.35 hrs, three contact binaries, and a cataclysmic variable (V363 Lyr). One of the delta Sct stars is in a contact binary.

preprint2013arXiv

Specifying Robustness

This paper proposes a new logic RoCTL* to model robustness in concurrent systems. RoCTL* extends CTL* with the addition of Obligatory and Robustly operators, which quantify over failure-free paths and paths with one more failure respectively. We present a number of examples of problems to which RoCTL* can be applied. The core result of this paper is to show that RoCTL* is expressively equivalent to CTL* but is non-elementarily more succinct. We present a translation from RoCTL* into CTL* that preserves truth but may result in non-elementary growth in the length of the translated formula as each nested Robustly operator may result in an extra exponential blowup. However, we show that this translation is optimal in the sense that any equivalence preserving translation will require an extra exponential growth per nested Robustly. We also compare RoCTL* to Quantified CTL* (QCTL*) and hybrid logics.

preprint2011arXiv

An Anomalous Quiescent Stellar Mass Black Hole

We present the results of a 40 ks Chandra observation of the quiescent stellar mass black hole GS 1354-64. A total of 266 net counts are detected at the position of this system. The resulting spectrum is found to be consistent with the spectra of previously observed quiescent black holes, i.e., a power-law with a photon index of Γ~ 2. The inferred luminosity in the 0.5 -- 10 keV band is found to lie in the range 0.5 - 6.5 x 10^{34} erg/s, where the uncertainty in the distance is the dominant source of this large luminosity range. Nonetheless, this luminosity is over an order of magnitude greater than that expected from the known distribution of quiescent stellar mass black hole luminosities and makes GS 1354-64 the only known stellar mass black hole to disagree with this relation. This observation suggests the possibility of significant accretion persisting in the quiescent state.

preprint2010arXiv

Suzaku Observations of the Galactic Center Microquasar 1E 1740.7-2942

We present two Suzaku observations of the Galactic center microquasar 1E 1740.7-2942 separated by approximately 700 days. The source was observed on both occasions after a transition to the spectrally hard state. Significant emission from 1E 1740.7-2942 is detected out to an energy of 300 keV, with no spectral break or turnover evident in the data. We tentatively measure a lower limit to the cut-off energy of ~ 380 keV. The spectra are found to be consistent with a Comptonized corona on both occasions, where the high energy emission is consistent with a hard power-law (Γ~ 1.8) with a significant contribution from an accretion disc with a temperature of ~ 0.4 keV at soft X-ray energies. The measured value for the inner radius of the accretion disc is found to be inconsistent with the picture whereby the disc is truncated at large radii in the low-hard state and instead favours a radius close to the ISCO (R_in ~ 10 - 20 R_g).

preprint2009arXiv

Suzaku broadband spectroscopy of Swift J1753.5-0127 in the Low-Hard State

We present Suzaku observations of the Galactic black hole candidate Swift J1753.5-0127 in the low-hard state. The broadband coverage of Suzaku enables us to detect the source over the energy range 0.6 -- 250 keV. The broadband spectrum (2 -- 250 keV) is found to be consistent with a simple power-law (gamma \sim 1.63). In agreement with previous observations of this system, a significant excess of soft X-ray flux is detected consistent with the presence of a cool accretion disc. Estimates of the disc inner radius infer a value consistent with the ISCO (R_{in} \lesssim 6 R_g, for certain values of, e.g. N_H, i), although we cannot conclusively rule out the presence of an accretion disc truncated at larger radii (R_{in} \sim 10 - 50 R_g). A weak, relativistically-broadened iron line is also detected, in addition to disc reflection at higher energy. However, the iron-K line profile favours an inner radius larger than the ISCO (R _{in} \sim 10 - 20 R_g). The implications of these observations for models of the accretion flow in the low-hard state are discussed.