Resource-driven Substructural Defeasible Logic

Linear Logic and Defeasible Logic have been adopted to formalise different features relevant to agents: consumption of resources, and reasoning with exceptions. We propose a framework to combine sub-structural features, corresponding to the consumption of resources, with defeasibility aspects, and we discuss the design choices for the framework

Ice melting and earthquake suppression in Greenland

It has been suggested that the Greenland ice sheet is the cause of earthquake suppression in the region. With few exceptions, the observed seismicity extends only along the continental margins of Greenland, which almost coincide with the ice sheet margin. This pattern has been put forward as further validation of the earthquake suppression hypothesis. In this review, new evidence in terms of ice melting, post-glacial rebound and earthquake occurrence is gathered and discussed to re-evaluate the connection between ice mass unloading and earthquake suppression. In Greenland, the spatiotemporal distribution of earthquakes indicates that seismicity is mainly con- fined to regions where the thick layer of ice is absent and where significant ice melting is presently occurring. A clear correlation between seismic activity and ice melting in Greenland is not found. However, earthquake locations and corresponding depth distributions suggest two distinct governing mechanisms: post-glacial rebound promotes moderate-size crustal earthquakes at Greenland’s regional scale, while current ice melting promotes shallow low magnitude seismicity locall

Intermittent Sea Level Acceleration

Using instrumental observations from the Permanent Service for Mean Sea Level (PSMSL), we provide a new assessment of the global sea{level acceleration for the last 2 centuries (1820-2010). Our results, obtained by a stack of tide gauge time series, con firm the existence of a global sea level acceleration (GSLA) and, coherently with independent assessments so far, they point to a value close to 0:01 mm/yr2. However, di fferently from previous studies, we discuss how change points or abrupt inflections in individual sea level time series have contributed to the GSLA. Our analysis, based on methods borrowed from econometrics, suggests the existence of two distinct driving mechanisms for the GSLA, both involving a minority of tide gauges globally. The first effectively implies a gradual increase in the rate of sea level rise at individual tide gauges, while the second is manifest through a sequence of catastrophic variations of the sea level trend. These occurred intermittently since the end of the 19th century and became more frequent during the last four decades

Anomalous secular sea-level acceleration in the Baltic Sea caused by isostatic adjustment

Observations from the global array of tide gauges show that global sealevel has been rising at an average rate of 1.5-2 mm/yr during the last ~150 years [Douglas 1991, Spada and Galassi 2012]. Although a global sea-level acceleration was initially ruled out [Douglas 1992], subsequent studies [Douglas 1997, Church and White 2006, Jevrejeva et al. 2008, Church and White 2011] have coherently proposed values of ~1 mm/year/century [Olivieri and Spada 2013]. More complex non-linear trends and abrupt sea-level variations have now also been recognized. Globally, these could manifest a regime shift between the late Holocene and the current rhythms of sea-level rise [Gehrels and Woodworth 2013], while locally they result from ocean circulation anomalies, steric effects and wind stress [Bromirski et al. 2011, Merrifield 2011]. Although isostatic readjustment affects the local rates of secular sea-level change [Milne and Mitrovica 1998, Peltier 2004], a possible impact on regional acceleration has been so far discounted [Douglas 1992, Jevrejeva et al. 2008, Woodworth et al. 2009] since the process evolves on a millennium time scale [Turcotte and Schubert 2002]. Here we report a previously unnoticed anomaly in the long-term sea-level acceleration of the Baltic Sea tide gauge records, and we explain it by the classical post-glacial rebound theory and numerical modeling of glacial isostasy. Contrary to previous assumptions, our findings demonstrate that isostatic compensation plays a role in the regional secular sea-level acceleration

Empirical mode decomposition of long-term polar motion observation

We use the Empirical Mode Decomposition (EMD) method to study the decadal variations in polar motion and its long-term trend since year 1900. The existence of the so-called “Markowitz wobble”, a multidecadal fluctuation of the mean pole of rotation whose nature has long been debated since its discovery in 1960, is confirmed. In the EMD approach, the Markowitz wobble naturally arises as an empirical oscillatory term in polar motion, showing significant amplitude variations and a period of approximately 3 decades. The path of the time-averaged, non-cyclic component of polar motion matches the results of previous investigations based on classical spectral methods. However, our analysis also reveals previously unnoticed steep variations (change points) in the rate and the direction of secular polar motion

Quality aware selective ECC for approximate DRAM

Approximate DRAMs are DRAM memories where energy saving techniques have been implemented by trading off bit-cell error rate with power consumption. They are considered part of the building blocks in the larger area of approximate computing. Relaxing refresh rate has been proposed as an interesting solution to achieve better efficiency at the expense of rising error rate. However, some works have demonstrated that much better results are achieved if at word-level some bits are retained without errors (i.e. their cells are refreshed at nominal rate), resulting in architectures using multiple refresh rates. In this paper we present a technique that can be applied to approximate DRAMs under reduced refresh rate. It allows to trim error rate at word-level, while still performing the refresh operation at the same rate for all cells. The number of bits that are protected is configurable and depends on output quality degradation that can be accepted by the application

Metastability and small eigenvalues in Markov chains

In this letter we announce rigorous results that elucidate the relation between metastable states and low-lying eigenvalues in Markov chains in a much more general setting and with considerable greater precision as was so far available. This includes a sharp uncertainty principle relating all low-lying eigenvalues to mean times of metastable transitions, a relation between the support of eigenfunctions and the attractor of a metastable state, and sharp estimates on the convergence of probability distribution of the metastable transition times to the exponential distribution.Comment: 5pp, AMSTe

The FDA “black box” warning on antidepressant suicide risk in young adults: More harm than benefits?

The decision made in the year 2004 by the U.S. Food and Drug Administration (FDA) to require a boxed warning on antidepressants regarding the risk of suicidality in young adults still represents a matter of controversy. The FDA warning was grounded on industry-sponsored trials carried one decade ago or earlier. However, within the past decade, an increasing number of reports have questioned the actual validity of the FDA warning, especially considering a decline in the prescription of the antidepressant drugs associated with an increase in the rate of suicidal events among people with severe depression. The present report provides an overview of the FDA black box warning, also documenting two Major Depressive Disorder patients whose refusal to undergo a pharmacological antidepressant treatment possibly led to an increased risk for suicidal behaviors. The concerns raised by the FDA black box warning need to be considered in real-world clinical practice, stating the associated clinical and public health implications

Metastable States, Relaxation Times and Free-energy Barriers in Finite Dimensional Glassy Systems

In this note we discuss metastability in a long-but-finite range disordered model for the glass transition. We show that relaxation is dominated by configuration belonging to metastable states and associate an in principle computable free-energy barrier to the equilibrium relaxation time. Adam-Gibbs like relaxation times appear naturally in this approach.Comment: 4 pages, 2 figures. Typos correcte

Seismic moment tensors of the April 2009, L'Aquila (Central Italy), earthquake sequence

On 2009 April 6, the Central Apennines were hit by an Mw = 6.3 earthquake. The region had been shaken since 2008 October by seismic activity that culminated in two foreshocks with Mw > 4, 1 week and a few hours before the main shock. We computed seismic moment tensors for 26 events with Mw between 3.9 and 6.3, using the Regional Centroid Moment Tensor (RCMT) scheme. Most of these source parameters have been computed within 1 hr after the earthquake and rapidly revised successively. The focal mechanisms are all extensional, with a variable and sometimes significant strike-slip component. This geometry agrees with the NE-SW extensional deformation of the Apennines, known from previous seismic and geodetic observations. Events group into three clusters. Those located in the southern area have larger centroid depths and a wider distribution of T-axis directions. These differences suggest that towards south a different fault system was activated with respect to the SW-dipping normal faults beneath L'Aquila and more to the nort