Results 21 to 30 of about 1,359,716 (306)
Normal forms for multidimensional databases [PDF]
, 2022 In the area of online analytical processing (OLAP), the concept of multidimensional databases is receiving much popularity. Thus, a couple of different multidimensional data models were proposed from the research as well as from the commercial product ...
Lehner, Wolfgang +2 more
core +2 more sources
Gauss-Manin Connections for Boundary Singularities and Isochore Deformations
Demonstratio Mathematica, 2015 We study here the relative cohomology and the Gauss-Manin connections associated to an isolated singularity of a function on a manifold with boundary, i.e. with a fixed hyperplane section.
Kourliouros Konstantinos
doaj +1 more source
Representation of logic formulas by normal forms [PDF]
, 2002 summary:In this paper, we deal with the disjunctive and conjunctive normal forms in the frame of predicate BL-logic and prove theirs conditional equivalence to appropriate formulas. Our aim is to show approximation ability of special normal forms defined
Daňková, Martina
core +1 more source
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
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
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 +1 more source
Probabilistic Rewriting and Asymptotic Behaviour: on Termination and Unique Normal Forms [PDF]
Logical Methods in Computer Science, 2022 While a mature body of work supports the study of rewriting systems, abstract tools for Probabilistic Rewriting are still limited. In this paper we study the question of uniqueness of the result (unique limit distribution), and develop a set of proof ...
Claudia Faggian
doaj +1 more source
Normal forms of real matrices with respect to complex similarity [PDF]
, 1977 Dlab V, Ringel CM. Normal forms of real matrices with respect to complex similarity. Linear algebra and its applications. 1977;17(2):107-124.This paper gives a complete classification of real linear transformations between two complex vector spaces in ...
Dlab, Vlastimil, Ringel, Claus Michael
core +2 more sources
Reversible-equivariant systems and matricial equations
Anais da Academia Brasileira de Ciências, 2011 This paper uses tools in group theory and symbolic computing to classify the representations of finite groups with order lower than, or equal to 9 that can be derived from the study of local reversible-equivariant vector fields in 4 .
Marco A Teixeira, Ricardo M Martins
doaj +1 more source
Diagonal Forms, Linear Algebraic Methods and Ramsey-Type Problems [PDF]
, 2013 This thesis focuses mainly on linear algebraic aspects of combinatorics. Let N_t(H) be an incidence matrix with edges versus all subhypergraphs of a complete hypergraph that are isomorphic to H. Richard M.
Wong, Wing Hong Tony
core +1 more source