754 research outputs found
Pure mathematics in Australia
I.D. Macdonald argued in this journal in 1968 that there was an inadequate number of mathematicians teaching in Australian universities who were qualified by international standards to conduct honours courses and supervise research students..
On partial order semantics for SAT/SMT-based symbolic encodings of weak memory concurrency
Concurrent systems are notoriously difficult to analyze, and technological
advances such as weak memory architectures greatly compound this problem. This
has renewed interest in partial order semantics as a theoretical foundation for
formal verification techniques. Among these, symbolic techniques have been
shown to be particularly effective at finding concurrency-related bugs because
they can leverage highly optimized decision procedures such as SAT/SMT solvers.
This paper gives new fundamental results on partial order semantics for
SAT/SMT-based symbolic encodings of weak memory concurrency. In particular, we
give the theoretical basis for a decision procedure that can handle a fragment
of concurrent programs endowed with least fixed point operators. In addition,
we show that a certain partial order semantics of relaxed sequential
consistency is equivalent to the conjunction of three extensively studied weak
memory axioms by Alglave et al. An important consequence of this equivalence is
an asymptotically smaller symbolic encoding for bounded model checking which
has only a quadratic number of partial order constraints compared to the
state-of-the-art cubic-size encoding.Comment: 15 pages, 3 figure
Impact of Duodenal-Jejunal Exclusion on Satiety Hormones
OBJECTIVE: Bariatric procedures that exclude the proximal small intestine lead to significant weight loss which is probably mediated by changes in hormones that alter appetite, such as peptide YY (PYY), ghrelin, cholecystokinin (CCK), and leptin. Here, the effect of the non-surgical duodenal-jejunal bypass liner (DJBL) on concentrations of hormones implicated in appetite control was investigated. SUBJECTS: A two-center prospective study was conducted between January and December 2010. Seventeen obese subjects with type 2 diabetes were treated with the DJBL for 24 weeks. Fasting concentrations of leptin and meal responses of plasma PYY, CCK, and ghrelin were determined prior to and after implantation of the DJBL. RESULTS: At baseline, subjects had an average body weight of 116.0 +/- 5.8 kg. One week after implantation, subjects had lost 4.3 +/- 0.6 kg (p < 0.01), which progressed to 12.7 +/- 1.3 kg at week 24 (p < 0.01). Postprandial concentrations of PYY and ghrelin increased (baseline vs. week 1 vs. week 24 PYY: 2.6 +/- 0.2 vs. 4.1 +/- 0.4 vs. 4.1 +/- 0.7 nmol/L/min and ghrelin: 7.8 +/- 1.8 vs. 11.0 +/- 1.8 vs. 10.6 +/- 1.8 ng/mL/min, all p < 0.05). In parallel, the CCK response decreased (baseline vs. week 1 vs. week 24: 434 +/- 51 vs. 229 +/- 52 vs. 256 +/- 51pmol/L/min, p < 0.01). Fasting leptin concentrations also decreased (baseline vs. week 24: 98 +/- 17 vs. 53 +/- 10 ng/mL, p < 0.01). CONCLUSIONS: DJBL treatment induces weight loss paralleled by changes in concentrations of hormones involved in appetite control
Modeling quark-hadron duality for relativistic, confined fermions
We discuss a model for the study of quark-hadron duality in inclusive
electron scattering based on solving the Dirac equation numerically for a
scalar confining linear potential and a vector color Coulomb potential. We
qualitatively reproduce the features of quark-hadron duality for all potentials
considered, and discuss similarities and differences to previous models that
simplified the situation by treating either the quarks or all particles as
scalars. We discuss the scaling results for PWIA and FSI, and the approach to
scaling using the analog of the Callan-Gross relation for y-scaling.Comment: 38 pages, 21 figure
Gamma-Ray Bursts: The Underlying Model
A pedagogical derivation is presented of the ``fireball'' model of gamma-ray
bursts, according to which the observable effects are due to the dissipation of
the kinetic energy of a relativistically expanding wind, a ``fireball.'' The
main open questions are emphasized, and key afterglow observations, that
provide support for this model, are briefly discussed. The relativistic outflow
is, most likely, driven by the accretion of a fraction of a solar mass onto a
newly born (few) solar mass black hole. The observed radiation is produced once
the plasma has expanded to a scale much larger than that of the underlying
``engine,'' and is therefore largely independent of the details of the
progenitor, whose gravitational collapse leads to fireball formation. Several
progenitor scenarios, and the prospects for discrimination among them using
future observations, are discussed. The production in gamma- ray burst
fireballs of high energy protons and neutrinos, and the implications of burst
neutrino detection by kilometer-scale telescopes under construction, are
briefly discussed.Comment: In "Supernovae and Gamma Ray Bursters", ed. K. W. Weiler, Lecture
Notes in Physics, Springer-Verlag (in press); 26 pages, 2 figure
Measurement of the branching fraction for
We have studied the leptonic decay of the resonance into tau
pairs using the CLEO II detector. A clean sample of tau pair events is
identified via events containing two charged particles where exactly one of the
particles is an identified electron. We find . The result is consistent with
expectations from lepton universality.Comment: 9 pages, RevTeX, two Postscript figures available upon request, CLNS
94/1297, CLEO 94-20 (submitted to Physics Letters B
Study of the B^0 Semileptonic Decay Spectrum at the Upsilon(4S) Resonance
We have made a first measurement of the lepton momentum spectrum in a sample
of events enriched in neutral B's through a partial reconstruction of B0 -->
D*- l+ nu. This spectrum, measured with 2.38 fb**-1 of data collected at the
Upsilon(4S) resonance by the CLEO II detector, is compared directly to the
inclusive lepton spectrum from all Upsilon(4S) events in the same data set.
These two spectra are consistent with having the same shape above 1.5 GeV/c.
From the two spectra and two other CLEO measurements, we obtain the B0 and B+
semileptonic branching fractions, b0 and b+, their ratio, and the production
ratio f+-/f00 of B+ and B0 pairs at the Upsilon(4S). We report b+/b0=0.950
(+0.117-0.080) +- 0.091, b0 = (10.78 +- 0.60 +- 0.69)%, and b+ = (10.25 +- 0.57
+- 0.65)%. b+/b0 is equivalent to the ratio of charged to neutral B lifetimes,
tau+/tau0.Comment: 14 page, postscript file also available at
http://w4.lns.cornell.edu/public/CLN
Measurement of the Decay Asymmetry Parameters in and
We have measured the weak decay asymmetry parameters (\aLC ) for two \LC\
decay modes. Our measurements are \aLC = -0.94^{+0.21+0.12}_{-0.06-0.06} for
the decay mode and \aLC = -0.45\pm 0.31 \pm
0.06 for the decay mode . By combining these
measurements with the previously measured decay rates, we have extracted the
parity-violating and parity-conserving amplitudes. These amplitudes are used to
test models of nonleptonic charmed baryon decay.Comment: 11 pages including the figures. Uses REVTEX and psfig macros. Figures
as uuencoded postscript. Also available as
http://w4.lns.cornell.edu/public/CLNS/1995/CLNS95-1319.p
Observation of the Charmed Baryon Decays to , , and
We have observed two new decay modes of the charmed baryon into
and using data collected with the
CLEO II detector. We also present the first measurement of the branching
fraction for the previously observed decay mode . The branching fractions for these three modes relative to
are measured to be , , and , respectively.Comment: 12 page uuencoded postscript file, postscript file also available
through http://w4.lns.cornell.edu/public/CLN
- …