Constructing applicative functors

Applicative functors define an interface to computation that is more general, and correspondingly weaker, than that of monads. First used in parser libraries, they are now seeing a wide range of applications. This paper sets out to explore the space of non-monadic applicative functors useful in programming. We work with a generalization, lax monoidal functors, and consider several methods of constructing useful functors of this type, just as transformers are used to construct computational monads. For example, coends, familiar to functional programmers as existential types, yield a range of useful applicative functors, including left Kan extensions. Other constructions are final fixed points, a limited sum construction, and a generalization of the semi-direct product of monoids. Implementations in Haskell are included where possible

High Pressure Processing of Dairy Foods

End of Project ReportThe term High Pressure Processing (HPP) is used to describe the technology whereby products are exposed to very high pressures in the region of 50 - 800 MPa (500 - 8000 Atmospheres). The potential application of HPP in the food industry has gained popularity in recent years, due to developments in the construction of HPP equipment which makes the technology more affordable. Applying HPP to food products results in modifications to interactions between individual components, rates of enzymatic reactions and inactivation of micro-organisms. The first commercial HPP products appeared on the market in 1991 in Japan, where HPP is now being used commercially for products such as jams, sauces, fruit juices, rice cakes and desserts. The pioneering research into the application of HPP to milk dates back to the end of the 19th century. Application of HPP to milk has been shown to modify its gel forming characteristics as well as reducing its microbial load. HPP offers the potential to induce similar effects to those generated by heat on milk protein. Recent reports have also indicated that HPP could accelerate the ripening of cheese. Much of the Irish cheese industry is based on the production of Cheddar cheese, the ripening time for which can vary from 4 - 12 months or more, depending on grade. A substantial portion of the cost associated with Cheddar manufacture is therefore attributed to storage under controlled conditions during ripening. Thus, any technology which may accelerate the ripening of Cheddar cheese while maintaining a balanced flavour and texture is of major economic significance. While food safety is a dominant concern, consumers are increasingly demanding foods that maintain their natural appearance and flavour, while free of chemical preservatives. HPP offers the food industry the possibility of achieving these twin goals as this technology can lead to reduced microbial loads without detrimentally effecting the nutritional or sensory qualities of the product. The development of food ingredients with novel functional properties offers the dairy industry an opportunity to revitalise existing markets and develop new ones. HPP can lead to modifications in the structure of milk components, in particular protein, which may provide interesting possibilities for the development of high value nutritional and functional ingredients. Hence these projects set out to investigate the potential of HPP in the dairy industry and to identify products and processes to which it could be applied.Department of Agriculture, Food and the Marin

Neutral top-pion and lepton flavor violating processes

In the context of topcolor-assisted techicolor(TC2) models, we study the contributions of the neutral top-pion $\pi^{0}_{t}$ to the lepton flavor violating(LFV) processes $l_{i}\to l_{j}\gamma$ and $l_{i}\to l_{j}l_{k}l_{l}$. We find that the present experimental bound on $\mu\to e\gamma$ gives severe constraints on the free parameters of $TC2$ models. Taking into account these constraints, we consider the processes $l_{i}\to l_{j}l_{k}l_{l}$ generated by top-pion exchange at the tree-level and the one loop level, and obtain $Br(\mu\to 3e)\simeq 2.87\times 10^{-14}$, $1.1\times 10^{-15}\leq Br(\tau\to 3e)\simeq Br(\tau\to 2e\mu)\leq 4.4 \times 10^{-15}$, $3.1\times 10^{-15} \leq Br(\tau\to 2\mu e)\simeq Br(\tau\to 3\mu)\leq 1.5 \times 10^{-14}$ in most of the parameter space.Comment: latex files,16 pages, 6 figures. Submitted to Phys. Rev.

Probing Lorentz and CPT violation with space-based experiments

Space-based experiments offer sensitivity to numerous unmeasured effects involving Lorentz and CPT violation. We provide a classification of clock sensitivities and present explicit expressions for time variations arising in such experiments from nonzero coefficients in the Lorentz- and CPT-violating Standard-Model Extension.Comment: 15 page

Functional diversity of chemokines and chemokine receptors in response to viral infection of the central nervous system.

Encounters with neurotropic viruses result in varied outcomes ranging from encephalitis, paralytic poliomyelitis or other serious consequences to relatively benign infection. One of the principal factors that control the outcome of infection is the localized tissue response and subsequent immune response directed against the invading toxic agent. It is the role of the immune system to contain and control the spread of virus infection in the central nervous system (CNS), and paradoxically, this response may also be pathologic. Chemokines are potent proinflammatory molecules whose expression within virally infected tissues is often associated with protection and/or pathology which correlates with migration and accumulation of immune cells. Indeed, studies with a neurotropic murine coronavirus, mouse hepatitis virus (MHV), have provided important insight into the functional roles of chemokines and chemokine receptors in participating in various aspects of host defense as well as disease development within the CNS. This chapter will highlight recent discoveries that have provided insight into the diverse biologic roles of chemokines and their receptors in coordinating immune responses following viral infection of the CNS

Dyson-Schwinger Equations: Density, Temperature and Continuum Strong QCD

Continuum strong QCD is the application of models and continuum quantum field theory to the study of phenomena in hadronic physics, which includes; e.g., the spectrum of QCD bound states and their interactions; and the transition to, and properties of, a quark gluon plasma. We provide a contemporary perspective, couched primarily in terms of the Dyson-Schwinger equations but also making comparisons with other approaches and models. Our discourse provides a practitioners' guide to features of the Dyson-Schwinger equations [such as confinement and dynamical chiral symmetry breaking] and canvasses phenomenological applications to light meson and baryon properties in cold, sparse QCD. These provide the foundation for an extension to hot, dense QCD, which is probed via the introduction of the intensive thermodynamic variables: chemical potential and temperature. We describe order parameters whose evolution signals deconfinement and chiral symmetry restoration, and chronicle their use in demarcating the quark gluon plasma phase boundary and characterising the plasma's properties. Hadron traits change in an equilibrated plasma. We exemplify this and discuss putative signals of the effects. Finally, since plasma formation is not an equilibrium process, we discuss recent developments in kinetic theory and its application to describing the evolution from a relativistic heavy ion collision to an equilibrated quark gluon plasma.Comment: 103 Pages, LaTeX, epsfig. To appear in Progress in Particle and Nuclear Physics, Vol. 4

Evidence for shape coexistence and superdeformation in 24Mg

The E0 transition depopulating the first-excited 0+ state in 24Mg has been observed for the first time, and the E0 transition strength determined by electron-positron pair and γ-ray spectroscopy measurements performed using the Super-e pair spectrometer. The E0 transition strength is ρ2×103=380(70). A two-state mixing model implies a deformation of the first-excited 0+ state of β2≈1 and a change in the mean-square charge radius of Δ〈r2〉≈1.9fm2, which suggests a significant shape change between the ground state and first-excited 0+ state in 24Mg. The observed E0 strength gives direct evidence of shape coexistence and superdeformation in 24Mg, bringing this nucleus into line with similar behaviour in nearby N=Z nuclei. This result agrees with recent theoretical work on the cluster nature of 24Mg and has potential ramifications for nuclear reactions of astrophysical importance