Moderation in virtual communities should not be a private privilege. This paper proposes a method for participants in a social network to decide their own rules for accepting (or not) contents. With the norm argument map, participants are able to argue about norms and voice their opinions about other people?s arguments. This structure, equipped with a method to fuse all the data introduced by p...

We characterize the interpolating sequences for the weighted analytic Besov spaces Bp(s), defined by the norm ‖f‖ Bp(s) = |f(0)|p + Z D |(1− |z|2)f ′(z)|p(1− |z|2)s dA(z) (1− |z|2)2 , 1 < p < ∞ and 0 < s < 1, and for the corresponding multiplier spaces M(Bp(s)).

Abstract. An impulse sampler multiplies an input signal u by a periodic delta impulse train of period z. If z is small, then the output signal of the sampler (or filtered versions thereof) can be used as an approximation of u. If u belongs to the Sobolev space H s with s > 89 then the output is in H -s. Our main result is that as the sampling period z becomes small, the impulse sampler approxim...

These past few years, we have been experimenting in Nuprl with versions of Brouwer’s Bar Induction principle. Until recently we had no formal proof that these rules are valid Nuprl reasoning principles. Thanks to our formalization of Nuprl’s metatheory in Coq, we can now rigorously check whether these principles are consistent with Nuprl. In this paper we present a proof, using our Coq framewor...

A strategy for multiple removal consists of estimating a model of the multiples and then adaptively subtracting this model from the data by estimating shaping filters. A possible and efficient way of computing these filters is by minimizing the difference or misfit between the input data and the filtered multiples in a least-squares sense. Therefore, the signal is assumed to have minimum energy...

Abstract Let $L$ be an $n$-component link ($n&amp;gt;1$) with pairwise nonzero linking numbers in a rational homology $3$-sphere $Y$. Assume the complement $X:=Y\setminus \nu (L)$ has nondegenerate Thurston norm. We study when norm-minimizing surface $S$ properly embedded $X$ remains after Dehn filling all boundary components of according to $\partial S$ and capping off by disks. In particular,...

We revisit the problem of approximating a multiple-input multiple-output (MIMO) p×m rational transfer function H(s) of high degree by another p×m rational transfer function b H(s) of much smaller degree, so that the H2 norm of the approximation error is minimized. We show that in the general case of higher order poles in the reduced order model, called the defective case, the stationary points ...

9.1.1 The Optimization Setup Let G = G(s) be a matrix-valued function bounded on the jθ-axis. The task of Hankel ˆ optimal model reduction of G calls for finding a stable LTI system G of order less than a given positive integer m, such that the Hankel norm ∞�∞H of the difference � = G − Ĝ is minimal. Remember that Hankel norm of an LTI system with transfer matrix � = �(s), input w, and output v...

Suppose u is the solution of the initial value problem utt −∆xu = 0, (x, t) ∈ R × [0,∞); u(x, t=0) = f(x), ut(x, t=0) = g(x), x ∈ R. Suppose n ≥ 1 is odd, f and g are supported in a ball B with boundary S, and one of f or g is zero. We derive identities relating the norm of f or g to the norm of the trace of u on S× [0,∞). These identities are derived using integral geometric and multiplier met...