A Theorem on Matroid Homomorphism
This note generalizes a result contained in a previous paper [ J. Sanders, Circuit preserving edge maps II, J. Combin. Theory Ser. B 42 (1987), 146-155]....
The Gauss map of a complete minimal surface with finite total curvature
In [15] Robert Osserman proved that the image of the Gauss map of a complete, non flat minimal surface in R^3 with finite total curvature miss at most 3 points. In this paper we prove that the Gauss map of such a minimal immersions omit at most 2 poi...
Some properties of generalized $k$-Pell sequences
The purpose of this paper is twofold; (1) to develop several identities for the Generalized $k$-Pell sequence (including those of Binet, Catalan, Cassini, and d'Ocagne), and (2) to study applications of tridiagonal generating matrices for the $k$-Pel...
Design and Control of the "TransBoat": A Transformable Unmanned Surface Vehicle…
This paper presents the TransBoat, a novel omnidirectional unmanned surface vehicle (USV) with a magnetbased docking system for overwater construction with wave disturbances. This is the first such USV that can build overwater structures by transport...
Corrected Evaluation Results of the NTCIR WWW-2, WWW-3, and WWW-4 English Subtas…
Unfortunately, the official English (sub)task results reported in the NTCIR-14 WWW-2, NTCIR-15 WWW-3, and NTCIR-16 WWW-4 overview papers are incorrect due to noise in the official qrels files; this paper reports results based on the corrected qrels f...
Reply to Frenkel and Warren [arXiv:1403.4299v1]
In their paper [arXiv:1403.4299v1], Frenkel and Warren claim that the Gibbs temperature does not characterize thermal equilibrium correctly. We point out the main logical errors in their argument....
Top-down and Bottom-up Evaluation Procedurally Integrated
This paper describes how XSB combines top-down and bottom-up computation through the mechanisms of variant tabling and subsumptive tabling with abstraction, respectively. It is well known that top-down evaluation of logical rules in Prolog has a pr...
Incidences of Cubic Curves in Finite Fields
In this paper we prove an incidence bound for points and cubic curves over prime fields. The methods generalise those used by Mohammadi, Pham, and Warren (2021)....
Noise Kernel and Stress Energy Bi-Tensor of Quantum Fields in Conformally-Optica…
In Paper II [N. G. Phillips and B. L. Hu, previous abstract] we presented the details for the regularization of the noise kernel of a quantum scalar field in optical spacetimes by the modified point separation scheme, and a Gaussian approximation f...
Exponential asymptotics for steady parasitic capillary ripples on steep gravity…
In this paper we develop an asymptotic theory for steadily travelling gravity-capillary waves under the small-surface tension limit. In an accompanying work [Shelton et al. (2021), J. Fluid Mech., vol 922] it was demonstrated that solutions associate...
An Analysis of 35+ Million Jobs of Travis CI
Travis CI handles automatically thousands of builds every day to, amongst other things, provide valuable feedback to thousands of open-source developers. In this paper, we investigate Travis CI to firstly understand who is using it, and when they sta...
Strolling through common meadows
Meadows are a sort of commutative rings with a multiplicative identity element and a total multiplicative inverse operation. In this paper we study algebraic properties of common meadows, which are meadows that introduce, as the inverse of zero, an e...
Stratifications of abelian categories
This paper studies abelian categories that can be decomposed into smaller abelian categories via iterated recollements - such a decomposition we call a stratification. Examples include the categories of (equivariant) perverse sheaves and epsilon-stra...
Differential Meadows
A meadow is a zero totalised field (0^{-1}=0), and a cancellation meadow is a meadow without proper zero divisors. In this paper we consider differential meadows, i.e., meadows equipped with differentiation operators. We give an equational axiomati...
Cancellation Meadows: a Generic Basis Theorem and Some Applications
Let Q_0 denote the rational numbers expanded to a "meadow", that is, after taking its zero-totalized form (0^{-1}=0) as the preferred interpretation. In this paper we consider "cancellation meadows", i.e., meadows without proper zero divisors, such a...
Learning to Rank Questions for Community Question Answering with Ranking SVM
This paper presents our method to retrieve relevant queries given a new question in the context of Discovery Challenge: Learning to Re-Ranking Questions for Community Question Answering competition. In order to do that, a set of learning to rank meth...
Impact of the Russia-Ukraine conflict on the international staple agrifood trade…
The Russia-Ukraine conflict is a growing concern worldwide and poses serious threats to regional and global food security. Using monthly trade data for maize, rice, and wheat from 2016/1 to 2022/12, this paper constructs three international crop trad...
Real time state monitoring and fault diagnosis system for motor based on LabVIEW
Motor is the most widely used production equipment in industrial field. In order to realize the real-time state monitoring and multi-fault pre-diagnosis of three-phase motor, this paper presents a design of three-phase motor state monitoring and faul...
Automated spectroscopic abundances of A and F-type stars using echelle spectrogr…
Using the method presented in Erspamer & North (2002, Paper I hereafter), detailed abundances of 140 stars are presented. The uncertainties characteristic of this method are presented and discussed. In particular, we show that for a S/N ratio highe...
An Interesting Gadget for Chain Pair Simplification
In this paper we present an interesting gadget based on the chain pair simplification problem under the discrete Fréchet distance (CPS-3F), which allows the construction of arbitrarily long paths that must be chosen in the simplification of the two...