Search results for "methodologies"

showing 10 items of 2106 documents

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

Polynomial method to study the entanglement of pure N-qubit states

2009

We present a mapping which associates pure N-qubit states with a polynomial. The roots of the polynomial characterize the state completely. Using the properties of the polynomial we construct a way to determine the separability and the number of unentangled qubits of pure N-qubit states.

Discrete mathematicsPhysicsPolynomialQuantum PhysicsQuantum t-designSettore FIS/02 - Fisica Teorica Modelli E Metodi MatematiciCluster stateFOS: Physical sciencesQuantum entanglementQuantum PhysicsPolinomiMeccanica quantisticaAtomic and Molecular Physics and OpticsSettore FIS/03 - Fisica Della MateriaEntanglementSeparable stateComputer Science::Emerging TechnologiesQubitQuantum mechanicsComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATIONW stateHardware_ARITHMETICANDLOGICSTRUCTURESQuantum Physics (quant-ph)Quantum teleportation
researchProduct

An exact and efficient approach for computing a cell in an arrangement of quadrics

2006

AbstractWe present an approach for the exact and efficient computation of a cell in an arrangement of quadric surfaces. All calculations are based on exact rational algebraic methods and provide the correct mathematical results in all, even degenerate, cases. By projection, the spatial problem is reduced to the one of computing planar arrangements of algebraic curves. We succeed in locating all event points in these arrangements, including tangential intersections and singular points. By introducing an additional curve, which we call the Jacobi curve, we are able to find non-singular tangential intersections. We show that the coordinates of the singular points in our special projected plana…

Discrete mathematicsPure mathematicsArrangementsControl and OptimizationFunction field of an algebraic varietyAlgebraic curvesMathematicsofComputing_NUMERICALANALYSISComputational geometryComputer Science ApplicationsComputational MathematicsComputational Theory and MathematicsJacobian curveAlgebraic surfaceComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATIONReal algebraic geometryAlgebraic surfacesExact algebraic computationAlgebraic functionGeometry and TopologyAlgebraic curveAlgebraic numberRobustnessMathematicsSingular point of an algebraic varietyComputational Geometry
researchProduct

A Decomposition Theorem for the Fuzzy Henstock Integral

2012

We study the fuzzy Henstock and the fuzzy McShane integrals for fuzzy-number valued functions. The main purpose of this paper is to establish the following decomposition theorem: a fuzzy-number valued function is fuzzy Henstock integrable if and only if it can be represented as a sum of a fuzzy McShane integrable fuzzy-number valued function and of a fuzzy Henstock integrable fuzzy number valued function generated by a Henstock integrable function.

Discrete mathematicsPure mathematicsIntegrable systemMathematics::General MathematicsLogicMathematics::Classical Analysis and ODEsFunction (mathematics)Fuzzy logicComputingMethodologies_PATTERNRECOGNITIONArtificial IntelligenceIf and only ifSettore MAT/05 - Analisi MatematicaFuzzy Henstock integral fuzzy McShane integral Henstock-Kurzweil and McShane equiintegrabilityFuzzy numberLocally integrable functionComputingMethodologies_GENERALMathematicsDecomposition theorem
researchProduct