Results 1  10
of
38
MIP: Theory And Practice  Closing The Gap
 System Modelling and Optimization: Methods, Theory, and Applications
, 2000
"... this paper, now include cuttingplane capabilities as well as other ideas from the backlog of accumulated theory. As suggested by the title of this paper, the gap between theory and practice is indeed closing ..."
Abstract

Cited by 41 (1 self)
 Add to MetaCart
this paper, now include cuttingplane capabilities as well as other ideas from the backlog of accumulated theory. As suggested by the title of this paper, the gap between theory and practice is indeed closing
Jholomorphic curves, moment maps, and invariants of Hamiltonian group actions
, 1999
"... This paper outlines the construction of invariants of Hamiltonian group actions on symplectic manifolds. The invariants are derived from the solutions of a nonlinear rst order elliptic partial dierential equation involving the CauchyRiemann operator, the curvature, and the moment map (see (17) belo ..."
Abstract

Cited by 35 (5 self)
 Add to MetaCart
This paper outlines the construction of invariants of Hamiltonian group actions on symplectic manifolds. The invariants are derived from the solutions of a nonlinear rst order elliptic partial dierential equation involving the CauchyRiemann operator, the curvature, and the moment map (see (17) below). They are related to the Gromov invariants of the reduced spaces. Our motivation arises from the proof of the AtiyahFloer conjecture in [17, 18, 19] which deals with the relation between holomorphic curves ! M S in the moduli space M S of at connections over a Riemann surface S and antiselfdual instantons over the 4manifold S. In [3] Atiyah and Bott interpret the space M S as a symplectic quotient of the space A S of connections on S by the action of the group G S of gauge transformations. A moment's thought shows that the various terms in the antiselfduality equations over S (see equation (64) below) can be interpreted symplectically. Hence they should give rise to meaningful equations in a context where the space A S is replaced by a nite dimensional symplectic manifold M and the gauge group G S by a compact Lie group G with a Hamiltonian action on M . In this paper 2 we show how the resulting equations give rise to invariants of Hamiltonian group actions. The same adiabatic limit argument as in [19] then leads to a correspondence between these invariants and the Gromov{Witten invariants of the quotient M==G (Conjecture 3.6). This correspondence is the subject of the PhD thesis [27] of the second author. In Section 2 we review the relevant background material about Hamiltonian group actions, gauge theory, equivariant cohomology, and holomorphic curves in symplectic quotients. The heart of this paper is Section 3, where we discuss the equations and the...
Maximum Planar Subgraphs and Nice Embeddings: Practical Layout Tools
 ALGORITHMICA
, 1996
"... ..."
Covering Conditions and Algorithms for the Synthesis of SpeedIndependent Circuits
 IEEE Transactions on ComputerAided Design
, 1998
"... This paper presents theory and algorithms for the synthesis of standard Cimplementations of speedindependent circuits. These implementations are blocklevel circuits which may consist of atomic gates to perform complex functions in order to ensure hazardfreedom. First, we present boolean covering ..."
Abstract

Cited by 13 (4 self)
 Add to MetaCart
This paper presents theory and algorithms for the synthesis of standard Cimplementations of speedindependent circuits. These implementations are blocklevel circuits which may consist of atomic gates to perform complex functions in order to ensure hazardfreedom. First, we present boolean covering conditions that guarantee the standard Cimplementations operate correctly. Then, we present two algorithms that produce optimal solutions to the covering problem. The first algorithm is always applicable but does not complete on large circuits. The second algorithm, motivated by our observation that our covering problem can often be solved with a single cube, finds the optimal singlecube solution when such a solution exists. When applicable, the second algorithm is dramatically more efficient than the first, more general algorithm. We present results for benchmark specifications which indicate that our singlecube algorithm is applicable on most benchmark circuits and reduces runtimes by ...
A Model Checker for Statecharts (Linking CASE tools with Formal Methods)
, 1993
"... . ComputerAided Software Engineering (CASE) tools encourage users to codify the specification for the design of a system early in the development process. They often use graphical formalisms, simulation, and prototyping to help express ideas concisely and unambiguously. Some tools provide little ..."
Abstract

Cited by 7 (1 self)
 Add to MetaCart
. ComputerAided Software Engineering (CASE) tools encourage users to codify the specification for the design of a system early in the development process. They often use graphical formalisms, simulation, and prototyping to help express ideas concisely and unambiguously. Some tools provide little more than syntax checking of the specification but others can test the model for reachability of conditions, nondeterminism, or deadlock. Formal methods include powerful tools like automatic model checking to exhaustively check a model against certain requirements. Integrating formal techniques into the system development process is an effective method of providing more thorough analysis of specifications than conventional approaches employed by ComputerAided Software Engineering (CASE) tools. In order to create this link, the formalism used by the CASE tool must have a precise formal semantics that can be understood by the verification tool. The CASE tool STATEMATE makes use of an...
The TemperleyLieb algebra and its generalizations in the Potts and XXZ models
 L02004 (2006) [hepth/0512273
"... We discuss generalizations of the TemperleyLieb algebra in the Potts and XXZ models. These can be used to describe the addition of different types of integrable boundary terms. We use the TemperleyLieb algebra and its oneboundary, twoboundary, and periodic extensions to classify different integr ..."
Abstract

Cited by 7 (0 self)
 Add to MetaCart
We discuss generalizations of the TemperleyLieb algebra in the Potts and XXZ models. These can be used to describe the addition of different types of integrable boundary terms. We use the TemperleyLieb algebra and its oneboundary, twoboundary, and periodic extensions to classify different integrable boundary terms in the 2, 3, and 4state Potts models. The representations always lie at critical points where the algebras becomes nonsemisimple and possess indecomposable representations. In the oneboundary case we show how to use representation theory to extract the Potts spectrum from an XXZ model with particular boundary terms and hence obtain the finite size scaling of the Potts models. In the twoboundary case we find that the Potts spectrum can be obtained by combining several XXZ models with different boundary terms. As in the TemperleyLieb case there is a direct correspondence between representations of the lattice algebra and those in the continuum conformal field theory. 1
Generic Operations on Nested Datatypes
, 2001
"... Nested datatypes are a generalisation of the class of regular datatypes, which includes familiar datatypes like trees and lists. They typically represent constraints on the values of regular datatypes and are therefore used to minimise the scope for programmer error. ..."
Abstract

Cited by 4 (0 self)
 Add to MetaCart
Nested datatypes are a generalisation of the class of regular datatypes, which includes familiar datatypes like trees and lists. They typically represent constraints on the values of regular datatypes and are therefore used to minimise the scope for programmer error.
Moduli spaces of flat connections on 2manifolds, cobordism, and Witten’s volume formulas
"... According to AtiyahBott [AB],[A] the moduli space of flat connections on a compact oriented 2manifold with prescribed holonomies around the boundary is a finitedimensional symplectic manifold, possibly singular. A standard approach [W1, W2, V] to computing invariants (symplectic volumes, RiemannR ..."
Abstract

Cited by 3 (1 self)
 Add to MetaCart
According to AtiyahBott [AB],[A] the moduli space of flat connections on a compact oriented 2manifold with prescribed holonomies around the boundary is a finitedimensional symplectic manifold, possibly singular. A standard approach [W1, W2, V] to computing invariants (symplectic volumes, RiemannRoch numbers, etc.) of the moduli
Necessary And Sufficient Conditions For Existence Of Bound States In A Central Potential
, 2003
"... We obtain, using the BirmanSchwinger method, a series of necessary conditions for the existence of at least one bound state applicable to arbitrary central potentials in the context of nonrelativistic quantum mechanics. These conditions yield a monotonic series of lower limits on the `critical' va ..."
Abstract

Cited by 2 (2 self)
 Add to MetaCart
We obtain, using the BirmanSchwinger method, a series of necessary conditions for the existence of at least one bound state applicable to arbitrary central potentials in the context of nonrelativistic quantum mechanics. These conditions yield a monotonic series of lower limits on the `critical' value of the strength of the potential (for which a first bound state appears) which converges to the exact critical strength. We also obtain a sufficient condition for the existence of bound states in a central monotonic potential which yield an upper limit on the critical strength of the potential.