N = 2 supersymmetric Yang-Mills theories for all classical gauge groups, that is, for SU(N), SO(N), and Sp(N) is considered. The equations which define the Seiberg-Witten curve are proposed. In some cases they are solved. It is shown that for (almost) all models allowed by the asymptotic freedom the 1-instanton corrections which follows from these equations agree with the direct computations an...

Implicit surfaces are one technique for surface modeling in computer graphics. In this report, we survey some implicit surface papers, present some projects using implicit surfaces, and give our evaluation of this work.

Semi-contraction is a withdrawal operation defined by Fermé in “On the logic of theory change: Contraction without recovery.” In this paper we propose: (1) an axiomatic characterization of semi-contraction; (2) an alternative construction for semi-contraction based on semi-saturatable sets, inspired by Levi’s saturatable sets; (3) a special kind of semi-contraction that satisfies the Lindström ...

The goal of this lecture is to discuss more sophisticated time-marching schemes, and in particular, the major distinction between explicit and implicit methods.

• Instructions to approach or avoid fictitious social groups cause changes in implicit evaluations. • These changes are not fully mediated by changes in explicit evaluations. • These changes occur even in the absence of changes in explicit evaluations. • These changes occur even if highly diagnostic incompatible valence information is provided. • These findings constrain current and future mode...

The paper is concerned with stabilization of a scalar delay differention equation ẋ(t)− m ∑ k=1 Ak(t)x[hk(t)] = 0, t ≥ 0, x(ξ) = φ(ξ), ξ < 0, by introducing impulses in certain moments of time x(τj) = Bjx(τj − 0), j = 1, 2, . . . . Explicit stability results are presented both for the equation with positive coefficients and for the equation with Ak being of arbitrary sign. Supported by Israel M...

Ma and Spinrad have shown that every transitive orientation of a chordal comparability graph is the intersection of four linear orders. That is, chordal comparability graphs are comparability graphs of posets of dimension four. Among other uses, this gives an implicit representation of a chordal comparability graph using O(n) integers so that, given two vertices, it can be determined inO(1) tim...

Method of deviation was introduced in [1] for drawing implicit curves. This paper develops algorithms for drawing lines and conic sections using method of deviation. All computations are performed in integer mode. The lines and conic sections drawn are compared with those drawn using mid point algorithm.