Results 21 to 30 of about 195,981 (325)

Ontology axioms for the implementation of business rules / Ontologija grindžiamas verslo taisyklių modeliavimas

open access: yesTechnological and Economic Development of Economy, 2010
Modern information systems (IS) have widely penetrated into many kinds of social activities by helping to perform business operations and to interact with the surrounding environment.
Diana Kalibatienė, Olegas Vasilecas
doaj   +1 more source

L-Fuzzy Rough Approximation Operators Based on Co-Implication and Their (Single) Axiomatic Characterizations

open access: yesAxioms, 2021
For L a complete co-residuated lattice and R an L-fuzzy relation, an L-fuzzy upper approximation operator based on co-implication adjoint with L is constructed and discussed.
Qiu Jin, Lingqiang Li
doaj   +1 more source

A New Approach to Irreducibility in Multisectoral Models with Joint Production [PDF]

open access: yes, 1992
We present a new approach to irreducibility in multisectoral models, based on an axiom on the vectors of total outputs and inputs. We derive new results in joint production models, including an interpretation of von Neumann's famous condition A + B > 0 ...
Konijn, P.J.A., Steenge, A.E.
core   +2 more sources

Axioms of adaptivity

open access: yesComputers & Mathematics with Applications, 2014
This paper aims first at a simultaneous axiomatic presentation of the proof of optimal convergence rates for adaptive finite element methods and second at some refinements of particular questions like the avoidance of (discrete) lower bounds, inexact solvers, inhomogeneous boundary data, or the use of equivalent error estimators.
Carstensen, C.   +3 more
openaire   +3 more sources

The cone axiom implies the homotopy axiom [PDF]

open access: yesProceedings of the American Mathematical Society, 1966
Of the axioms for formal homology theory the homotopy axiom generally seems to have the least elegant proof. An alternative easier to prove would be the cone axiom: The cone over any space X has the homology groups of its vertex. A little thought shows that for the simplicial and singular theories, at least, the cone axiom implies the homotopy axiom ...
openaire   +2 more sources

On the axiom of choice [PDF]

open access: yesریاضی و جامعه, 2022
In this article, we have a brief historical overview of the facts around the axiom of choice (AC) in set theory. In this regard, we will state some of the most important equivalents of AC and also some of the weaker forms of AC.
سید محمد امین خاتمی
doaj   +1 more source

A Generalization of Martin's Axiom [PDF]

open access: yes, 2015
We define the $\aleph_{1.5}$ chain condition. The corresponding forcing axiom is a generalization of Martin's Axiom and implies certain uniform failures of club--guessing on $\omega_1$ that don't seem to have been considered in the literature before ...
D. H. Fremlin   +15 more
core   +2 more sources

Introducing Value Axiom for New Design Creations [PDF]

open access: yesMATEC Web of Conferences, 2019
This paper proposes “Value Axiom” that states “The larger the sum of Customer Attribute values, the better the design.” A customer evaluates a design with the sum of the value produced by each Customer Attribute, expressing it with a monetary value such ...
Nakao Masayuki, Iino Kenji
doaj   +1 more source

An efficient and fair solution for communication graph games\ud [PDF]

open access: yes, 2011
We introduce an efficient solution for games with communication graph structures and show that it is characterized by efficiency, fairness and a new axiom called component balancedness.
Anna Khmelnitskaya   +6 more
core   +10 more sources

The Systems of Relevance Logic [PDF]

open access: yesArgument, 2011
The system R, or more precisely the pure implicational fragment R→, is considered by the relevance logicians as the most important. The another central system of relevance logic has been the logic E of entailment that was supposed to capture strict ...
Ryszard MIREK
doaj  

Home - About - Disclaimer - Privacy