Specification and implementation of flexible humancomputer dialogs is challenging because of the complexity involved in rendering the dialog responsive to a vast number of varied paths through which users might desire to complete the dialog. To address this problem, we developed a toolkit for modeling and implementing task-based, mixedinitiative dialogs based on metaphors from lambda calculus. ...

Assume that binary rank-dependent expected utility (subjective expected utility is a special case) holds for gains and losses separately and that a commutative binary operation of joint receipt on consequences and gambles is linked to binary gambles via the rational property of segregation. This implies that utility U of joint receipt is either itself additive or is an exponential transformatio...

The most significant aspect of a geochemical exploration program is to define and separate the anomalous values from the background. In the past decades, geochemical anomalies have been identified by means of various methods. Most of the conventional statistical methods aiming at defining the geochemical concentration thresholds for separating anomalies from the background have limited the effi...

Using the Fujikawa and the heat-kernel methods we make a complete and detailed computation of the global, gauge and gravitational anomalies present in the Standard Model defined on a curved space time with torsion. We find new contributions coming from curvature and torsion terms to the leptonic number anomaly (so that B − L is not conserved any more), to the U(1)Y gauge and to the mixed U(1)Y ...

Abelian quiver gauge theories provide nonsupersymmetric candidates for the conformality approach to physics beyond the standard model. Written asN = 0, U(N) gauge theories, however, they have mixed U(1)pU(1) 2 q and U(1)pSU(N) 2 q triangle anomalies. It is shown how to construct explicitly a compensatory term ∆Lcomp which restores gauge invariance of Leff = L+∆Lcomp under U(N). It can lead to a...

research interests have been focused on the concept of penalizing jobs both for being early and for being tardy because not only of modern competitive industrial challenges of providing a variety of products at a very low cost by smoothing productions but also of its increasing and exciting computer applications. here, sequencing approaches of the mixed- model just-in-time production systems is...

an improved mixed order model is presented to describe the thermolumunescence (tl) glow peaks. in this model a fraction of charge carriers, which undergo nonradiative recombination following thermal excitation is taken into account. therefore, it is expected that the proposed model will produce more realistic kinetic parameters than that of mixed order model. the tl glow curves generated by the...

Interval graphs, intersection graphs of segments on a real line (intervals), play key role in the study algorithms and special structural properties. Unit interval their proper subclass, where each has unit length, also been extensively studied. We mixed graphs---a generalization still but intervals more than one type (open, closed, semi-closed) are allowed. This small modification captures muc...

A graph G = (V,E) is said to be 6-mixed-connected if G−U−D is connected for all sets U ⊆ V and D ⊆ E which satisfy 2|U | + |D| ≤ 5. In this note we prove that 6-mixed-connected graphs are (redundantly globally) rigid in the plane. This improves on a previous result of Lovász and Yemini.