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
Preserved Fulltext
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
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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]
2004
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2003
IEEE Transactions on Circuits and Systems I Fundamental Theory and Applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2005; you can also visit the original URL.
The file type is application/pdf.
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
1999
International Journal of Electrical Power & Energy Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2005; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2009; you can also visit the original URL.
The file type is application/pdf.
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
1995
Proceedings of the IEEE
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2008
arXiv
pre-print
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
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]
1991
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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