9,166 research outputs found
Fitting quotients of finitely presented abelian-by-nilpotent groups
We show that every finitely generated nilpotent group of class 2 occurs as
the quotient of a finitely presented abelian-by-nilpotent group by its largest
nilpotent normal subgroup.Comment: This second version takes into account the suggestions by the
referee; 11 page
A dimension-breaking phenomenon for water waves with weak surface tension
It is well known that the water-wave problem with weak surface tension has
small-amplitude line solitary-wave solutions which to leading order are
described by the nonlinear Schr\"odinger equation. The present paper contains
an existence theory for three-dimensional periodically modulated solitary-wave
solutions which have a solitary-wave profile in the direction of propagation
and are periodic in the transverse direction; they emanate from the line
solitary waves in a dimension-breaking bifurcation. In addition, it is shown
that the line solitary waves are linearly unstable to long-wavelength
transverse perturbations. The key to these results is a formulation of the
water wave problem as an evolutionary system in which the transverse horizontal
variable plays the role of time, a careful study of the purely imaginary
spectrum of the operator obtained by linearising the evolutionary system at a
line solitary wave, and an application of an infinite-dimensional version of
the classical Lyapunov centre theorem.Comment: The final publication is available at Springer via
http://dx.doi.org/10.1007/s00205-015-0941-
Defining correctness conditions for concurrent objects in multicore architectures
Correctness of concurrent objects is defined in terms of conditions that determine allowable relationships between histories of a concurrent object and those of the corresponding sequential object. Numerous correctness conditions have been proposed over the years, and more have been proposed recently as the algorithms implementing concurrent objects have been adapted to cope with multicore processors with relaxed memory architectures. We present a formal framework for defining correctness conditions for multicore architectures, covering both standard conditions for totally ordered memory and newer conditions for relaxed
memory, which allows them to be expressed in uniform manner, simplifying comparison. Our framework distinguishes between order and commitment properties, which in turn enables a hierarchy of correctness conditions to be established. We consider the Total Store Order (TSO) memory model in detail, formalise known conditions for TSO using our framework, and develop sequentially consistent variations of these. We present a work-stealing deque for TSO memory that is not linearizable, but is correct with respect to these new conditions. Using our framework, we identify a new non-blocking compositional condition, fence consistency, which lies between known conditions for TSO, and aims to capture the intention of a programmer-specified fence
Aerobee 350, flight 17.03 GE - Instrumentation information and calibration data
Airborne instrumentation system on Aerobee 350 sounding rocke
Statement of Ray J. Groves, Chairman, before the Criminal Justice Subcommittee of the Committee on the Judiciary U.S. House of Representatives, June 12, 1985
https://egrove.olemiss.edu/aicpa_guides/2228/thumbnail.jp
Arkansas Cotton Variety Test 2003
The primary aim of the Arkansas Cotton Variety Test is to provide unbiased data regarding the agronomic performance of cotton varieties and advanced breeding lines in the major cotton-growing areas of Arkansas. This information helps seed dealers establish marketing strategies and assists producers in choosing varieties to plant. In this way, the annual test facilitates the inclusion of new, improved genetic material in Arkansas cotton production
- …