A semantic modeling approach for image retrieval by content

We introduce a semantic data model to capture the hierarchical, spatial, temporal, and evolutionary semantics of images in pictorial databases. This model mimics the user's conceptual view of the image content, providing the framework and guidelines for preprocessing to extract image features. Based on the model constructs, a spatial evolutionary query language (SEQL), which provides direct image object manipulation capabilities, is presented. With semantic information captured in the model, spatial evolutionary queries are answered efficiently. Using an object-oriented platform, a prototype medical-image management system was implemented at UCLA to demonstrate the feasibility of the proposed approach.     

调研：更加贴近顾客

如果企业能更深入地了解他们的终端顾客，那么他们将获得真正的收益。     

Fabrication and characteristics of novel microelectronic structures fabricated by plasma-based techniques

A number of novel microelectronic structures have recently been produced using plasma-based techniques such as plasma immersion ion implantation (PIII) and this paper describes the recent progress made in this area in our laboratory. Conventional silicon-on-insulator (SOI) substrates utilizing a buried silicon dioxide layer suffer from self-heating effects as device dimensions shrink to the deep-submicrometer regime. Novel SOI structures using dielectric materials with higher thermal conductance such as aluminum nitride and diamond-like carbon have been produced. In the area of high-k (dielectric constant) thin films, plasma nitridation conducted on materials such as zirconium dioxide improves the recrystallization and interfacial properties. In the conventional Smart-Cut™ or ion-cut technique, high-energy hydrogen implantation is performed to effect layer transfer. Low-energy (several hundred eVs) plasma hydrogenation has recently been conducted in conjunction with damage engineering to produce wafer splitting for layer transfer. This new process allows more flexible control of the depth of hydrogen accumulation and the location of layer cleavage.     

Characterizing the Nash equilibria of a three-player Bayesian quantum game

Quantum games with incomplete information can be studied within a Bayesian framework. We consider a version of prisoner’s dilemma (PD) in this framework with three players and characterize the Nash equilibria. A variation of the standard PD game is set up with two types of the second prisoner and the first prisoner plays with them with probability p and \(1-p\), respectively. The Bayesian nature of the game manifests in the uncertainty that the first prisoner faces about his opponent’s type which is encoded either in a classical probability or in the amplitudes of a wave function. Here, we consider scenarios with asymmetric payoffs between the first and second prisoner for different values of the probability, p, and the entanglement. Our results indicate a class of Nash equilibria (NE) with rich structures, characterized by a phase relationship on the strategies of the players. The rich structure can be exploited by the referee to set up rules of the game to push the players toward a specific class of NE. These results provide a deeper insight into the quantum advantages of Bayesian games over their classical counterpart.     

Computer-aided development of a real-time program

The refinement calculus is a well-established theory for formal development of imperative program code and is supported by a number of automated tools. Via a detailed case study, this article shows how refinement theory and tool support can be extended for a program with real-time constraints. The approach adapts a timed variant of the refinement calculus and makes corresponding enhancements to a theorem-prover based refinement tool.     

Institutional factors affecting fish passage in the Columbia River Treaty renegotiation

ABSTRACT

The United States and Canada have begun renegotiating the Columbia River Treaty, which is an international model for transboundary water governance. This paper identifies six institutional factors that will affect negotiations pertaining to fish passage during the renegotiation of the treaty: geographical advantage, issue linkage, a basin commission, the duration of agreements, negotiating autonomy and side payments. These factors and the methods used to determine them can be applied to other transboundary river basins where basin states have a history of transboundary resource governance. This analysis also serves as a policy-relevant resource for Columbia River Treaty negotiators and stakeholders.     

A Demonstration of High-Throughput Electrophoresis

Automating electrophoresis significantly reduces the time required for loading a large number of samples, increases the speed of electrophoresis analysis, and maximizes the resolution power (clear separation of fragments) of this technique. In addition, automation increases the precision of electrophoresis analysis. Here we demonstrate an automated, high-throughput method of loading 96 samples simultaneously onto an electrophoresis gel, using the Apogent Discoveries Tango™ system and the Invitrogen™ E-Gel® 96 system.     

Formal verification of conflict detection algorithms

Safety assessment of new air traffic management systems is a main issue for civil aviation authorities. Standard techniques such as testing and simulation have serious limitations in new systems that are significantly more autonomous than the older ones. In this paper, we present an innovative approach for establishing the correctness of conflict detection systems. Fundamental to our approach is the concept of trajectory, and how we represent a continuous physical trajectory by a continuous path in the x-y plane constrained by physical laws and operational requirements. From the model of trajectories, we extract, and formally prove, high-level properties that can serve as a framework to analyze conflict scenarios. We use the AILS (Airborne Information for Lateral Spacing) alerting algorithm as a case study of our approach. Published online: 19 November 2002     

Experimental determination of temperature profiles in a sheared granular bed containing two and three sizes of particles

An experiment to measure granular temperature in a sheared low density granular bed containing a range of sizes of particles has been performed. Using positron emission particle tracking, a single particle was tracked from different size phases. From the coordinate data, the second moment of the velocity fluctuations about the mean flow in each direction was determined. It was found that the larger particles are “hotter” and that most of the energy is contained in the θ (shearing) direction fluctuations. Evidence was found for Knudsen layer and higher order Burnett effects, suggesting extensions of the Navier-Stokes approaches are necessary to describe heat transport in polydisperse systems.