Article

Universitat Karlsruhe

December 2001

Authors:

Bernhard Beckert

Karlsruhe Institute of Technology

Show all 5 authorsHide

The Prolog program "termexpansion((define C as A with B), (C=?A:-B,!)). termexpansion((transition E if C then D), ((transition E):-C,!,B,A,(transition ))) :- serialize(D,B,A). serialize((E,F),(C,D),(A,B)) :- serialize(E,C,B), serialize(F,D,A). serialize(F:=G, ([G]=?*[E],F=..[C---D],D=?*B,A=..[C---B]), asserta(A=?E)). [G---H]=?*[E---F] :- (G="E; G=..[C---D],D=?*B,A=..[C---B],A=?E), !,H=?*F. []=?*[]. A=?B :- [A,B]=?*[D,C], D==C." implements a virtual machine for evolving algebras. It offers an efficient and very flexible framework for their simulation. Computation models and specification methods seem to be worlds apart. The evolving algebra project started as an attempt to bridge the gap by improving on Turing's thesis. (Gurevich, 1994) 1

ResearchGate has not been able to resolve any citations for this publication.

ResearchGate has not been able to resolve any references for this publication.

Article

Full-text available

Algebraic approach to time scale analysis of singularly perturbed linear systems

January 1988 · International Journal of Control

In this paper we develop an algebraic approach to the multiple time scale analysis of perturbed linear systems based on the examination of the Smith form of the system matrix viewed as a matrix over a ring of functions in the perturbation parameter. This perspective allows us to obtain a strengthened version of the results of Coderch et al. (1983) and to provide a bridge between these complex but ... [Show full abstract] general results and previous explicit, conceptually simple, but somewhat restrictive results such as those described by Kokotovic (1981) and Chow (1982). In addition, our algebraic framework allows us to investigate a variety of other problems. In this paper we study the problem of developing valid time scale decompositions in cases in which weak damping terms discarded in the approaches of Kokotovic (1981), Chow (1982) and Coderch et al. (1983) must be retained. Also, our approach exposes the role of the invariant factors of the system matrix in determining its time scales. This leads naturally to the problem of time scale modification (i.e. invariant factor placement) via state feedback. We present a result along these lines.

Article

c $-vectors of 2-Calabi--Yau categories and Borel subalgebras of$ {\mathfrak{sl}}_{\infty}

October 2017 · Selecta Mathematica

We develop a general framework for c-vectors of 2-Calabi--Yau categories, which deals with cluster tilting subcategories that are not reachable from each other and contain infinitely many indecomposable objects. It does not rely on iterative sequences of mutations. We prove a categorical (infinite-rank) generalization of the Nakanishi--Zelevinsky duality for c-vectors and establish two ... [Show full abstract] formulae for the effective computation of c-vectors -- one in terms of indices and the other in terms of dimension vectors for cluster tilted algebras. In this framework, we construct a correspondence between the c-vectors of the cluster categories

{\mathscr{C}}(A_{\infty})

of type

A_{\infty}

due to Igusa--Todorov and the roots of the Borel subalgebras of

{\mathfrak{sl}}_{\infty}

. Contrary to the finite dimensional case, the Borel subalgebras of

{\mathfrak{sl}}_{\infty}

are not conjugate to each other. On the categorical side, the cluster tilting subcategories of

{\mathscr{C}}(A_{\infty})

exhibit different homological properties. The correspondence builds a bridge between the two classes of objects.

Article

Bridging Home and Work in the Transition to MotherhoodA Discursive Study

February 2000 · European Journal of Women s Studies

Lucy Bailey

This article examines the relationship between discourses of motherhood and discourses of employment for contemporary middle-class women. Drawing on data from a study of the transition to motherhood conducted in Bristol, UK, it is suggested that there are important continuities as well as conicts between the discursive construction of these two spheres. In consequence, a variety of relationships ... [Show full abstract] may be established between mothering and employment identities. The concept of `inter-spatiality' is suggested to conceptualize how the women negotiated the relationship between the two. The findings suggest both that women do not necessarily experience conict between these two sources of identity, and that they may have a degree of agency in negotiating the relationship between these interlocking parts of their lives.

Article

Chain transitive sets for flows on flag bundles

January 2007 · Forum Mathematicum

We study the chain transitive sets and Morse decompositions of flows on fiber bundles whose fibers are compact homogeneous spaces of Lie groups. The emphasis is put on generalized flag manifolds of semi-simple (and reduc- tive) Lie groups. In this case an algebraic description of the chain transitive sets is given. Our approach consists in shadowing the flow by semigroups of homeomorphisms to ... [Show full abstract] take advantage of the good properties of the semigroup actions on flag manifolds. The description of the chain components in the flag bundles generalizes a theorem of Selgrade for projective bundles with an independent proof.

Article

Computational modeling of liquid solder bridges /

January 1970

Heli. Yin

Thesis (M.A.)--State University of New York at Binghamton, Thomas J. Watson School of Engineering and Applied Science, 1995. Includes bibliographical references (leaves 84-88).

Article

Zum Anomalie-Problem der Master-Ward-Identit¨at

January 1970

Ferdinand Brennecke

Abstract In this diploma thesis we investigate in the framework of perturbative algebraic quantum field theory the anomalies of the master Ward identity, which was proposed in [1] as a new, universal renormalization condition. By showing the validity of a similar identity, we get a better understanding of these anomalies. We develop an eective,field formalism and find analogies between this ... [Show full abstract] identity and the quantum,action principle of Lam and Lowenstein. As an application of the master Ward identity we consider the problem of consistent interactions between gauge fields and give a cohomological derivation of the Yang-Mills interaction in gauge fixed BRST-formalism. Zusammenfassung

Article

Full-text available

leanEA: A Poor Man's Evolving Algebra Compiler

July 1995

The Prolog program "termexpansion((define C as A with B), (C=?A:-B,!)). termexpansion((transition E if C then D), ((transition E):-C,!,B,A,(transition ))) :- serialize(D,B,A). serialize((E,F),(C,D),(A,B)) :- serialize(E,C,B), serialize(F,D,A). serialize(F:=G, ([G]=?*[E],F=..[C---D],D=?*B,A=..[C---B]), asserta(A=?E)). [G---H]=?*[E---F] :- (G="E; G=..[C---D],D=?*B,A=..[C---B],A=?E), !,H=?*F. ... [Show full abstract] []=?*[]. A=?B :- [A,B]=?*[D,C], D==C." implements a virtual machine for evolving algebras. It offers an efficient and very flexible framework for their simulation. Computation models and specification methods seem to be worlds apart. The evolving algebra project started as an attempt to bridge the gap by improving on Turing's thesis. (Gurevich, 1994) 1 Introduction Evolving algebras (EAs) (Gurevich, 1991; Gurevich, 1994) are abstract machines used mainly for formal specification of algorithms. The main advantage of EAs over classical formalisms for specifying operational semantics, like Turing mach...

Article

Design of exclusive or sum-of-products (ESP) logic arrays with universal tests for detecting stuck-a...

December 1984 · Computers & Electrical Engineering

The detection problem of bridging faults in AND-EXOR arrays is considered in this paper in a new framework. These AND-EXOR arrays are different from the arrays based on the so-called Reed-Muller canonic (RMC) expansion of functions. The multiple stuck-at fault detection test set in such arrays as already derived by Pradhan[1] has been utilized to detect bridging faults. One most important ... [Show full abstract] advantage of this test set is that it is independent of the function realized and it has a simple algebraic structure and hence can be generated easily. As this conventional test set is insufficient to detect all bridging faults, we propose a technique of augmenting the network with some additional observation points which take care of otherwise undetectable bridging faults.

Thesis

Behaviour of interconnected skew bridge girders

January 1972

Mohamed Ahmed Dafalla Komi

Thesis

Appraisal of the geotechnical aspects of multi-span masonry arch bridges

January 1996

David James Prentice

Article

Bogolyubov-Tyablikov-like approximation for nematic liquid crystals: Bridge between continuum and me...

August 1986 · Physical review A, Atomic, molecular, and optical physics

A procedure analogous to the Bogolyubov-Tyablikov approximation is proposed in order to bridge between the continuum theory and the Maier-Saupe model of nematic liquid crystals. The equation obtained for the order parameter, which results in a first-order transition, reduces to the Maier-Saupe equation in the limit of infinite-range interactions. A prescription for the evaluation of the free ... [Show full abstract] energy in the framework of the Bogolyubov-Tyablikov treatment is presented, and the resulting Maxwell construction is used to determine the first-order transition temperature. The transition temperature, the range of metastability, and the value of the order parameter at the transition are all considerably lower than in Maier-Saupe theory.

Article

Theory of. cap alpha. decay

March 1979

Dumitrescu

The various theoretical models of a decay are reviewed and an attempt is made to unify them in the framework of a new formalism based on an algebra of four projection operators (four-projector formalism). Mang's R-matrix model is discussed in detail, and new models deduced from a formalism of Feshbach's type are considered briefly. The hindrance factors are analyzed in detail for both spherical ... [Show full abstract] and deformed nuclei.