7 Isotropic and anisotropic seismic structures across Northern Apennines (Italy) 8 subduction zone are imaged using a new method for the analysis of teleseismc 9 receiver functions (RFs). More than 13,000 P-wave coda of teleseismic records 10 from the 2003-2007 RETREAT experiment are able to reveal new insights 11 into a peculiar subduction zone which develops at the convergent margin of 12 two...

Generative type abstractions – present in Haskell, OCaml, and other languages – are useful concepts to help prevent programmer errors. They serve to create new types that are distinct at compile time but share a run-time representation with some base type. We present a new mechanism that allows for zero-cost conversions between generative type abstractions and their representations, even when s...

We show that hydrodynamic modeling coupled to the synthesis of the plasma emission, taking into account the response of a given instrument, provides very useful information for the interpretation of ar-ing coronal loops observed in the X-ray band. We show how the same model are would appear very diierent if observed with Yohkoh SXT and TRACE and how our approach can help in providing a very det...

account of the several works that came from Digby's pen and, if one might judge from his Private Memoirs, his over-active brain. But even in this involved field of authorship one fails to find a solution to the strange uncertainties and contradictions that made Digby, Digby. Even the "powder of sympathy" in all its implications affords no explanation. Nevertheless, Sir Kenelm could not well be ...

This note discusses the main issues in performing correctly rounded decimal-to-binary and binary-to-decimal conversions. It reviews recent work by Clinger and by Steele and White on these conversions and describes some efficiency enhancements. Computational experience with several kinds of arithmetic suggests that the average computational cost for correct rounding can be small for typical conv...

In this paper, a new structure for buck-boost Z-source converter based on Z-H topology is proposed. The proposed converter consists of two LC networks similar to the conventional Z-source and Z-H converters. One of the characteristics of the proposed structure is that, without any changing in its’ power circuit, it can be used in different conversions such as dc/dc, dc/ac and ac/ac. This unique...

1. INTRODUCTION. It has become a truism, at least among statisticians, that while statistics is a mathematical science, it is not a subfield of mathematics. We even have apho-risms to express some ways in which our science differs from mathematics. George Box: " All models are wrong, but some are useful. " George Cobb: " In mathematics, context obscures structure. In data analysis, context prov...

A popular approach to significance testing proposes to decide whether the given hypothesized statistical model is likely to be true (or false). Statistical decision theory provides a basis for this approach by requiring every significance test to make a decision about the truth of the hypothesis/model under consideration. Unfortunately, many interesting and useful models are obviously false (th...

account of the several works that came from Digby's pen and, if one might judge from his Private Memoirs, his over-active brain. But even in this involved field of authorship one fails to find a solution to the strange uncertainties and contradictions that made Digby, Digby. Even the "powder of sympathy" in all its implications affords no explanation. Nevertheless, Sir Kenelm could not well be ...