Search results for "methodologie"

showing 10 items of 2141 documents

Degree of monotonicity in aggregation process

2010

In this paper we introduce a fuzzy order relation notion in the description of aggregation process. Namely, we use the fuzzy order relation to define the degree of monotonicity, which is equal to 1 for a monotone function with respect to a crisp order relation. In that case, integration of fuzzy order relation allows us to generalize the notion of monotonicity and we try to investigate the benefits of using fuzzy relations instead of a crisp relation. Further we illustrate this definition by examples and study the properties of aggregation functions which have a certain degree of monotonicity.

Discrete mathematicsComputingMethodologies_PATTERNRECOGNITIONDegree (graph theory)Relation (database)Construction industryProcess (engineering)Fuzzy setApplied mathematicsOrder (group theory)Monotonic functionFuzzy logicMathematicsInternational Conference on Fuzzy Systems
researchProduct

Regular Varieties of Automata and Coequations

2015

In this paper we use a duality result between equations and coequations for automata, proved by Ballester-Bolinches, Cosme-Ll´opez, and Rutten to characterize nonempty classes of deterministic automata that are closed under products, subautomata, homomorphic images, and sums. One characterization is as classes of automata defined by regular equations and the second one is as classes of automata satisfying sets of coequations called varieties of languages. We show how our results are related to Birkhoff’s theorem for regular varieties.

Discrete mathematicsData ScienceDuality (mathematics)Homomorphic encryptionCharacterization (mathematics)Nonlinear Sciences::Cellular Automata and Lattice GasesAutomatonDeterministic automatonComputingMethodologies_DOCUMENTANDTEXTPROCESSINGQuantum finite automataLecture Notes in Computer ScienceÀlgebraAlgebra over a fieldComputer Science::Formal Languages and Automata TheoryAutomatitzacióMathematics
researchProduct

Complete, Exact and Efficient Implementation for Computing the Adjacency Graph of an Arrangement of Quadrics

2007

The original publication is available at www.springerlink.com ; ISBN 978-3-540-75519-7 ; ISSN 0302-9743 (Print) 1611-3349 (Online); International audience; We present a complete, exact and efficient implementation to compute the adjacency graph of an arrangement of quadrics, \ie surfaces of algebraic degree~2. This is a major step towards the computation of the full 3D arrangement. We enhanced an implementation for an exact parameterization of the intersection curves of two quadrics, such that we can compute the exact parameter value for intersection points and from that the adjacency graph of the arrangement. Our implementation is {\em complete} in the sense that it can handle all kinds of…

Discrete mathematicsDegree (graph theory)ComputationDegenerate energy levelsACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION/I.1.2: Algorithms/I.1.2.0: Algebraic algorithms020207 software engineering010103 numerical & computational mathematics02 engineering and technology[INFO.INFO-CG]Computer Science [cs]/Computational Geometry [cs.CG]01 natural sciencesACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE/G.4.3: EfficiencyCombinatoricsIntersection0202 electrical engineering electronic engineering information engineeringGraph (abstract data type)Adjacency listGravitational singularity0101 mathematicsAlgebraic numberACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE/G.4.0: Algorithm design and analysisMathematics
researchProduct

A Graph Based Algorithm For Intersection Of Subdivision Surfaces

2003

Computing surface intersections is a fundamental problem in geometric modeling. Any boolean operation can be seen as an intersection calculation followed by a selection of the parts necessary for building the surface of the resulting object. A robust and efficient algorithm to compute intersection on subdivision surfaces (surfaces generated by the Loop scheme) is proposed here. This algorithm relies on the concept of a bipartite graph which allows the reduction of the number of faces intersection tests. Intersection computations are accelerated by the use of the bipartite graph and the neighborhood of intersecting faces at a given level of subdivision to deduce intersecting faces at the fol…

Discrete mathematicsFoster graph[INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS][INFO.INFO-DS] Computer Science [cs]/Data Structures and Algorithms [cs.DS][ INFO.INFO-DM ] Computer Science [cs]/Discrete Mathematics [cs.DM][INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM]Intersection number (graph theory)Intersection graphlaw.inventionCombinatorics[INFO.INFO-DM] Computer Science [cs]/Discrete Mathematics [cs.DM]IntersectionlawHomeomorphism (graph theory)Subdivision surfaceCircle graphAlgorithmComputingMilieux_MISCELLANEOUS[ INFO.INFO-DS ] Computer Science [cs]/Data Structures and Algorithms [cs.DS]ComputingMethodologies_COMPUTERGRAPHICSMathematicsDistance-hereditary graph
researchProduct

A note on Taskinen's counterexamples on the problem of topologies of Grothendieck

1989

By the work of Taskinen (see [4, 5]), we know that there is a Fréchet space E such that Lb(E, l2) is not a (DF)-space. Moreover there is a Fréchet–Montel space F such that is not (DF). In this second example, the duality theorem of Buchwalter (cf. [2, §45.3]) can be applied to obtain that and hence is a (gDF)-space (cf. [1, Ch. 12 or 3, Ch. 8]). The (gDF)-spaces were introduced by several authors to extend the (DF)-spaces of Grothendieck and to provide an adequate frame to consider strict topologies.

Discrete mathematicsFréchet spaceGeneral MathematicsFrame (networking)ComputingMethodologies_DOCUMENTANDTEXTPROCESSINGSpace (mathematics)Network topologyMathematicsCounterexampleProceedings of the Edinburgh Mathematical Society
researchProduct

Varieties and Covarieties of Languages (Extended Abstract)

2013

AbstractBecause of the isomorphism (X×A)→X≅X→(A→X), the transition structure of a deterministic automaton with state set X and with inputs from an alphabet A can be viewed both as an algebra and as a coalgebra. This algebra-coalgebra duality goes back to Arbib and Manes, who formulated it as a duality between reachability and observability, and is ultimately based on Kalmanʼs duality in systems theory between controllability and observability. Recently, it was used to give a new proof of Brzozowskiʼs minimization algorithm for deterministic automata. Here we will use the algebra-coalgebra duality of automata as a common perspective for the study of both varieties and covarieties, which are …

Discrete mathematicsGeneral Computer ScienceCoalgebraData ScienceStructure (category theory)Duality (optimization)equationalgebraAutomataTheoretical Computer ScienceAlgebravarietyReachabilityDeterministic automatonComputingMethodologies_DOCUMENTANDTEXTPROCESSINGcoequationObservabilityIsomorphismcovarietyVariety (universal algebra)coalgebraComputer Science::Formal Languages and Automata TheoryComputer Science(all)MathematicsElectronic Notes in Theoretical Computer Science
researchProduct

Extremal problems of approximation theory in fuzzy context

1999

Abstract The problem of approximation of a fuzzy subset of a normed space is considered. We study the error of approximation, which in this case is characterized by an L -fuzzy number. In order to do this we define the supremum of an L -fuzzy set of real numbers as well as the supremum and the infimum of a crisp set of L -fuzzy numbers. The introduced concepts allow us to investigate the best approximation and the optimal linear approximation. In particular, we consider approximation of a fuzzy subset in the space L p m of differentiable functions in the L q -metric. We prove the fuzzy counterparts of duality theorems, which in crisp case allows effectively to solve extremal problems of the…

Discrete mathematicsLogicFuzzy setMathematical analysisApproximation algorithmEssential supremum and essential infimumFuzzy logicInfimum and supremumComputingMethodologies_PATTERNRECOGNITIONArtificial IntelligenceApproximation errorFuzzy numberLinear approximationMathematicsFuzzy Sets and Systems
researchProduct

Equivalence classes of permutations modulo descents and left-to-right maxima

2014

Abstract In a recent paper [2], the authors provide enumerating results for equivalence classes of permutations modulo excedances. In this paper we investigate two other equivalence relations based on descents and left-to-right maxima. Enumerating results are presented for permutations, involutions, derangements, cycles and permutations avoiding one pattern of length three.

Discrete mathematicsMathematics::CombinatoricsModulo[ MATH.MATH-CO ] Mathematics [math]/Combinatorics [math.CO][MATH.MATH-CO] Mathematics [math]/Combinatorics [math.CO]CombinatoricsCatalan numberPermutationMotzkin numberComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATION[MATH.MATH-CO]Mathematics [math]/Combinatorics [math.CO]MaximaEquivalence classComputingMilieux_MISCELLANEOUSDescent (mathematics)Bell numberMathematicsMathematicsofComputing_DISCRETEMATHEMATICS
researchProduct

A-Codes from Rational Functions over Galois Rings

2006

In this paper, we describe authentication codes via (generalized) Gray images of suitable codes over Galois rings. Exponential sums over these rings help determine--or bound--the parameters of such codes.

Discrete mathematicsMathematics::Commutative AlgebraApplied MathematicsFundamental theorem of Galois theoryGalois groupRational functionExponential polynomialComputer Science ApplicationsEmbedding problemDifferential Galois theorysymbols.namesakeGalois rings Gray map codesComputer Science::Computer Vision and Pattern RecognitionComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATIONComputer Science::MultimediasymbolsSettore MAT/03 - GeometriaGalois extensionResolventMathematicsDesigns, Codes and Cryptography
researchProduct

The λ-Error Order in Multivariate Interpolation

2005

The aim of this article is to introduce and to study a generalization of the error order of interpolation, named λ – error order of interpolation. This generalization makes possible a deeper analysis of the error in the interpolation process. We derived the general form of the λ – error order of interpolation and then we applied it for many choices of the functional λ.

Discrete mathematicsNearest-neighbor interpolationMathematicsofComputing_NUMERICALANALYSISTrilinear interpolationApplied mathematicsBilinear interpolationStairstep interpolationLinear interpolationSpline interpolationComputingMethodologies_COMPUTERGRAPHICSMultivariate interpolationInterpolationMathematics
researchProduct