Results 11 to 20 of about 11,303,965 (300)
Justification for inclusion dependency normal form [PDF]
, 2000 Functional dependencies (FDs) and inclusion dependencies (INDs) are the most fundamental integrity constraints that arise in practice in relational databases.
Vincent, Millist W., Levene, Mark
core +9 more sources
A Formalization of the Smith Normal Form in Higher-Order Logic. [PDF]
J Autom Reason, 2022 This work presents formal correctness proofs in Isabelle/HOL of algorithms to transform a matrix into Smith normal form, a canonical matrix form, in a general setting: the algorithms are written in an abstract form and parameterized by very few simple ...
Divasón J, Thiemann R.
europepmc +2 more sources
On the Expressive Power of the Normal Form for Branching-Time Temporal Logics [PDF]
, 2022 With the emerging applications that involve complex distributed systems branching-time specifications are specifically important as they reflect dynamic and non-deterministic nature of such applications.
Bolotov, Alexander, Alexander Bolotov
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
The quantization of the classical two-dimensional Hamiltonian systems
Discrete and Continuous Models and Applied Computational Science, 2022 The paper considers the class of Hamiltonian systems with two degrees of freedom. Based on the classical normal form, according to the rules of Born-Jordan and Weyl-MacCoy, its quantum analogs are constructed for which the eigenvalue problem is solved ...
Irina N. Belyaeva
doaj +1 more source
Stability and Hopf-bifurcation analysis of an unidirectionally coupled system
Electronic Journal of Qualitative Theory of Differential Equations, 2011 In this paper, the stability and existence of periodic solutions for an unidirectionally coupled nonlinear system with delays are investigated by combining the linear stability theory and the embedding technique of asymptotically autonomous semiflows ...
Gang Zhu, Junjie Wei
doaj +1 more source
Journal of Inequalities and Applications, 2017 This paper provides a normal form for a class of lower dimensional hyperbolic invariant tori of nearly integrable symplectic mappings with generating functions.
Shunjun Jiang
doaj +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
A normal form for spider diagrams of order [PDF]
, 2014 We develop a reasoning system for an Euler diagram based visual logic, called spider diagrams of order. We de- fine a normal form for spider diagrams of order and provide an algorithm, based on the reasoning system, for producing diagrams in our normal ...
Simon Thompson +7 more
core +1 more source
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