963 research outputs found
Description of W.H.O.I. rock dredge samples : volume II
This report is Volume II in the series of reports entitled "DESCRIPTIONS
OF W.H.O.I. ROCK DREDGE SAMPLES". This volume represents the final step in
the major effort to catalog and prepare initial descriptions for all rock
dredge samples in the W.H.O.I. Sea Floor Samples Collection, and to distribute this information throughout the scientific community. The distribution of
this report completes the initial description of the backlog of W.H.O.I.
Dredge Samples. The data contained in this volume is an accumulation and
transcription of initial descriptions made at sea, along with post-cruise
descriptions performed at the lab by the curatorial staff.
Volume II contains individual stations executed during the period 1963
through 1986. It also presents a digitized listing of all dredge station data
for the entire W.H.O.I. Dredge Collection through 1986. The data are sorted
by Marsden Squares and can serve as a regional index for all rock descriptions
included in Volumes I-III.Prepared for the National Science Foundation
under grant No. OCE 85-19889
Descriptions of WHOI sediment cores, volume 8
This report supplements Volumes 1 - 7 of the core descriptions published previously in this sequence (Johnson and Driscoll,
1975; 1977; Broda, Franks, and Keith, 1981; Broda and Andrew, 1985). It contains visual descriptions and smear slide analyses
for several suites of cores received in the geological samples collection of the Woods Hole Oceanographic Institution between
mid-1984 and late 1989. Approximately 220 sample localities from the North Atlantic, South Atlantic, Mediterranean and Pacific
Oceans are represented. Charts of ships tracks for cruises included in this report and updated computer listings of all cores in the
W.H.O.I. col1ection are also presented.Funding was provided by the National Science Foundation under Contract
Nos. OCE88-00693 and OCE 1901734
On the State Complexity of Partial Derivative Automata For Regular Expressions with Intersection
Extended regular expressions (with complement and intersection) are used in many applications due to their succinctness. In particular, regular expressions extended with intersection only (also called semi-extended) can already be exponentially smaller than standard regular expressions or equivalent nondeterministic finite automata (NFA). For practical purposes it is important to study the average behaviour of conversions between these models. In this paper, we focus on the conversion of regular expressions with intersection to nondeterministic finite automata, using partial derivatives and the notion of support. First, we give a tight upper bound of 2O(n) for the worst-case number of states of the resulting partial derivative automaton, where n is the size of the expression. Using the framework of analytic combinatorics, we then establish an upper bound of (1.056 + o(1))n for its asymptotic average-state complexity, which is significantly smaller than the one for the worst case. (c) IFIP International Federation for Information Processing 2016
Machine comprehension of text using combinatory categorial grammar and answer set programs
We present an automated method for generating Answer Set Programs from narratives written in English and demonstrate how such a representation can be used to answer questions about text. The proposed approach relies on a transparent interface between the syntax and semantics of natural language provided by Combinatory Categorial Grammars to translate text into Answer Set Programs, hence creating a knowledge base that, together with background knowledge, can be queried
Cross-shell excitation in two-proton knockout: Structure of Ca
The two-proton knockout reaction Be(Ti,Ca) has
been studied at 72 MeV/nucleon. Besides the strong feeding of the Ca
ground state, the only other sizeable cross section proceeds to a 3 level
at 3.9 MeV. There is no measurable direct yield to the first excited 2
state at 2.6 MeV. The results illustrate the potential of such direct reactions
for exploring cross-shell proton excitations in neutron-rich nuclei and
confirms the doubly-magic nature of Ca
Optimization of ATM filling-in with cash
This report presents an approach for modeling daily cash demand for all ATMs in the Credit Agricole Bank network in Serbia. The approach is based on time series and regression methods for forecasting an optimal amount of money that should be placed daily in the ATMs in order to meet customers’ demands and mimimize costs of the bank. Three different types of costs were considered: cash freezing costs, transportation costs and insurance costs. The performance of the resulting forecasts were compared with results of the application that bank uses for prediciton of the time and the amount of filling-in for each ATM based on historical data
4-Dimensional BF Theory as a Topological Quantum Field Theory
Starting from a Lie group G whose Lie algebra is equipped with an invariant
nondegenerate symmetric bilinear form, we show that 4-dimensional BF theory
with cosmological term gives rise to a TQFT satisfying a generalization of
Atiyah's axioms to manifolds equipped with principal G-bundle. The case G =
GL(4,R) is especially interesting because every 4-manifold is then naturally
equipped with a principal G-bundle, namely its frame bundle. In this case, the
partition function of a compact oriented 4-manifold is the exponential of its
signature, and the resulting TQFT is isomorphic to that constructed by Crane
and Yetter using a state sum model, or by Broda using a surgery presentation of
4-manifolds.Comment: 15 pages in LaTe
Chern-Simons Field Theories with Non-semisimple Gauge Group of Symmetry
Subject of this work is a class of Chern-Simons field theories with
non-semisimple gauge group, which may well be considered as the most
straightforward generalization of an Abelian Chern-Simons field theory. As a
matter of fact these theories, which are characterized by a non-semisimple
group of gauge symmetry, have cubic interactions like those of non-abelian
Chern-Simons field theories, but are free from radiative corrections. Moreover,
at the tree level in the perturbative expansion,there are only two connected
tree diagrams, corresponding to the propagator and to the three vertex
originating from the cubic interaction terms. For such theories it is derived
here a set of BRST invariant observables, which lead to metric independent
amplitudes. The vacuum expectation values of these observables can be computed
exactly. From their expressions it is possible to isolate the Gauss linking
number and an invariant of the Milnor type, which describes the topological
relations among three or more closed curves.Comment: 16 pages, 1 figure, plain LaTeX + psfig.st
- …