Results 11 to 20 of about 1,359,716 (306)
Normal forms for symplectic matrices [PDF]
Portugaliae Mathematica, 2014 We give a self contained and elementary description of normal forms for symplectic matrices, based on geometrical considerations. The normal forms in question are expressed in terms of elementary Jordan matrices and integers with values in \{ -1,0,1\}
Gutt, Jean, Jean Gutt
openaire +6 more sources
Normal Forms of Conditional Belief Bases Respecting Inductive Inference [PDF]
Proceedings of the International Florida Artificial Intelligence Research Society Conference, 2022 Normal forms of syntactic entities play an important role in many different areas in computer science. In this paper, we address the question of how to obtain normal forms and minimal normal forms of conditional belief bases in order to, e.g., ease ...
Christoph Beierle, Jonas Haldimann
doaj +2 more sources
Local Normal Forms of Noncommutative Functions [PDF]
Forum of Mathematics, PiThis article describes local normal forms of functions in noncommuting variables, up to equivalence generated by isomorphism of noncommutative Jacobi algebras, extending singularity theory in the style of Arnold’s commutative local normal forms into the ...
Gavin Brown, Michael Wemyss
doaj +3 more sources
Normal forms for reduced stochastic climate models. [PDF]
Proc Natl Acad Sci U S A, 2009 The systematic development of reduced low-dimensional stochastic climate models from observations or comprehensive highdimensional climate models is an important topic for atmospheric low-frequency variability, climate sensitivity, and improved extended ...
Majda AJ, Franzke C, Crommelin D.
europepmc +2 more sources
A remark on normal forms of matrices [PDF]
, 1980 Dlab V, Ringel CM. A remark on normal forms of matrices. Linear algebra and its applications.
Dlab, Vlastimil, Ringel, Claus Michael
core +2 more sources
Unique normal forms near a degenerate elliptic fixed point in two-parametric families of area-preserving maps [PDF]
, 2014 We derive simplified normal forms for an area-preserving map in a neighbourhood of a degenerate resonant elliptic fixed point. Such fixed points appear in generic families of area-preserving maps. We also derive a simplified normal form for a generic two-
Gelfreikh, Natalia, Gelfreich, Vassili
core +1 more source
An upper bound for validity limits of asymptotic analytical approaches based on normal form theory [PDF]
, 2012 Perturbation methods are routinely used in all fields of applied mathematics where analytical solutions for nonlinear dynamical systems are searched.
LAMARQUE, Claude-Henri +2 more
core +1 more source
Disjunctive bases: normal forms and model theory for modal logics [PDF]
Logical Methods in Computer Science, 2022 We present the concept of a disjunctive basis as a generic framework for normal forms in modal logic based on coalgebra. Disjunctive bases were defined in previous work on completeness for modal fixpoint logics, where they played a central role in the ...
Sebastian Enqvist, Yde Venema
doaj +1 more source
Alternating automata and temporal logic normal forms [PDF]
, 2005 We provide a translation from SNFPLTL, a normal form for propositional linear time temporal logic, into alternating automata on infinite words, and vice versa.
Dixon, C., Fisher, M., Bolotov, A.
core +1 more source
Normal Form Nested Programs [PDF]
Fundamenta Informaticae, 2008 Disjunctive logic programming under the answer set semantics (DLP, ASP) has been acknowledged as a versatile formalism for knowledge representation and reasoning during the last decades. Lifschitz, Tang, and Turner have introduced an extended language of DLP, called Nested Logic Programming (NLP), in 1999 [12].
Annamaria Bria +2 more
openaire +4 more sources