
We measured the ratio $P_{x}/P_{z}$ of the transverse to longitudinal
components of polarization transferred from electrons to bound protons in
$^{12}\mathrm{C}$ by the $^{12}\mathrm{C}(\vec{e},e'\vec{p})$ process at the
Mainz Microtron (MAMI). We observed consistent deviations from unity of this
ratio normalized to the freeproton ratio,
$(P_{x}/P_{z})_{^{12}\mathrm{C}}/(P_{x}/P_{z})_{^{1}\mathrm{H}}$, for both $s$
and $p$shell knocked out protons, even though they are embedded in averaged
local densities that differ by about a factor of two. The dependence of the
double ratio on proton virtuality is similar to the one for knocked out protons
from $^{2}\mathrm{H}$ and $^{4}\mathrm{He}$, suggesting a universal behavior.
It further implies no dependence on average local nuclear density.

We report the first measurements of the transverse ($P_{x}$ and $P_{y}$) and
longitudinal ($P_{z}$) components of the polarization transfer to a bound
proton in the deuteron via the $^{2}\mathrm{H}(\vec{e},e'\vec{p})$ reaction,
over a wide range of missing momentum. A precise determination of the electron
beam polarization reduces the systematic uncertainties on the individual
components, to a level that enables a detailed comparison to a stateoftheart
calculation of the deuteron that uses freeproton electromagnetic form factors.
We observe very good agreement between the measured and the calculated
$P_{x}/P_{z}$ ratios, but deviations of the individual components. Our results
cannot be explained by medium modified electromagnetic form factors. They point
to an incomplete description of the nuclear reaction mechanism in the
calculation.

Possible differences between free and bound protons may be observed in the
ratio of polarizationtransfer components, $P'_x/P'_z$. We report the
measurement of $P'_x/P'_z$, in the $^2\textrm{H}(\vec{e},e^{\prime}\vec{p})n$
reaction at low and high missing momenta. Observed increasing deviation of
$P'_x/P'_z$ from that of a free proton as a function of the virtuality, similar
to that observed in \hefour, indicates that the effect in nuclei is due to the
virtuality of the knockout proton and not due to the average nuclear density.
The measured differences from calculations assuming freeproton form factors
($\sim10\%$), may indicate inmedium modifications.

Complementation of B\"uchi automata, required for checking automata
containment, is of major theoretical and practical interest in formal
verification. We consider two recent approaches to complementation. The first
is the rankbased approach of Kupferman and Vardi, which operates over a DAG
that embodies all runs of the automaton. This approach is based on the
observation that the vertices of this DAG can be ranked in a certain way,
termed an odd ranking, iff all runs are rejecting. The second is the
slicebased approach of K\"ahler and Wilke. This approach tracks levels of
"split trees"  run trees in which only essential information about the history
of each run is maintained. While the slicebased construction is conceptually
simple, the complementing automata it generates are exponentially larger than
those of the recent rankbased construction of Schewe, and it suffers from the
difficulty of symbolically encoding levels of split trees. In this work we
reformulate the slicebased approach in terms of run DAGs and preorders over
states. In doing so, we begin to draw parallels between the rankbased and
slicebased approaches. Through deeper analysis of the slicebased approach, we
strongly restrict the nondeterminism it generates. We are then able to employ
the slicebased approach to provide a new odd ranking, called a retrospective
ranking, that is different from the one provided by Kupferman and Vardi. This
new ranking allows us to construct a deterministicinthelimit rankbased
automaton with a highly restricted transition function. Further, by phrasing
the slicebased approach in terms of ranks, our approach affords a simple
symbolic encoding and achieves the tight bound of Schewe's construction

The premetric approach to electrodynamics provides a unified description of a
wide class of electromagnetic phenomena. In particular, it involves axion,
dilaton and skewon modifications of the classical electrodynamics. This
formalism emerges also when the nonminimal coupling between the
electromagnetic tensor and the torsion of EinsteinCartan gravity is
considered. Moreover, the premetric formalism can serve as a general covariant
background of the electromagnetic properties of anisotropic media. In the
current paper, we study wave propagation in the premetric electrodynamics. We
derive a system of characteristic equations corresponded to premetric
generalization of the Maxwell equation. This singular system is characterized
by the adjoint matrix which turns to be of a very special form  proportional
to a scalar quartic factor. We prove that a necessary condition for existence a
nontrivial solution of the characteristic system is expressed by a unique
scalar dispersion relation. In the tangential (momentum) space, it determines a
fourth order light hypersurface which replaces the ordinary light cone of the
standard Maxwell theory. We derive an explicit form of the covariant dispersion
relation and establish it'salgebraic and physical origin.

The possible extensions of GR for description of fermions on a curved space,
for supergravity and for loop quantum gravity require a richer set of 16
independent variables. These variables can be assembled in a coframe field,
i.e., a local set of four linearly independent 1forms. In the ordinary
formulation, the coframe gravity does not have any connection to a specific
geometry even being constructed from the geometrical meaningful objects. A
geometrization of the coframe gravity is an aim of this paper. We construct a
complete class of the coframe connections which are linear in the first order
derivatives of the coframe field on an $n$ dimensional manifolds with and
without a metric. The subclasses of the torsionfree, metriccompatible and
flat connections are derived. We also study the behavior of the geometrical
structures under local transformations of the coframe. The remarkable fact is
an existence of a subclass of connections which are invariant when the
infinitesimal transformations satisfy the Maxwelllike system of equations. In
the framework of the coframe geometry construction, we propose a geometrical
action for the coframe gravity. It is similar to the EinsteinHilbert action of
GR, but the scalar curvature is constructed from the general coframe
connection. We show that this geometric Lagrangian is equivalent to the coframe
Lagrangian up to a total derivative term. Moreover there is a family of coframe
connections which Lagrangian does not include the higher order terms at all. In
this case, the equivalence is complete.

The previous analysis of the convective Urca neutrino loss process in
degenerate, convective, quasistatic, carbonburning cores by Barkat and
Wheeler omitted specific consideration of the role of the kinetic energy flux.
The arguments of Barkat and Wheeler that steadystate composition gradients
exist are correct, but chemical equilibrium does not result in net cooling.
Barkat and Wheeler included a "work" term that effectively removed energy from
the total energy budget that could only have come from the kinetic energy,
which must remain positive. Consideration of the kinetic energy in the
thermodynamics of the convective Urca process shows that the convective Urca
neutrinos reduce the rate of increase of entropy that would otherwise be
associated with the input of nuclear energy and slow down the convective
current, but, unlike the "thermal" Urca process do not reduce the entropy or
temperature.