Coherent and non-coherent processing of multiband radar sensor data

Increasing resolution is an attractive goal for all types of radar sensor applications. Obtaining high radar resolution is strongly related to the signal bandwidth which can be used. The currently available frequency bands however, restrict the available bandwidth and consequently the achievable range resolution. As nowadays more sensors become available e.g. on automotive platforms, methods of combining sensor information stemming from sensors operating in different and not necessarily overlapping frequency bands are of concern. It will be shown that it is possible to derive benefit from perceiving the same radar scenery with two or more sensors in distinct frequency bands. Beyond ordinary sensor fusion methods, radar information can be combined more effectively if one compensates for the lack of mutual coherence, thus taking advantage of phase information. <P> At high frequencies, complex scatterers can be approximately modeled as a group of single scattering centers with constant delay and slowly varying amplitude, i.e. a set of complex exponentials buried in noise. The eigenanalysis algorithms are well known for their capability to better resolve complex exponentials as compared to the classical spectral analysis methods. These methods exploit the statistical properties of those signals to estimate their frequencies. Here, two main approaches to extend the statistical analysis for the case of data collected at two different subbands are presented. One method relies on the use of the band gap information (and therefore, coherent data collection is needed) and achieves an increased resolution capability compared with the single-band case. On the other hand, the second approach does not use the band gap information and represents a robust way to process radar data collected with incoherent sensors. Combining the information obtained with these two approaches a robust estimator of the target locations with increased resolution can be built

An Internet-Based Tool for Use in Assessing the Likely Effect of Intensification on Losses of Nitrogen to the Environment

The EU Nitrates, Habitat and National Emissions Ceilings directives and the Kyoto Agreement mean that agricultural losses of NO3, NH3 and N2O are under scrutiny by national and international environmental authorities. When farmers wish to intensify their operations, the authorities must then assess the likely environmental impact of the change in operation. The FARM-N internet tool was developed to help farmers and authorities agree how the farm will be structured and managed in the future, and to provide an objective assessment of the environmental losses that will result

From Euclidean Geometry to Knots and Nets

This document is the Accepted Manuscript of an article accepted for publication in Synthese. Under embargo until 19 September 2018. The final publication is available at Springer via https://doi.org/10.1007/s11229-017-1558-x.This paper assumes the success of arguments against the view that informal mathematical proofs secure rational conviction in virtue of their relations with corresponding formal derivations. This assumption entails a need for an alternative account of the logic of informal mathematical proofs. Following examination of case studies by Manders, De Toffoli and Giardino, Leitgeb, Feferman and others, this paper proposes a framework for analysing those informal proofs that appeal to the perception or modification of diagrams or to the inspection or imaginative manipulation of mental models of mathematical phenomena. Proofs relying on diagrams can be rigorous if (a) it is easy to draw a diagram that shares or otherwise indicates the structure of the mathematical object, (b) the information thus displayed is not metrical and (c) it is possible to put the inferences into systematic mathematical relation with other mathematical inferential practices. Proofs that appeal to mental models can be rigorous if the mental models can be externalised as diagrammatic practice that satisfies these three conditions.Peer reviewe

The "Artificial Mathematician" Objection: Exploring the (Im)possibility of Automating Mathematical Understanding

Reuben Hersh confided to us that, about forty years ago, the late Paul Cohen predicted to him that at some unspecified point in the future, mathematicians would be replaced by computers. Rather than focus on computers replacing mathematicians, however, our aim is to consider the (im)possibility of human mathematicians being joined by “artificial mathematicians” in the proving practice—not just as a method of inquiry but as a fellow inquirer

Recent progress in random metric theory and its applications to conditional risk measures

The purpose of this paper is to give a selective survey on recent progress in random metric theory and its applications to conditional risk measures. This paper includes eight sections. Section 1 is a longer introduction, which gives a brief introduction to random metric theory, risk measures and conditional risk measures. Section 2 gives the central framework in random metric theory, topological structures, important examples, the notions of a random conjugate space and the Hahn-Banach theorems for random linear functionals. Section 3 gives several important representation theorems for random conjugate spaces. Section 4 gives characterizations for a complete random normed module to be random reflexive. Section 5 gives hyperplane separation theorems currently available in random locally convex modules. Section 6 gives the theory of random duality with respect to the locally $L^{0}-$convex topology and in particular a characterization for a locally $L^{0}-$convex module to be $L^{0}-$pre$-$barreled. Section 7 gives some basic results on $L^{0}-$convex analysis together with some applications to conditional risk measures. Finally, Section 8 is devoted to extensions of conditional convex risk measures, which shows that every representable $L^{\infty}-$type of conditional convex risk measure and every continuous $L^{p}-$type of convex conditional risk measure ($1\leq p<+\infty$) can be extended to an $L^{\infty}_{\cal F}({\cal E})-$type of $\sigma_{\epsilon,\lambda}(L^{\infty}_{\cal F}({\cal E}), L^{1}_{\cal F}({\cal E}))-$lower semicontinuous conditional convex risk measure and an $L^{p}_{\cal F}({\cal E})-$type of ${\cal T}_{\epsilon,\lambda}-$continuous conditional convex risk measure ($1\leq p<+\infty$), respectively.Comment: 37 page

Fecal pancreatic elastase-1 levels in older individuals without known gastrointestinal diseases or diabetes mellitus

Background - Structural changes occur in the pancreas as a part of the natural aging process. With aging, also the incidence of maldigestive symptoms and malnutrition increases, raising the possibility that these might be caused at least in part by inadequate pancreatic enzyme secretion due to degenerative processes and damage of the gland. Fecal elastase-1 is a good marker of pancreatic exocrine secretion. The aim of this study was to investigate the fecal elastase-1 levels among over 60 years old Finnish and Polish healthy individuals without any special diet, known gastrointestinal disease, surgery or diabetes mellitus. Methods - A total of 159 patients participated in this cross-sectional study. 106 older individuals (aged 60-92 years) were recruited from outpatient clinics and elderly homes. They were divided to three age groups: 60-69 years old (n = 31); 70-79 years old (n = 38) and over 80 years old (n = 37). 53 young subjects (20-28 years old) were investigated as controls. Inclusion criteria were age over 60 years, normal status and competence. Exclusion criteria were any special diet, diabetes mellitus, any known gastrointestinal disease or prior gastrointestinal surgery. Fecal elastase-1 concentration was measured from stool samples with an ELISA that uses two monoclonal antibodies against different epitopes of human elastase-1. Results - Fecal elastase-1 concentrations correlated negatively with age (Pearson r = -0,3531, P < 0.001) and were significantly lower among subjects over 70 years old compared to controls (controls vs. 70-79 years old and controls vs. over 80 years old, both P < 0.001). Among the over 60 years old subjects, the fecal elastase-1 concentrations were below the cut off level of 200 μg/g in 23 of 106 (21.7%) individuals [mean 112 (86-138) μg/g] indicating pancreatic exocrine insufficiency. Of those, 9 subjects had fecal elastase-1 level below 100 μg/g as a marker of severe pancreatic insufficiency. Conclusion - In our study one fifth of healthy older individuals without any gastrointestinal disorder, surgery or diabetes mellitus suffer from pancreatic exocrine insufficiency and might benefit from enzyme supplementation therapy.peerReviewe

Representation of the penalty term of dynamic concave utilities

In this paper we will provide a representation of the penalty term of general dynamic concave utilities (hence of dynamic convex risk measures) by applying the theory of g-expectations.Comment: An updated version is published in Finance & Stochastics. The final publication is available at http://www.springerlink.co

The good, the bad and the ugly

This paper discusses the neo-logicist approach to the foundations of mathematics by highlighting an issue that arises from looking at the Bad Company objection from an epistemological perspective. For the most part, our issue is independent of the details of any resolution of the Bad Company objection and, as we will show, it concerns other foundational approaches in the philosophy of mathematics. In the first two sections, we give a brief overview of the "Scottish" neo-logicist school, present a generic form of the Bad Company objection and introduce an epistemic issue connected to this general problem that will be the focus of the rest of the paper. In the third section, we present an alternative approach within philosophy of mathematics, a view that emerges from Hilbert's Grundlagen der Geometrie (1899, Leipzig: Teubner; Foundations of geometry (trans.: Townsend, E.). La Salle, Illinois: Open Court, 1959.). We will argue that Bad Company-style worries, and our concomitant epistemic issue, also affects this conception and other foundationalist approaches. In the following sections, we then offer various ways to address our epistemic concern, arguing, in the end, that none resolves the issue. The final section offers our own resolution which, however, runs against the foundationalist spirit of the Scottish neo-logicist program