112,670 research outputs found
Vanishing results for the cohomology of complex toric hyperplane complements
Suppose \Cal R is the complement of an essential arrangement of toric
hyperlanes in the complex torus (\C^*)^n and \pi=\pi_1(\Cal R). We show
that H^*(\Cal R;A) vanishes except in the top degree when is one of
the following systems of local coefficients: (a) a system of nonresonant
coefficients in a complex line bundle, (b) the von Neumann algebra \cn\pi, or
(c) the group ring \zz \pi. In case (a) the dimension of is |e(\Cal
R)| where e(\Cal R) denotes the Euler characteristic, and in case (b) the
\eltwo Betti number is also |e(\Cal R)|.Comment: 14 pages. arXiv admin note: substantial text overlap with
arXiv:math/061240
Existence versus Exploitation: The Opacity of Backbones and Backdoors Under a Weak Assumption
Backdoors and backbones of Boolean formulas are hidden structural properties.
A natural goal, already in part realized, is that solver algorithms seek to
obtain substantially better performance by exploiting these structures.
However, the present paper is not intended to improve the performance of SAT
solvers, but rather is a cautionary paper. In particular, the theme of this
paper is that there is a potential chasm between the existence of such
structures in the Boolean formula and being able to effectively exploit them.
This does not mean that these structures are not useful to solvers. It does
mean that one must be very careful not to assume that it is computationally
easy to go from the existence of a structure to being able to get one's hands
on it and/or being able to exploit the structure.
For example, in this paper we show that, under the assumption that P
NP, there are easily recognizable families of Boolean formulas with strong
backdoors that are easy to find, yet for which it is hard (in fact,
NP-complete) to determine whether the formulas are satisfiable. We also show
that, also under the assumption P NP, there are easily recognizable sets
of Boolean formulas for which it is hard (in fact, NP-complete) to determine
whether they have a large backbone
Recommended from our members
The effects of bilingualism on speakers who stutter during late childhood
Objectives: To examine stuttering by children speaking an alternative language exclusively (LE) or with English (BIL) and to study onset of stuttering, school performance and recovery rate relative to monolingual speakers who stutter (MONO).
Design: Clinical referral sample with supplementary data obtained from speech recordings and interviews.
Setting: South-East England, 1999–2007.
Participants: Children aged 8–12 plus who stuttered (monolingual and bilingual) and fluent bilingual controls
(FB).
Main outcome measures: Participants’ stuttering history, SATS scores, measures of recovery or persistence of stuttering.
Results: 69 (21.8%) of 317 children were bilingual. Of 38 children who used a language other than English at home, 36 (94.7%) stuttered in both languages. Fewer LE (15/38, 39.5%) than BIL (23/38, 60.5%) children stuttered at first referral to clinic, but more children in the fluent control sample were LE (28/38, 73.7%) than BIL (10/38, 26.3%). The association between stuttering and bilingual group (LE/BIL) was significant by x2 test; BIL speakers have more chance of stuttering than LE speakers. Age at stuttering onset and male/female ratio for LE, BIL and MONO speakers were similar (4 years 9 months, 4 years 10 months and 4 years 3 months, and 4.1:1, 4.75:1 and 4.43:1, respectively). Educational achievement was not affected by bilingualism relative to the MONO and FB groups. The recovery rate for the LE and MONO controls together (55%) was significantly higher by x2 test than for the BIL group (25%).
Conclusions: BIL children had an increased risk of stuttering and a lower chance of recovery from stuttering than LE and MONO speakers
Cosmic Strings, Zero Modes and SUSY breaking in Nonabelian N=1 Gauge Theories
We investigate the microphysics of cosmic strings in Nonabelian gauge
theories with N=1 supersymmetry. We give the vortex solutions in a specific
example and demonstrate that fermionic superconductivity arises because of the
couplings and interactions dictated by supersymmetry. We then use supersymmetry
transformations to obtain the relevant fermionic zero modes and investigate the
role of soft supersymmetry breaking on the existence and properties of the
superconducting strings.Comment: 12 pages, RevTex, submitted to Phys. Rev.
Fuel economy and exhaust emissions characteristics of diesel vehicles: Test results of a prototype Fiat 131 NA 2.4 liter automobile
The vehicle was tested on a chassis dynamometer over selected drive cycles and steady-state conditions. Two fuels were used, a U.S. no. 2 diesel and a European diesel fuel. The vehicle was tested with retarded timing and with and without an oxidation catalyst. Particulate emission rates were calculated from dilution tunnel measurements and large volume particulate samples were collected for biological and chemical analysis. It was determined that while the catalyst was generally effective in reducing hydrocarbon and carbon monoxide levels, it was also a factor in increasing particulate emissions. Increased particulate emission rates were particularly evident when the vehicle was operated on the European fuel which has a high sulfur content
Evaluation of a segment-based LANDSAT full-frame approach to corp area estimation
As the registration of LANDSAT full frames enters the realm of current technology, sampling methods should be examined which utilize other than the segment data used for LACIE. The effect of separating the functions of sampling for training and sampling for area estimation. The frame selected for analysis was acquired over north central Iowa on August 9, 1978. A stratification of he full-frame was defined. Training data came from segments within the frame. Two classification and estimation procedures were compared: statistics developed on one segment were used to classify that segment, and pooled statistics from the segments were used to classify a systematic sample of pixels. Comparisons to USDA/ESCS estimates illustrate that the full-frame sampling approach can provide accurate and precise area estimates
Thermocapillary flows and their stability: Effects of surface layers and combination
The theoretical analysis of the fluid mechanics and heat transfer of motions driven by surface tension gradients (Marangoni convection) was researched. Convection accompanying the process of growing high quality single crystals from the melt in a micro-g environment was examined. The geometries considered include two dimensional liquid filled slots and axisymmetric float-zone configurations
Improved space radiation shielding methods
The computing software that was used to perform the charged particle radiation transport analysis and shielding design for the Mariner Jupiter/Saturn 1977 spacecraft is described. Electron fluences, energy spectra and dose rates obtained with this software are presented and compared with independent computer calculations
Thermocapillary flows and their stability: Effects of surface layers and contamination
The fluid mechanics and heat transfer of motions driven by surface tension gradients (Marangoni convection) were analyzed theoretically to obtain an understanding of the convection accompanying the process of growing high quality single crystals from the melt in a mu-g environment. The geometries considered include two dimensional liquid filled slots and axisymmetric float zone configurations
An evolutionary model with Turing machines
The development of a large non-coding fraction in eukaryotic DNA and the
phenomenon of the code-bloat in the field of evolutionary computations show a
striking similarity. This seems to suggest that (in the presence of mechanisms
of code growth) the evolution of a complex code can't be attained without
maintaining a large inactive fraction. To test this hypothesis we performed
computer simulations of an evolutionary toy model for Turing machines, studying
the relations among fitness and coding/non-coding ratio while varying mutation
and code growth rates. The results suggest that, in our model, having a large
reservoir of non-coding states constitutes a great (long term) evolutionary
advantage.Comment: 16 pages, 7 figure
- …