4,329 research outputs found
A class of well-posed parabolic final value problems
This paper focuses on parabolic final value problems, and well-posedness is
proved for a large class of these. The clarification is obtained from Hilbert
spaces that characterise data that give existence, uniqueness and stability of
the solutions. The data space is the graph normed domain of an unbounded
operator that maps final states to the corresponding initial states. It induces
a new compatibility condition, depending crucially on the fact that analytic
semigroups always are invertible in the class of closed operators. Lax--Milgram
operators in vector distribution spaces constitute the main framework. The
final value heat conduction problem on a smooth open set is also proved to be
well posed, and non-zero Dirichlet data are shown to require an extended
compatibility condition obtained by adding an improper Bochner integral.Comment: 16 pages. To appear in "Applied and numerical harmonic analysis"; a
reference update. Conference contribution, based on arXiv:1707.02136, with
some further development
A Formal, Resource Consumption-Preserving Translation of Actors to Haskell
We present a formal translation of an actor-based language with cooperative
scheduling to the functional language Haskell. The translation is proven
correct with respect to a formal semantics of the source language and a
high-level operational semantics of the target, i.e. a subset of Haskell. The
main correctness theorem is expressed in terms of a simulation relation between
the operational semantics of actor programs and their translation. This allows
us to then prove that the resource consumption is preserved over this
translation, as we establish an equivalence of the cost of the original and
Haskell-translated execution traces.Comment: Pre-proceedings paper presented at the 26th International Symposium
on Logic-Based Program Synthesis and Transformation (LOPSTR 2016), Edinburgh,
Scotland UK, 6-8 September 2016 (arXiv:1608.02534
Selective cooling of the brain in reindeer
Selective cooling of the brain during hyper-thermia has been demonstrated in several species of mammals (Baker 1979, 1982). Such cooling is achieved by heat exchange between the cooled venous blood returning from the nasal mucosa and the warmer arterial blood entering the brain via the carotid rete. Spot measurements of brain temperature (Tbr) and carotid blood temperature (TCar) were made within 1 min. of death in 40 wild reindeer (Rangifer tarandus tarandus). At Tear lower than 40.5°C Tbr was higher than T c a r. With increasing Tear above 40.5°C Tbr remained at approxima-tely 40.5°C, indicating that selective cooling of the brain had occurred
No alignment of cattle along geomagnetic field lines found
This paper presents a study of the body orientation of domestic cattle on
free pastures in several European states, based on Google satellite
photographs. In sum, 232 herds with 3412 individuals were evaluated. Two
independent groups participated in our study and came to the same conclusion
that, in contradiction to the recent findings of other researchers, no
alignment of the animals and of their herds along geomagnetic field lines could
be found. Several possible reasons for this discrepancy should be taken into
account: poor quality of Google satellite photographs, difficulties in
determining the body axis, selection of herds or animals within herds, lack of
blinding in the evaluation, possible subconscious bias, and, most importantly,
high sensitivity of the calculated main directions of the Rayleigh vectors to
some kind of bias or to some overlooked or ignored confounder. This factor
could easily have led to an unsubstantiated positive conclusion about the
existence of magnetoreception.Comment: Added electronic supplement with source dat
Spin-dynamic field coupling in strongly THz driven semiconductors : local inversion symmetry breaking
We study theoretically the optics in undoped direct gap semiconductors which
are strongly driven in the THz regime. We calculate the optical sideband
generation due to nonlinear mixing of the THz field and the near infrared
probe. Starting with an inversion symmetric microscopic Hamiltonian we include
the THz field nonperturbatively using non-equilibrium Green function
techniques. We find that a self induced relativistic spin-THz field coupling
locally breaks the inversion symmetry, resulting in the formation of odd
sidebands which otherwise are absent.Comment: 8 pages, 6 figure
Retrospective evidence for a biological cost of vancomycin resistance determinants in the absence of glycopeptide selective pressures
To estimate the relative fitness differences between glycopeptide-resistant Enterococcus faecium (GREF) and glycopeptide-susceptible E. faecium (GSEF) from yearly surveillance data on the occurrence of GREF in Danish poultry farm environments.
A population genetic model was adapted to retrospectively estimate the biological fitness cost of acquired resistance. Maximization of a likelihood function was used to predict the longitudinal persistence of acquired resistance.
Our analysis suggests strong selection against GREF following the 1995 ban on the glycopeptide growth promoter avoparcin. However, parameterizing the model with two selection coefficients suggesting a reduced negative effect of the acquired resistance on bacterial fitness over time significantly improved the fit of the model. Our analyses suggest that the acquired glycopeptide resistance will persist for >25 years.
Conclusions Acquired resistance determinants in commensal E. faecium populations in Danish farm environments are likely to persist for decades, even in the absence of glycopeptide use
Quasienergy Spectroscopy of Excitons
We theoretically study nonlinear optics of excitons under intense THz
irradiation. In particular, the linear near infrared absorption and resonantly
enhanced nonlinear sideband generation are described. We predict a rich
structure in the spectra which can be interpreted in terms of the quasienergy
spectrum of the exciton, via a remarkably transparent expression for the
susceptibility, and show that the effects of strongly avoided quasienergy
crossings manifest themselves directly, both in the absorption and transmitted
sidebands.Comment: 4 pages RevTex, 3 eps figs included, as publishe
Tough nanoparticle-modified polymers
A crosslinked epoxy polymer has been modified by the addition of nano-silica particles. The particles were introduced via a sol-gel technique which gave a very well dispersed phase of nano-silica particles which were about 20 nm in diameter. The glass transition temperature was unchanged by the addition of the nanoparticles, but both the modulus and toughness were increased. The fracture energy, GIc, increased from 100 J/m 2 for the unmodified epoxy to 460 J/m2 for the epoxy with 20 wt. % of nano-silica. The microscopy studies showed evidence of debonding of the nanoparticles and subsequent plastic void growth of the epoxy polymer. A theoretical model of plastic void growth was used to confirm this mechanism. The cyclic-fatigue behaviour of the epoxy polymers has also been studied and the fatigue properties were clearly enhanced by the presence of the nano-silica particles. Indeed, it was found that the values of the strain-energy release rate at threshold, Gth, from the cyclic-fatigue tests increased steadily as the toughness, GIc, also increased, i.e. as the concentration of nano-silica particles was increased
Excitonic Dynamical Franz-Keldysh Effect
The Dynamical Franz-Keldysh Effect is exposed by exploring near-bandgap
absorption in the presence of intense THz electric fields. It bridges the gap
between the DC Franz- Keldysh effect and multi-photon absorption and competes
with the THz AC Stark Effect in shifting the energy of the excitonic resonance.
A theoretical model which includes the strong THz field non-perturbatively via
a non-equilibrium Green Functions technique is able to describe the Dynamical
Franz-Keldysh Effect in the presence of excitonic absorption.Comment: 4 pages in revtex with 5 figures included using epsf. Submitted to
Physical Review Letter
- …