Epuraea imperialis (Reitter, 1877). New invasive species of Nitidulidae (Coleoptera) in Europe, with a checklist of sap beetles introduced to Europe and Mediterranean areas

Australian species Epuraea imperialis (Reitter, 1877), previously introduced to New Zealand, is recorded as a new invasive species from the Canary Islands, Continental Spain, Portugal, France, Belgium, and Italy. It is redescribed and figured, and its taxonomic position in the genus Epuraea Erichson, 1843 is discussed. A tentative checklist of sap beetles introduced to Europe and the Mediterranean areas is finally included

Interpretations of Presburger Arithmetic in Itself

Presburger arithmetic PrA is the true theory of natural numbers with addition. We study interpretations of PrA in itself. We prove that all one-dimensional self-interpretations are definably isomorphic to the identity self-interpretation. In order to prove the results we show that all linear orders that are interpretable in (N,+) are scattered orders with the finite Hausdorff rank and that the ranks are bounded in terms of the dimension of the respective interpretations. From our result about self-interpretations of PrA it follows that PrA isn't one-dimensionally interpretable in any of its finite subtheories. We note that the latter was conjectured by A. Visser.Comment: Published in proceedings of LFCS 201

Minimax Estimation of Nonregular Parameters and Discontinuity in Minimax Risk

When a parameter of interest is nondifferentiable in the probability, the existing theory of semiparametric efficient estimation is not applicable, as it does not have an influence function. Song (2014) recently developed a local asymptotic minimax estimation theory for a parameter that is a nondifferentiable transform of a regular parameter, where the nondifferentiable transform is a composite map of a continuous piecewise linear map with a single kink point and a translation-scale equivariant map. The contribution of this paper is two fold. First, this paper extends the local asymptotic minimax theory to nondifferentiable transforms that are a composite map of a Lipschitz continuous map having a finite set of nondifferentiability points and a translation-scale equivariant map. Second, this paper investigates the discontinuity of the local asymptotic minimax risk in the true probability and shows that the proposed estimator remains to be optimal even when the risk is locally robustified not only over the scores at the true probability, but also over the true probability itself. However, the local robustification does not resolve the issue of discontinuity in the local asymptotic minimax risk

Ozone treatment of stored potato tubers

During storage, potato tubers are susceptible to different pathogen, which can attack the skin and flesh of the tubers. The most serious damage can be caused by rot inducing bacteria and fungi. A possible way to prevent microbial damage may be the use of ozone in the air ventilated through the stored tubers. However, the tubers can undergo qualitative changes, e.g. dehydration and loss of starch content. This article presents the results of a five-month experiment in which ozone concentration of 5 mg m-3 was periodically introduced in some of the stored potato tubers of the cultivar ‘Dali’. All potato tubers were stored in closed storage boxes with a metal frame and wood panels in the floor and walls (ground area 1.6×1.2 m, height 0.95 m) which were continuously aerated using the ambient air in a potato warehouse. There was 900 kg of tubers stored in the box. At the end of the experiment, the ozonated variant was compared with the control (not treated). The ozone-treated tubers had 2.95 times lower incidence of infection by rot and the number of microorganisms on healthy tubers was lower than the control. The ozone-treated tubers were less frequently dehydrated. The water loss was higher in control by 0.86 %. There was no significant difference in silver scurf manifestation or in the starch content between the two variants

Towards a Proof Theory of G\"odel Modal Logics

Analytic proof calculi are introduced for box and diamond fragments of basic modal fuzzy logics that combine the Kripke semantics of modal logic K with the many-valued semantics of G\"odel logic. The calculi are used to establish completeness and complexity results for these fragments

Quantum mechanics and elements of reality inferred from joint measurements

The Einstein-Podolsky-Rosen argument on quantum mechanics incompleteness is formulated in terms of elements of reality inferred from joint (as opposed to alternative) measurements, in two examples involving entangled states of three spin-1/2 particles. The same states allow us to obtain proofs of the incompatibility between quantum mechanics and elements of reality.Comment: LaTeX, 12 page

Interval valued (\in,\ivq)-fuzzy filters of pseudo BLBL-algebras

We introduce the concept of quasi-coincidence of a fuzzy interval value with an interval valued fuzzy set. By using this new idea, we introduce the notions of interval valued (\in,\ivq)-fuzzy filters of pseudo $BL$-algebras and investigate some of their related properties. Some characterization theorems of these generalized interval valued fuzzy filters are derived. The relationship among these generalized interval valued fuzzy filters of pseudo $BL$-algebras is considered. Finally, we consider the concept of implication-based interval valued fuzzy implicative filters of pseudo $BL$-algebras, in particular, the implication operators in Lukasiewicz system of continuous-valued logic are discussed

Robust Estimators in Generalized Pareto Models

This paper deals with optimally-robust parameter estimation in generalized Pareto distributions (GPDs). These arise naturally in many situations where one is interested in the behavior of extreme events as motivated by the Pickands-Balkema-de Haan extreme value theorem (PBHT). The application we have in mind is calculation of the regulatory capital required by Basel II for a bank to cover operational risk. In this context the tail behavior of the underlying distribution is crucial. This is where extreme value theory enters, suggesting to estimate these high quantiles parameterically using, e.g. GPDs. Robust statistics in this context offers procedures bounding the influence of single observations, so provides reliable inference in the presence of moderate deviations from the distributional model assumptions, respectively from the mechanisms underlying the PBHT.Comment: 26pages, 6 figure

The Relationship Between Belief and Credence

Sometimes epistemologists theorize about belief, a tripartite attitude on which one can believe, withhold belief, or disbelieve a proposition. In other cases, epistemologists theorize about credence, a fine-grained attitude that represents one’s subjective probability or confidence level toward a proposition. How do these two attitudes relate to each other? This article explores the relationship between belief and credence in two categories: descriptive and normative. It then explains the broader significance of the belief-credence connection and concludes with general lessons from the debate thus far

The stubborn non-probabilist : "negation incoherence" and a new way to block the Dutch Book argument

We rigorously specify the class of nonprobabilistic agents which are, we argue, immune to the classical Dutch Book argument. We also discuss the notion of expected value used in the argument as well as sketch future research connecting our results to those concerning incoherence measures