Filters








64,426 Hits in 5.8 sec

Page 6993 of Mathematical Reviews Vol. , Issue 96k [page]

1996 Mathematical Reviews  
Summary: “In this paper we show that it is possible to extend in a natural way to the dynamic case some basic results of the classical approach to (static) data types.  ...  Within an appropriate framework of dynamic structures (called d-oids), which play the same role as algebras in the static case, we define a language of dynamic terms, also enjoying the property of unique  ... 

Algebras of modal operators and partial correctness

Bernhard Möller, Georg Struth
2006 Theoretical Computer Science  
We study their properties in the associated operator algebras and show that the axioms of relation algebra are theorems at the operator level.  ...  We formalise the symmetries of these operators as Galois connections, complementarities and dualities.  ...  Acknowledgments We would like to thank Jules Desharnais, Thorsten Ehm, Joakim von Wright and the anonymous referees for valuable comments.  ... 
doi:10.1016/j.tcs.2005.09.069 fatcat:33kkwyysfjfb3fyp64qoh4anpy

Partial Correctness Assertions Provable in Dynamic Logics [chapter]

Daniel Leivant
2004 Lecture Notes in Computer Science  
We proceed to delineate a natural sub-formalism of DL, with Segerberg's induction restricted to first order formulas, and prove that the resulting calculus proves exactly the same partial correctness assertions  ...  the sub-theories of PA with a bound on the complexity of induction formulas.  ...  Interpreting Inductive Algebras We can use DL modalities to force variables to range over any given inductively generated algebra.  ... 
doi:10.1007/978-3-540-24727-2_22 fatcat:gkbhjt2syjcn3ogeycmk4tmecm

A user's guide to operator algebras

1996 Computers and Mathematics with Applications  
Induction models and primitive recursion in induction models. IV. Frames and general structures. 1. Introduction. 2. Second order frames. 3. General structures. 4. Algebraic. 5.  ...  Contents: List of figures and tables. Preface. 1. The eve of the launch. 2. Learning culture, revising history. 3. Risk, work group culture, and the normalization of deviance. 4.  ... 
doi:10.1016/s0898-1221(96)90237-0 fatcat:v3e6obbnmjbbvec5infj65bmka

Relating lagrangian and hamiltonian formalisms of LC circuits

J. Clemente-Gallardo, J.M.A. Scherpen
2003 IEEE Transactions on Circuits and Systems I Fundamental Theory and Applications  
This allows us to define regular Lagrangians and consequently, well-defined Hamiltonian descriptions of arbitrary LC networks.  ...  The relation with other Hamiltonian approaches is also analyzed and interpreted.  ...  Being velocities (currents), the sections heritage the natural Lie algebraic structure of the total case.  ... 
doi:10.1109/tcsi.2003.817781 fatcat:my7ocvlnlzenfbjuomronsw53q

99/03173 Bifurcation analysis of various power system models

1999 Fuel and Energy Abstracts  
This paper presents the bifurcation analysis of a detailed p ower system model composed of an aggregated induction motor and impedance l o ad supplied by an under-load tap-changer transformer and an equivalent  ...  Di erent modeling levels with their respective di erential-algebraic equations are studied, to determine the minimum dynamic model of the system that captures the most relevant features needed for bifurcation  ...  Because of the nature of a power system, di erent components and parts of individual components have di erent dynamical responses.  ... 
doi:10.1016/s0140-6701(99)91128-1 fatcat:mharetwpdzgejfkljvftlcrjci

Bifurcation analysis of various power system models

William D. Rosehart, Claudio A. Cañizares
1999 International Journal of Electrical Power & Energy Systems  
This paper presents the bifurcation analysis of a detailed p ower system model composed of an aggregated induction motor and impedance l o ad supplied by an under-load tap-changer transformer and an equivalent  ...  Di erent modeling levels with their respective di erential-algebraic equations are studied, to determine the minimum dynamic model of the system that captures the most relevant features needed for bifurcation  ...  Because of the nature of a power system, di erent components and parts of individual components have di erent dynamical responses.  ... 
doi:10.1016/s0142-0615(98)00037-4 fatcat:eh4t2l2v55eqpex74ial7xvfci

Page 34 of Mathematical Reviews Vol. , Issue 99a [page]

1991 Mathematical Reviews  
From the text: “What I want to show is how current interests in so-called ‘dynamic semantics’ of information flow for natural and formal languages motivate a reappraisal of ‘standard’ logical semantics  ...  A two-sorted intuitionistic set theory ZFI2 with variables for natural numbers and sets is considered. The version of the axiom of choice AC® concerns natural numbers.  ... 

Page 5178 of Mathematical Reviews Vol. , Issue 94i [page]

1994 Mathematical Reviews  
Denote by Z, the induced dynamical system on X, and by A(Z,) the associated transformation group C*-algebra.  ...  This classification is also shown to be K-theoretical in nature. Their main result is the following: Let a and f denote actions of a com- pact group G on C*-algebras A and B, respectively.  ... 

Hamiltonian formulation of ferromagnetic hydrodynamics

Darryl D. Holm, Boris A. Kupershmidt
1988 Physics Letters A  
The FMHD system is also formulated in n dimensions and the relations among magnetic induction, magnetic field intensity, and magnetization density are discussed from a Lie-algebraic viewpoint.  ...  The conservation laws for this system are determined and used to construct Lyapunov functionals that are potentially useful for dealing with stability properties of FMHD equilibrium solutions.  ...  The matrices(3 1)and (32) are naturally associated with the duals of the Lie algebras L; =D s(AOOAn-'O(lfO~g)) ) L[, =D s(AOOA"-'0 (A"@g)) ) respectively.  ... 
doi:10.1016/0375-9601(88)90076-x fatcat:zos5zkh3nfbv7cnbvrbb7yf4mi

Static and dynamic nonlinear loads and structural stability in power systems

M.A. Pai, P.W. Sauer, B.C. Lesieutre
1995 Proceedings of the IEEE  
We examine the effect of nonlinear loads as well as different sizes of induction motor loads on the structural stability limits. Detailed generator models are used in the study throughout.  ...  In this paper, we review the basic concepts of structural stability theory and show its application to multimachine power systems.  ...  This is not the classical definition of bifurcation which is local in nature and nature of equilibrium point changes. Hence it is called global bifurcation [ 8 ] .  ... 
doi:10.1109/5.481634 fatcat:euyitpbpknbldncq7mapnz5hxm

Analytic relations on a dynamical orbit [article]

Thomas Scanlon
2008 arXiv   pre-print
Let (K,|·|) be a complete discretely valued field and f: B_1(K,1) → B_1(K,1) a nonconstant analytic map from the unit back to itself. We assume that 0 is an attracting fixed point of f.  ...  Let a ∈ K with _n →∞ f^n(a) = 0 and consider the orbit O_f(a) := {f^n(a) : n ∈ N}.  ...  These analytic varieties come in two forms: those coming from graphs of iterates of the dynamical system itself and those coming from pullbacks of algebraic tori.  ... 
arXiv:0807.4162v1 fatcat:r5lczq2u3nbi5d5cjsjjmhnppy

Action logic and pure induction [chapter]

Vaughan Pratt
1991 Lecture Notes in Computer Science  
Unlike REG, ACT is finitely based, makes a * reflexive transitive closure, and has an equivalent Hilbert system. The crucial axiom is that of pure induction, (a→a) * = a→a.  ...  Action logic is an equational theory ACT conservatively extending the equational theory REG of regular expressions with operations preimplication a→b (had a then b) and postimplication b←a (b if-ever a  ...  Hence these two ways of defining star equationally, Segerberg induction and Tarski induction, are independent.  ... 
doi:10.1007/bfb0018436 fatcat:75qausdsnvdopiudojseqmab5e

Page 8716 of Mathematical Reviews Vol. , Issue 2000m [page]

2000 Mathematical Reviews  
The techniques involved in the proofs are the naturality of the Pimsner-Voiculescu exact sequence and some results of A.  ...  Building on his previous embedding results, and on some recent work of A. Kishimoto concerning the Rokhlin property, the author proves by induction the following important result.  ... 

Regularity properties in the classification program for separable amenable C$^*$-algebras

George A. Elliott, Andrew S. Toms
2008 Bulletin of the American Mathematical Society  
We include a brief history of the program's successes since 1989, a more detailed look at the Villadsen-type algebras which have so dramatically changed the landscape, and a collection of announcements  ...  on the structure and properties of the Cuntz semigroup.  ...  But it was the realisation by Evans and the first-named author that a very natural class of C * -algebras arising from dynamical systems-the irrational rotation algebraswere in fact inductive limits of  ... 
doi:10.1090/s0273-0979-08-01199-3 fatcat:lbkbrayfvnaednqcjoar2lupfm
« Previous Showing results 1 — 15 out of 64,426 results