This paper shows that H 2 (LQG) performance speciications can be combined with struc-tured uncertainty in the system, yielding robustness analysis conditions of the same nature and computational complexity as the corresponding conditions for H 1 performance. These conditions are convex feasibility tests in terms of Linear Matrix Inequalities, and can be proven to be necessary and suucient under...

The reaction of luciferase-bound Z is known to result in the formation of a long-lived intermedlate in the bioluminescent reaction (1). This intermediate was isolated and ,haracterized as the luciferase-peroxyflavin (2), whose struc~ture was later shown to be the flavin 4a-substituted peroxyadduct (3). In the earlier work this peroxy intermediate had been shown to exhibit a single peak at about...

Multiresolution techniques are used to study the eeective properties of propagation in nely struc-tured ducts. A new formulation governing the smoothed component of the eld is derived and compared to the generic formulation governing the complete eld. The relation between the small scale structure of the system heterogeneity and the large scale eld is investigated. In particular, we use multire...

This paper develops a theoretical and technological foundation for a new kind of interactive map, the augmented scene, that overlays acquired imagery of the environment on a perspective model of the surface in real time. The ground position and viewing direction of users are computed automatically, freeing them from the map orientation process. We define augmented scenes, propose some applicati...

In order to interactively investigate large scale D data sets we propose an improved hierarchical data structure for structured grids and an original hierarchical data struc ture for unstructured grids These multi tiered implementations allow the user to interactively control both the local and global density of the mesh Therefore the user can interactively re ne areas of interest and decimate ...

The problem of analysing the eeects of changing requirements imposes strict demands on system representations, particularly in safety-critical domains. We argue that solving this problem will require struc-tured representations that highlight the interaction between requirements, and record the rationale for decisions made during the development process. As a means of providing and analysing th...

Model Elimination is a frequently used calculus in automated theorem proving (ATP). Powerful implementations are available. Unfortunately, the automatically generated proofs are not very readable for humans. The Block Calculus is a variant of Natural Deduction that makes it possible to generate struc-tured proofs. It is convenient for natural language proof presentation, and it is also usable f...

Current systems for content ltering, browsing, and retrieval rely on low-level image descriptors which are unintuitive for most users. In this paper, we propose an alternative framework that exploits the struc-tured nature of most content sources to achieve semantic content characterization, and lead to much more meaningful user interaction. Computationally, this framework is based on the princ...

fuzzy order congruences play an important role in studying the categoricalproperties of fuzzy posets. in this paper, the correspondence between the fuzzyorder congruences and the fuzzy order-preserving maps is discussed. we focus onthe characterization of fuzzy order congruences on the fuzzy poset in terms ofthe fuzzy preorders containing the fuzzy partial order. at last, fuzzy completecongruen...