Performance evaluation of universities is an important issue between researchers. Classic data envelopment analysis (DEA) models with deterministic data have been used by many authors to measure efficiency of universities in different countries. However, DEA with stochastic data are, rarely used to measure efficiency of universities. In this paper, input oriented model in stochastic data env...

This paper introduces an alternative operational model for constraint logic programs. First, a transition system is introduced, which is used to deene a trace semantics T. Next, an equivalent xpoint semantics F is deened: a dataaow graph is assigned to a program, and a consequence operator on tuples of sets of constraints is given whose least xpoint determines one set of constraints for each no...

This paper presents micromachined thermal sensors for measuring liquid ̄ow rates in the nanoliter-per-minute range. The sensors use a boron-doped polysilicon thin-®lm heater that is embedded in the silicon nitride wall of a microchannel. The boron doping is chosen to increase the heater's temperature coef®cient of resistance within tolerable noise limits, and the microchannel is suspended from ...

We develop a pore-scale model of wetting in a single fracture. A variable fracture aperture distribution is represented as a square lattice of conceptual pores connected by throats. We borrow concepts from network modeling of ̄ow in porous media to generate a fracture model that includes the e€ects of ̄ow in wetting layers, snap-o€, and cooperative piston-like advance. Cooperative ®lling accoun...

The ow of traac on a long section of road without entrances or exits can be modelled by continuum equations similar to those describing uid ow. In a certain range of traac density, steady ow becomes unstable against the growth of a cluster, or \phantom" traac jam, which moves at a slower speed than the otherwise homogeneous ow. We show that near the onset of this instability, traac ow is descri...

In this note, we provide simple proofs of consistency for two well-known algorithms for mean curvature motion, Almgren-Taylor-Wang's [1] variational approach, and Merriman-Bence-Osher's algorithm [3]. Our techniques, based on the same notion of strict suband super ows, also work in the (smooth) anisotropic case.

A workkow history manager maintains the information essential for workkow monitoring and data mining as well as for recovery and authorization purposes. Certain characteristics of workkow systems like the necessity to run these systems on heterogeneous, autonomous and distributed environments and the nature of data, prevent history management in workkows to be handled by the classical data mana...