3,279 research outputs found
Point vortices and classical orthogonal polynomials
Stationary equilibria of point vortices with arbitrary choice of circulations
in a background flow are studied. Differential equations satisfied by
generating polynomials of vortex configurations are derived. It is shown that
these equations can be reduced to a single one. It is found that polynomials
that are Wronskians of classical orthogonal polynomials solve the latter
equation. As a consequence vortex equilibria at a certain choice of background
flows can be described with the help of Wronskians of classical orthogonal
polynomials.Comment: 20 pages, 12 figure
From Model Checking to Runtime Verification and Back
We describe a novel approach for adapting an existing software model checker
to perform precise runtime verification. The software under test is allowed to
communicate with the wider environment (including the file system and network).
The modifications to the model checker are small and self-contained, making
this a viable strategy for re-using existing model checking tools in a new
context.
Additionally, from the data that is gathered during a single execution in the
runtime verification mode, we automatically re-construct a description of the
execution environment which can then be used in the standard, full-blown model
checker. This additional verification step can further improve coverage,
especially in the case of parallel programs, without introducing substantial
overhead into the process of runtime verification
First Detection of CO in a Low Surface Brightness Galaxy
We report on the first attempts at searching for CO in red low surface
brightness galaxies, and the first detection of molecular gas in a low surface
brightness (mu_B(0)_{obs} > 23 mag arcsec^{-2}) galaxy. Using the IRAM 30m
telescope, CO(1-0) and CO(2-1) lines were searched for in four galaxies --
P06-1, P05-5, C05-3, & C04-2. In three of the galaxies no CO was detected, to
T_{MB} ~ 1.8mK (at the 3 sigma level). In the fourth galaxy, P06-1, both lines
were detected. Comparing our findings with previous studies shows P06-1 to have
a molecular-to-atomic mass ratio considerably lower than is predicted using
theoretical models based on high surface brightness galaxy studies. This
indicates the N(H_2)/(int{T(CO)dv}) conversion factor for low surface
brightness galaxies may currently be consistently underestimated by a factor of
3 - 20.Comment: 8 pages, 2 figures, accepted by the ApJ
Star Formation and Tidal Encounters with the Low Surface Brightness Galaxy UGC 12695 and Companions
We present VLA H I observations of the low surface brightness galaxy UGC
12695 and its two companions, UGC 12687 and a newly discovered dwarf galaxy
2333+1234. UGC 12695 shows solid body rotation but has a very lopsided
morphology of the H I disk, with the majority of the H I lying in the southern
arm of the galaxy. The H I column density distribution of this very blue, LSB
galaxy coincides in detail with its light distribution. Comparing the H I
column density of UGC 12695 with the empirical (but not well understood) value
of Sigma_c = 10E21 atoms/cm^2 found in, i.e., Skillman's 1986 paper shows the
star formation to be a local affair, occurring only in those regions where the
column density is above this star formation threshold. The low surface
brightness nature of this galaxy could thus be attributed to an insufficient
gas surface density, inhibiting star formation on a more global scale.
Significantly, though, the Toomre criterion places a much lower critical
density on the galaxy (+/-10E20 atoms/cm^2), which is shown by the galaxy's low
SFR to not be applicable.
Within a projected distance of 300kpc/30kms of UGC 12695 lie two companion
galaxies - UGC 12687, a high surface brightness barred spiral galaxy, and
2333+1234, a dwarf galaxy discovered during this investigation. The close
proximity of the three galaxies, combined with UGC 12695's extremely blue color
and regions of localized starburst and UGC 12687's UV excess bring to mind
mutually induced star formation through tidal activity.Comment: 14 pages, 8 figures (2 color), To be published in A.J., May 2000
XWeB: the XML Warehouse Benchmark
With the emergence of XML as a standard for representing business data, new
decision support applications are being developed. These XML data warehouses
aim at supporting On-Line Analytical Processing (OLAP) operations that
manipulate irregular XML data. To ensure feasibility of these new tools,
important performance issues must be addressed. Performance is customarily
assessed with the help of benchmarks. However, decision support benchmarks do
not currently support XML features. In this paper, we introduce the XML
Warehouse Benchmark (XWeB), which aims at filling this gap. XWeB derives from
the relational decision support benchmark TPC-H. It is mainly composed of a
test data warehouse that is based on a unified reference model for XML
warehouses and that features XML-specific structures, and its associate XQuery
decision support workload. XWeB's usage is illustrated by experiments on
several XML database management systems
Spitzer Observations of Low Luminosity Isolated and Low Surface Brightness Galaxies
We examine the infrared properties of five low surface brightness galaxies
(LSBGs) and compare them with related but higher surface brightness galaxies,
using Spitzer Space Telescope images and spectra. All the LSBGs are detected in
the 3.6 and 4.5um bands, representing the stellar population. All but one are
detected at 5.8 and 8.0um, revealing emission from hot dust and aromatic
molecules, though many are faint or point-like at these wavelengths. Detections
of LSBGs at the far-infrared wavelengths, 24, 70, and 160um, are varied in
morphology and brightness, with only two detections at 160um, resulting in
highly varied spectral energy distributions. Consistent with previous
expectations for these galaxies, we find that detectable dust components exist
for only some LSBGs, with the strength of dust emission dependent on the
existence of bright star forming regions. However, the far-infrared emission
may be relatively weak compared with normal star-forming galaxies.Comment: 20 pages, 8 figures, accepted to Ap
Optical microrheology using rotating laser-trapped particles
We demonstrate an optical system that can apply and accurately measure the
torque exerted by the trapping beam on a rotating birefringent probe particle.
This allows the viscosity and surface effects within liquid media to be
measured quantitatively on a micron-size scale using a trapped rotating
spherical probe particle. We use the system to measure the viscosity inside a
prototype cellular structure.Comment: 5 pages, 4 figures. v2: bibliographic details, minor text correction
Sorafenib Effectiveness in Advanced Hepatocellular Carcinoma
Phase III trials show sorafenib improves survival in advanced hepatocellular carcinoma (HCC). Because of narrow trial eligibility, results may not be generalizable to a broader HCC population. We sought to evaluate the effectiveness of initial sorafenib versus no treatment among Medicare beneficiaries with advanced HCC
Academic freedom in Europe: reviewing UNESCOâs recommendation
This paper examines the compliance of universities in the European Union with the UNESCO Recommendation concerning the Status of HigherâEducation Teaching Personnel, which deals primarily with protection for academic freedom. The paper briefly surveys the European genesis of the modern research university and academic freedom, before evaluating compliance with the UNESCO recommendation on institutional autonomy, academic freedom, university governance and tenure. Following from this, the paper examines the reasons for the generally low level of compliance with the UNESCO Recommendation within the EU states, and considers how such compliance could be improved
- âŠ