Results 11 to 20 of about 10,864,024 (305)
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 +8 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
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
The supercore for normal-form games [PDF]
Journal of Economic Theory, 2007 Financial support from projects 3699/2001, UPV HB-8238/2000, and BEC 2000-0301 is gratefully acknowledged. Inarra also acknowledges the hospitality of Brown University and the financial support from the Ministerio de Educación, Cultura y Deporte, PR 2003-0287.
María Elena Iñarra García +2 more
openaire +3 more sources
Local dynamics of aperiodic chains with unidirectional couplings [PDF]
Известия высших учебных заведений: Прикладная нелинейная динамикаChains of N unidirectionally coupled nonlinear first-order equations are considered, where the value of the last element is determined through the first element of the chain. The aim of this work is to investigate the local – in the neighborhood of
Kashchenko, Sergej Aleksandrovich
doaj +1 more source
On prefix normal words and prefix normal forms
Theoretical Computer Science, 2017 A $1$-prefix normal word is a binary word with the property that no factor has more $1$s than the prefix of the same length; a $0$-prefix normal word is defined analogously. These words arise in the context of indexed binary jumbled pattern matching, where the aim is to decide whether a word has a factor with a given number of $1$s and $0$s (a given ...
Peter Burcsi +4 more
openaire +2 more sources