Results for "Simon J. Lock"

total 161127took 0.25s
The structure of terrestrial bodies: Impact heating, corotation limits and synestiasMay 22 2017During accretion, terrestrial bodies attain a wide range of thermal and rotational states, which are accompanied by significant changes in physical structure (size, shape, pressure and temperature profile, etc.). However, variations in structure have ... More
Tidal evolution of the Moon from a high-obliquity, high-angular-momentum EarthFeb 09 2018In the giant impact hypothesis for lunar origin, the Moon accreted from an equatorial circum-terrestrial disk; however the current lunar orbital inclination of 5 degrees requires a subsequent dynamical process that is still debated. In addition, the giant ... More
Scaling graphs of heart rate time series in athletes demonstrate the VLF, LF and HF regionsJul 22 2006Scaling analysis of heart rate time series has emerged as an useful tool for assessment of autonomic cardiac control. We investigate the heart rate time series of ten athletes (five males and five females), by applying detrended fluctuation analysis (DFA). ... More
Joint and individual variation explained (JIVE) for integrated analysis of multiple data typesFeb 20 2011May 28 2013Research in several fields now requires the analysis of data sets in which multiple high-dimensional types of data are available for a common set of objects. In particular, The Cancer Genome Atlas (TCGA) includes data from several diverse genomic technologies ... More
Supervised multiway factorizationSep 11 2016We describe a probabilistic PARAFAC/CANDECOMP (CP) factorization for multiway (i.e., tensor) data that incorporates auxiliary covariates, SupCP. SupCP generalizes the supervised singular value decomposition (SupSVD) for vector-valued observations, to ... More
Superconducting TiN Films Sputtered over a Large Range of Substrate DC BiasAug 14 2014Oct 24 2014We have investigated properties of superconducting titanium nitride (TiN) films that were sputtered over a large range of RF-induced DC bias voltage applied to the substrate. Films grown with the largest bias voltages contained cubic TiN phases with a ... More
Bayesian Consensus ClusteringFeb 28 2013The task of clustering a set of objects based on multiple sources of data arises in several modern applications. We propose an integrative statistical model that permits a separate clustering of the objects for each data source. These separate clusterings ... More
A smörgåsbord of scalar-flat Kähler ALE surfacesOct 23 2014May 20 2016There are many known examples of scalar-flat K\"ahler ALE surfaces, all of which have group at infinity either cyclic or contained in ${\rm{SU}}(2)$. The main result in this paper shows that for any non-cyclic finite subgroup $\Gamma \subset {\rm{U}}(2)$ ... More
Quotient singularities, eta invariants, and self-dual metricsJan 14 2015There are three main components to this article: (i) A formula for the eta invariant of the signature complex for any finite subgroup of ${\rm{SO}}(4)$ acting freely on $S^3$ is given. An application of this is a non-existence result for Ricci-flat ALE ... More
Curved traversable wormholes in (3+1)-dimensional spacetimeJun 14 2013Dec 08 2013We present the general method of constructing curved traversable wormholes in (3+1)-d spacetime and proceed to thoroughly discuss the physics of a zero tidal force metric without cross-terms. The (3+1)-d solution is compared with the recently studied ... More
Information requirements for enterprise systemsSep 24 2012In this paper, we discuss an approach to system requirements engineering, which is based on using models of the responsibilities assigned to agents in a multi-agency system of systems. The responsibility models serve as a basis for identifying the stakeholders ... More
Binding Blocks: building the Universe one nucleus at the timeOct 07 2016We present a new teaching and outreach activity based around the construction of a three-dimensional chart of isotopes using LEGO$^{\copyright}$ bricks. The activity, \emph{Binding Blocks}, demonstrates nuclear and astrophysical processes through a seven-meter ... More
Binding Blocks: building the Universe one nucleus at the timeOct 07 2016Oct 18 2016We present a new teaching and outreach activity based around the construction of a three-dimensional chart of isotopes using LEGO$^{\circledR}$ bricks. The activity, \emph{Binding Blocks}, demonstrates nuclear and astrophysical processes through a seven-meter ... More
On Kähler conformal compactifications of $U(n)$-invariant ALE spacesMay 19 2014Sep 10 2015We prove that a certain class of ALE spaces always has a Kahler conformal compactification, and moreover provide explicit formulas for the conformal factor and the Kahler potential of said compactification. We then apply this to give a new and simple ... More
Bayesian Genome- and Epigenome-wide Association Studies with Gene Level DependenceApr 29 2016High-throughput genetic and epigenetic data are often screened for associations with an observed phenotype. For example, one may wish to test hundreds of thousands of genetic variants, or DNA methylation sites, for an association with disease status. ... More
Rerandomization to improve covariate balance in experimentsJul 24 2012Randomized experiments are the "gold standard" for estimating causal effects, yet often in practice, chance imbalances exist in covariate distributions between treatment groups. If covariate data are available before units are exposed to treatments, these ... More
The lowest eigenvalue of Schrödinger operators on compact manifoldsAug 11 2015May 16 2016The lowest eigenvalue of the Schr\"odinger operator $-\Delta+\mathcal{V}$ on a compact Riemannian manifold without boundary is studied. We focus on the particularly subtle case of a sign changing potential with positive average.
An equivalence of scalar curvatures on Hermitian manifoldsMay 11 2015For a Kahler metric, the Riemannian scalar curvature is equal to twice the Chern scalar curvature. The question we address here is whether this equivalence can hold for a non-Kahler Hermitian metric. For such metrics, if they exist, the Chern scalar ... More
Charge and orbital order in frustrated Pb3Mn7O15Jan 13 2012Mar 28 2012The candidate magnetoelectric Pb3Mn7O15 has a structure consisting of 1/3 filled Kagome layers linked by ribbons of edge-sharing octahedra in the stacking direction. Previous reports have indicated a complex hexagonal-orthorhombic structural transition ... More
Slepian functions and their use in signal estimation and spectral analysisSep 29 2009It is a well-known fact that mathematical functions that are timelimited (or spacelimited) cannot be simultaneously bandlimited (in frequency). Yet the finite precision of measurement and computation unavoidably bandlimits our observation and modeling ... More
Programming quantum computers using 3-D puzzles, coffee cups, and doughnutsSep 21 2016The task of programming a quantum computer is just as strange as quantum mechanics itself. But it now looks like a simple 3D puzzle may be the future tool of quantum software engineers.
Anti-self-dual orbifolds with cyclic quotient singularitiesMay 17 2012An index theorem for the anti-self-dual deformation complex on anti-self-dual orbifolds with cyclic quotient singularities is proved. We present two applications of this theorem. The first is to compute the dimension of the deformation space of the Calderbank-Singer ... More
Shared kernel Bayesian screeningNov 01 2013Feb 17 2016This article concerns testing for equality of distribution between groups. We focus on screening variables with shared distributional features such as common support, modes and patterns of skewness. We propose a Bayesian testing method using kernel mixtures, ... More
A Modification of the Sarkar-Wang Algorithm and an Analysis of its Computational ComplexityNov 28 2007Jan 31 2008The Sarkar-Wang algorithm computes the hat version of the Heegaard Floer homology of a closed oriented three manifold. This paper analyzes the computational complexity of the Sarkar-Wang algorithm; then the algorithm is modified to obtain a better bound. ... More
Helicalised fractalsJun 19 2013Feb 14 2015We formulate the helicaliser, which replaces a given smooth curve by another curve that winds around it. In our analysis, we relate this formulation to the geometrical properties of the self-similar circular fractal (the discrete version of the curved ... More
On the proportionality of Chern and Riemannian scalar curvaturesSep 01 2015Jun 21 2016On a Kahler manifold there is a clear connection between the complex geometry and underlying Riemannian geometry. In some ways, this can be used to characterize the Kahler condition. While such a link is not so obvious in the non-Kahler setting, one can ... More
Classical Control of Large-Scale Quantum ComputersMay 20 2014The accelerated development of quantum technology has reached a pivotal point. Early in 2014, several results were published demonstrating that several experimental technologies are now accurate enough to satisfy the requirements of fault-tolerant, error ... More
Two loop Kahler potential in beta-deformed N=4 SYM theoryMay 23 2008Aug 06 2008In N=2 superconformal field theories the Kahler potential is known to be tree level exact. The beta-deformation of N=4 SU(N) SYM reduces the amount of supersymmetry to N=1, allowing for non-trivial, superconformal loop corrections to the Kahler potential. ... More
The potential for super-Nyquist asteroseismology with TESSAug 11 2015The perfect 30-min cadence of the full-frame images from the Transiting Exoplanet Survey Satellite (TESS) will impose a hard Nyquist limit of 24 d$^{-1}$ ($\approx 278$ $\mu$Hz). This will be problematic for asteroseismology of stars with oscillation ... More
Coevality in Young Eclipsing BinariesApr 29 2017The ages of the components in very short period pre-main sequence (PMS) binaries are essential to an understanding of their formation. We considered a sample of 7 PMS eclipsing binaries (EBs) with ages 1 to 6.3 MY and component masses 0.2 to 1.4 Msun ... More
Contribution to Temporal Fault Tree Analysis without Modularization and Transformation into the State SpaceMay 18 2015Background: Fault tree analysis (FTA) is a well established method for qualitative as well as probabilistic reliability and safety analysis. As a Boolean model it does not support modelling of dynamic effects like sequence dependencies between fault events. ... More
Performing Quantum Computing Experiments in the CloudMay 18 2016Sep 01 2016Quantum computing technology has reached a second renaissance in the past five years. Increased interest from both the private and public sector combined with extraordinary theoretical and experimental progress has solidified this technology as a major ... More
An examination of some characteristics of Kepler Short and Long Cadence DataJan 30 2012A close comparison of Kepler short- and long-cadence data released prior to 2011 Nov 1 has shown some subtle differences that make the short-cadence data superior to their long-cadence counterparts. The inevitable results of a faster sampling rate are ... More
Balancing Covariates via Propensity Score WeightingSep 23 2016Covariate balance is crucial for unconfounded descriptive or causal comparisons. However, lack of balance is common in observational studies. This article considers weighting strategies for balancing covariates. We define a general class of weights---the ... More
Balancing Covariates via Propensity Score WeightingApr 07 2014Nov 15 2016Covariate balance is crucial for unconfounded descriptive or causal comparisons. However, lack of balance is common in observational studies. This article considers weighting strategies for balancing covariates. We define a general class of weights---the ... More
Balancing Covariates via Propensity Score WeightingSep 23 2016Sep 29 2016Covariate balance is crucial for unconfounded descriptive or causal comparisons. However, lack of balance is common in observational studies. This article considers weighting strategies for balancing covariates. We define a general class of weights---the ... More
Generating of an electric potential on the Moon by Cosmic rays and Solar Wind?Aug 12 2010We investigate the possibility that the Moon develops an electric potential originating from the impinging particles on the Moon from cosmic rays and solar wind. The investigation includes all experimental data of the flux of charged particle for energies ... More
Network Extreme Eigenvalue - from Multimodal to Scale-free NetworkJul 13 2011Dec 22 2011The extreme eigenvalues of adjacency matrices are important indicators on the influences of topological structures to collective dynamical behavior of complex networks. Recent findings on the ensemble averageability of the extreme eigenvalue further authenticate ... More
Superdirected Beam of the Surface Spin WaveNov 29 2016Visualized diffraction patterns of the surface spin wave excited by arbitrarily oriented linear transducer in tangentially magnetized ferrite film are investigated experimentally in the plane of ferrite film for the case where the transducer length D ... More
D-modules on rigid analytic spaces II: Kashiwara's equivalenceFeb 04 2015We prove that the category of co-admissible D-cap-modules on a smooth rigid analytic space supported on a closed smooth subvariety is naturally equivalent to the category of co-admissible D-cap-modules on the subvariety, and use this result to construct ... More
Overview of Swallow --- A Scalable 480-core System for Investigating the Performance and Energy Efficiency of Many-core Applications and Operating SystemsApr 23 2015We present Swallow, a scalable many-core architecture, with a current configuration of 480 x 32-bit processors. Swallow is an open-source architecture, designed from the ground up to deliver scalable increases in usable computational power to allow experimentation ... More
Compatibility conditions on local and global spectra for $n$-mode Gaussian statesDec 15 2008Compatibility conditions between the (global) spectrum of an $n$-mode Gaussian state and the spectra of the individual modes are presented, making optimal use of beam splitter and (two-mode) squeezing transformations. An unexpected bye-product of our ... More
Scalar and vector Slepian functions, spherical signal estimation and spectral analysisJun 13 2013It is a well-known fact that mathematical functions that are timelimited (or spacelimited) cannot be simultaneously bandlimited (in frequency). Yet the finite precision of measurement and computation unavoidably bandlimits our observation and modeling ... More
Spatiospectral concentration of vector fields on a sphereJun 13 2013We construct spherical vector bases that are bandlimited and spatially concentrated, or, alternatively, spacelimited and spectrally concentrated, suitable for the analysis and representation of real-valued vector fields on the surface of the unit sphere, ... More
Fixed Block Compression Boosting in FM-IndexesApr 19 2011A compressed full-text self-index occupies space close to that of the compressed text and simultaneously allows fast pattern matching and random access to the underlying text. Among the best compressed self-indexes, in theory and in practice, are several ... More
Gaia's view of the $λ$ Boo star puzzleDec 05 2016The evolutionary status of the chemically peculiar class of $\lambda$ Boo stars has been intensely debated. It is now agreed that the $\lambda$ Boo phenomenon affects A stars of all ages, from star formation to the terminal age main sequence, but the ... More
O VI Observations of the Onset of Convection Zones in Main-Sequence A StarsMay 29 2008If magnetic activity in outer stellar atmospheres is due to an interplay between rotation and subsurface convection, as is generally presumed, then one would not expect to observe indicators of activity in stars with T_eff > 8300 K. Any X-ray or ultraviolet ... More
Hamiltonian Dynamics of the Protein Chain and Normal Modes of Alpha-Helix and Beta-SheetSep 11 2008We use the torsional angles of the protein chain as generalized coordinates in the canonical formalism, derive canonical equations of motion, and investigate the coordinate dependence of the kinetic energy expressed in terms of the canonical momenta. ... More
Spectral Anlysis on Explosive PercolationJan 03 2013We study the spectral properties of the process of explosive percolation. In particular, we explore how the maximum eigenvalue of the adjacency matrix of a network which governs the spreading efficiency evolves as the density of connection increases. ... More
Modelling the Strategic Alignment of Software Requirements using Goal GraphsNov 27 2012Mar 25 2013This paper builds on existing Goal Oriented Requirements Engineering (GORE) research by presenting a methodology with a supporting tool for analysing and demonstrating the alignment between software requirements and business objectives. Current GORE methodologies ... More
Critical Transitions in Public Opinion: A Case Study of American Presidential ElectionOct 18 2016At the tipping point, it is known that small incident can trigger dramatic societal shift. Getting early-warning signals for such changes are valuable to avoid detrimental outcomes such as riots or collapses of nations. However, it is notoriously hard ... More
Fast simulation of stabilizer circuits using a graph state representationApr 15 2005Jan 03 2006According to the Gottesman-Knill theorem, a class of quantum circuits, namely the so-called stabilizer circuits, can be simulated efficiently on a classical computer. We introduce a new algorithm for this task, which is based on the graph-state formalism. ... More
Further Wolf-Rayet stars in the starburst cluster Westerlund 1Mar 14 2005Mar 21 2005We present new low and intermediate-resolution spectroscopic observations of the Wolf Rayet (WR) star population in the massive starburst cluster Westerlund 1. Finding charts are presented for five new WRs - four WNL and one WCL - raising the current ... More
A newly identified Luminous Blue Variable in the galactic starburst cluster Westerlund 1Dec 02 2003We present observations of the massive transitional star W243 in Westerlund 1. We find an apparent spectral type of early-mid A from our data, in contrast to an earlier classification of B2I, made from data obtained in 1981. The concurrent development ... More
Scalable Similarity Search for Molecular DescriptorsNov 30 2016Similarity search over chemical compound databases is a fundamental task in the discovery and design of novel drug-like molecules. Such databases often encode molecules as non-negative integer vectors, called molecular descriptors, which represent rich ... More
Trajectory Clustering, Modelling, and Selection with the Focus on Airspace ProtectionMar 30 2016Take-off and landing are the periods of a flight where aircraft are most vulnerable to a ground based rocket attack by terrorists. While aircraft approach and depart from airports on pre-defined flight paths, there is a degree of uncertainty in the trajectory ... More
Moebius energy of thick knotsAug 30 2001The Moebius energy of a knot is an energy functional for smooth curves based on an idea of self-repelling. If a knot has a thick tubular neighborhood, we would intuitively expect the energy to be low. In this paper, we give explicit bounds for energy ... More
Potential-field estimation from satellite data using scalar and vector Slepian functionsJun 27 2013In the last few decades a series of increasingly sophisticated satellite missions has brought us gravity and magnetometry data of ever improving quality. To make optimal use of this rich source of information on the structure of Earth and other celestial ... More
Effective three-body interactions via photon-assisted tunneling in an optical latticeNov 07 2013We present a simple, experimentally realizable method to make coherent three-body interactions dominate the physics of an ultracold lattice gas. Our scheme employs either lattice modulation or laser-induced tunneling to reduce or turn off two-body interactions ... More
Deriving the orbital properties of pulsators in binary systems through their light arrival time delaysApr 20 2015We present the latest developments to the phase modulation method for finding binaries among pulsating stars. We demonstrate how the orbital elements of a pulsating binary star can be obtained analytically, that is, without converting time delays to radial ... More
Disentangling Mass and Mixing HierarchiesJun 30 2015Oct 23 2015We present a fully perturbative mechanism that naturally generates mass hierarchies for the Standard Model (SM) fermions in a flavor-blind sector. The dynamics generating the mass hierarchies can therefore be independent from the source of flavor violation, ... More
A hidden population of Wolf-Rayet stars in the massive galactic cluster Westerlund 1Nov 12 2002We report the discovery of a hitherto undetected population of Wolf-Rayet stars in the young galactic open cluster Westerlund 1. Optical spectroscopy of the cluster identified 11 such objects; provisional classification suggests that 6 are nitrogen rich ... More
A Specification Format and a Verification Method of Fault-Tolerant Quantum CircuitsDec 28 2017Quantum computations are expressed in general as quantum circuits, which are specified by ordered lists of quantum gates. The resulting specifications are used during the optimisation and execution of the expressed computations. However, the specification ... More
Range Predecessor and Lempel-Ziv ParsingJul 25 2015The Lempel-Ziv parsing of a string (LZ77 for short) is one of the most important and widely-used algorithmic tools in data compression and string processing. We show that the Lempel-Ziv parsing of a string of length $n$ on an alphabet of size $\sigma$ ... More
Entanglement of Formation for Gaussian StatesAug 12 2008The entanglement of formation (EOF) is computed for arbitrary two-mode Gaussian states. Apart from a conjecture, our analysis rests on two main ingredients. The first is a four-parameter canonical form we develop for the covariance matrix, one of these ... More
Behavioural PrototypesSep 03 2016We sketch a simple language of concurrent objects which explores the design space between type systems and continuous testing. In our language, programs are collections of communicating automata checked automatically for multiparty compatibility. This ... More
An introduction to Fault-tolerant Quantum ComputingAug 15 2015In this paper we provide a basic introduction of the core ideas and theories surrounding fault-tolerant quantum computation. These concepts underly the theoretical framework of large-scale quantum computation and communications and are the driving force ... More
The very rich massive post-main-sequence star population of the open cluster Westerlund 1Aug 23 2002We report the discovery of a population of Wolf-Rayet stars in the young Galactic open cluster Westerlund 1. In an incomplete shallow spectroscopic survey, we find six nitrogen-rich (WN) and five carbon-rich (WC) WR stars. We also confirm the presence ... More
Nonexistence of solutions in $(0,1)$ for K-P-P-type equations for all $d\ge 1$Sep 16 2005Consider the KPP-type equation of the form $\Delta u+f(u)=0$, where $f:[0,1] \to \mathbb R_{+}$ is a concave function. We prove for arbitrary dimensions that there is no solution bounded in $(0,1)$. The significance of this result from the point of view ... More
Searching and Indexing Genomic Databases via KernelizationDec 04 2014The rapid advance of DNA sequencing technologies has yielded databases of thousands of genomes. To search and index these databases effectively, it is important that we take advantage of the similarity between those genomes. Several authors have recently ... More
High-Performance Code Generation though Fusion and VectorizationOct 24 2017We present a technique for automatically transforming kernel-based computations in disparate, nested loops into a fused, vectorized form that can reduce intermediate storage needs and lead to improved performance on contemporary hardware. We introduce ... More
Probing of quantum dissipative chaos by purityMay 22 2013Sep 06 2013In this paper, the purity of quantum states is applied to probe chaotic dissipative dynamics. To achieve this goal, a comparative analysis of regular and chaotic regimes of nonlinear dissipative oscillator (NDO) are performed on the base of excitation ... More
Towards an Approach for Analysing the Strategic Alignment of Software Requirements using Quantified Goal GraphsJul 09 2013Dec 30 2013Analysing the strategic alignment of software requirements primarily provides assurance to stakeholders that the software-to-be will add value to the organisation. Additionally, such analysis can improve a requirement by disambiguating its purpose and ... More
Balancing Covariates via Propensity Score WeightingApr 07 2014Jan 27 2015Covariate balance is crucial for an unconfounded descriptive or causal comparison. However, lack of balance is common in observational studies. This article considers weighting strategies for balancing covariates. We define a general class of weights-the ... More
Discriminating sample groups with multi-way dataJun 26 2016High-dimensional linear classifiers, such as the support vector machine (SVM) and distance weighted discrimination (DWD), are commonly used in biomedical research to distinguish groups of subjects based on a large number of features. However, their use ... More
Abelian Manna model on various lattices in one and two dimensionsJun 02 2011We perform a high-accuracy moment analysis of the avalanche size, duration and area distribution of the Abelian Manna model on eight two-dimensional and four one-dimensional lattices. The results provide strong support to establish universality of exponents ... More
The Abelian Manna model on two fractal latticesJun 30 2010We analyze the avalanche size distribution of the Abelian Manna model on two different fractal lattices with the same dimension d_g=ln(3)/ln(2), with the aim to probe for scaling behavior and to study the systematic dependence of the critical exponents ... More
Crossed products by twisted partial actions and graded algebrasJun 24 2008For a twisted partial action \Theta of a group G on an (associative non-necessarily unital) algebra A over a commutative unital ring k, the crossed product A X_\Theta G is proved to be associative. Given a G-graded k-algebra B = \oplus_{g\in G}\B_g with ... More
Vortex Chains in Anisotropic SuperconductorsJul 01 2005High-T_c superconductors in small magnetic fields directed away from the crystal symmetry axes have been found to exhibit inhomogeneous chains of flux lines (vortices), in contrast to the usual regular triangular flux-line lattice. We review the experimental ... More
The Clustering of Faint Galaxies and the Evolution of $ξ$(r)May 11 1996The two-point angular correlation function, $\w$, is constructed from a catalog of 13,000 objects in 24 fields distributed over an area of 4 deg$^2$ and complete to a limit of $R = 23.5$. The amplitude and slope of our correlation function on arcminute ... More
Extending the Reach of QKD Using RelaysMar 03 2012One of the obstacles to deployment of QKD solutions has been the distance limitation. Solutions using relays have been proposed but these rely on link-by-link key establishment. We present a new technique to extend the distance of a quantum key distribution ... More
Mass Dependence of Quantum Energy Inequality BoundsFeb 21 2007In a recent paper [J. Math. Phys. 47 082303 (2006)], Quantum Energy Inequalities were used to place simple geometrical bounds on the energy densities of quantum fields in Minkowskian spacetime regions. Here, we refine this analysis for massive fields, ... More
Spherical Slepian functions and the polar gap in geodesyMar 11 2006The estimation of potential fields such as the gravitational or magnetic potential at the surface of a spherical planet from noisy observations taken at an altitude over an incomplete portion of the globe is a classic example of an ill-posed inverse problem. ... More
Local and Distributed Quantum ComputationMay 23 2016Experimental groups are now fabricating quantum processors powerful enough to execute small instances of quantum algorithms and definitively demonstrate quantum error correction that extends the lifetime of quantum data, adding urgency to architectural ... More
Operator-sum Representation for Bosonic Gaussian ChannelsDec 20 2010Operator-sum or Kraus representations for single-mode Bosonic Gaussian channels are developed, and several of their consequences explored. Kraus operators are employed to bring out the manner in which the unphysical matrix transposition map when accompanied ... More
Comments on the complex linear Goldstino superfieldJul 16 2015It is shown that the complex linear Goldstino superfield recently proposed in arXiv:1507.01885 is obtained from the one originally constructed in arXiv:1102.3042 by a field redefinition.
New low-mass members of the Octans stellar association and an updated 30-40 Myr lithium ageNov 20 2014The Octans association is one of several young stellar moving groups recently discovered in the Solar neighbourhood, and hence a valuable laboratory for studies of stellar, circumstellar disc and planetary evolution. However, a lack of low-mass members ... More
Gorenstein rings call the tuneJul 16 2004Hochster's Monomial Conjecture and Canonical Element Conjecture date back some thirty resp. twenty years. They concern all noetherian commutative local rings, and were proved by their originator right away in equal characteristic. Thanks to recent important ... More
Towards a complete census of young stars in the solar neighbourhood with SkyMapperJun 10 2008In this contribution we outline plans for identifying and characterising numerous young, low-mass stars within 150 pc of the Sun using the new SkyMapper telescope and Southern Sky Survey. We aim to learn more about the star formation history of the solar ... More
The covariance of cosmic shear correlation functions and cosmological parameter estimates using redshift informationSep 01 2003Jan 14 2004Cosmological weak lensing by the large scale structure of the Universe, cosmic shear, is coming of age as a powerful probe of the parameters describing the cosmological model and matter power spectrum. It complements CMB studies, by breaking degeneracies ... More
Scalable data abstractions for distributed parallel computationsOct 03 2012The ability to express a program as a hierarchical composition of parts is an essential tool in managing the complexity of software and a key abstraction this provides is to separate the representation of data from the computation. Many current parallel ... More
Plausible fluorescent Ly-alpha emitters around the z=3.1 QSO0420-388Nov 14 2006Feb 28 2007We report the results of a survey for fluorescent Ly-alpha emission carried out in the field surrounding the z=3.1 quasar QSO0420-388 using the FORS2 instrument on the VLT. We first review the properties expected for fluorescent Ly-alpha emitters, compared ... More
The computation of the cohomology rings of all groups of order 128Jan 14 2010Aug 21 2010We describe the computation of the mod-2 cohomology rings of all 2328 groups of order 128. One consequence is that all groups of order less than 256 satisfy the strong form of Benson's Regularity Conjecture.
A bridge to lower overhead quantum computationSep 04 2012Apr 09 2013Two primary challenges stand in the way of practical large-scale quantum computation, namely achieving sufficiently low error rate quantum gates and implementing interesting quantum algorithms with a physically reasonable number of qubits. In this work ... More
CO-dark gas and molecular filaments in Milky Way-type galaxies - II: The temperature distribution of the gasJul 27 2016We investigate the temperature distribution of CO-dark molecular hydrogen (H2) in a series of disk galaxies simulated using the AREPO moving-mesh code. In conditions similar to those in the Milky Way, we find that H2 has a flat temperature distribution ... More
Systemization of Pluggable Transports for Censorship ResistanceDec 23 2014Jul 29 2016An increasing number of countries implement Internet censorship at different scales and for a variety of reasons. In particular, the link between the censored client and entry point to the uncensored network is a frequent target of censorship due to the ... More
Diphotons from an Electroweak Triplet-SingletMar 29 2016The neutral component of a real pseudoscalar electroweak (EW) triplet can produce a diphoton excess at 750 GeV, if it is somewhat mixed with an EW singlet pseudoscalar. This triplet-singlet mixing allows for greater freedom in the diboson branching ratios ... More
New Algorithms on Wavelet Trees and Applications to Information RetrievalNov 19 2010Wavelet trees are widely used in the representation of sequences, permutations, text collections, binary relations, discrete points, and other succinct data structures. We show, however, that this still falls short of exploiting all of the virtues of ... More
String Inference from the LCP ArrayJun 14 2016The suffix array is often augmented with the longest common prefix (LCP) array which is, in essence, a representation of the suffix tree shape. We consider the problem of inferring a string from an LCP array, i.e., determining whether a given array of ... More
On the effective size of certain "Schrödinger cat'' like statesMay 16 2002Several experiments and experimental proposals for the production of macroscopic superpositions naturally lead to states of the general form $|\phi_1>^{\otimes N}+|\phi_2>^{\otimes N}$, where the number of subsystems $N$ is very large, but the states ... More