We deene a notion of polarization in linear logic (LL) coming from the polarities of Jean-Yves Girard's classical sequent calculus LC 4]. This allows us to deene a translation between the two systems. Then we study the application of this polarization constraint to proof-nets for full linear logic described in 7]. This yields an important simpli-cation of the correctness criterion for polarized...

Long-lasting modifications of synaptic transmission can be induced in the amygdala by electrical stimulation as done in the long-term potentiation (LTP) model of learning and memory and the kindling model of epilepsy. The present study reports for the first time a long-lasting potentiation (LLP) of synaptic transmission that is induced pharmacologically by the activation of group III metabotrop...

Let W~ r) = {f:fecr-J[O, l ] , f (rl) abs. cont., Ilftr)IIp < oo}, and set B~) = {f: f~ ~ ' ) , I[/~r)llp ~ 1}. We find the exact Kolmogorov, Gerfand, linear, and Bernstein n-widths of B~p r) in L p for all pE(l, oo). For the Kolmogorov n-width we show that for n _> r there exists an optimal subspace of splines of degree r 1 with n r fixed simple knots depending on p,

A method that utilizes embedded geometric structure is proposed, to enhance clustering. The geometric structure is identified via a combination of a local smoothing method – local linear projection (LLP) – and a computational method for the geodesic distance. It is found that comparing to existing algorithms, it is more efficient to deal with noisy and “structured” data. Simulations for both sy...

The purpose of this paper is to analyze the effect of computer usage on the demand for paper and paperboard products. A log-linear model is developed to analyze the effect of computer usage on the demand for four categories of paper, newsprint, printing/writing paper, packaging paper and household/sanitary paper. The analysis is divided into two parts. The first part is US monthly analysis. We ...

Shallow-n grammars (de Gispert et al., 2010) were introduced to reduce over-generation in the Hiero translation model (Chiang, 2005) resulting in much faster decoding and restricting reordering to a desired level for specific language pairs. However, Shallow-n grammars require parameters which cannot be directly optimized using minimum error-rate tuning by the decoder. This paper introduces som...

Recent years have witnessed the great success of hyper-heuristics applying to numerous real-world applications. Hyper-heuristics raise the generality of search methodologies by manipulating a set of low level heuristics (LLHs) to solve problems, and aim to automate the algorithm design process. However, those LLHs are usually parameterized, which may contradict the domain independent motivation...

There has been a great deal of research into the short–term effects of air pollution on health with a large number of studies modelling the association between aggregate disease counts and environmental exposures measured at point locations, for example via air pollution monitors. In such cases, the standard approach is to average the observed measurements from the individual monitors and use t...