Recently, time-varying mesh (TVM), which is composed of a sequence of mesh models, has received considerable interest due to its new and attractive functions such as free viewpoint and interactivity. TVM captures the dynamic scene of the real world from multiple synchronized cameras. However, it is expensive and time consuming to generate a TVM sequence. In this paper, an editing system is pres...

The paper is concerned with robust stability criteria for Takagi- Sugeno (T-S) fuzzy systems with distributed delays and time delay in the leakage term. By exploiting a model transformation, the system is converted to one of the neutral delay system. Global robust stability result is proposed by a new Lyapunov-Krasovskii functional which takes into account the range of delay and by making use o...

This paper focuses on the problem of finite-time boundedness and finite-time passivity of discrete-time T-S fuzzy neural networks with time-varying delays. A suitable Lyapunov--Krasovskii functional(LKF) is established to derive sufficient condition for finite-time passivity of discrete-time T-S fuzzy neural networks. The dynamical system is transformed into a T-S fuzzy model with uncertain par...

This paper deals with robust exponential stability of Markovian jumping stochastic Cohen–Grossberg neural networks (MJSCGNNs) with mode-dependent probabilistic time-varying delays, continuously distributed delays and impulsive perturbations. By construction of novel Lyapunov–Krasovskii functional having the triple integral terms, the double integral terms having the positive definite matrices d...

Citation Berger, C. F. et al. " Next-to-leading order QCD predictions for Z, gamma^{*}+3-jet distributions at the Tevatron. Article is made available in accordance with the publisher's policy and may be subject to US copyright law. Please refer to the publisher's site for terms of use.

We present a logic for reasoning about licenses, which are “terms of use” for digital resources. The logic provides a language for writing both properties of licenses and specifications that govern a client’s actions. We discuss the complexity of checking properties and specifications written in our logic and propose a technique for verification. A key feature of our approach is that it is esse...

Article is made available in accordance with the publisher's policy and may be subject to US copyright law. Please refer to the publisher's site for terms of use. The MIT Faculty has made this article openly available. Please share how this access benefits you. Your story matters.

Commercial users may use the material as above, as long as access to it by the general public is not restricted in any way, including but not limited to: purchase of print or digital document(s), singly or as part of a collection; the requirement of paid membership; or pay-per-view. For all such commercial use, contact the Pacific Fisheries Resource Conservation Council for permission and terms...