We study the problem of measuring the uncertainty of computable general equilibrium (CGE) (or RBC)-type model simulations associated with parameter uncertainty. We describe two approaches for building conŽ dence sets on model endogenous variables. The Ž rst uses a standard Wald-type statistic. The second approach assumes that a conŽ dence set (sampling or Baycsian) is available for the free par...

This paper describes our approach to the estimation of con dence in the words generated by a speech recognition system. We describe the models and the features employed for con dence estimation. In addition we discuss the characteristics of an information-theoretic metric for assessing the performance of the con dence measure. We provide a simple application of con dence measures in which we ra...

In this paper we present an object-oriented method for the design, verification and implementation of embedded and distributed systems. The method is called Concurrent Object Net (CON). The CON method is based upon extended statecharts which use specific message links for communication. For simulation and verification corresponding Petri nets are used. A platform abstraction framework for CON a...

Epimastigotes and trypomastigotes of T. cruzi obtained from acellular culture as well as bloodstream trypomastigotes agglutinate with concanavalin A (Con A). Con A-binding sites were also localized on the cell membrane by using the Con A-horseradish peroxidase-diaminobenzidine method. Passage of epimastigotes and trypomastigotes from acellular culture through DEAE-cellulose column did not affec...

The criterion for con uence using decreasing diagrams is a generalization of several well-known con uence criteria in abstract rewriting, such as the strong con uence lemma. We give a new proof of the decreasing diagram theorem based on a geometric study of in nite reduction diagrams, arising from unsuccessful attempts to obtain a con uent diagram by tiling with elementary diagrams. 2000 Mathem...

Concanavalin A (Con A) concentration dependence of agglutinability of a mutant of Rous sarcoma virus which is temperature-sensitive for transformation was examined. Con A agglutinability of the virion was quantitatively expressed by measuring radioactivities of 60 to 70 S RNA extracted from Con A-agglutinated material. The mutant grown at a permissive temperature (35 degrees C) agglutinated at ...

Abstract. In this paper we present an object-oriented method for the design, verification and implementation of embedded and distributed real-time systems. The method is called Concurrent Object Net (CON). The CON method is based upon extended statecharts which use specific message links for communication. For simulation and verification corresponding Petri nets are used. A platform abstraction...

1. The effects of Concanavalin A (Con A) on enzymes from the intestinal brush border were studied using membrane vesicles (BBMV) prepared from 3- and 6-week-old broiler chickens. 2. Maltase, sucrase, phytase, alkaline phosphatase and leucine aminopeptidase activities were assayed in BBMV in the absence (T0) or presence (T1) of Con A, or in the presence of casein (T2). Disaccharidase specific ac...

in this paper, we associate canonically a precyclic mod- ule to a regular multiplier hopf algebra endowed with a group-like projection and a modular pair in involution satisfying certain con- dition

The binding of concanavalin A (Con A) to the cell surface of zoospores and cysts of Phytophthora palmivora was studied by radiometry (125I-Con A), ultraviolet microscopy (fluorescein-Con A) and electron microscopy peroxidase-diaminobenzidine technique). Zoospores were found to secrete during the early stages of encystment a Con A-binding material susceptible to trypsin digestion. This glycoprot...