An interesting example for spectral invariants

In "Illinois J. of Math. {\bf 38} (1994) 653--678", the heat operator of a Bismut superconnection for a family of generalized Dirac operators is defined along the leaves of a foliation with Hausdorff groupoid. The Novikov-Shubin invariants of the Dirac operators were assumed greater than three times the codimension of the foliation. It was then showed that the associated heat operator converges to the Chern character of the index bundle of the operator. In "J. K-Theory {\bf 1} (2008) 305--356", we improved this result by reducing the requirement on the Novikov-Shubin invariants to one half of the codimension. In this paper, we construct examples which show that this is the best possible result.Comment: Third author added. Some typos corrected and some material added. Appeared in Journal of K Theory, Volume 13, in 2014, pages 305 to 31

Consumer Response to Genetically Modified Food Products in Japan

In Japan, a large U.S. export market, there has been growing public opposition against genetically modified (GM) foods. Using a dichotomous choice contingent valuation method, findings show the discount needed for Japanese Seikyou consumers to purchase GM food products is positively affected (i.e., a greater discount is required) by higher levels of self-reported risk perceptions toward GM food, higher levels of concern about food safety and the environment, higher self-reported knowledge about biotechnology, education levels, and income. Interestingly, gender does not significantly affect the discount needed for GM food. Further, it can be inferred from the results that a transformation of Japanese consumers' perceptions and attitudes is needed for GM food products to successfully enter the Japanese market.Consumer/Household Economics,

State space c-reductions for concurrent systems in rewriting logic

We present c-reductions, a state space reduction technique. The rough idea is to exploit some equivalence relation on states (possibly capturing system regularities) that preserves behavioral properties, and explore the induced quotient system. This is done by means of a canonizer function, which maps each state into a (non necessarily unique) canonical representative of its equivalence class. The approach exploits the expressiveness of rewriting logic and its realization in Maude to enjoy several advantages over similar approaches: exibility and simplicity in the definition of the reductions (supporting not only traditional symmetry reductions, but also name reuse and name abstraction); reasoning support for checking and proving correctness of the reductions; and automatization of the reduction infrastructure via Maude's meta-programming features. The approach has been validated over a set of representative case studies, exhibiting comparable results with respect to other tools

Equianalytic and equisingular families of curves on surfaces

We consider flat families of reduced curves on a smooth surface S such that each member C has the same number of singularities of fixed singularity types and the corresponding (locally closed) subscheme H of the Hilbert scheme of S. We are mainly concerned with analytic resp. topological singularity types and give a sufficient condition for the smoothness of H (at C). Our results for S=P^2 seem to be quite sharp for families of cuves of small degree d.Comment: LaTeX v 2.0

Hydrology of the surficial aquifer in the Floyd River Basin, Iowa

https://ir.uiowa.edu/igs_wsb/1011/thumbnail.jp

A simply connected surface of general type with p_g=0 and K^2=2

In this paper we construct a simply connected, minimal, complex surface of general type with p_g=0 and K^2=2 using a rational blow-down surgery and Q-Gorenstein smoothing theory.Comment: 19 pages, 6 figures. To appear in Inventiones Mathematica