Search results for "Euclidean"

showing 10 items of 185 documents

Spatial reasoning withRCC8and connectedness constraints in Euclidean spaces

2014

The language RCC 8 is a widely-studied formalism for describing topological arrangements of spatial regions. The variables of this language range over the collection of non-empty, regular closed sets of n-dimensional Euclidean space, here denoted RC + ( R n ) , and its non-logical primitives allow us to specify how the interiors, exteriors and boundaries of these sets intersect. The key question is the satisfiability problem: given a finite set of atomic RCC 8 -constraints in m variables, determine whether there exists an m-tuple of elements of RC + ( R n ) satisfying them. These problems are known to coincide for all n � 1 , so that RCC 8 -satisfiability is independent of dimension. This c…

Discrete mathematicsLinguistics and LanguageClosed setEuclidean spaceSocial connectednessLanguage and LinguisticsSatisfiabilityDecidabilityCombinatoricsArtificial IntelligenceEuclidean geometryBoolean satisfiability problemFinite setMathematicsArtificial Intelligence
researchProduct

On Serrin’s overdetermined problem in space forms

2018

We consider Serrin’s overdetermined problem for the equation $$\Delta v + nK v = -\,1$$ in space forms, where K is the curvature of the space, and we prove a symmetry result by using a P-function approach. Our approach generalizes the one introduced by Weinberger to space forms and, as in the Euclidean case, it provides a short proof of the symmetry result which does not make use of the method of moving planes.

Pure mathematicsGeneral Mathematics010102 general mathematicsMathematical analysisAlgebraic geometrySpace (mathematics)Curvature01 natural sciencesDelta-v (physics)Overdetermined systemNumber theorySettore MAT/05 - Analisi Matematica0103 physical sciencesEuclidean geometryMathematics (all)010307 mathematical physics0101 mathematicsSymmetry (geometry)Mathematics
researchProduct

GEM

2014

The widespread use of digital sensor systems causes a tremendous demand for high-quality time series analysis tools. In this domain the majority of data mining algorithms relies on established distance measures like Dynamic Time Warping (DTW) or Euclidean distance (ED). However, the notion of similarity induced by ED and DTW may lead to unsatisfactory clusterings. In order to address this shortcoming we introduce the Gliding Elastic Match (GEM) algorithm. It determines an optimal local similarity measure of a query time series Q and a subject time series S. The measure is invariant under both local deformation on the measurement-axis and scaling in the time domain. GEM is compared to ED and…

Euclidean distanceDynamic time warpingSimilarity (network science)Computer scienceData miningInvariant (mathematics)Similarity measurecomputer.software_genreMeasure (mathematics)AlgorithmcomputerDistance measuresProceedings of the 29th Annual ACM Symposium on Applied Computing
researchProduct

Gradient regularity for elliptic equations in the Heisenberg group

2009

Abstract We give dimension-free regularity conditions for a class of possibly degenerate sub-elliptic equations in the Heisenberg group exhibiting super-quadratic growth in the horizontal gradient; this solves an issue raised in [J.J. Manfredi, G. Mingione, Regularity results for quasilinear elliptic equations in the Heisenberg group, Math. Ann. 339 (2007) 485–544], where only dimension dependent bounds for the growth exponent are given. We also obtain explicit a priori local regularity estimates, and cover the case of the horizontal p-Laplacean operator, extending some regularity proven in [A. Domokos, J.J. Manfredi, C 1 , α -regularity for p-harmonic functions in the Heisenberg group for …

Mathematics - Differential GeometryMathematics(all)Pure mathematicsp-LaplaceanGeneral MathematicsOperator (physics)Mathematical analysisDegenerate energy levelsHeisenberg groupWeak solutions35J60RegularityElliptic operatorMathematics - Analysis of PDEsDifferential Geometry (math.DG)Cover (topology)Euclidean geometryFOS: MathematicsHeisenberg groupExponentLinear equationAnalysis of PDEs (math.AP)MathematicsAdvances in Mathematics
researchProduct

Universal natural shapes: From unifying shape description to simple methods for shape analysis and boundary value problems

2012

Gielis curves and surfaces can describe a wide range of natural shapes and they have been used in various studies in biology and physics as descriptive tool. This has stimulated the generalization of widely used computational methods. Here we show that proper normalization of the Levenberg-Marquardt algorithm allows for efficient and robust reconstruction of Gielis curves, including self-intersecting and asymmetric curves, without increasing the overall complexity of the algorithm. Then, we show how complex curves of k-type can be constructed and how solutions to the Dirichlet problem for the Laplace equation on these complex domains can be derived using a semi-Fourier method. In all three …

Evolutionary algorithmlcsh:MedicineGeometryBioinformaticsCurvature[ INFO.INFO-CV ] Computer Science [cs]/Computer Vision and Pattern Recognition [cs.CV]Plant Genetics01 natural sciences03 medical and health sciencessymbols.namesake[ MATH.MATH-AP ] Mathematics [math]/Analysis of PDEs [math.AP]Non-Euclidean geometryApplied mathematics[MATH.MATH-AP]Mathematics [math]/Analysis of PDEs [math.AP]Boundary value problemBounday Value Problem0101 mathematicslcsh:ScienceBiologyMathematical ComputingGeneralLiterature_REFERENCE(e.g.dictionariesencyclopediasglossaries)030304 developmental biologyLaplace's equationPhysicsDirichlet problem0303 health sciencesMultidisciplinaryPhysicsApplied Mathematicslcsh:R010102 general mathematicsComputational Biology[INFO.INFO-CV]Computer Science [cs]/Computer Vision and Pattern Recognition [cs.CV]Laplace equationModels TheoreticalGielis CurvesFourier analysisComputer Sciencesymbolslcsh:QEngineering sciences. TechnologyAlgorithmsMathematicsShape analysis (digital geometry)Research ArticleDevelopmental BiologyComputer Modeling
researchProduct

A field theoretic realization of a universal bundle for gravity

1992

Abstract Based upon a local vector supersymmetry algebra, we discuss the general structure of the quantum action for topological gravity theories in arbitrary dimensions. The precise form of the action depends on the particular dimension, and also on the moduli space of interest. We describe the general features by examining a theory of topological gravity in two dimensions, with a moduli space specified by vanishing curvature two-form. It is shown that these topological gravity models together with their observables provide a field theoretic realization of a universal bundle for gravity.

PhysicsNuclear and High Energy PhysicsTopological algebraEntropic gravityHořava–Lifshitz gravityEuclidean quantum gravityHigh Energy Physics::TheoryTheoretical physicsQuantum mechanicsQuantum gravityFiber bundlef(R) gravitySemiclassical gravityGeneral Theoretical Physics
researchProduct

Combinatorial proofs of two theorems of Lutz and Stull

2021

Recently, Lutz and Stull used methods from algorithmic information theory to prove two new Marstrand-type projection theorems, concerning subsets of Euclidean space which are not assumed to be Borel, or even analytic. One of the theorems states that if $K \subset \mathbb{R}^{n}$ is any set with equal Hausdorff and packing dimensions, then $$ \dim_{\mathrm{H}} π_{e}(K) = \min\{\dim_{\mathrm{H}} K,1\} $$ for almost every $e \in S^{n - 1}$. Here $π_{e}$ stands for orthogonal projection to $\mathrm{span}(e)$. The primary purpose of this paper is to present proofs for Lutz and Stull's projection theorems which do not refer to information theoretic concepts. Instead, they will rely on combinatori…

FOS: Computer and information sciences28A80 (primary) 28A78 (secondary)General MathematicskombinatoriikkaCombinatorial proofComputational Complexity (cs.CC)01 natural sciencesCombinatoricsMathematics - Metric GeometryHausdorff and packing measures0103 physical sciencesClassical Analysis and ODEs (math.CA)FOS: Mathematics0101 mathematicsMathematicsAlgorithmic information theoryLemma (mathematics)Euclidean spacePigeonhole principle010102 general mathematicsOrthographic projectionHausdorff spaceMetric Geometry (math.MG)Projection (relational algebra)Computer Science - Computational ComplexityMathematics - Classical Analysis and ODEsfraktaalit010307 mathematical physicsmittateoria
researchProduct

Multi axis representation and Euclidean distance of muscle fatigue indexes during evoked contractions

2014

International audience; In this article, we proposed a new representation of muscular fatigue during evoked muscle contractions based on fatigue indexes such as peak to peak amplitude, RMS of the M wave, mean and median frequency and fatigue index calculated from continuous wavelet transform (I CWT). These new representations of muscle fatigue using multi axis represented and Euclidean distance give better insights on changes in physiological characteristics during muscle fatigue. This technique provides a fatigue index using several muscle characteristics. The use of other kinds of fatigue characteristics as force could also be possible.

medicine.diagnostic_testMuscle fatigueSpeech recognitionMulti axis0206 medical engineeringMathematical analysis02 engineering and technologyElectromyography[ SPI.SIGNAL ] Engineering Sciences [physics]/Signal and Image processing020601 biomedical engineering[ SPI.TRON ] Engineering Sciences [physics]/Electronics[SPI.TRON]Engineering Sciences [physics]/ElectronicsEuclidean distance03 medical and health sciences0302 clinical medicineAmplitudeMuscular fatiguemedicineRepresentation (mathematics)[SPI.SIGNAL]Engineering Sciences [physics]/Signal and Image processing030217 neurology & neurosurgeryContinuous wavelet transform[SPI.SIGNAL] Engineering Sciences [physics]/Signal and Image processingMathematics
researchProduct

LMI-based 2D-3D Registration: from Uncalibrated Images to Euclidean Scene

2015

International audience; This paper investigates the problem of registering a scanned scene, represented by 3D Euclidean point coordinates , and two or more uncalibrated cameras. An unknown subset of the scanned points have their image projections detected and matched across images. The proposed approach assumes the cameras only known in some arbitrary projective frame and no calibration or autocalibration is required. The devised solution is based on a Linear Matrix Inequality (LMI) framework that allows simultaneously estimating the projective transformation relating the cameras to the scene and establishing 2D-3D correspondences without triangulating image points. The proposed LMI framewo…

0209 industrial biotechnology3d registrationPixelbusiness.industry[INFO.INFO-RB] Computer Science [cs]/Robotics [cs.RO][ INFO.INFO-RB ] Computer Science [cs]/Robotics [cs.RO]Linear matrix inequalityComputingMethodologies_IMAGEPROCESSINGANDCOMPUTERVISIONImage registration[INFO.INFO-CV]Computer Science [cs]/Computer Vision and Pattern Recognition [cs.CV]02 engineering and technology[ INFO.INFO-CV ] Computer Science [cs]/Computer Vision and Pattern Recognition [cs.CV]020901 industrial engineering & automation[INFO.INFO-CV] Computer Science [cs]/Computer Vision and Pattern Recognition [cs.CV]Robustness (computer science)Projective frameComputer Science::Computer Vision and Pattern RecognitionEuclidean geometry0202 electrical engineering electronic engineering information engineering[INFO.INFO-RB]Computer Science [cs]/Robotics [cs.RO]020201 artificial intelligence & image processingComputer visionArtificial intelligencebusinessMathematics
researchProduct

Unitarity of Minkowski nonlocal theories made explicit

2021

In this work we explicitly show that the perturbative unitarity of analytic infinite derivative (AID) scalar field theories can be achieved using a modified prescription for computing scattering amplitudes. The crux of the new prescription is the analytic continuation of a result obtained in the Euclidean signature to the Minkowski external momenta. We intensively elaborate an example of a non-local $\phi^4$ model for various infinite derivative operators. General UV properties of amplitudes in non-local theories are discussed.

PhysicsHigh Energy Physics - TheoryUnitarity010308 nuclear & particles physicsAnalytic continuationFOS: Physical sciencesGeneral Relativity and Quantum Cosmology (gr-qc)01 natural sciencesGeneral Relativity and Quantum CosmologyScattering amplitudeAmplitudeHigh Energy Physics - Theory (hep-th)0103 physical sciencesEuclidean geometryMinkowski space010306 general physicsSignature (topology)Scalar fieldMathematical physicsPhysical Review
researchProduct