The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.

## Filters

##
###
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

2006
*
Theoretical Computer Science
*

We study their properties in

doi:10.1016/j.tcs.2005.09.069
fatcat:33kkwyysfjfb3fyp64qoh4anpy
*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. ...##
###
Partial Correctness Assertions Provable in Dynamic Logics
[chapter]

2004
*
Lecture Notes in Computer Science
*

We proceed to delineate a

doi:10.1007/978-3-540-24727-2_22
fatcat:gkbhjt2syjcn3ogeycmk4tmecm
*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*. ...##
###
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. ...

##
###
Relating lagrangian and hamiltonian formalisms of LC circuits

2003
*
IEEE Transactions on Circuits and Systems I Fundamental Theory and Applications
*

This allows us to define regular Lagrangians

doi:10.1109/tcsi.2003.817781
fatcat:my7ocvlnlzenfbjuomronsw53q
*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. ...##
###
99/03173 Bifurcation analysis of various power system models

1999
*
Fuel and Energy Abstracts
*

This paper presents

doi:10.1016/s0140-6701(99)91128-1
fatcat:mharetwpdzgejfkljvftlcrjci
*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. ...##
###
Bifurcation analysis of various power system models

1999
*
International Journal of Electrical Power & Energy Systems
*

This paper presents

doi:10.1016/s0142-0615(98)00037-4
fatcat:eh4t2l2v55eqpex74ial7xvfci
*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. ...##
###
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

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. ...

##
###
Static and dynamic nonlinear loads and structural stability in power systems

1995
*
Proceedings of the IEEE
*

We examine

doi:10.1109/5.481634
fatcat:euyitpbpknbldncq7mapnz5hxm
*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 ] . ...##
###
Analytic relations on a dynamical orbit
[article]

2008
*
arXiv
*
pre-print

Let (K,|·|) be a complete discretely valued field

arXiv:0807.4162v1
fatcat:r5lczq2u3nbi5d5cjsjjmhnppy
*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. ...##
###
Action logic and pure induction
[chapter]

1991
*
Lecture Notes in Computer Science
*

Unlike REG, ACT is finitely based, makes a * reflexive transitive closure,

doi:10.1007/bfb0018436
fatcat:75qausdsnvdopiudojseqmab5e
*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. ...##
###
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

2008
*
Bulletin of the American Mathematical Society
*

We include a brief history

doi:10.1090/s0273-0979-08-01199-3
fatcat:lbkbrayfvnaednqcjoar2lupfm
*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*...
« Previous

*Showing results 1 — 15 out of 64,426 results*