Nonnormal characteristics of geophysical time series are important determinants of extreme events and may provide insight into the underlying dynamics of a system. The structure of nonnormality in winter temperature is examined through the use of linear filtering of radiosonde temperature time series. Filtering either low or high frequencies generally suppresses what is otherwise statistically ...

Abstract The logic of Bunched Implications (BI) freely combines additive and multiplicative connectives, including implications; however, despite its well-studied proof theory, proof-search in BI has always been a difficult problem. focusing principle is restriction the space that can capture various goal-directed procedures. In this paper we show focused complete for by first reformulating tra...

Given a syntax S endowed with some rewrite rules, and given a denotational semantics D for S (i.e. a semantics which gives to any term t of S an interpretation t D that is invariant under the rewrite rules), we say that D is injective with respect to S if, for any two normal terms t and t of S, t D = t D implies t = t. In categorical terms, injectivity corresponds to faithfulness of the " inter...

Relational semantics for linear logic is a form of non-idempotent intersection type system, from which several informations on the execution of a proof-structure can be recovered. An element of the relational interpretation of a proof-structure R with conclusion Γ acts thus as a type (refining Γ) having R as an inhabitant. We are interested in the following type-checking question: given a proof...

We consider the classical (propositional) version, CBI, of O’Hearn and Pym’s logic of bunched implications (BI) from a modeland proof-theoretic perspective. We make two main contributions in this paper. Firstly, we present a class of algebraic models for CBI which permit the full range of classical multiplicative connectives to be modelled. Our models can be seen as generalisations of Abelian g...

Gentzen’s sequent calculus is a tool to study properties of logics independently of semantics. The main property is cut-elimination which entails the subformula property and consistency. It is also the basis of methods of automated deduction. Although the sequent calculus is very appropriate for classical logic, it raises some concerns in dealing with more refined logics like linear logic. An e...

<p style='text-indent:20px;'>We consider the control of semilinear stochastic partial differential equations (SPDEs) via deterministic controls. In case multiplicative noise, existence optimal controls and necessary conditions for optimality are derived. additive we obtain a representation gradient cost functional adjoint calculus. The restriction to noise avoids necessity introducing bac...

We introduce a method for reconstructing macroscopic models of one-dimensional stochastic processes with long-range correlations from sparsely sampled time series by combining fractional calculus and discrete-time Langevin equations. The is illustrated the ARFIMA(1,d,0) process nonlinear autoregressive toy model multiplicative noise. reconstruct daily mean temperature data recorded at Potsdam, ...

The calculus of variations is a field mathematical analysis born in 1687 with Newton’s problem minimal resistance, which concerned the maxima or minima integral functionals. Finding solution such problems leads to solving associated Euler–Lagrange equations. subject has found many applications over centuries, e.g., physics, economics, engineering and biology. Up this moment, however, theory bee...

is manuscript is the lecture notes for the course of the same title I gave at the Summer school on linear logic and geometry of interaction that took place in Torino in August 2013. e aim of this course is to give a broad introduction to linear logic, covering enough ground to present many of the ideas and techniques of the field, while staying at a (hopefully) accessible level for beginners....